Bidendriform bialgebras, trees, and free quasi-symmetric functions.

DOI10.1016/J.JPAA.2006.06.005zbMATH Open1123.16030arXivmath/0505207OpenAlexW1990056107MaRDI QIDQ869217FDOQ869217

Loïc Foissy

Publication date: 26 February 2007

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: We introduce bidendriform bialgebras, which are bialgebras such that both product and coproduct can be split into two parts satisfying good compatibilities. For example, the Malvenuto-Reutenauer Hopf algebra and the non-commutative Connes-Kreimer Hopf algebras of planar decorated rooted trees are bidendriform bialgebras. We prove that all connected bidendriform bialgebras are generated by their primitive elements as a dendriform algebra bidendriform Milnor-Moore theorem) and then is isomorphic to a Connes-Kreimer Hopf algebra. As a corollary, the Hopf algebra of Malvenuto-Reutenauer is isomorphic to the Connes-kreimer Hopf algebra of planar rooted trees decorated by a certain set. We deduce that the Lie algebra of its primitive elements is free in characteristic zero (G. Duchamp, F. Hivert and J.-Y. Thibon conjecture).

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

zbMATH Keywords

graded Hopf algebrasplanar rooted treesaugmentation idealsMalvenuto-Reutenauer Hopf algebrasbidendriform bialgebrasdendriform coalgebrasfree quasi-symmetric functions

Mathematics Subject Classification ID

Trees (05C05) Symmetric functions and generalizations (05E05) Nonassociative algebras satisfying other identities (17A30)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Combinatorics of (perturbative) quantum field theory
• Duality between quasi-symmetric functions and the Solomon descent algebra
• Hopf algebra of the planar binary trees
• Hopf algebras, renormalization and noncommutative geometry
• Order structure on the algebra of permutations and of planar binary trees
• Arithmetree.
• A rigidity theorem for pre-Lie algebras
• On the structure of Hopf algebras
• On the Hopf algebra strucutre of perturbative quantum field theories
• The Hopf algebras of decorated rooted trees. II
• Comparison of Hopf algebras on trees.
• The Hopf algebras of decorated rooted trees. I
• The Hopf algebra of uniform block permutations.
• Hopf algebras and dendriform structures arising from parking functions
• Structure of the Malvenuto-Reutenauer Hopf algebra of permutations
• On overlapping divergences
• On some properties of the algebra of binary trees
• Primitive elements in a free dendriform algebra
• Eulerian idempotents and Milnor-Moore theorem for certain non-cocommutative Hopf algebras

Cited In (47)

• Plane posets, special posets, and permutations
• Free and cofree Hopf algebras.
• Polynomial realizations of some combinatorial Hopf algebras
• Grafting algebras.
• Rota-Baxter operators on Turaev's Hopf group (co)algebras. I: Basic definitions and related algebraic structures
• Hopf algebra structure on packed square matrices.
• Natural endomorphisms of shuffle algebras.
• Tridendriform structures
• Operads of (noncrossing) partitions, interacting bialgebras, and moment-cumulant relations
• Pluriassociative algebras. II: The polydendriform operad and related operads.
• Free quasi-symmetric functions and descent algebras for wreath products, and noncommutative multi-symmetric functions
• Relations between infinitesimal non-commutative cumulants
• Rota–Baxter Hom-Lie–Admissible Algebras
• Trees, free right-symmetric algebras, free Novikov algebras and identities
• About the packed words Hopf algebra WMat
• Hopf algebras of parking functions and decorated planar trees
• New identities in dendriform algebras
• Algebraic and combinatorial structures on pairs of twin binary trees
• Combinatorial Hopf algebras from PROs
• Decompositions of packed words and self duality of word quasisymmetric functions
• Title not available (Why is that?)
• Coquasitriangular infinitesimal BiHom-bialgebras and related structures
• Octo-bialgebras
• Lie Theory for Quasi-Shuffle Bialgebras
• Hopf dreams and diagonal harmonics
• The pre-Lie structure of the time-ordered exponential
• Dendriform-Nijenhuis bialgebras and DN-associative Yang-Baxter equations
• Lie theory for Hopf operads
• Rota–Baxter cosystems and coquasitriangular mixed bialgebras
• HOPF ALGEBRAS OF DIAGRAMS
• Free quadri-algebras and dual quadri-algebras
• Quadri-algebras, preLie algebras, and the Catalan family of Lie idempotents
• A shuffle algebra point of view on operator-valued probability theory
• A group-theoretical approach to conditionally free cumulants
• Shuffle quadri-algebras and concatenation
• Structure theorems for dendriform and tridendriform algebras
• Hopf Algebras in Renormalisation
• Construction of dendriform trialgebras.
• A simplicial complex splitting associativity
• Monotone cumulant-moment formula and Schröder trees
• Wick polynomials in noncommutative probability: a group-theoretical approach
• The Magnus expansion, trees and Knuth's rotation correspondence
• Weak stuffle algebras
• A theory of pictures for quasi-posets
• Basis of totally primitive elements of WQSym
• From left modules to algebras over an operad: application to combinatorial Hopf algebras
• An unpublished theorem of Manfred Schocker and the Patras-Reutenauer algebra

Recommendations

• On symmetric bi-derivations of B-algebras. 👍 👎
• Biderivations of triangular algebras. 👍 👎
• Trees, functional equations, and combinatorial Hopf algebras 👍 👎
• Trees, free right-symmetric algebras, free Novikov algebras and identities 👍 👎
• FREE ROTA–BAXTER ALGEBRAS AND ROOTED TREES 👍 👎
• Bitwistor and Quasitriangular Structures of Bialgebras 👍 👎
• The biderivative and \(A_\infty\)-bialgebras 👍 👎
• (Non)commutative Hopf algebras of trees and (quasi)symmetric functions 👍 👎
• Quasi-Frobenius bimodules of functions on a semigroup 👍 👎
• Quasi-bialgebra Structures and Torsion-free Abelian Groups 👍 👎

This page was built for publication: Bidendriform bialgebras, trees, and free quasi-symmetric functions.

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