A plane poset is a finite set with two partial orders, satisfying a certain incompatibility condition. The set PP of isoclasses of plane posets owns two products, and an infinitesimal Hopf algebra structure is defined on the vector space H_PP generat
ed by PP, using the notion of biideals of plane posets. We here define a partial order on PP, making it isomorphic to the set of partitions with the weak Bruhat order. We prove that this order is compatible with both products of PP; moreover, it encodes a non degenerate Hopf pairing on the infinitesimal Hopf algebra H_PP.
Let g be a free brace algebra. This structure implies that g is also a prelie algebra and a Lie algebra. It is already known that g is a free Lie algebra. We prove here that g is also a free prelie algebra, using a description of g with the help of p
lanar rooted trees, a permutative product, and anipulations on the Poincare-Hilbert series of g.
We introduce an infinitesimal Hopf algebra of planar trees, generalising the construction of the non-commutative Connes-Kreimer Hopf algebra. A non-degenerate pairing and a dual basis are defined, and a combinatorial interpretation of the pairing in
terms of orders on the vertices of planar forests is given. Moreover, the coproduct and the pairing can also be described with the help of a partial order on the set of planar forests, making it isomorphic to the Tamari poset. As a corollary, the dual basis can be computed with a Mobius inversion.
We consider the combinatorial Dyson-Schwinger equation X=B^+(P(X)) in the non-commutative Connes-KreimerHopf algebra of planar rooted trees H, where B^+ is the operator of grafting on a root, and P a formal series. The unique solution X of this equat
ion generates a graded subalgebra A_P ofH. We describe all the formal series P such that A_P is a Hopf subalgebra. We obtain in this way a 2-parameters family of Hopf subalgebras of H, organized into three isomorphism classes: a first one, restricted to a olynomial ring in one variable; a second one, restricted to the Hopf subalgebra of ladders, isomorphic to the Hopf algebra of quasi-symmetric functions; a last (infinite) one, which gives a non-commutative version of the Fa`a di Bruno Hopf algebra. By taking the quotient, the last classe gives an infinite set of embeddings of the Fa`a di Bruno algebra into the Connes-Kreimer Hopf algebra of rooted trees. Moreover, we give an embedding of the free Fa`a di Bruno Hopf algebra on D variables into a Hopf algebra of decorated rooted trees, togetherwith a non commutative version of this embedding.
Let G be a Coxeter group of type A_n, B_n, D_n or I_2(N), or a complex reflection group of type G(de,e,n). Let V be its standard representation and let k be an integer greater than 2. Then G acts on S(V)^{otimes k}. We show that the algebra of invari
ants (S(V)^{otimes k})^G is a free (S(V)^G)^{otimes k}-module of rank |G|^{k-1}, and that S(V)^{otimes k} is not a free (S(V)^{otimes k})^G-module.
