Abstract We show that the base polytopePMof any paving matroidMcan be systematically obtained from a hypersimplex by slicing off certain subpolytopes, namely base polytopes of lattice path matroids corresponding to panhandle-shaped Ferrers diagrams. We calculate the Ehrhart polynomials of these matroids and consequently write down the Ehrhart polynomial ofPM, starting with Katzman’s formula for the Ehrhart polynomial of a hypersimplex. The method builds on and generalizes Ferroni’s work on sparse paving matroids. Combinatorially, our construction corresponds to constructing a uniform matroid from a paving matroid by iterating the operation ofstressed-hyperplane relaxationintroduced by Ferroni, Nasr and Vecchi, which generalizes the standard matroid-theoretic notion of circuit-hyperplane relaxation. We present evidence that panhandle matroids are Ehrhart positive and describe a conjectured combinatorial formula involving chain forests and Eulerian numbers from which Ehrhart positivity of panhandle matroids will follow. As an application of the main result, we calculate the Ehrhart polynomials of matroids associated with Steiner systems and finite projective planes, and show that they depend only on their design-theoretic parameters: for example, while projective planes of the same order need not have isomorphic matroids, their base polytopes must be Ehrhart equivalent.
more »
« less
The arithmetic of Coxeter permutahedra
Ehrhart theory mesures a polytope P discretely by counting the lattice points inside its dilates P, 2P, 3P, ..... We compute the Ehrhart theory of four families of polytopes of great importance in several areas of mathematics: the standard Coxeter permutahedra for the classical Coxeter groups An, Bn, Cn, Dn. A central tool, of independent interest, is a description of the Ehrhart theory of a rational translate of an integer projection of a cube.
more »
« less
- Award ID(s):
- 1855610
- PAR ID:
- 10263946
- Date Published:
- Journal Name:
- Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales
- Volume:
- 44
- Issue:
- 173
- ISSN:
- 0370-3908
- Page Range / eLocation ID:
- 1152 to 1166
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
The three main objects in noncrossing Catalan combinatorics associated to a finite Coxeter system are noncrossing partitions, clusters, and sortable elements. The first two of these have known Fuß-Catalan generalizations. We provide new viewpoints for both and introduce the missing generalization of sortable elements by lifting the theory from the Coxeter system to the associated positive Artin monoid. We show how this new perspective ties together all three generalizations, providing a uniform framework for noncrossing Fuß-Catalan combinatorics. Having developed the combinatorial theory, we provide an interpretation of our generalizations in the language of the representation theory of hereditary Artin algebras.more » « less
-
Abstract We solve two open problems in Coxeter–Catalan combinatorics. First, we introduce a family of rational noncrossing objects for any finite Coxeter group, using the combinatorics of distinguished subwords. Second, we give a type‐uniform proof that these noncrossing Catalan objects are counted by the rational Coxeter–Catalan number, using the character theory of the associated Hecke algebra and the properties of Lusztig's exotic Fourier transform. We solve the same problems for rational noncrossing parking objects.more » « less
-
We investigate representations of Coxeter groups into\mathrm{GL}(n,\mathbb{R})as geometric reflection groups which are convex cocompact in the projective space\mathbb{P}(\mathbb{R}^{n}). We characterize which Coxeter groups admit such representations, and we fully describe the corresponding spaces of convex cocompact representations as reflection groups, in terms of the associated Cartan matrices. The Coxeter groups that appear include all infinite word hyperbolic Coxeter groups; for such groups, the representations as reflection groups that we describe are exactly the projective Anosov ones. We also obtain a large class of nonhyperbolic Coxeter groups, thus providing many examples for the theory of nonhyperbolic convex cocompact subgroups in\mathbb{P}(\mathbb{R}^{n})developed by Danciger–Guéritaud–Kassel (2024).more » « less
-
We define a type B analogue of the category of finite sets with surjections, and we study the representation theory of this category. We show that the opposite category is quasi-Gröbner, which implies that submodules of finitely generated modules are again finitely generated. We prove that the generating functions of finitely generated modules have certain prescribed poles, and we obtain restrictions on the representations of type B Coxeter groups that can appear in such modules. Our main example is a module that categorifies the degree i Kazhdan–Lusztig coefficients of type B Coxeter arrangements.more » « less
An official website of the United States government

