Geometric realizations of the -weak order and its lattice quotients
arXiv:2405.02092 · doi:10.1112/jlms.70268
Abstract
For an -tuple of non-negative integers, the -weak order is a lattice structure on -trees, generalizing the weak order on permutations. We first describe the join irreducible elements, the canonical join representations, and the forcing order of the -weak order in terms of combinatorial objects, generalizing the arcs, the non-crossing arc diagrams, and the subarc order for the weak order. We then extend the theory of shards and shard polytopes to construct geometric realizations of the -weak order and all its lattice quotients as polyhedral complexes, generalizing the quotient fans and quotientopes of the weak order.
arXiv comment50 pages, 33 figures. Version 4: minor corrections, published version
References in corpus (15)
- Cambrian Lattices
- Lattice congruences, fans and Hopf algebras
- Lattice congruences of the weak order
- Algebraic and combinatorial structures on pairs of twin binary trees
- The Hopf algebra of diagonal rectangulations
- Cambrian Hopf Algebras
- Lattice theory of torsion classes: Beyond -tilting theory
- Generic rectangulations
- Quotientopes
- Celebrating Loday's Associahedron
- Shard polytopes
- The facial weak order on hyperplane arrangements
- The -weak order and -permutahedra II: The combinatorial complex of pure intervals
- Rectangulotopes
- The -weak order and -permutahedra I: combinatorics and lattice structure