Coassociative magmatic bialgebras and the Fine numbers.

DOI10.1007/S10801-007-0089-9MaRDI QIDQ1024806zbMATH OpenOpenAlexFDO

Authors Ralf Holtkamp, J.-L. Loday, María O. Ronco

Publication date 17 June 2009

Published in Journal of Algebraic Combinatorics (Search for Journal in Brave)

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

zbMATH Keywords

bialgebrasFine numbersHopf algebrasmagmatic algebrasoperadspre-Lie algebras

Mathematics Subject Classification ID

Bialgebras (16T10)

Abstract: We prove a structure theorem for the connected coassociative magmatic bialgebras. The space of primitive elements is an algebra over an operad called the primitive operad. We prove that the primitive operad is magmatic generated by n-2 operations of arity n. The dimension of the space of all the n-ary operations of this primitive operad turns out to be the Fine number F_{n-1}. In short, the triple of operads (As, Mag, MagFine) is good.

Review text

A magmatic algebra is a vector space equipped with a unital binary operation. A magmatic bialgebra is a magmatic algebra which is additionally equipped with a counital binary cooperation satisfying some natural compatibility axioms. In the paper under review the authors prove a structure theorem for connected coassociative magmatic bialgebras. The authors show that the space of primitive elements of such a bialgebra is an algebra over an operad, which gives rise to an equivalence of categories between the category of connected coassociative magmatic bialgebras and a certain category of magmatic algebras. In particular, it follows that any connected coassociative magmatic bialgebra is cofree. This statement is analogous to the PBW theorem for (classical) cocommutative bialgebras. Fine numbers appear as dimensions of the space of \(n\)-ary operations of the primitive operad mentioned above.

Recommendations

• Infinite magmatic bialgebras.
• Partial magmatic bialgebras.
• Generalized bialgebras and triples of operads
• Quotients of the magmatic operad: lattice structures and convergent rewrite systems
• Hopf co-addition for free magma algebras and the non-associative Hausdorff series.

Cites work

• A Koszul duality for props
• A survey of the Fine numbers
• Cofree Hopf algebras.
• Comparison of Hopf algebras on trees.
• Eulerian idempotents and Milnor-Moore theorem for certain non-cocommutative Hopf algebras
• Free Akivis algebras, primitive elements, and hyperalgebras
• Hopf algebra of the planar binary trees
• scientific article; zbMATH DE number 4006511 (Why is no real title available?)
• scientific article; zbMATH DE number 15587 (Why is no real title available?)
• scientific article; zbMATH DE number 1111371 (Why is no real title available?)
• scientific article; zbMATH DE number 1757930 (Why is no real title available?)
• Infinite magmatic bialgebras.
• Infinitesimal Hopf algebras
• Koszul duality for operads
• On Hopf algebra structures over free operads.
• On the Poincaré-Birkhoff-Witt theorem
• On the structure of cofree Hopf algebras
• On the structure of Hopf algebras
• Rational homotopy theory
• The descent algebra of a graded bialgebra

Cited in

(5)

• Infinite magmatic bialgebras.
• L-algebras, triplicial-algebras, within an equivalence of categories motivated by graphs
• Primitive elements in infinitesimal bialgebras
• Infinitesimal bialgebra on planar binary trees
• Partial magmatic bialgebras.

This page was built for publication: Coassociative magmatic bialgebras and the Fine numbers.

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