arXiv++ Combinatorics

We show the existence of counterexamples to a four-decade-old conjecture attributed to Stanley concerning the unimodality of $h^*$-polynomials of IDP polytopes. As additional applications of our main constructions, we also disprove a conjecture by Brenti on the log-concavity of $h^*$-polynomials of Gorenstein IDP polytopes, and a conjecture by Ferroni and Higashitani concerning the log-concavity of the Ehrhart series of IDP polytopes. We also answer their question about the existence of very ample polytopes with non-log-concave interior Ehrhart series. Our class of examples arises by taking Cayley sums of rectangular prisms, and hence they possess regular unimodular flag triangulations by a result of Haase, Paffenholz, Piechnik and Santos. For the unimodality conjecture, we can even find smooth counterexamples.

Using a bijection between the lattice points in a lecture hall polytope and Lakshimibai-Seshadri (L-S) paths, we prove the Koszul property of lecture hall polytopes in complete generality, and give new proofs for their Integral Decomposition Property and for a criterion on Gorenstein property.

For a simplicial complex $Δ$ and integers $n_i\ge 2$, set $A_{Δ,\mathbf n}=\mathbb{k}[x_1,\ldots,x_m]/(I_Δ+(x_1^{n_1},\ldots,x_m^{n_m}))$. We give an exact combinatorial formula for the canonical trace for arbitrary truncation exponents and for an arbitrary simplicial complex after deleting irrelevant ghost vertices. The formula extends the free-face formula of Gasanova--Herzog--Hibi--Moradi for square-zero flag face algebras and recovers, in the simplex-boundary case, a special case of their formula for monomial almost complete intersections. As a first consequence, we classify the nearly Gorenstein algebras in this family: on each connected component $C$ of $Δ^{(1)}$, the induced complex is either the simplex $2^C$, with arbitrary exponents, or the boundary $\partial 2^C$, with every exponent equal to two. We also compute the Teter number on this nearly Gorenstein locus. For flag complexes the trace is generated by the free-face monomials for arbitrary exponents, and we characterize the equalities $\operatorname{tr}_A(ω_A)=\mathfrak m_A^q$. In the square-zero one-dimensional case we isolate the additional contribution coming from triangle components.

We study block polytopes whose variables are divided into equal-size blocks and whose local inequalities bound the total contribution of adjacent blocks. For blocks arranged along a path, we develop a transfer-matrix enumeration in the length direction. We also carry out an Ehrhart-theoretic analysis in the dilation direction. The original transfer matrix admits a compression to a weighted height matrix, and the numerator and denominator of the length generating function are described by explicit recurrences and determinant formulas. We also study the cyclic analogue, where the length generating function is governed by the logarithmic derivative of the same determinant. On the Ehrhart side, the path polytopes with at least two blocks and the even cyclic polytopes are stable-set polytopes of perfect graphs; consequently they are Gorenstein of codegree $2a + 1$ (independent of the number of blocks $m \ge 2$), satisfy an explicit Ehrhart--Macdonald reciprocity, and have palindromic unimodal $h^*$-polynomials of degree $a(m-2)$. Odd cyclic polytopes have denominator exactly two, and their lattice-point enumerators are Ehrhart quasipolynomials of period dividing two. Further combinatorial interpretations and open problems are discussed.

We study a period-two family of adjacent-sum lattice polytopes whose consecutive-coordinate bounds alternate between $s$ and $s+1$. This provides a simple non-uniform deformation of the classical uniform model while retaining an explicit transfer-matrix structure. The lattice-point counts exhibit a parity split: the odd- and even-dimensional sequences have distinct rational generating functions with a common denominator. The odd-dimensional series satisfies a Möbius recurrence and admits an arctangent closed form, whereas the even-dimensional series obeys a coupled recurrence. Their common dominant pole determines the exponential growth in both parity classes. For the cyclic model obtained by adding a constraint between the first and last coordinates, the count becomes a matrix trace. The two cyclic parity classes again have rational generating functions with the same denominator; the even-dimensional numerator has a Jacobi-derivative form, while the odd-dimensional one is given by an explicit anti-diagonal cofactor expression. We also derive dimension-generating functions for fixed dilations, linear recurrences for lattice-point counts, rational volume-generating functions, and a bivariate identity for the coefficients of the $h^*$-polynomials. When $s=1$, every even-dimensional polytope decomposes into a Cartesian product of unimodular triangles, yielding explicit formulas and the Gorenstein property. For every $s\geq 2$, the Gorenstein property fails in some even dimension.

The purpose of this note is to elaborate on the apparent connection between Wronskians and Hessians. More generally, to a given subspace of homogeneous bivariate forms over the complex numbers, we associate two determinantal polynomials called the $W$-polynomial and the $\hat{W}$-polynomial. We give expansion and factorization formulas for these polynomials, and study their behavior under change of coordinates and duality. As an application, we give another proof of Iarrobino's theorem on the strong Lefschetz property for standard graded Artinian Gorenstein algebras in codimension two.

Inspired by research on the Cartesian product of two lattice polytopes, this paper investigates the Ehrhart theory of the join of two lattice polytopes. This is also a well-known open problem listed on the website of the American Institute of Mathematics. This paper resolves this open problem. We first construct counterexamples showing that the join of two Ehrhart positive polytopes is not necessarily Ehrhart positive. Then we prove that if two lattice polytopes have the integer decomposition property and the spanning property, then their join also has these two properties. However, the very ample property is not inherited under joins. Finally, we show that unimodular triangulations, regular triangulations, and quadratic triangulations are preserved under the join operation. As a byproduct, we state the necessary and sufficient condition for the Cartesian product of two Gorenstein lattice polytopes to remain Gorenstein.

We associate to each positroid variety in the Grassmannian $\mathrm{Gr}(k,n)$ a polyhedral complex, which we call a fence complex. Fence complexes consist of unions of faces of the Gelfand-Tsetlin polytope $P_{k,n}$ associated to a fundamental weight $ω_k$. We show that these fence complexes are homeomorphic to closed balls. Furthermore, they endow the Gelfand-Tsetlin polytope with the structure of a regular CW complex, giving a polyhedral complex presentation of the regular CW complex structure on $\mathrm{Gr}(k,n)_{\geq 0}$. We also show that the Ehrhart polynomial of a fence complex equals the Hilbert polynomial of the associated positroid variety. We prove that under the Sturmfels-Gonciulea-Lakshmibai degeneration of $\mathrm{Gr}(k,n)$ to the toric variety of the Gelfand-Tsetlin polytope, positroid varieties degenerate to the reduced union of toric varieties corresponding to their fence complexes. As an application, we classify when positroid varieties contained inside hook Schubert varieties are arithmetically Gorenstein. We also derive a recursive character formula for cyclic Demazure modules, which we show is equivalent to a formula of Almousa, Gao and Huang.

We study a symmetry problem for the $h$-polynomials of edge rings of bipartite graphs. Let $G$ be a bipartite graph and write $h(\mathbb{k}[G];t)=h_0+h_1t+\cdots+h_st^s$. We prove that if $\Bbbk[G]$ is pseudo-Gorenstein and $h_1=h_{s-1}$, then $\Bbbk[G]$ is Gorenstein. Equivalently, under these assumptions the $h$-polynomial of $\Bbbk[G]$ is palindromic. The proof treats the $2$-connected case first by translating the numerical condition $h_1=h_{s-1}$ into a tight-separation condition for non-edges, and then passes to arbitrary bipartite graphs using the block decomposition. We also construct a blockwise Gorenstein closure, obtained by adjoining all non-edges not separated by tight acceptable sets, and show that this construction preserves the next-to-leading coefficient of the $h$-polynomial.

Given an acyclic directed graph (DAG), the space of strength one flows is a lattice polytope called the flow polytope of the DAG. If the DAG admits an ample framing, then the flow polytope is Gorenstein and it linearly projects onto a reflexive polytope called the $\mathbf{g}$-polytope. We provide a combinatorial characterization of amply framed DAGs that have a locally anti-blocking $\mathbf{g}$-polytope, and we characterize the minimal faces of the $\mathbf{g}$-polytope containing a fixed pair of vertices. We prove in this case that the unimodular triangulation of the $\mathbf{g}$-polytope induced by the DKK triangulation of the flow polytope is a pulling triangulation, and we characterize the pulling orders that yield the DKK triangulation. To prove our results, we introduce and study coherence diagrams, a combinatorial model of coherence for amply framed DAGs with locally anti-blocking $\mathbf{g}$-polytopes. We conclude by indicating possible extensions of these results to the setting of $\mathbf{g}$-polytopes for gentle Nakayama algebras.

Hibi, Yoshida, and the author classified Gorenstein simplices which are not lattice pyramids and whose \(h^*\)-polynomials are of the form \(1+t^k+t^{2k}+\cdots+t^{(v-1)k}\) when \(v\) is a prime number or the product of two prime numbers. They also conjectured that, for general \(v\), the number of unimodular equivalence classes of such simplices depends only on the divisor lattice of \(v\). This paper proves the conjecture by giving a constructive classification of Gorenstein simplices whose \(h^*\)-polynomials are of this form. More precisely, their unimodular equivalence classes are shown to be parametrized by strict divisor chains in the divisor lattice of \(v\) together with certain recursive combinatorial data. As a consequence, an explicit formula for the number of equivalence classes in terms of the divisor lattice of \(v\) is obtained.

We study the volume map on Artinian quotients of Cohen-Macaulay algebras in characteristic $p$, and the interaction between it and the action of Frobenius on resolutions. This allows us to provide a general, conceptual way to understand Parseval-Rayleigh identities, curious inhomogeneous identities on the volume map which were developed for the proof of the Ohsugi-Hibi conjecture. This general perspective gives a new approach to generic Lefschetz theory. We use this perspective to do the following: we give sufficient conditions for anisotropy and the Hard Lefschetz property for generic Artinian reductions of graded Gorenstein rings; we study the codimension-$3$ Gorenstein quotient of a polynomial ring by the ideal generated by Pfaffians, proving a Parseval-Rayleigh identity and deriving anisotropy and Hard Lefschetz in characteristic $2$; we deduce the $g$-theorem for simplicial spheres and the Ohsugi-Hibi conjecture following previous work of Adiprasito, Papadakis, and Petrotou; and we provide further examples of Parseval-Rayleigh identities for Gorenstein rings.

We study conic divisorial ideals from the viewpoint of matroid theory and apply the resulting framework to toric rings arising from signed posets. For a toric ring, we describe the polytope representing divisor classes corresponding to conic divisorial ideals in terms of matroids. We then turn to the toric ring $R_P$ associated with a signed poset $P$. We compute the divisor class group and characterize the ($\mathbb{Q}$-)Gorenstein property of $R_P$ in terms of $P$. Moreover, we also construct a polytope characterizing the conic divisorial ideals of $R_P$. This recovers and extends previous results on Hibi rings to the setting of signed posets.

Gorenstein toric contact manifolds are good toric contact manifolds with zero first Chern class that are completely determined by certain integral convex polytopes called toric diagrams. The Ehrhart polynomial of these toric diagrams determines and is determined by the contact Betti numbers of the corresponding contact manifolds, i.e. the dimension of their cylindrical contact homology in eachdegree. In this paper we look into the following natural question: to what extent do these contact invariants determine the Gorenstein toric contact manifold? Flexibility is the norm and we illustrate it with the family of Gorenstein toric contact manifolds that arise as the prequantization of monotone iterated ${\mathbb P}^1$-bundles, i.e. monotone Bott manifolds. In each dimension, the Ehrhart polynomial of their toric diagrams is equal to the Ehrhart polynomial of the cross-polytope, corresponding to the monotone prequantization of ${\mathbb P}^1 \times \cdots \times {\mathbb P}^1$, and we describe the unimodular classification of these toric diagrams. On the rigidity side, we will show that the primitive prequantization of ${\mathbb P}^1 \times \cdots \times {\mathbb P}^1$ is rigid, i.e. completely determined as a Gorenstein toric contact manifold by its contact Betti numbers. More precisely, in each dimension, we show that its toric diagram, which we name small cross-polytope, is the unique toric diagram with its particular Ehrhart polynomial. We will also prove a rigidity result for a family of Gorenstein toric contact manifolds that arise as the primitive prequantization of monotone ${\mathbb P}^1$-bundles over ${\mathbb P}^{n-1}$.

It is known that if a Gorenstein simplex of dimension \(d\) and degree \(s\) is not a lattice pyramid, then \(d \leq 2s-1\). In this paper, we study the extremal case \(d=2s-1\). More precisely, we characterize Gorenstein simplices of dimension \(2s-1\) and degree \(s\) which are not lattice pyramids in terms of even binary self-complementary codes. As an application, combining this characterization with existing classification results on reflexive simplices, we classify Gorenstein simplices of degree \(3\) and \(4\).

Graded Ehrhart theory is a new $q$-analogue of Ehrhart theory based on the orbit harmonics method. We study the graded Ehrhart theory of unimodular zonotopes from a matroid-theoretic perspective. Generalizing a result of Stanley (1991), we prove that the graded lattice point count of a unimodular zonotope is a $q$-evaluation of its Tutte polynomial. We conclude that the graded Ehrhart series of a unimodular zonotope is rational and obeys graded Ehrhart--Macdonald reciprocity. In an algebraic direction, we prove that the harmonic algebra of a unimodular zonotope is a coordinate ring of its associated arrangement Schubert variety. Using the geometry of arrangement Schubert varieties, we prove that the harmonic algebra of a unimodular zonotope is finitely generated and Cohen--Macaulay. We also give an explicit presentation of the harmonic algebra of a unimodular zonotope in terms of generators and relations. We conclude by classifying which unimodular zonotopes have Gorenstein harmonic algebras. Our work answers, in the special case of unimodular zonotopes, two conjectures of Reiner and Rhoades (2024).

We introduce a fundamental homological invariant, called Serre depth, which stratifies Serre's conditions in the same way that depth stratifies the Cohen-Macaulay property. We study the Serre depths of modules over arbitrary Noetherian local rings and over standard graded algebras over a field, extending the polynomial ring case due to Muta and Terai. Under mild hypotheses, we show that the $r$-th Serre depth of a finitely generated module $M$ measures the deviation of $M$ from satisfying Serre's condition $(S_r)$. The main results of the paper can be summarized as follows: (i) We establish the basic properties of Serre depth and prove that it is invariant under completion. (ii) If the base ring $R$ is a homomorphic image of a Gorenstein ring, we show that a finitely generated $R$-module $M$ is equidimensional and satisfies $(S_r)$ if and only if its $r$-th Serre depth equals its Krull dimension. Analogous statements are obtained for schemes. (iii) For a homogeneous ideal in a standard graded polynomial ring over a field, we compare its Serre depths with those of its initial ideal. (iv) We characterize the Serre depths of a monomial ideal in terms of its skeletons and prove that the Serre depths of sufficiently large powers of a monomial ideal stabilize; the proof uses Presburger arithmetic.

A finite poset (partially ordered set) $P$ with ${\hat 0}$ is called of distributive type if every interval $[{\hat 0}, a]$, $a \in P$, of $P$ is a distributive lattice. From a viewpoint of ASL's (algebras with straightening laws), the join-meet toric ring on a finite distributive lattice is generalized to an ASL on a finite poset of distributive type. Our target is the questions when a finite poset of distributive lattice is Cohen--Macaulay and when the ASL on it is Gorenstein. We focus on a natural class of finite posets of distributive type and study various aspects of the above questions.

This paper studies a flat degeneration P_n of the classical coinvariant algebra R_n, a bigraded Artinian Gorenstein algebra that arises from the coordinate ring of the Segre embedding of the n-fold self-product of the projective line. The Frobenius character of P_n is computed by a natural bigraded refinement of the classical Lusztig--Stanley formula for the character of the coinvariant algebra. Young invariants in P_n get related to coordinate rings of general Segre embeddings of products of projective spaces; their bigraded Hilbert polynomials get expressed in terms of major-descent generating functions of words in multisets. Relations to the diagonal coinvariant algebra, cohomological interpretations including quantum cohomology, and Garsia-Stanton-style bases are also explored.

We prove that for any $\mathbb{N}$-graded Gorenstein tiled order $A$, the stable category $\underline{\mathrm{CM}}^{\mathbb{Z}}A$ is triangle equivalent to the perfect derived category of the incidence algebra of a finite poset $\mathbb{V}_A^{op}$. Moreover, for a finite poset $P$, we prove that the incidence algebra of $P$ can be realized as the endomorphism algebra of a standard tilting object if and only if $P$ is either empty or has the maximum. We also study the behaviors of the corresponding poset under graded Morita equivalences and coverings of a Gorenstein tiled order. Finally, we classify Gorenstein tiled orders $A$ satisfying $|\mathbb{V}_A^{op}|\leq 3$.