arXiv++ Combinatorics

We introduce the notion of a $Y$-pattern with coefficients and its geometric counterpart: a cluster $\mathcal{X}$-variety with coefficients. We use these constructions to build a flat degeneration of every skew-symmetrizable specially completed cluster $\mathcal{X}$-variety $\widehat{\mathcal{X}}$ to the toric variety associated to its $\mathbf{g}$-fan. Moreover, we show that the fibers of this family are stratified in a natural way, with strata the specially completed $\mathcal{X}$-varieties encoded by $\mathrm{Star}(τ)$ for each cone $τ$ of the $\mathbf{g}$-fan. These strata degenerate to the associated toric strata of the central fiber. We further show that the family is cluster dual to $\mathcal{A}_{\mathrm{prin}}$ of Gross-Hacking-Keel-Kontsevich, and the fibers cluster dual to $\mathcal{A}_t$. Finally, we give two applications. First, we use our construction to identify the Rietsch-Williams toric degeneration of Grassmannians with the Gross-Hacking-Keel-Kontsevich degeneration in the case of $\mathrm{Gr}_2(\mathbb{C}^5)$. Next, we use it to link cluster duality to Batyrev-Borisov duality of Gorenstein toric Fanos in the context of mirror symmetry.

Lattice polytopes which possess the integer decomposition property (IDP for short) turn up in many fields of mathematics. It is known that if the Cayley sum of lattice polytopes possesses IDP, then so does their Minkowski sum. In this paper, the Cayley sum of the order polytope of a finite poset and the stable set polytope of a finite simple graph is studied. We show that the Cayley sum of an order polytope and the stable set polytope of a perfect graph possesses a regular unimodular triangulation and IDP, and hence so does their Minkowski sum. Moreover, it turns out that, for an order polytope and the stable set polytope of a graph, the following conditions are equivalent: (i) the Cayley sum is Gorenstein; (ii) the Minkowski sum is Gorenstein; (iii) the graph is perfect.

The Jacobian algebra arising from a consistent dimer model is a bimodule $3$-Calabi-Yau algebra, and its center is a $3$-dimensional Gorenstein toric singularity. A perfect matching of a dimer model gives the degree making the Jacobian algebra $\mathbb{Z}$-graded. It is known that if the degree zero part of such an algebra is finite dimensional, then it is a $2$-representation infinite algebra which is a generalization of a representation infinite hereditary algebra. Internal perfect matchings, which correspond to toric exceptional divisors on a crepant resolution of a $3$-dimensional Gorenstein toric singularity, characterize the property that the degree zero part of the Jacobian algebra is finite dimensional. Combining this characterization with the theorems due to Amiot-Iyama-Reiten, we show that the stable category of graded maximal Cohen-Macaulay modules admits a tilting object for any $3$-dimensional Gorenstein toric isolated singularity. We then show that all internal perfect matchings corresponding to the same toric exceptional divisor are transformed into each other using the mutations of perfect matchings, and this induces derived equivalences of $2$-representation infinite algebras.

Since their introduction by Stanley~\cite{StanleyOrderPoly} order polytopes have been intriguing mathematicians as their geometry can be used to examine (algebraic) properties of finite posets. In this paper, we follow this route to examine the levelness property of order polytopes. The levelness property was also introduced by Stanley~\cite{Stanley-CM-complexes} and it generalizes the Gorenstein property. This property has been recently characterized by Miyazaki~\cite{Miyazaki} for the case of order polytopes. We provide an alternative characterization using weighted digraphs. Using this characterization, we give a new infinite family of level posets and show that determining levelness is in $\operatorname{co-NP}$. This family can be used to create infinitely many examples illustrating that the levelness property can not be characterized by the $h^{\ast}$-vector. We then turn to the more general family of alcoved polytopes. We give a characterization for levelness of alcoved polytopes using the Minkowski sum. Then we study several cases when the product of two polytopes is level. In particular, we provide an example where the product of two level polytopes is not level.

Roughly ten years ago, the following "Gorenstein Interval Conjecture" (GIC) was proposed: Whenever $(1,h_1,\dots,h_i,\dots,h_{e-i},\dots,h_{e-1},1)$ and $(1,h_1,\dots,h_i+α,\dots,h_{e-i}+α,\dots,h_{e-1},1)$ are both Gorenstein Hilbert functions for some $α\geq 2$, then $(1,h_1,\dots,h_i+β,\dots,h_{e-i}+β,\dots,h_{e-1},1)$ is also Gorenstein, for all $β=1,2,\dots,α-1$. Since an explicit characterization of which Hilbert functions are Gorenstein is widely believed to be hopeless, the GIC, if true, would at least provide the existence of a strong, and very natural, structural property for such basic functions in commutative algebra. Before now, very little progress was made on the GIC. The main goal of this note is to prove the case $e\le 5$, in arbitrary codimension. Our arguments will be in part constructive, and will combine several different tools of commutative algebra and classical algebraic geometry.

Given a reductive group $G$ and a parabolic subgroup $P\subset G$, with maximaltorus $T$, we consider (following Dabrowski's work) the closure $X$ of a generic $T$-orbit in $G/P$, and determine in combinatorial termswhen the toric variety $X$ is $\mathbb{Q}$-Gorenstein Fano, extending in this way the classification of smooth Fano generic closures given by Voskresenskiĭ and Klyachko. As an application, we apply the well known correspondence between Gorenstein Fano toric varieties and reflexive polytopes in order to exhibit which reflexive polytopes correspond to generic closures -- this list includes the reflexive root polytopes.

A central question in liaison theory asks whether every Cohen-Macaulay, graded ideal of a standard graded K-algebra belongs to the same G-liaison class of a complete intersection. In this paper we answer this question positively for toric ideals defining edge subrings of bipartite graphs.

In this paper, we prove that a Gorenstein toric Fano variety $(X, -K_{X})$ is asymptotically Chow semistable then it is Ding polystable with respect to toric test configurations (Theorem 1.3). This extends the known result obtained by others (Theorem 1.2) to the case where $X$ admits Gorenstein singularity. We also show the additivity of the Mabuchi constant for the product toric Fano varieties in Proposition 1.5 based on the author's recent work (Ono, Sano and Yotsutani in arXiv:2305.05924). Applying this formula to certain toric Fano varieties, we construct infinitely many examples that clarify the difference between relative K-stability and relative Ding stability in a systematic way (Proposition 1.4). Finally, we verify relative Chow stability for Gorenstein toric del Pezzo surfaces using the combinatorial criterion developed in (Yotsutani and Zhou in Tohoku Math. J. 71 (2019), 495-524.) and specifying the symmetry of the associated polytopes as well.

We investigate multi-graded Gorenstein semigroup algebras associated with an infinite family of reflexive lattice simplices. For each of these algebras, we prove that their multigraded Poincaré series is rational. Our method of proof is to produce for each algebra an explicit minimal free resolution of the ground field, in which the resolution reflects the recursive structure encoded in the denominator of the finely-graded Poincaré series. Using this resolution, we show that these algebras are not Koszul, and therefore rationality is non-trivial. Our results demonstrate how interactions between multivariate and univariate rational generating functions can create subtle complications when attempting to use rational Poincaré series to inform the construction of minimal resolutions.

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 $\boldsymbol{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.

The correspondence between Gorenstein Fano toric varieties and reflexive polytopes has been generalized by Ilten and Süß to a correspondence between Gorenstein Fano complexity-one $T$-varieties and Fano divisorial polytopes. Motivated by the finiteness of reflexive polytopes in fixed dimension, we show that over a fixed base polytope, there are only finitely many Fano divisorial polytopes, up to equivalence. We classify two-dimensional Fano divisorial polytopes, recovering Huggenberger's classification of Gorenstein del Pezzo $\mathbb{K}^*$-surfaces. Furthermore, we show that any three-dimensional Fano divisorial polytope is equivalent to one involving only eight functions.

Let $V$ be a finite-dimensional representation of the complex circle $\mathbb{C}^\times$ determined by a weight vector $\mathbf{a}\in\mathbb{Z}^n$. We study the Hilbert series $\operatorname{Hilb}_{\mathbf{a}}(t)$ of the graded algebra $\mathbb{C}[V]^{\mathbb{C}_{\mathbf{a}}^\times}$ of polynomial $\mathbb{C}^\times$-invariants in terms of the weight vector $\mathbf{a}$ of the $\mathbb{C}^\times$-action. In particular, we give explicit formulas for $\operatorname{Hilb}_{\mathbf{a}}(t)$ as well as the first four coefficients of the Laurent expansion of $\operatorname{Hilb}_{\mathbf{a}}(t)$ at $t=1$. The naive formulas for these coefficients have removable singularities when weights pairwise coincide. Identifying these cancelations, the Laurent coefficients are expressed using partial Schur polynomial that are independently symmetric in two sets of variables. We similarly give an explicit formula for the $a$-invariant of $\mathbb{C}[V]^{\mathbb{C}_{\mathbf{a}}^\times}$ in the case that this algebra is Gorenstein. As an application, we give methods to identify weight vectors with Gorenstein and non-Gorenstein invariant algebras.

Let $J_G$ be the binomial edge ideal of a graph $G$. We characterize all graphs whose binomial edge ideals, as well as their initial ideals, have regularity $3$. Consequently we characterize all graphs $G$ such that $J_G$ is extremal Gorenstein. Indeed, these characterizations are consequences of an explicit formula we obtain for the regularity of the binomial edge ideal of the join product of two graphs. Finally, by using our regularity formula, we discuss some open problems in the literature. In particular we disprove a conjecture in \cite{CDI} on the regularity of weakly closed graphs.

The $g$-theorem is a momentous result in combinatorics that gives a complete numerical characterization of the face numbers of simplicial convex polytopes. The $g$-conjecture asserts that the same numerical conditions given in the $g$-theorem also characterizes the face numbers of all simplicial spheres, or even more generally, all simplicial homology spheres. In this paper, we prove the $g$-conjecture for simplicial $\mathbb{R}$-homology spheres. A key idea in our proof is a new algebra structure for polytopal complexes. Given a polytopal $d$-complex $Δ$, we use ideas from rigidity theory to construct a graded Artinian $\mathbb{R}$-algebra $Ψ(Δ,ν)$ of stresses on a PL realization $ν$ of $Δ$ in $\mathbb{R}^d$, where overlapping realized $d$-faces are allowed. In particular, we prove that if $Δ$ is a simplicial $\mathbb{R}$-homology sphere, then for generic PL realizations $ν$, the stress algebra $Ψ(Δ,ν)$ is Gorenstein and has the weak Lefschetz property.

To classify the lattice polytopes with a given $δ$-polynomial is an important open problem in Ehrhart theory. A complete classification of the Gorenstein simplices whose normalized volumes are prime integers is known. In particular, their $δ$-polynomials are of the form $1+t^k+\cdots+t^{(v-1)k}$, where $k$ and $v$ are positive integers. In the present paper, a complete classification of the Gorenstein simplices with the above $δ$-polynomials will be performed, when $v$ is either $p^2$ or $pq$, where $p$ and $q$ are prime integers with $p \neq q$. Moreover, we consider the number of Gorenstein simplices, up to unimodular equivalence, with the expected $δ$-polynomial.

We begin the study of the notion of diameter of an ideal I of a polynomial ring S over a field, an invariant measuring the distance between the minimal primes of I. We provide large classes of Hirsch ideals, i.e. ideals with diameter not larger than the codimension, such as: quadratic radical ideals of codimension at most 4 and such that S/I is Gorenstein, or ideals admitting a square-free complete intersection initial ideal.

We introduce Lipschitz functions on a finite partially ordered set $P$ and study the associated Lipschitz polytope $L(P)$. The geometry of $L(P)$ can be described in terms of descent-compatible permutations and permutation statistics that generalize descents and big ascents. For ranked posets, Lipschitz polytopes are centrally-symmetric and Gorenstein, which implies symmetry and unimodality of the statistics. Finally, we define $(P,k)$-hypersimplices as generalizations of classical hypersimplices and give combinatorial interpretations of their volumes and $h^*$-vectors.

In the interest of finding the minimum additive generating set for the set of $\boldsymbol{s}$-lecture hall partitions, we compute the Hilbert bases for the $\boldsymbol{s}$-lecture hall cones in certain cases. In particular, we compute the Hilbert bases for two well-studied families of sequences, namely the $1\mod k$ sequences and the $\ell$-sequences. Additionally, we provide a characterization of the Hilbert bases for $\boldsymbol{u}$-generated Gorenstein $\boldsymbol{s}$-lecture hall cones in low dimensions.

It is known that a lattice simplex of dimension $d$ corresponds a finite abelian subgroup of $(\mathbb{R}/\mathbb{Z})^{d+1}$. Conversely, given a finite abelian subgroup of $(\mathbb{R}/\mathbb{Z})^{d+1}$ such that the sum of all entries of each element is an integer, we can obtain a lattice simplex of dimension $d$. In this paper, we discuss a characterization of Gorenstein simplices in terms of the associated finite abelian groups. In particular, we present complete characterizations of Gorenstein simplices whose normalized volume equals $p,p^2$ and $pq$, where $p$ and $q$ are prime numbers with $p \neq q$. Moreover, we compute the volume of the dual simplices of Gorenstein simplices.

The study of the $h$-vectors of graded Gorenstein algebras is an important topic in combinatorial commutative algebra, which despite the large amount of literature produced during the last several years, still presents many interesting open questions. In this note, we commence a study of those unimodal Gorenstein $h$-vectors that do \emph{not} satisfy the Stanley-Iarrobino property. Our main results, which are characteristic free, show that such $h$-vectors exist: 1) In socle degree $e$ if and only if $e\ge 6$; and 2) In every codimension five or greater. The main case that remains open is that of codimension four, where no Gorenstein $h$-vector is known without the Stanley-Iarrobino property. We conclude by proposing the following very general conjecture: The existence of any arbitrary level $h$-vector is \emph{independent} of the characteristic of the base field.