arXiv++ Combinatorics

We extend the notion of chain algebra, originally defined in \cite{GN} for finite distributive lattices, to that of finite pure posets. We show this algebra corresponds to the Ehrhart ring of a (0,1)-polytope, termed the chain polytope, and characterize the indecomposability of this polytope. Furthermore, we prove the normality of the chain algebra, describe its canonical module, and extend one of main results from \cite{GN} by computing its Krull dimension. For width-2 pure posets, we determine the algebra's regularity and conditions for it to be Gorenstein or nearly Gorenstein.

We study the extended root polytope associated to a directed graph. We show that under the operations of deletion and contraction of an edge of the graph, none of the coefficients of the $h^*$-polynomial of the associated extended root polytope increase. We examine cases when the $h^*$-polynomial does not change, for instance when contracting the edges of a minimal directed join in a digraph whose lattice polytope has the Gorenstein property.

In this paper, we study edge rings and their $h$-polynomials. We investigate when edge rings are pseudo-Gorenstein, which means that the leading coefficients of the $h$-polynomials of edge rings are equal to $1$. Moreover, we compute the $h$-polynomials of a special family of edge rings and show that some of them are almost Gorenstein.

While mirror symmetry for flag varieties and Grassmannians has been extensively studied, Schubert varieties in the Grassmannian are singular, and hence standard mirror symmetry statements are not well-defined. Nevertheless, in this article we introduce a ``superpotential'' $W^λ$ for each Grassmannian Schubert variety $X_λ$, generalizing the Marsh-Rietsch superpotential for Grassmannians, and we show that $W^λ$ governs many toric degenerations of $X_λ$. We also generalize the ``polytopal mirror theorem'' for Grassmannians from our previous work: namely, for any cluster seed $G$ for $X_λ$, we construct a corresponding Newton-Okounkov convex body $Δ_G^λ$, and show that it coincides with the superpotential polytope $Γ_G^λ$, that is, it is cut out by the inequalities obtained by tropicalizing an associated Laurent expansion of $W^λ$. This gives us a toric degeneration of the Schubert variety $X_λ$ to the (singular) toric variety $Y(\mathcal{N}_λ)$ of the Newton-Okounkov body. Finally, for a particular cluster seed $G=G^λ_{\mathrm{rec}}$ we show that the toric variety $Y(\mathcal{N}_λ)$ has a small toric desingularisation, and we describe an intermediate partial desingularisation $Y(\mathcal{F}_λ)$ that is Gorenstein Fano. Many of our results extend to more general varieties in the Grassmannian.

Generalizing work of Athanasiadis for the Birkhoff polytope and Reiner and Welker for order polytopes, in 2007 Bruns and Römer proved that any Gorenstein lattice polytope with a regular unimodular triangulation admits a regular unimodular triangulation that is the join of a special simplex with a triangulated sphere. These are sometimes referred to as equatorial triangulations. We apply these techniques to give purely combinatorial descriptions of previously-unstudied triangulations of Gorensten flow polytopes. Further, we prove that the resulting equatorial flow polytope triangulations are usually distinct from the family of triangulations obtained by Danilov, Karzanov, and Koshevoy via framings. We find the facet description of the reflexive polytope obtained by projecting a Gorenstein flow polytope along a special simplex. Finally, we show that when a partially ordered set is strongly planar, equatorial triangulations of a related flow polytope can be used to produce new unimodular triangulations of the corresponding order polytope.

The matching polytope of a graph $G$ is the convex hull of the indicator vectors of the matchings on $G$. We characterize the graphs whose associated matching polytopes are Gorenstein, and then prove that all Gorenstein matching polytopes possess the integer decomposition property. As a special case study, we examine the matching polytopes of wheel graphs and show that they are not Gorenstein, but do possess the integer decomposition property.

A major open question in the theory of Gorenstein liaison is whether or not every arithmetically Cohen--Macaulay subscheme of $\mathbb{P}^n$ can be G-linked to a complete intersection. Migliore and Nagel showed that, if such a scheme is generically Gorenstein (e.g., reduced), then, after re-embedding so that it is viewed as a subscheme of $\mathbb{P}^{n+1}$, indeed it can be G-linked to a complete intersection. Motivated by this result, we consider techniques for constructing G-links on a scheme from G-links on a closely related reduced scheme. Polarization is a tool for producing a squarefree monomial ideal from an arbitrary monomial ideal. Basic double G-links on squarefree monomial ideals can be induced from vertex decompositions of their Stanley--Reisner complexes. Given a monomial ideal $I$ and a vertex decomposition of the Stanley--Reisner complex of its polarization $P(I)$, we give conditions that allow for the lifting of an associated basic double G-link of $P(I)$ to a basic double G-link of $I$ itself. We use the relationship we develop in the process to show that the Stanley--Reisner complexes of polarizations of stable Cohen--Macaulay monomial ideals are vertex decomposable. We then introduce and study polarization of a Gröbner basis of an arbitrary homogeneous ideal and give a relationship between geometric vertex decomposition of a polarization and elementary G-biliaison that is analogous to our result on vertex decomposition and basic double G-linkage.

In the present paper, we investigate a conjecture of Jürgen Herzog. Let $S$ be a local regular ring with residue field $K$ or a positively graded $K$-algebra, $I\subset S$ be a perfect ideal of grade two, and let $R=S/I$ with canonical module $ω_R$. Herzog conjectured that the canonical trace $\text{tr}(ω_R)$ is obtained by specialization from the generic case of maximal minors. We prove this conjecture in several cases, and present a criterion that guarantees that the canonical trace specializes under some additional assumptions. As the final conclusion of all of our results, we classify the nearly Gorenstein monomial ideals of height two.

A half-integral polygon with quasi-period collapse behaves similarly to a lattice polygon in the sense that the number of lattice points in its integer dilates can be calculated as values of a polynomial, its Ehrhart polynomial. As a main result, we classify the Ehrhart polynomials of all half-integral non-lattice polygons with quasi-period collapse. In particular, we obtain that for any positive integer $i$, the polynomial $\frac{4i+5}{2}t^2+\frac{2i+7}{2}t+1\in \mathbb{Q}[t]$ is an Ehrhart polynomial of a rational polygon, which was an open question for $i>1$. We also study some extreme cases in detail. In particular, we show that up to affine unimodular equivalence there exist exactly $30$ half-integral non-lattice polygons with quasi-periodic collapse with exactly one interior lattice point, which are the dual polygons of the $30$ LDP polygons of Gorenstein index $2$. Furthermore, we classify all half-integral polygons with quasi-period collapse with at most $6$ interior lattice points or with $i\geq 1$ interior lattice points and the maximum possible number $2i+7$ of boundary lattice points.

We survey some of the mechanisms used to prove that naturally defined sequences in combinatorics are log-concave. Among these mechanisms are Alexandrov's inequality for mixed discriminants, the Alexandrov Fenchel inequality for mixed volumes, Lorentzian polynomials, and the Hard Lefschetz theorem. We use these mechanisms to prove some new log-concavity and extremal results related to partially ordered sets and matroids. We present joint work with Ramon van Handel and Xinmeng Zeng to give a complete characterization for the extremals of the Kahn-Saks inequality. We extend Stanley's inequality for regular matroids to arbitrary matroids using the technology of Lorentzian polynomials. As a result, we provide a new proof of the weakest Mason conjecture. We also prove necessary and sufficient conditions for the Gorenstein ring associated to the basis generating polynomial of a matroid to satisfy Hodge-Riemann relations of degree one on the facets of the positive orthant.

In this paper we investigate Cohen-Macaulayness, Gorensteinness and the Hilbert-Poincaré series for some classes of non-prime collections of cells. In particular, we show that all closed path polyominoes are Cohen-Macaulay and we characterize those that are Gorenstein.

A partial flag variety is a smooth projective homogeneous variety admitting an action of a maximal torus $T$. Schubert varieties are $T$-invariant subvarieties of the partial flag varieties. We study toric Schubert varieties in Grassmannian varieties with respect to the action of the torus $T$. Indeed, we present an explicit description of the fan of a Gorenstein toric Schubert variety in a Grassmannian, and we prove that any Gorenstein toric Schubert variety in a Grassmannian variety is Fano.

In this paper, we apply the techniques developed in [5] to present several consequences of studying UMP algebras and the ramifications graph of a monomial bound quiver algebra. Specifically, we prove that every weakly connected component of the ramifications graph of a UMP monomial algebra is unilaterally connected. Furthermore, using the main result characterizing UMP algebras in the monomial context, we prove that the class of UMP algebras is equivalent to the class of special multiserial algebras when the algebra is a quadratic monomial algebra. Based on this equivalence and the classification of Chen-Shen-Zhou on Gorenstein projective modules in [6], we extend their results to the class of monomial special multiserial UMP algebras, where we use the analysis of homological properties on quadratic monomial algebras given by these authors.

In this paper, we prove that if Cohen-Macaulay local/graded rings $R_1$, $R_2$ and $R$ satisfy certain conditions regarding multiplicity and Cohen-Macaulay type, then almost Gorenstein property of $R$ implies Gorenstein properties for all of $R_1$, $R_2$ and $R$. We apply our theorem to tensor products of semi-standard graded rings and some classes of affine semigroup rings, i.e., numerical semigroup rings, edge rings and stable set rings.

Let $\mathbb{K}[G]$ be the edge ring of a finite simple graph $G$. Investigating properties of the $h$-vector of $\mathbb{K}[G]$ is of great interest in combinatorial commutative algebra. However, there are few families of graphs for which the $h$-vector has been explicitly determined. In this paper, we compute the $h$-vectors of a certain family of graphs that satisfy the odd-cycle condition, generalizing a result of the second and third named authors. As a corollary, we obtain a characterization of the graphs in this family whose edge rings are almost Gorenstein.

Stanley introduced in 1986 the order polytope and the chain polytope for a given finite poset. These polytopes contain much information about the poset and have given rise to important examples in polyhedral geometry. In 1993, Reiner introduced signed posets as natural type-B analogues of posets. We define and study signed order and chain polytopes. Our results include convex-hull and halfspace descriptions, unimodular triangulations, Ehrhart $h^*$-polynomials and their relations to signed permutation statistics, and a Gorenstein characterization of signed order and chain polytopes.

In this paper, we show the equality of the (local) $\mathrm{v}$-number and Castelnuovo-Mumford regularity of certain classes of Gorenstein algebras, including the class of Gorenstein monomial algebras. Also, for the same classes of algebras with the assumption of level, we show that the (local) $\mathrm{v}$-number serves as an upper bound for the regularity. Moreover, we investigate the $\mathrm{v}$-number of Frobenius powers of graded ideals in prime characteristic setup. In this study, we demonstrate that the $\mathrm{v}$-numbers of Frobenius powers of graded ideals have an asymptotically linear behaviour. In the case of unmixed monomial ideals, we provide a method for computing the $\mathrm{v}$-number without prior knowledge of the associated primes.

The codegree of a lattice polytope is the smallest integer dilate that contains a lattice point in the relative interior. The weak maximum likelihood threshold of a statistical model is the smallest number of data points for which there is a non-zero probability that the maximum likelihood estimate exists. The codegree of a marginal polytope is a lower bound on the maximum likelihood threshold of the associated log-linear model, and they are equal when the marginal polytope is normal. We prove a lower bound on the codegree in the case of hierarchical log-linear models and provide a conjectural formula for the codegree in general. As an application, we study when the marginal polytopes of hierarchical models are Gorenstein, including a classification of Gorenstein decomposable models, and a conjectural classification of Gorenstein binary hierarchical models.

A dimer model is a bipartite graph described on the real two-torus, and it gives the quiver as the dual graph. It is known that for any three-dimensional Gorenstein toric singularity, there exists a dimer model such that a GIT quotient parametrizing stable representations of the associated quiver is a projective crepant resolution of this singularity for some stability parameter. It is also known that the space of stability parameters has the wall-and-chamber structure, and for any projective crepant resolution of a three-dimensional Gorenstein toric singularity can be realized as the GIT quotient associated to a stability parameter contained in some chamber. In this paper, we consider dimer models giving rise to projective crepant resolutions of a toric compound Du Val singularity. We show that sequences of zigzag paths, which are special paths on a dimer model, determine the wall-and-chamber structure of the space of stability parameters. Moreover, we can track the variations of stable representations under wall-crossing using the sequences of zigzag paths.

Semi-standard graded rings are a generalized notion of standard graded rings. In this paper, we compare generalized notions of the Gorenstein property in semi-standard graded rings. We discuss the commonalities between standard graded rings and semi-standard graded rings, as well as elucidate distinctive phenomena present in semi-standard graded rings that are absent in standard graded rings.