Shard polytopes

Abstract

For any lattice congruence of the weak order on permutations, N. Reading proved that gluing together the cones of the braid fan that belong to the same congruence class defines a complete fan, called a quotient fan, and V. Pilaud and F. Santos showed that it is the normal fan of a polytope, called a quotientope. In this paper, we provide a simpler approach to realize quotient fans based on Minkowski sums of elementary polytopes, called shard polytopes, which have remarkable combinatorial and geometric properties. In contrast to the original construction of quotientopes, this Minkowski sum approach extends to type $B$.

arXiv comment73 pages, 35 figures; Version 2: minor corrections for final version

References in corpus (21)

• Cluster algebras II: Finite type classification
• Scattering Forms and the Positive Geometry of Kinematics, Color and the Worldsheet
• Cambrian Lattices
• Cambrian fans
• Lattice congruences, fans and Hopf algebras
• Lattice congruences of the weak order
• The brick polytope of a sorting network
• Algebraic and combinatorial structures on pairs of twin binary trees
• Brick polytopes of spherical subword complexes and generalized associahedra
• Cambrian Hopf Algebras
• The Hopf algebra of diagonal rectangulations
• Associahedra via spines
• Polytopal realizations of finite type $\mathbf{g}$-vector fans
• Brick polytopes, lattice quotients, and Hopf algebras
• Quotientopes
• Polyhedral models for generalized associahedra via Coxeter elements
• Removahedral congruences versus permutree congruences
• Hopf monoids and generalized permutahedra
• Minkowski Decomposition of Associahedra and Related Combinatorics
• Scattering fans
• Hopf algebras on decorated noncrossing arc diagrams

Cited by in corpus (6)

• Celebrating Loday's Associahedron
• Acyclic reorientation lattices and their lattice quotients
• Shuffles of deformed permutahedra, multiplihedra, constrainahedra, and biassociahedra
• Rectangulotopes
• Geometric realizations of the $s$-weak order and its lattice quotients
• Separating trees and simple congruences of the weak order