Algebraic & Geometric Topology

Species substitution, graph suspension, and graded Hopf algebras of painted tree polytopes

Abstract

Combinatorial Hopf algebras of trees exemplify the connections between operads and bialgebras. Painted trees were introduced recently as examples of how graded Hopf operads can bequeath Hopf structures upon compositions of coalgebras. We put these trees in context by exhibiting them as the minimal elements of face posets of certain convex polytopes. The full face posets themselves often possess the structure of graded Hopf algebras (with one-sided unit). We can enumerate faces using the fact that they are structure types of substitutions of combinatorial species. Species considered here include ordered and unordered binary trees and ordered lists (labeled corollas). Some of the polytopes that constitute our main results are well known in other contexts. First we see the classical permutohedra, and then certain generalized permutohedra: specifically the graph associahedra of suspensions of certain simple graphs. As an aside we show that the stellohedra also appear as liftings of generalized permutohedra: graph composihedra for complete graphs. Thus our results give examples of Hopf algebras of tubings and marked tubings of graphs. We also show an alternative associative algebra structure on the graph tubings of star graphs.

Article information

Source
Algebr. Geom. Topol., Volume 19, Number 2 (2019), 1019-1078.

Dates
Revised: 8 July 2018
Accepted: 22 August 2018
First available in Project Euclid: 19 March 2019

https://projecteuclid.org/euclid.agt/1552960833

Digital Object Identifier
doi:10.2140/agt.2019.19.1019

Mathematical Reviews number (MathSciNet)
MR3924182

Zentralblatt MATH identifier
07075119

Citation

Berry, Lisa; Forcey, Stefan; Ronco, Maria; Showers, Patrick. Species substitution, graph suspension, and graded Hopf algebras of painted tree polytopes. Algebr. Geom. Topol. 19 (2019), no. 2, 1019--1078. doi:10.2140/agt.2019.19.1019. https://projecteuclid.org/euclid.agt/1552960833

References

• M Aguiar, F Sottile, Structure of the Malvenuto–Reutenauer Hopf algebra of permutations, Adv. Math. 191 (2005) 225–275
• M Aguiar, F Sottile, Structure of the Loday–Ronco Hopf algebra of trees, J. Algebra 295 (2006) 473–511
• F Ardila, J Doker, Lifted generalized permutahedra and composition polynomials, Adv. in Appl. Math. 50 (2013) 607–633
• P Barry, A Catalan transform and related transformations on integer sequences, J. Integer Seq. 8 (2005) art. id. 05.4.5, 24 pages
• F Bergeron, G Labelle, P Leroux, Combinatorial species and tree-like structures, Encyclopedia of Mathematics and its Applications 67, Cambridge Univ. Press (1998)
• J M Boardman, R M Vogt, Homotopy invariant algebraic structures on topological spaces, Lecture Notes in Mathematics 347, Springer (1973)
• M P Carr, S L Devadoss, Coxeter complexes and graph-associahedra, Topology Appl. 153 (2006) 2155–2168
• F Chapoton, Bigèbres différentielles graduées associées aux permutoèdres, associaèdres et hypercubes, Ann. Inst. Fourier $($Grenoble$)$ 50 (2000) 1127–1153
• S L Devadoss, A realization of graph associahedra, Discrete Math. 309 (2009) 271–276
• S Devadoss, S Forcey, Marked tubes and the graph multiplihedron, Algebr. Geom. Topol. 8 (2008) 2081–2108
• S L Devadoss, T Heath, W Vipismakul, Deformations of bordered surfaces and convex polytopes, Notices Amer. Math. Soc. 58 (2011) 530–541
• S Forcey, Convex hull realizations of the multiplihedra, Topology Appl. 156 (2008) 326–347
• S Forcey, Dear NSA: Long-term security depends on freedom, Notices Amer. Math. Soc. 61 (2014) 7
• S Forcey, A Lauve, F Sottile, New Hopf structures on binary trees, from “21st International Conference on Formal Power Series and Algebraic Combinatorics” (C Krattenthaler, V Strehl, M Kauers, editors), Assoc. Discrete Math. Theor. Comput. Sci., Nancy, France (2009) 411–420
• S Forcey, A Lauve, F Sottile, Cofree compositions of coalgebras, Ann. Comb. 17 (2013) 105–130
• S Forcey, D Springfield, Geometric combinatorial algebras: cyclohedron and simplex, J. Algebraic Combin. 32 (2010) 597–627
• J-L Loday, M O Ronco, Hopf algebra of the planar binary trees, Adv. Math. 139 (1998) 293–309
• J-L Loday, M O Ronco, Order structure on the algebra of permutations and of planar binary trees, J. Algebraic Combin. 15 (2002) 253–270
• J-L Loday, M Ronco, Trialgebras and families of polytopes, from “Homotopy theory: relations with algebraic geometry, group cohomology, and algebraic $K$–theory”, Contemp. Math. 346, Amer. Math. Soc., Providence, RI (2004) 369–398
• C Malvenuto, C Reutenauer, Duality between quasi-symmetric functions and the Solomon descent algebra, J. Algebra 177 (1995) 967–982
• T Manneville, V Pilaud, Compatibility fans for graphical nested complexes, J. Combin. Theory Ser. A 150 (2017) 36–107
• OEIS Foundation Inc, The on-line encyclopedia of integer sequences, electronic reference (2019) Available at \setbox0\makeatletter\@url https://oeis.org {\unhbox0
• V Pilaud, Signed tree associahedra, from “Proceedings of the 26th International Conference on Formal Power Series and Algebraic Combinatorics”, Assoc. Discrete Math. Theor. Comput. Sci., Nancy, France (2014) 309–320
• A Postnikov, Permutohedra, associahedra, and beyond, Int. Math. Res. Not. 2009 (2009) 1026–1106
• A Postnikov, V Reiner, L Williams, Faces of generalized permutohedra, Doc. Math. 13 (2008) 207–273
• A Tonks, Relating the associahedron and the permutohedron, from “Operads: Proceedings of Renaissance Conferences”, Contemp. Math. 202, Amer. Math. Soc., Providence, RI (1997) 33–36
• E Zoque, Partitions, pairs of trees and Catalan numbers, preprint (2010)