Hochschild cohomology of a strongly homotopy commutative algebra (Q2248948): Difference between revisions

The Hochschild cohomology of a DG algebra \(A\) with coefficients in itself is, up to a suspension of degrees, a graded Lie algebra. Let \(A = (\{A^i\}_{i\in\mathbb Z},d)\) be a DG algebra with homology \(H(A)\). There is a canonical homomorphism of graded algebras \(q_A: HH^*(A,A)\rightarrow H(A)\) which is up to a suspension a homomorphism of graded Lie algebras. When \(A\) is graded commutative, the homomorphism \(q_A\) admits a canonical linear retraction. When \(A\) is a strongly homotopy commutative algebra over a principal ideal domain \(\mathbb F\) (\(1\)-connected), the main theorem of the paper gives an explicit description of the kernel of \(s\circ q_A\circ s^{-1}: sHH^*(A,A)\rightarrow sH(A)\) as the homology of a DG Lie algebra of derivations of \(T\), where \(T\) is a cofibrant replacement of \(A\) (i.e. a semifree model). This has applications to the computation of the relative groups \(H_*(LX,X;\mathbb F)\) where \(LX\) is the free loop space, or to the computation of \(H_{*\geq n}(LX,\mathbb F)\) if \(X\) is a simply connected Poincaré duality space of formal dimension \(n\). The second main result of this paper gives a way to compute this kernel in cases when \(T = (T^aV,d)\) is such that \(V=\{V^i\}_{i\geq 2}\) and \(H^i(T) = 0\) for \(i>n\) and \(i=n-1\), and \(H^n(T) = \mathbb F\omega\). We recall that a strongly homotopy commutative algebra is an augmented DG algebra \(A\) together with a homomorphism of DG coalgebras \(BA\otimes BA\rightarrow BA\) that is associative, commutative up to homotopy and admitting a unit. In the special case \(A\) is commutative, \(BA\) is known to be a DG Hopf algebra.