Lattice Polytopes from Schur and Symmetric Grothendieck Polynomials

Given a family of lattice polytopes, two common questions in Ehrhart Theory are determining when a polytope has the integer decomposition property and determining when a polytope is reflexive. While these properties are of independent interest, the confluence of these properties is a source of active investigation due to conjectures regarding the unimodality of the $h^\ast$-polynomial. In this paper, we consider the Newton polytopes arising from two families of polynomials in algebraic combinatorics: Schur polynomials and inflated symmetric Grothendieck polynomials. In both cases, we prove that these polytopes have the integer decomposition property by using the fact that both families of polynomials have saturated Newton polytope. Furthermore, in both cases, we provide a complete characterization of when these polytopes are reflexive. We conclude with some explicit formulas and unimodality implications of the $h^\ast$-vector in the case of Schur polynomials.

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.

Tropical Ehrhart theory and tropical volume

We introduce a novel intrinsic volume concept in tropical geometry. This is achieved by developing the foundations of a tropical analog of lattice point counting in polytopes. We exhibit the basic properties and compare it to existing measures. Our exposition is complemented by a brief study of arising complexity questions.

Level Algebras and $\mathbf {s}$-Lecture Hall Polytopes

Given a family of lattice polytopes, a common endeavor in Ehrhart theory is the classification of those polytopes in the family that are Gorenstein, or more generally level. In this article, we consider these questions for ${\boldsymbol s}$-lecture hall polytopes, which are a family of simplices arising from $\mathbf {s}$-lecture hall partitions. In particular, we provide concrete classifications for both of these properties purely in terms of ${\boldsymbol s}$-inversion sequences. Moreover, for a large subfamily of ${\boldsymbol s}$-lecture hall polytopes, we provide a more geometric classification of the Gorenstein property in terms of its tangent cones. We then show how one can use the classification of level ${\boldsymbol s}$-lecture hall polytopes to construct infinite families of level ${\boldsymbol s}$-lecture hall polytopes, and to describe level ${\boldsymbol s}$-lecture hall polytopes in small dimensions.

Quasisymmetric functions from combinatorial Hopf monoids and Ehrhart Theory

International audience We investigate quasisymmetric functions coming from combinatorial Hopf monoids. We show that these invariants arise naturally in Ehrhart theory, and that some of their specializations are Hilbert functions for relative simplicial complexes. This class of complexes, called forbidden composition complexes, also forms a Hopf monoid, thus demonstrating a link between Hopf algebras, Ehrhart theory, and commutative algebra. We also study various specializations of quasisymmetric functions.