Matrads, biassociahedra, and A_ -bialgebras

DOI10.4310/HHA.2011.V13.N1.A2MaRDI QIDQ534527zbMATH OpenFDO

Authors Samson Saneblidze, Ronald N. Umble

Publication date 17 May 2011

Published in Homology, Homotopy and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0508017, http://intlpress.com/hha/v13/n1/a1/

zbMATH Keywords

\(A_\infty\)-bialgebrasbiassociahedronmatradoperadpermutahedron

Mathematics Subject Classification ID

Combinatorial properties of polytopes and polyhedra (number of faces, shortest paths, etc.) (52B05) Loop spaces (55P35) Loop space machines and operads in algebraic topology (55P48) Homotopy theory (55P99)

Abstract: We introduce the notion of a matrad M = {M_{n,m}} whose submodules M_{*,1} and M_{1,*} are non-Sigma operads. We define the free matrad H_{infty} generated by a singleton in each bidegree (m,n) and realize H_{infty} as the cellular chains on biassociahedra KK_{n,m} = KK_{m,n}, of which KK_{n,1} = KK_{1,n} is the associahedron K_{n}. We construct the universal enveloping functor from matrads to PROPs and define an A_{infty}-bialgebra as an algebra over H_{infty}.

Review text

Let \(H\) be a DG module over a commutative ring \(R\) with identity. In [Homology Homotopy Appl. 7, No. 2, 161--177 (2005; Zbl 1088.55008)], the authors defined an \(A_\infty\)-bialgebra structure on \(H\) in terms of a square-zero \(\circledcirc\)-product on the universal PROP \(U_H=End(TH)\). In the paper under review, the authors take an alternative point of view motivated by the classical construction that a chain map \(\mathcal A_\infty \to U_H\) in the category of non-\(\Sigma\) operads defines an \(A_\infty\)-(co)algebra structure on \(H\). Here, \(\mathcal A_\infty\) is an \(A_\infty\)-operad realized by the cellular chains on the Stasheff associahedra. The authors introduce the notion of a matrad. Then they construct a matrad \(\mathcal H_\infty\) which plays the role of \(\mathcal A_\infty\). They show that a chain map \(\mathcal H_\infty \to U_H\) in the category of matrads defines an \(A_\infty\)-bialgebra structure on \(H\). Furthermore, it is shown that \(\mathcal H_\infty\) is realized by the cellular chains on a new family of polytopes called biassociahedra \(\{KK_{n,m}\}\), of which \(KK_{n,1}=KK_{1,n}\) is the associahedron.

Recommendations

• Structure relations in special \(A_\infty\)-bialgebras.
• The biderivative and \(A_\infty\)-bialgebras
• The diagonal of the multiplihedra and the tensor product of \(\mathrm{A}_\infty\)-morphisms
• Higher Homotopy Hopf Algebras Found: A Ten Year Retrospective
• Framed matrices and \(A_{\infty}\)-bialgebras
• Category of \(A_\infty\)-categories
• A-infinity algebras, modules and functor categories
• The diagonal of the Stasheff polytope
• Associahedra, cellular $W$-construction and products of $A_\infty $-algebras
• Tensor products of A_-algebras with homotopy inner products

Cited in

(13)

• An explicit two step quantization of Poisson structures and Lie bialgebras
• Framed matrices and \(A_{\infty}\)-bialgebras
• Structure relations in special \(A_\infty\)-bialgebras.
• Bipermutahedron and biassociahedron
• The biderivative and \(A_\infty\)-bialgebras
• Topologically induced 2-in/2-out operation on loop cohomology
• How I `met' Dov Tamari
• Some naturally occurring examples of \(A_\infty \)-bialgebras
• Celebrating Loday's associahedron
• Tautological classes and symmetry in Khovanov-Rozansky homology
• Computing the dimension of a bipartition matrix
• Shuffles of deformed permutahedra, multiplihedra, constrainahedra, and biassociahedra
• Gerstenhaber-Schack bialgebras

This page was built for publication: Matrads, biassociahedra, and \(A_{\infty }\)-bialgebras

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