Homotopy Gerstenhaber algebras are strongly homotopy commutative

DOI10.1007/S40062-020-00268-YMaRDI QIDQ2228316zbMATH OpenOpenAlexFDO

Authors Matthias Franz

Publication date 17 February 2021

Published in Journal of Homotopy and Related Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1907.04778

zbMATH Keywords

homotopy Gerstenhaber algebrapolynomial algebrashc algebra

Mathematics Subject Classification ID

Differential graded algebras and applications (associative algebraic aspects) (16E45) Bar and cobar constructions (57T30)

Abstract: We show that any homotopy Gerstenhaber algebra is naturally a strongly homotopy commutative (shc) 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 structure map becomes homotopy commutative, so that one obtains an shc algebra in the sense of Munkholm.

Review text

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.

Recommendations

• Hom-Gerstenhaber algebras up to homotopy
• scientific article; zbMATH DE number 1560244
• Tensor products of homotopy Gerstenhaber algebras
• Pre-Gerstenhaber algebra up to homotopy
• Homology and minimal model of Gerstenhaber algebras.

Cites work

• A canonical enriched Adams-Hilton model for simplicial sets
• Combinatorial operad actions on cochains
• Higher operations on the Hochschild complex
• scientific article; zbMATH DE number 2096927 (Why is no real title available?)
• scientific article; zbMATH DE number 3356004 (Why is no real title available?)
• Measuring the noncommutativity of \(DG\)-algebras
• Multivariable cochain operations and little 𝑛-cubes
• On the extended functoriality of Tor and Cotor
• The (non-equivariant) homology of the little disks operad
• The cobar construction as a Hopf algebra
• The Eilenberg-Moore spectral sequence and strongly homotopy multiplicative maps

Cited in

(9)

• On the homotopy structure of strongly homotopy associative algebras
• Structures of Gerstenhaber-Voronov algebra on non-commutuative differential forms
• scientific article; zbMATH DE number 1851137 (Why is no real title available?)
• The cohomology rings of homogeneous spaces
• Cohomology of smooth toric varieties: naturality
• The cohomology of homogeneous spaces in historical context
• An A_ -version of the Eilenberg-Moore theorem
• The cohomology of biquotients via a product on the two-sided bar construction. Appendix written jointly with Matthias Franz
• E₂-formality via obstruction theory

Describes a project that uses

Uses Software

• SymPy

This page was built for publication: Homotopy Gerstenhaber algebras are strongly homotopy commutative

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2228316)