Level algebras and s-lecture hall polytopes

DOI10.37236/8626MaRDI QIDQ2200429zbMATH OpenOpenAlexFDO

Authors Florian Kohl, McCabe Olsen

Publication date 21 September 2020

Published in The Electronic Journal of Combinatorics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1710.10892

zbMATH Keywords

Ehrhart theoryGorenstein propertylecture-hall polytopes

Mathematics Subject Classification ID

Combinatorial aspects of partitions of integers (05A17) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Computational aspects and applications of commutative rings (13P99) Polyhedra and polytopes; regular figures, division of spaces (51M20) Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20)

Abstract: 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 $$-lecture hall polytopes, which are a family of simplices arising from $$-lecture hall partitions. In particular, we provide concrete classifications for both of these properties purely in terms of $$-inversion sequences. Moreover, for a large subfamily of $$-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 $$-lecture hall polytopes to construct infinite families of level $$-lecture hall polytopes, and to describe level $$-lecture hall polytopes in small dimensions.

Review text

For a given \(\mathbf{s}\in {\mathbb Z}_{\geq 1}^n\), the \(\mathbf{s}\)-lecture hall polytope is the simplex defined by \[ \mathbf{P}_{n}^{(\mathbf{s})}= \{\mathbf{\lambda}\in {\mathbb R}^n : 0\leq \frac{\lambda_1}{s_1}\leq \frac{\lambda_2}{s_2}\leq\dots \leq \frac{\lambda_n}{s_n}\leq 1 \}. \] A convex lattice polytope \(P\) is said to be a Gorenstein polytope if the associated semigroup algebra of \(P\) is Gorenstein. The authors determine a classification of the Gorenstein and level properties in \(\mathbf{s}\)-lecture hall polytopes. One of the main results is: \(\mathbf{P}_{n}^{(\mathbf{s})}\) is Gorenstein if and only if there exists \(\mathbf{c}\in {\mathbb Z}^{n+1}\) satisfying \(c_1=1\), \(c_js_{j-1}=c_{j-1}s_j+ \gcd(s_{j-1}, s_{j})\) for \(j>1\), and \(c_{n+1}s_n=1+c_n\).

Recommendations

• Some algebraic properties of lecture hall polytopes
• Gorenstein properties and integer decomposition properties of lecture hall polytopes
• Gorenstein polytopes with trinomial \(h^*\)-polynomials
• Ehrhart series of lecture hall polytopes and Eulerian polynomials for inversion sequences
• The lecture hall parallelepiped

Cites work

• Additive number theory and inequalities in Ehrhart theory
• An introduction to the theory of numbers. Edited and revised by D. R. Heath-Brown and J. H. Silverman. With a foreword by Andrew Wiles
• Combinatorial mathematics, optimal designs and their applications. Papers presented at the International Symposium held at Colorado State University, Fort Collins, Colorado, June 5-9, 1978
• Combinatorics and commutative algebra.
• Computing the Continuous Discretely
• Dual Polyhedra and Mirror Symmetry for Calabi-Yau Hypersurfaces in Toric Varieties
• Ehrhart series of lecture hall polytopes and Eulerian polynomials for inversion sequences
• Ehrhart theory of spanning lattice polytopes
• Facets of the \(r\)-stable \((n,k)\)-hypersimplex
• Gorenstein algebras of Veronese type
• Gorenstein properties and integer decomposition properties of lecture hall polytopes
• Hilbert bases and lecture hall partitions
• Hilbert functions of graded algebras
• scientific article; zbMATH DE number 3163859 (Why is no real title available?)
• scientific article; zbMATH DE number 4067064 (Why is no real title available?)
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• scientific article; zbMATH DE number 273025 (Why is no real title available?)
• scientific article; zbMATH DE number 2190625 (Why is no real title available?)
• Inequalities and Ehrhart \delta -vectors
• Lecture hall P-partitions
• Lecture hall partitions
• Lecture hall partitions and the wreath products \(C_{k} \wr S_{n}\)
• Lecture hall partitions. II
• Mirror symmetry and polar duality of polytopes
• Non-level semi-standard graded Cohen-Macaulay domain with \(h\)-vector \((h_{0},h_{1},h_{2})\)
• On the Hilbert function of a graded Cohen-Macaulay domain
• On the relationship between Ehrhart unimodality and Ehrhart positivity
• Polytopes, Rings, and K-Theory
• Pseudo-Gorenstein and level Hibi rings
• Quadratic Gröbner bases of twinned order polytopes
• Rational lecture hall polytopes and inflated Eulerian polynomials
• Rings of Invariants of Tori, Cohen-Macaulay Rings Generated by Monomials, and Polytopes
• Self dual reflexive simplices with Eulerian polynomials
• Some algebraic properties of lecture hall polytopes
• Some results on Ehrhart polynomials of convex polytopes
• The \({1/k}\)-Eulerian polynomials
• The lecture hall parallelepiped
• The mathematics of lecture hall partitions
• Toric varieties
• Two poset polytopes
• Universal inequalities in Ehrhart theory

Cited in

(4)

• Some algebraic properties of lecture hall polytopes
• \(s\)-lecture hall partitions, self-reciprocal polynomials, and Gorenstein cones
• Gorenstein properties and integer decomposition properties of lecture hall polytopes
• Cayley Sums and Minkowski Sums of Lattice Polytopes

This page was built for publication: Level algebras and \(\boldsymbol{s}\)-lecture hall polytopes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2200429)