An A_ operad in spineless cacti

DOI10.1007/S00009-015-0577-4MaRDI QIDQ892123zbMATH OpenOpenAlexFDO

Authors Imma Gálvez-Carrillo, Andrew Tonks, Leandro E. Lombardi

Publication date 18 November 2015

Published in Mediterranean Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

\(A_\infty\)-operadDeligne conjecture, cacti operad

Mathematics Subject Classification ID

Loop space machines and operads in algebraic topology (55P48)

Abstract: The d.g. operad C of cellular chains on the operad of spineless cacti is isomorphic to the Gerstenhaber-Voronov operad codifying the cup product and brace operations on the Hochschild cochains of an associative algebra, and to the suboperad F_2X of the surjection operad. Its homology is the Gerstenhaber operad G. We construct an operad map psi from A-infinity to C such that psi(m_2) is commutative and the homology of psi is the canonical map A o Com o G. This formalises the idea that, since the cup product is commutative in homology, its symmetrisation is a homotopy associative operation. Our explicit A-infinty structure does not vanish on non-trivial shuffles in higher degrees, so does not give a map from Com-infinity to C. If such a map could be written down explicitly, it would immediately lead to a G-infinity structure on C and on Hochschild cochains, that is, to a direct proof of the Deligne conjecture.

Review text

There have been many different approaches to the Deligne conjecture, which states that the Hochschild cochains of an associative algebra has a homotopy Gerstenhaber algebra structure. This paper offers introductory steps toward an approach that would be more concrete than the proofs currently in the literature. The authors make use of the surjection operad \(\mathcal X\) of \textit{C. Berger} and \textit{B. Fresse} [Math. Proc. Camb. Philos. Soc. 137, No. 1, 135--174 (2004; Zbl 1056.55006)], and its second filtration \(F_2 \mathcal X\), shown by \textit{J. E. McClure} and \textit{J. H. Smith} [Contemp. Math. 293, 153--193 (2002; Zbl 1009.18009)] to be equivalent to the Gerstenhaber-Voronov operad \(\mathcal H\), and by \textit{R. M. Kaufmann} [Topology 46, No. 1, 39--88 (2007; Zbl 1140.55008)] to be equivalent to the cellular chains in the operad \(\mathcal C\) of spineless cacti. The main result of this paper is an inductively defined, explicit map from the \(A_\infty\)-operad to this operad. The map is constructed via a homotopy variant of the operad of matching dialgebras. The hope would be that this map could be used to find a direct map from the homotopy Gerstenhaber operad \(\mathcal G_\infty\) to \(\mathcal C\).

Recommendations

• Associahedra, cyclohedra and a topological solution to the \(A_{\infty }\) Deligne conjecture
• On spineless cacti, Deligne's conjecture and Connes-Kreimer's Hopf algebra
• scientific article; zbMATH DE number 1552053
• Gerstenhaber algebra and Deligne's conjecture on the Tate-Hochschild cohomology
• A proof of a cyclic version of Deligne's conjecture via cacti

Cites work

• A homotopy theoretic realization of string topology
• A proof of a cyclic version of Deligne's conjecture via cacti
• Algebraic operads
• Arc operads and arc algebras
• Associahedra, cyclohedra and a topological solution to the \(A_{\infty }\) Deligne conjecture
• Combinatorial operad actions on cochains
• Encyclopedia of Types of Algebras 2010
• scientific article; zbMATH DE number 1803807 (Why is no real title available?)
• scientific article; zbMATH DE number 1552053 (Why is no real title available?)
• scientific article; zbMATH DE number 760339 (Why is no real title available?)
• scientific article; zbMATH DE number 2221920 (Why is no real title available?)
• Multivariable cochain operations and little 𝑛-cubes
• On several varieties of cacti and their relations
• On spineless cacti, Deligne's conjecture and Connes-Kreimer's Hopf algebra
• The category and operad of matching dialgebras
• The topological cyclic Deligne conjecture

Cited in

(9)

• On several varieties of cacti and their relations
• Cyclic \(A_\infty\) structures and Deligne's conjecture
• scientific article; zbMATH DE number 1552053 (Why is no real title available?)
• scientific article; zbMATH DE number 2096927 (Why is no real title available?)
• scientific article; zbMATH DE number 760339 (Why is no real title available?)
• Operations on the Hochschild bicomplex of a diagram of algebras
• On spineless cacti, Deligne's conjecture and Connes-Kreimer's Hopf algebra
• Gerstenhaber structure and Deligne's conjecture for Loday algebras.
• Associahedra, cyclohedra and a topological solution to the \(A_{\infty }\) Deligne conjecture

This page was built for publication: An \(\mathcal{A}_\infty\) operad in spineless cacti

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