# New Hopf Structures on Binary Trees

Abstract : The multiplihedra $\mathcal{M}_{\bullet} = (\mathcal{M}_n)_{n \geq 1}$ form a family of polytopes originating in the study of higher categories and homotopy theory. While the multiplihedra may be unfamiliar to the algebraic combinatorics community, it is nestled between two families of polytopes that certainly are not: the permutahedra $\mathfrak{S}_{\bullet}$ and associahedra $\mathcal{Y}_{\bullet}$. The maps $\mathfrak{S}_{\bullet} \twoheadrightarrow \mathcal{M}_{\bullet} \twoheadrightarrow \mathcal{Y}_{\bullet}$ reveal several new Hopf structures on tree-like objects nestled between the Hopf algebras $\mathfrak{S}Sym$ and $\mathcal{Y}Sym$. We begin their study here, showing that $\mathcal{M}Sym$ is a module over $\mathfrak{S}Sym$ and a Hopf module over $\mathcal{Y}Sym$. An elegant description of the coinvariants for $\mathcal{M}Sym$ over $\mathcal{Y}Sym$ is uncovered via a change of basis-using Möbius inversion in posets built on the $1$-skeleta of $\mathcal{M}_{\bullet}$. Our analysis uses the notion of an $\textit{interval retract}$ that should be of independent interest in poset combinatorics. It also reveals new families of polytopes, and even a new factorization of a known projection from the associahedra to hypercubes.
Keywords :
Document type :
Conference papers
Domain :

Cited literature [6 references]

https://hal.inria.fr/hal-01185432
Contributor : Coordination Episciences Iam <>
Submitted on : Thursday, August 20, 2015 - 11:09:31 AM
Last modification on : Thursday, August 22, 2019 - 2:42:03 PM

### File

dmAK0134.pdf
Publisher files allowed on an open archive

### Identifiers

• HAL Id : hal-01185432, version 1

### Citation

Stefan Forcey, Aaron Lauve, Frank Sottile. New Hopf Structures on Binary Trees. 21st International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2009), 2009, Hagenberg, Austria. pp.411-420. ⟨hal-01185432⟩

Record views