A detailed look on actions on Hochschild complexes especially the degree 1 coproduct and actions on loop spaces (Q2080306)

For an algebra \(A\), let \(CH^n:=\mathrm{Hom}(A^{\otimes n}, A)\) and \(HH^*\) denote the Hochschild cochains and the Hochschild cohomology, respectively. Let \(A\) be a Frobenius algebra for which \(\Delta_A(1) = \sum C^{(1)}\otimes C^{(2)} \in A\otimes A\) with Sweedler notation. The first theorem (Theorem 2.1) in the paper asserts that the cell for the coproduct given by the pair-of-pants cobordism acts, according to [\textit{R. M. Kaufmann}, J. Noncommut. Geom. 2, No. 3, 283--332 (2008; Zbl 1169.55005), \S 3.2.1], as a degree \(1\) coproduct morphism \(\Delta_{CH} \in \mathrm{Hom}(CH, CH^{\otimes 2})\). Moreover, for \(f \in CH^n\), the formulas for its non-zero components \(\Delta_{CH}(f) \in \bigoplus_{p+q = n-1} CH^p\otimes CH^q\) are explicitly given by \begin{multline*} \Delta_{CH}(f) [(a_1\otimes \cdots \otimes a_p) \otimes (a_{p+1}\otimes \cdots \otimes a_{n-1})] \\ = (-1)^p \sum_{C_1, C_2} C_1^{(1)}f (a_1\otimes \cdots \otimes a_p\otimes C_2^{(1)}C_1^{(2)}\otimes a_{p+1}\otimes\cdots \otimes a_{n-1})\otimes C_2^{(2)}. \end{multline*} With the form of the action, the author shows that the cochain operation descends to an operation in cohomology. More precisely, one has Theorem 2.4. If \(A\) is graded Gorenstein, the coproduct induces an operation on cohomology relative to or modulo the constants \(CH^0(A, A_0)\simeq \mathrm{Hom}(k, k)\) and thus is well defined on the reduced complex \(\widetilde{CH}^*(A)\). In particular, this is the case for \(A= H^*(X)\) for a connected Poincaré duality space \(X\). Furthermore, if the Euler characteristic \(\varepsilon (e) = 0\) vanishes, the coproduct is a cohomology operation on \(HH^*(A, A)\) directly. Let \(M\) be a compact simply connected manifold and \(LM\) the free loop space. By using the cosimplicial setup of [\textit{R. L. Cohen} and \textit{J. D. S. Jones}, Math. Ann. 324, No. 4, 773--798 (2002; Zbl 1025.55005); \textit{J. D. S. Jones}, Invent. Math. 87, 403--423 (1987; Zbl 0644.55005)] and identifying the constant loops with \(\overline{CH}^0(C^*(M), C_*(M)\), Corollary 3.6 yields that the operation induced by a chain level coproduct agrees with the coproduct constructed by \textit{M. Goresky} and \textit{N. Hingston} [Duke Math. J. 150, No. 1, 117--209 (2009; Zbl 1181.53036)]. Moreover, the result asserts that the coproduct is given by the coproduct morphism \(\Delta_{CH}\) on the \(E^1\) page \(CH^*(H^*(M), H_*(M))\simeq CH^*(H^*(M))\). The concrete calculations of \textit{correlation functions} on 2d open topological field thoeries are made in Section 5.