Algebraic & Geometric Topology

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

Lisa Berry, Stefan Forcey, Maria Ronco, and Patrick Showers

Full-text: Access denied (no subscription detected)

However, an active subscription may be available with MSP at

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text


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

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

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

Permanent link to this document

Digital Object Identifier

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier

Primary: 18D50: Operads [See also 55P48] 52B11: $n$-dimensional polytopes 57T05: Hopf algebras [See also 16T05]

associahedron multiplihedron composihedron binary tree cofree coalgebra Hopf algebra operad species


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.

Export citation


  • 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 {\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)