arXiv++ Combinatorics

It is well known that the Plücker ideal defining the Grassmannian is generated by quadratic Plücker relations. These relations form a reverse lexicographic Gröbner basis and endow the Plücker algebra with the structure of an algebra with straightening laws (ASL). In this paper, we study quadratically generated projections of the Grassmannian of lines $\mathrm{Gr}(2,n)$. We then combinatorially characterize the Gorenstein ASL subalgebras of the Plücker algebra of $\mathrm{Gr}(2,n)$.

Let $I$ be a monomial ideal of a polynomial ring $R=K[x_1,\ldots,x_n]$ over a field $K$ and let ${\rm sgn}(I)$ be its signature ideal. If $I$ is not a principal ideal, we show that the depth of $R/I$ is the depth of $R/{\rm sgn}(I)$, and the regularity of $R/{\rm sgn}(I)$ is at most the regularity of $R/I$. For ideals of height at least $2$, we show that the height and the associated primes of $I$ and its signature ${\rm sgn}(I)$ are the same, and we show that $I$ is Cohen--Macaulay (resp. Gorenstein) if and only if ${\rm sgn}(I)$ is Cohen--Macaulay (resp. Gorenstein), and furthermore we show that the v-number of ${\rm sgn}(I)$ is at most the v-number of $I$. We give an algorithm to compute the signature of a monomial ideal using \textit{Macaulay}$2$, and an algorithm to examine given families of monomial ideal by computing their signature ideals and determining which of these are either Cohen--Macaulay or Gorenstein.

In this paper, we mainly study the Castelnuovo-Mumford regularity of the generalized binomial edge ideals of graphs. We show that this number can be any integer number from $2$ to $n-1$ where $n$ is the number of vertices in the underlying graph. We are able to show this, after giving some tight lower and upper bounds for the regularity of generalized binomial edge ideals of the join product of graphs. In particular, we characterize all generalized binomial edge ideals with the regularity equal to~$2$ as well as extremal Gorenstein ideals. For this purpose, we give a new combinatorial characterization for the class of $P_4$-free graphs.

In this article, we study Chow polynomials of weakly ranked posets and prove the existence of Gorenstein algebras with the Kähler package such that their Hilbert--Poincaré series agrees with the Chow polynomial. Our statement provides evidence in support of a conjecture by Ferroni, Matherne and the second author about the existence of an algebra for every weakly ranked poset that generalizes the Feichtner--Yuzvinsky Chow ring for matroids. This allows us to prove strong inequalities for the coefficients of Chow polynomials; we prove log-concavity for all posets of weak rank at most six and provide counterexamples to log-concavity for any higher rank. For ranked posets we recover an even stronger condition, showing that the differences between consecutive coefficients constitute a pure O-sequence.

In this paper, we provide a complete description of the minimal primes of ideals generated by adjacent $2$-minors, in terms of the so-called admissible sets and associated lattice ideals. We prove that for these ideals, the properties of being unmixed, Cohen-Macaulay, level, Gorenstein, and complete intersection are equivalent. Moreover, we give a combinatorial characterization of all convex collections of cells satisfying any of these equivalent properties. Finally, we study the radicality of these ideals and derive necessary combinatorial conditions based on minimal non-radical configurations.

We prove that the set of points associated to a self-dual code with no proportional columns is arithmetically Gorenstein if and only if the code is indecomposable. This answers a question asked by Toh{ă}neanu. We do so by providing a combinatorial way to compute the dimension of the Schur square of a self-dual code through a zero-one symmetrization of its generator matrix. Our approach also allows us to compute the Gorenstein defect. As a consequence, we obtain a combinatorial characterization of arithmetically Gorenstein self-associated sets of points over an algebraically closed field.

The rook polynomial is a generating function that enumerates the number of ways to place rooks, with no two in the same row or column, on a collection of cells regarded as a pruned chessboard. In combinatorial commutative algebra, special attention is devoted to its variant, the switching rook polynomial, which is conjectured to coincide with the $h$-polynomial of the $K$-algebra associated with the given collection of cells. In this context, palindromicity plays a crucial role, as it reflects the algebraic property of Gorensteinness. In this paper, we introduce a new combinatorial property, called domino-stability, and we prove that the switching rook polynomial of a collection of cells $\mathcal{P}$ is palindromic if and only if $\mathcal{P}$ is domino-stable. Building upon this result, we derive new insights into the characterization of Gorenstein $K$-algebras arising from polyominoes or, more generally, from collections of cells.

Let $S=K[x_1, \ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I(G) \subset S$ the edge ideal of a finite graph $G$ on $n$ vertices. Given a vector $\mathfrak{c}\in\mathbb{N}^n$ and an integer $q\geq 1$, we denote by $(I(G)^q)_{\mathfrak{c}}$ the ideal of $S$ generated by those monomials belonging to $I(G)^q$ whose exponent vectors are componentwise bounded above by $\mathfrak{c}$. Let $δ_{\mathfrak{c}}(I(G))$ denote the largest integer $q$ for which $(I(G)^q)_{\mathfrak{c}}\neq (0)$. Since $(I(G)^{δ_{\mathfrak{c}}(I)})_{\mathfrak{c}}$ is a polymatroidal ideal, it follows that its minimal set of monomial generators is the set of bases of a discrete polymatroid $\mathcal{D}(G,\mathfrak{c})$. In the present paper, a classification of Gorenstein polytopes of the form ${\rm conv}(\mathcal{D}(G,\mathfrak{c}))$ is studied.

We present a general classification algorithm for reflexive simplices, which allows us to determine all reflexive simplices in dimensions five and six. In terms of algebraic geometry this means that we classify the Gorenstein fake weighted projective spaces in dimensions five and six. As a byproduct of our methods, we obtain explicit formulae for the Picard group and the Gorenstein index of any fake weighted projective space.

In 2022 Kim showed when a graph $G$ is ternary (without induced cycles of length divisible by three), its independence complex $\text{Ind}(G)$ is either contractible or homotopy equivalent to a sphere. In this paper, we show that when $\text{Ind}(G)$ is homotopy equivalent to a sphere of dimension $\dim \text{Ind}(G)$, the complex is Gorenstein. Equivalently, $G$ is a $1$-well-covered graph. This answers a question by Faridi and Holleben. We then focus on the independence complexes of Gorenstein planar ternary graphs. We prove that they are boundaries of vertex decomposable simplicial polytopes. We show that the transformations among these flag spheres using edge subdivisions and contractions can be modeled by the Hasse diagram of the partition refinement poset. In addition, their $h$-polynomials are products of Delannoy polynomials and thus real-rooted. Finally, we demonstrate a way to construct nonplanar Gorenstein ($1$-well-covered) ternary graphs from planar ones.

The cluster variety of triples of flags (associated with a split simple Lie group of Dynkin type Delta) plays a key role in higher Teichmuller theory as developed by Fock-Goncharov, Jiarui Fei, Ian Le, ... and Goncharov-Shen. We refer to it as the basic triangle associated with Delta. In this paper, for simply laced Delta, we construct and study a Higgs category (in the sense of Yilin Wu) which we expect to categorify the basic triangle. This category is a certain exact dg category (in the sense of Xiaofa Chen) which is Frobenius and stably 2-Calabi-Yau. We show that it has indeed the expected cyclic group symmetry and that its derived category has the expected braid group symmetry. A key ingredient in our construction is a conjecture by Merlin Christ, whose proof occupies most of this paper. The proof is based on a new description of the Higgs category in terms of Gorenstein projective dg modules. Our techniques are in the spirit of Orlov in his work on triangulated categories of graded B-branes.

Let $S=K[x_1,\dots,x_n]$ be the polynomial ring over a field $K$ and $I\subset S$ be a squarefree monomial ideal generated in degree $n-2$. Motivated by the remarkable behavior of the powers of $I$ when $I$ admits a linear resolution, as established in [11], in this work we investigate the algebraic and homological properties of $I$ and its powers. To this end, we introduce the complementary edge ideal of a finite simple graph $G$ as the ideal $$I_c(G)=((x_1\cdots x_n)/(x_ix_j):\{i,j\}\in E(G)) $$ of $S$, where $V(G)=\{1,\ldots,n\}$ and $E(G)$ is the edge set of $G$. By interpreting any squarefree monomial ideal $I$ generated in degree $n-2$ as the complementary edge ideal of a graph $G$, we establish a correspondence between algebraic invariants of $I$ and combinatorial properties of $G$. More precisely, we characterize sequentially Cohen-Macaulay, Cohen-Macaulay, Gorenstein, nearly Gorenstein and matroidal complementary edge ideals. Moreover, we determine the regularity of powers of $I$ in terms of combinatorial invariants of the graph $G$ and obtain that $I^k$ has linear resolution or linear quotients for some $k$ (equivalently for all $k\geq 1$) if and only if $G$ has only one connected component with at least two vertices.

We prove that the sum of the Picard ranks of a polar pair of Gorenstein toric Fano varieties of dimension $d\geq 3$ is at most the minimum of the number of facets and vertices of the corresponding pair of reflexive polytopes minus $(d-1)$. This is a generalization of Eikelberg's theory of affine dependences describing the Picard groups of toric varieties. The upper bound is achieved if and only if the polar pair is a simple-simplicial pair.

Let $S=K[x_1, \ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I \subset S$ a monomial ideal. Given a vector $\mathfrak{c}\in\mathbb{N}^n$, the ideal $I_{\mathfrak{c}}$ is the ideal generated by those monomials belonging to $I$ whose exponent vectors are componentwise bounded above by $\mathfrak{c}$. Let $δ_{\mathfrak{c}}(I)$ be the largest integer $q$ for which $(I^q)_{\mathfrak{c}}\neq 0$. For a finite graph $G$, its edge ideal is denoted by $I(G)$. Let $\mathcal{B}(\mathfrak{c},G)$ be the toric ring which is generated by the monomials belonging to the minimal system of monomial generators of $(I(G)^{δ_{\mathfrak{c}}(I)})_{\mathfrak{c}}$. In a previous work, the authors proved that $(I(G)^{δ_{\mathfrak{c}}(I)})_{\mathfrak{c}}$ is a polymatroidal ideal. It follows that $\mathcal{B}(\mathfrak{c},G)$ is a normal Cohen--Macaulay domain. In this paper, we study the Gorenstein property of $\mathcal{B}(\mathfrak{c},G)$.

A conjecture by Corti, Filip and Petracci, inspired by mirror symmetry, states that smoothing types of affine Gorenstein toric 3-folds correspond to zero mutable Laurent polynomials. We propose a method to prove this conjecture via log crepant log resolutions constructed from compatible collections of divisorial extractions. For affine cones over weighted projective planes we prove for several infinite families of zero mutable Laurent polynomials that they indeed describe curves that admit a compatible collection of divisorial extractions. The construction of log crepant log resolutions and smoothings will be worked out in joint work with Alessio Corti and Helge Ruddat.

Let $G$ be a permutation graph. We show that $G$ is Cohen-Macaulay if and only if $G$ is unmixed and vertex decomposable. When this is the case, we obtain a combinatorial description for the $a$-invariant of $G$. Moreover, we characterize the Gorenstein permutation graphs.

I introduce a geometric interpretation of the set of standard graded Artinian Gorenstein algebras of codimension $n$ and degree $d$: the standard locus, which is a subset of the projective space of degree $d$ polynomials in $n$ variables, and I characterize it. Under opportune hypothesis, I prove that the locus of full Perazzo polynomials is the union of the minimal dimensional irreducible components of the standard locus and it is pure dimensional subset. On the other hand, I associate to any homogeneous polynomial a topological space, which is a CW-complex. Using all these sets, I prove that the Hilbert function restricted to the standard locus has minimal values on any irreducible component of the domain. I apply all this to the Full Perazzo Conjecture and I prove it.

Inspired by the Roller Coaster Theorem from graph theory, we prove the existence of artinian Gorenstein algebras with unconstrained Hilbert series, which we call Roller Coaster algebras. Our construction relies on Nagata idealization of quadratic monomial algebras defined by whiskered graphs. The monomial algebras are interesting in their own right, as our results suggest that artinian level algebras defined by quadratic monomial ideals rarely have the weak Lefschetz property. In addition, we discover a large family of G-quadratic Gorenstein algebras failing the weak Lefschetz property.

We consider the strong Lefschetz property for standard graded Artinian Gorenstein algebras. Such an algebra has a presentation of the quotient algebra of the ring of the differential polynomials modulo the annihilator of some homogeneous polynomial. There is a characterization of the strong Lefschetz property for such an algebra by the non-degeneracy of the higher Hessian matrix of the homogeneous polynomial. Maeno and Numata conjectured that if such an algebra is defined by the basis generating polynomial of any matroid, then it has the strong Lefschetz property. For this conjecture, we give counterexamples that are associated with graphic matroids. We prove the degeneracy of the higher Hessian matrix by constructing a non-zero element in the kernel of that matrix.

Building from the work of von Bell et al.~(2022), we study the Ehrhart theory of order polytopes arising from a special class of distributive lattices, known as generalized snake posets. We present arithmetic properties satisfied by the Ehrhart polynomials of order polytopes of generalized snake posets along with a computation of their Gorenstein index. Then we give a combinatorial description of the chain polynomial of generalized snake posets as a direction to obtain the $h^*$-polynomial of their associated order polytopes. Additionally, we present explicit formulae for the $h^*$-polynomial of the order polytopes of the two extremal examples of generalized snake posets, namely the ladder and regular snake poset. We then provide a recursive formula for the $h^*$-polynomial of any generalized snake posets and show that the $h^*$-vectors are entry-wise bounded by the $h^*$-vectors of the two extremal cases.