Hochschild polytopes
arXiv:2307.05940 · doi:10.1007/s00208-025-03120-x
Abstract
The -multiplihedron is a polytope whose faces correspond to -painted -trees, and whose oriented skeleton is the Hasse diagram of the rotation lattice on binary -painted -trees. Deleting certain inequalities from the facet description of the -multiplihedron, we construct the -Hochschild polytope whose faces correspond to -lighted -shades, and whose oriented skeleton is the Hasse diagram of the rotation lattice on unary -lighted -shades. Moreover, there is a natural shadow map from -painted -trees to -lighted -shades, which turns out to define a meet semilattice morphism of rotation lattices. In particular, when , our Hochschild polytope is a deformed permutahedron whose oriented skeleton is the Hasse diagram of the Hochschild lattice.
35 pages, 28 figures, 7 tables. Version 5: minor corrections
References in corpus (12)
- Cluster algebras II: Finite type classification
- Cambrian Lattices
- Cambrian fans
- Lattice congruences, fans and Hopf algebras
- Cambrian Hopf Algebras
- Polytopal realizations of finite type -vector fans
- Quotientopes
- Celebrating Loday's Associahedron
- Minkowski Decomposition of Associahedra and Related Combinatorics
- Hochschild lattices and shuffle lattices
- A combinatorial model for the free loop fibration
- Shuffles of deformed permutahedra, multiplihedra, constrainahedra, and biassociahedra