Cyclic-invariant restriction conjecture for the Hochschild pairing quasi-isomorphism

Let MM be a closed oriented C^-manifold, let Ω(M)\Omega(M) denote its de Rham algebra, and let Ω(M)[dimM]\Omega(M)^\vee[-\dim M] be the shifted dual complex. Write CHcyc(Ω(M),Ω(M)[dimM])\mathrm{CH}^{-*}_{\mathrm{cyc}}(\Omega(M),\Omega(M)^\vee[-\dim M]) for the (weakly) cyclic-invariant negative Hochschild cochain complex, and let Θ\Theta be the quasi-isomorphism appearing in the Hochschild pairing. Cyclic-invariant restriction conjecture. For every such MM, the quasi-isomorphism restricts to a quasi-isomorphism on cyclic invariants:

Θ1(CHcyc(Ω(M),Ω(M)[dimM]))CHcyc(Ω(M),Ω(M)[dimM]).\Theta^{-1}(\mathrm{CH}^{-*}_{\mathrm{cyc}}(\Omega(M),\Omega(M)^\vee[-\dim M]))\xrightarrow{\simeq}\mathrm{CH}^{-*}_{\mathrm{cyc}}(\Omega(M),\Omega(M)^\vee[-\dim M]).

The question arises because the preceding discussion establishes the relevant quasi-isomorphism for simply connected manifolds but does not determine whether the cyclic-invariant subcomplexes are preserved. The author explicitly states that an answer is not known.

Sources & referencesView supporting material

Primary source

Yi Wang, “A cocyclic construction of S^1-equivariant homology and application to string topology”, arXiv:2203.04465 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.