2006/07/18 by Muriel Livernet, Livernet, Muriel
Mathematics · #16A06 (Secondary) #16W30 #18D50 (Primary) #FOS: Mathematics #Rings and Algebras (math.RA) #math.RA #msc:16A06 #msc:16W30 #msc:18D50
paper · pdf · doi:10.48550/arxiv.math/0607427
Section 4.3 removed. To appear in Annales Mathématiques Blaise Pascal
arxiv created 2009/07/15 · arxiv updated 2009/12/01
The purpose of this paper is two fold: we study the behaviour of the forgetful functor from S-modules to graded vector spaces in the context of algebras over an operad and derive from this theory the construction of combinatorial Hopf algebras. As a byproduct we obtain freeness and cofreeness results for these Hopf algebras. Let O denote the forgetful functor from S-modules to graded vector spaces. Left modules over an operad P are treated as P-algebras in the category of S-modules. We generalize the results obtained by Patras and Reutenauer in the associative case to any operad P: the functor O sends P-algebras to P-algebras. If P is a Hopf operad then O sends Hopf P-algebras to Hopf P-algebras. If the operad P is regular one gets two different structures of Hopf P-algebras in the category of graded vector spaces. We develop the notion of unital infinitesimal P-bialgebra and prove freeness and cofreeness results for Hopf algebras built from Hopf operads. Finally, we prove that many combinatorial Hopf algebras arise from our theory, as Hopf algebras on the faces of the permutohedra and associahedra.