Christos Athanasiadis studies an effective technique to show that Gorenstein sequences coming from compressed polytopes are unimodal. In the present paper we will use such the technique to find a rich class of Gorenstein toric rings with unimodal $h$-vectors arising from finite graphs.
In this paper, we discuss the toric ideals of Minkowski sums of unit simplices. More precisely, we prove that the toric ideal of Minkowski sum of unit simplices has a squarefree initial ideal and is generated by quadratic binomials. Moreover, we also prove that Minkowski sums of unit simplices have the integer decomposition property. Those results are a partial contribution to Oda conjecture and Bøgvad conjecture.
The toric variety of a matroid is projectively normal, and therefore it is Cohen-Macaulay. We provide a complete graph-theoretic classification when the toric variety of a graphic matroid is Gorenstein.
Koszulness of Gorenstein quadratic algebras of small socle degree is studied. In this note, we construct non-Koszul Gorenstein quadratic toric ring such that its socle degree is more than 3 by using stable set 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.
A long-standing open conjecture in combinatorics asserts that a Gorenstein lattice polytope with the integer decomposition property (IDP) has a unimodal (Ehrhart) $h^\ast$-polynomial. This conjecture can be viewed as a strengthening of a previously disproved conjecture which stated that any Gorenstein lattice polytope has a unimodal $h^\ast$-polynomial. The first counterexamples to unimodality for Gorenstein lattice polytopes were given in even dimensions greater than five by Musta{ţ}{ǎ} and Payne, and this was extended to all dimensions greater than five by Payne. While there exist numerous e…
We classify exactly when the toric algebras $\C[S_{\tree}(\br)]$ are Gorenstein. These algebras arise as toric deformations of algebras of invariants of the Cox-Nagata ring of the blow-up of $n-1$ points on $\mathbb{P}^{n-3}$, or equivalently algebras of the ring of global sections for the Plücker embedding of weight varieties of the Grassmanian $Gr_2(\C^n)$, and algebras of global sections for embeddings of moduli of weighted points on $\mathbb{P}^1$. As a corollary, we find exactly when these families of rings are Gorenstein as well.
A matroid is Gorenstein if its toric variety is. Hibi, Lasoń, Matsuda, Michałek, and Vodička provided a full graph-theoretic classification of Gorenstein matroids associated to simple graphs. We extend this classification to multigraphs.
We study commutative algebras with Gorenstein duality, i.e. algebras $A$ equipped with a non-degenerate bilinear pairing such that $\langle ac,b\rangle=\langle a,bc\rangle$ for any $a,b,c\in A$. If an algebra $A$ is Artinian, such pairing exists if and only if $A$ is Gorenstein. We give a description of algebras with Gorenstein duality as a quotients of the ring of differential operators by the annihilator of an explicit polynomial (or more generally formal polynomial series). This provides a calculation of Macaulay's inverse systems for (not necessarily Artinian) algebras with Gorenstein dual…
The trace of the canonical module of a Cohen-Macaulay ring describes its non-Gorenstein locus. We study the trace of the canonical module of a Segre product of algebras, and we apply our results to compute the non-Gorenstein locus of toric rings. We provide several sufficient and necessary conditions for Hibi rings and normal semigroup rings to be Gorenstein on the punctured spectrum.
In the present paper, we consider the problem when the toric ring arising from an integral cyclic polytope is Cohen-Macaulay by discussing Serre's condition and we give a complete characterization when that is Gorenstein. Moreover, we study the normality of the other semigroup ring arising from an integral cyclic polytope but generated only with its vertices.
An integral convex polytope ${\mathcal P}$ is said to be Gorenstein if its toric ring $K[{\mathcal P}]$ is normal and Gorenstein. In this paper, Gorenstein cut polytopes of graphs are characterized explicitly. First, we prove that Gorenstein cut polytopes are compressed (i.e., all of whose reverse lexicographic triangulations are unimodular). Second, by applying Athanasiadis's theory for Gorenstein compressed polytopes, we show that a cut polytope of a graph $G$ is Gorenstein if and only if $G$ has no $K_5$-minor and $G$ is either a bipartite graph without induced cycles of length $\geq 6$ or …
Let $P$ be a finite poset, $K$ a field, and $O(P)$ (resp. $C(P)$) the order (resp. chain) polytope of $P$. We study the non-Gorenstein locus of $E_K[O(P)]$ (resp. $E_K[C(P)]$), the Ehrhart ring of $O(P)$ (resp. $C(P)$) over $K$, which are each normal toric rings associated $P$. In particular, we show that the dimension of non-Gorenstein loci of $E_K[O(P)]$ and $E_K[C(P)]$ are the same. Further, we show that $E_K[C(P)]$ is nearly Gorenstein if and only if $P$ is the disjoint union of pure posets $P_1, \ldots, P_s$ with $|\mathrm{rank} P_i-\mathrm{rank} P_j|\leq 1$ for any $i$ and $j$.
Following a construction of Stanley we consider toric face rings associated to rational pointed fans. This class of rings is a common generalization of the concepts of Stanley--Reisner and affine monoid algebras. The main goal of this article is to unify parts of the theories of Stanley--Reisner- and affine monoid algebras. We consider (non-pure) shellable fan's and the Cohen--Macaulay property. Moreover, we study the local cohomology, the canonical module and the Gorenstein property of a toric face ring.
Via the theory of reverse lexicographic squarefree initial ideals of toric ideals, we give a new class of Gorenstein Fano polytopes (reflexive polytopes) arising from a pair of stable set polytopes of perfect graphs.
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 Gorenste…
A "toric face ring", which generalizes both Stanley-Reisner rings and affine semigroup rings, is studied by Bruns, Roemer and their coauthors recently. In this paper, under the "normality" assumption, we describe a dualizing complex of a toric face ring $R$ in a very concise way. Since $R$ is not a graded ring in general, the proof is not straightforward. We also develop the squarefree module theory over $R$, and show that the Buchsbaum property and the Gorenstein* property of $R$ are topological properties of its associated cell complex.
In this paper, we study splitting (or toric) non-commutative crepant resolutions (= NCCRs) of some toric rings. In particular, we consider Hibi rings, which are toric rings arising from partially ordered sets, and show that Gorenstein Hibi rings with class group $\mathbb{Z}^2$ have a splitting NCCR. In the appendix, we also discuss Gorenstein toric rings with class group $\mathbb{Z}$, in which case the existence of splitting NCCRs is already known. We especially observe the mutations of modules giving splitting NCCRs for the three dimensional case, and show the connectedness of the exchange gr…
A projectively normal Calabi-Yau threefold $X \subseteq \mathbb{P}^n$ has an ideal $I_X$ which is arithmetically Gorenstein, of Castelnuovo-Mumford regularity four. Such ideals have been intensively studied when $I_X$ is a complete intersection, as well as in the case where $X$ is codimension three. In the latter case, the Buchsbaum-Eisenbud theorem shows that $I_X$ is given by the Pfaffians of a skew-symmetric matrix. A number of recent papers study the situation when $I_X$ has codimension four. We prove there are 16 possible betti tables for an arithmetically Gorenstein ideal $I$ with $\math…