Abstract
We introduce a general construction that takes as input a so-called stiff PRO and that outputs a Hopf algebra. Stiff PROs are particular PROs that can be described by generators and relations with precise conditions. Our construction generalizes the classical construction from operads to Hopf algebras of van der Laan. We study some of its properties and review some examples of application. We get in particular Hopf algebras on heaps of pieces and retrieve some deformed versions of the noncommutative Faà di Bruno algebra introduced by Foissy.


Similar content being viewed by others
References
Brouder, C., Frabetti, A., Krattenthaler, C.: Non-commutative Hopf algebra of formal diffeomorphisms. Adv. Math. 200(2), 479–524 (2006)
Bousquet-Mélou, M., Rechnitzer, A.: Lattice animals and heaps of dimers. Discrete Math. 258(1–3), 235–274 (2002)
Boardman, J.M., Vogt, R.M.: Homotopy invariant algebraic structures on topological spaces. Lecture Notes in Mathematics 347 (1973)
Chapoton, F.: Operads and algebraic combinatorics of trees. Sém. Lothar. Combin. 58 (2008)
Connes, A., Kreimer, D.: Hopf algebras, renormalization and noncommutative geometry. Comm. Math. Phys. 199, 203–242 (1998)
Chapoton, F., Livernet, M.: Relating two Hopf algebras built from an operad. Int. Math. Res. Not. 24, 27 (2007)
Duchamp, G., Hivert, F., Thibon, J.-Y.: Noncommutative symmetric functions VI: free quasi-symmetric functions and related algebras. Int. J. Algebra Comput. 12(5), 671–717 (2002)
Foissy, L.: Bidendriform bialgebras, trees, and free quasi-symmetric functions. J. Pure Appl. Algebra 209(2), 439–459 (2007)
Foissy, L.: Faà di Bruno subalgebras of the Hopf algebra of planar trees from combinatorial Dyson–Schwinger equations. Adv. Math. 218(1), 136–162 (2008)
Frabetti, A.: Groups of tree-expanded series. J. Algebra 319(1), 377–413 (2008)
Gelfand, I.M., Krob, D., Lascoux, A., Leclerc, B., Retakh, V.S., Thibon, J.-Y.: Noncommutative symmetric functions. Adv. Math. 112(2), 218–348 (1995)
Hivert, F., Novelli, J.-C., Thibon, J.-Y.: The algebra of binary search trees. Theor. Comput. Sci. 339(1), 129–165 (2005)
Joni, S.A., Rota, G.-C.: Coalgebras and bialgebras in combinatorics. Stud. Appl. Math. 61, 93–139 (1979)
Krob, D., Leclerc, B., Thibon, J.-Y.: Noncommutative symmetric functions. II. Transformations of alphabets. Int. J. Algebra Comput. 7(2), 181–264 (1997)
Lafont, Y.: Diagram rewriting and operads. Sémin. Congr. 26, 163–179 (2011)
Leinster, T.: Higher operads, higher categories, vol. 298 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge (2004)
Loday, J.-L., Ronco, M.O.: Hopf algebra of the planar binary trees. Adv. Math. 139, 293–309 (1998)
Loday, J.-L., Vallette, B.: Algebraic Operads, vol. 346 of Grundlehren der mathematischen Wissenschaften. Springer, Berlin (2012)
Macdonald, I.G.: Symmetric functions and Hall Polynomials, 2nd edn. Oxford University Press, Oxford (1995)
Markl, M.: Operads and PROPs. In: Handbook of Algebra, vol. 5, pp. 87–140. Elsevier/North-Holland, Amsterdam (2008)
May, J.P.: The geometry of iterated loop spaces. Lecture Notes in Mathematics 271 (1972)
Mac Lane, S.: Categorical algebra. Bull. Am. Math. Soc. 71, 40–106 (1965)
Méndez, M., Liendo, J.: An antipode formula for the natural Hopf algebra of a set operad. Adv. Appl. Math. 53, 112–140 (2014)
Malvenuto, C., Reutenauer, C.: Duality between quasi-symmetric functions and Solomon descent algebra. J. Algebra 177, 967–982 (1995)
Poirier, S., Reutenauer, C.: Algèbres de Hopf de tableaux. Ann. Sci. Math. Qué. 19(1), 79–90 (1995)
Stein, W.A., et al.: Sage Mathematics Software (Version 6.1.1). The Sage Development Team (2014). http://www.sagemath.org
The Sage-Combinat community. Sage-Combinat: enhancing Sage as a toolbox for computer exploration in algebraic combinatorics (2008). http://combinat.sagemath.org
Sloane, N.J.A.: The on-line encyclopedia of integer sequences. https://oeis.org/
Takeuchi, M.: Free Hopf algebras generated by coalgebras. J. Math. Soc. Jpn. 23(4), 561–582 (1971)
van der Laan, P.: Operads. Hopf algebras and coloured Koszul duality. Ph.D. thesis, Universiteit Utrecht (2004)
Viennot, X.: Heaps of pieces. I. Basic definitions and combinatorial lemmas. In: Combinatoire énumérative, vol. 1234 of Lecture Notes in Mathematics. Springer, pp. 321–350 (1986)
Acknowledgments
The authors would like to thank Jean-Christophe Novelli for his suggestions during the preparation of this paper. Moreover, the authors would like to thank the anonymous referee for their useful suggestions, which helped to improve the paper. The computations of this work have been done with the open-source mathematical software Sage [26] and one of its extensions, Sage-Combinat [27].
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bultel, JP., Giraudo, S. Combinatorial Hopf algebras from PROs. J Algebr Comb 44, 455–493 (2016). https://doi.org/10.1007/s10801-016-0677-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10801-016-0677-7