Homotopy Gerstenhaber algebras are strongly homotopy commutative (Q2228316): Difference between revisions

Homotopy Gerstenhaber algebras were introduced by \textit{A. A. Voronov} and \textit{M. Gerstenhaber} [Funct. Anal. Appl. 29, No. 1, 1--5 (1995; Zbl 0849.16010); translation from Funkts. Anal. Prilozh. 29, No. 1, 1--6 (1995)]. Singular cochain complexes are examples of homotopy Gerstenhaber algebras besides the Hochschild cochains of associative algebras. According to \textit{J. Stasheff} and \textit{S. Halperin} [in: Proc. adv. Study Inst. algebraic Topol.various Publ. Ser. 13, 567--577 (1970; Zbl 0224.55027)], the DG algebra is a strongly homotopy commutative algebra \(A\) if the multiplication \(\mu_{A}:A\otimes A\to A\) extends to an \(A_{\infty}\) morphism \(\Phi:A\otimes A\to A\) in the sense that the base component \(\Phi_{(1)}:A\otimes A\to A\) of \(\Phi\) equals \(\mu\). \textit{H. J. Munkholm} [J. Pure Appl. Algebra 5, 1--50 (1974; Zbl 0294.55011)] alternatively defined it under \(3\) additional conditions. The author shows that any homotopy Gerstenhaber algebra is naturally a strongly homotopy commutative algebra in the sense of Stasheff-Halperin with a homotopy associative structure map. In the presence of certain additional operations corresponding to a \(\cup_1\)-product on the bar construction, the author shows that the structure map becomes homotopy commutative, which means that it is an strongly homotopy commutative algebra in the sense of Munkholm.