Bidendriform bialgebras, trees, and free quasi-symmetric functions

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).

Résuménous introduisons les bigèbres bidendriformes, qui sont des bigèbres dont le produit et le coproduit peuvent être scindés en deux avec de bonnes compatibilités. Par exemple, l’algèbre de Hopf de Malvenuto–Reutenauer et les algèbres de Hopf non-commutative de Connes–Kreimer sur les arbres plans enracinés décorés sont des bigèbres bidendriformes. Nous montrons que toute bigèbre bidendriforme connexe est engendrée par ses éléments primitifs comme algèbre dendriforme (version bidendriforme du théorème de Milnor–Moore) et qu’elle est alors isomorphe à une algèbre de Hopf de Connes–Kreimer. En conséquence, l’algèbre de Hopf de Malvenuto–Reutenauer est isomorphe à l’algèbre de Connes–Kreimer des arbres plans enracinés décorés par un certain ensemble. On en déduit que l’algèbre de Lie de ses éléments primitifs est libre en caractéristique zéro (conjecture de G. Duchamp, F. Hivert et J.-Y. Thibon).