Each partition $λ= (λ_1, λ_2, ..., λ_n)$ determines a so-called Ferrers tableau or, equivalently, a Ferrers bipartite graph. Its edge ideal, dubbed Ferrers ideal, is a squarefree monomial ideal that is generated by quadrics. We show that such an ideal has a 2-linear minimal free resolution, i.e. it defines a small subscheme. In fact, we prove that this property characterizes Ferrers graphs among bipartite graphs. Furthermore, using a method of Bayer and Sturmfels, we provide an explicit description of the maps in its minimal free resolution: This is obtained by associating a suitable polyhedral cell complex to the ideal/graph. Along the way, we also determine the irredundant primary decomposition of any Ferrers ideal. We conclude our analysis by studying several features of toric rings of Ferrers graphs. In particular we recover/establish formulae for the Hilbert series, the Castelnuovo-Mumford regularity, and the multiplicity of these rings. While most of the previous works in this highly investigated area of research involve path counting arguments, we offer here a new and self-contained approach based on results from Gorenstein liaison theory.
We investigate the Castelnuovo-Mumford regularity and the multiplicity of the toric ring associated with a three-dimensional Ferrers diagram. In particular, in the rectangular case, we provide direct formulas for these two important invariants. Then, we compare these invariants for an accompanying pair of Ferrers diagrams under some mild conditions and bound the Castelnuovo-Mumford regularity for more general cases.
We introduce a specialization technique in order to study monomial ideals that are generated in degree two by using our earlier results about Ferrers ideals. It allows us to describe explicitly a cellular minimal free resolution of various ideals including any strongly stable and any squarefree strongly stable ideal whose minimal generators have degree two. In particular, this shows that threshold graphs can be obtained as specializations of Ferrers graphs, which explains their similar properties.
We investigate the Rees algebra and the toric ring of the squarefree monomial ideal associated to the three-dimensional Ferrers diagram. Under the projection property condition, we describe explicitly the presentation ideals of the Rees algebra and the toric ring. We show that the toric ring is a Koszul Cohen--Macaulay normal domain, while the Rees algebra is Koszul and the defining ideal is of fiber type.
We study Gröbner degenerations of Schubert varieties inside flag varieties. We consider toric degenerations of flag varieties induced by matching fields and semi-standard Young tableaux. We describe an analogue of matching field ideals for Schubert varieties inside the flag variety and give a complete characterization of toric ideals among them. We use a combinatorial approach to standard monomial theory to show that block diagonal matching fields give rise to toric degenerations. Our methods and results use the combinatorics of permutations associated to Schubert varieties, matching fields an…
In this paper we study monomial ideals attached to posets, introduce generalized Hibi rings and investigate their algebraic and homological properties. The main tools to study these objects are Groebner basis theory, the concept of sortability due to Sturmfels and the theory of weakly polymatroidal ideals.
Richardson varieties are obtained as intersections of Schubert and opposite Schubert varieties. We provide a new family of toric degenerations of Richardson varieties inside Grassmannians by studying Gröbner degenerations of their corresponding ideals. These degenerations are parametrised by block diagonal matching fields in the sense of Sturmfels-Zelevinsky. We associate a weight vector to each block diagonal matching field and study its corresponding initial ideal. In particular, we characterise when such ideals are toric, hence providing a family of toric degenerations for Richardson variet…
We study toric degenerations of opposite Schubert and Richardson varieties inside degenerations of Grassmannians and flag varieties. These degenerations are parametrized by matching fields in the sense of Sturmfels and Zelevinsky. We construct so-called restricted matching field ideals whose generating sets are understood combinatorially through tableaux. We determine when these ideals are toric and coincide with Gröbner degenerations of Richardson varieties using the well established standard monomial theory for Grassmannians and flag varieties.
We study standard monomial bases for Richardson varieties inside the flag variety. In general, writing down a standard monomial basis for a Richardson variety can be challenging, as it involves computing so-called defining chains or key tableaux. However, for a certain family of Richardson varieties, indexed by compatible permutations, we provide a very direct and straightforward combinatorial rule for writing down a standard monomial basis. We apply this result to the study of toric degenerations of Richardson varieties. In particular, we provide a new family of toric degenerations of Richard…
We present two new problems on lower bounds for resolution Betti numbers of monomial ideals generated in a fixed degree. The first concerns any such ideal and bounds the total Betti numbers, while the second concerns ideals that are quadratic and bihomogeneous with respect to two variable sets, but gives a more finely graded lower bound. These problems are solved for certain classes of ideals that generalize (in two different directions) the edge ideals of threshold graphs and Ferrers graphs. In the process, we produce particularly simple cellular linear resolutions for strongly stable and squ…
We use cellular resolutions of monomial ideals to prove an analog of Hilbert's syzygy theorem for virtual resolutions of monomial ideals on smooth toric varieties.
A graph-theoretic method, simpler than existing ones, is used to characterize the minimal set of monomial generators for the integral closure of any algebra of polynomials generated by quadratic monomials. The toric ideal of relations between these generators is generated by a set of binomials, defined graphically. The spectra of the original algebra and of its integral closure turn out to be canonically homeomorphic.
We investigate Rees algebras and special fiber rings obtained by blowing up specialized Ferrers ideals. This class of monomial ideals includes strongly stable monomial ideals generated in degree two and edge ideals of prominent classes of graphs. We identify the equations of these blow-up algebras. They generate determinantal ideals associated to subregions of a generic symmetric matrix, which may have holes. Exhibiting Gröbner bases for these ideals and using methods from Gorenstein liaison theory, we show that these determinantal rings are normal Cohen-Macaulay domains that are Koszul, that …
In this article, we study monomial curves, toric ideals and monomial algebras associated to $4$-generated pseudo symmetric numerical semigroups. Namely, we determine indispensable binomials of these toric ideals, give a characterization for these monomial algebras to have strongly indispensable minimal graded free resolutions. We also characterize when the tangent cones of these monomial curves at the origin are Cohen-Macaulay.
We introduce the notion of Betti category for graded modules over suitably graded polynomial rings, and more generally for modules over certain small categories. Our categorical approach allows us to treat simultaneously many important cases, such as monomial ideals and toric rings. We prove that in these cases the Betti category is a finite combinatorial object that completely determines the structure of the minimal free resolution. For monomial ideals, the Betti category is the same as the Betti poset that we studied in a previous article. We describe in detail and with examples how the theo…
We introduce the notion of a \emph{resolution supported on a poset}. When the poset is a CW-poset, i.e. the face poset of a regular CW-complex, we recover the notion of cellular resolution as introduced by Bayer and Sturmfels. Work of Reiner and Welker, and of Velasco, has shown that there are monomial ideals whose minimal free resolutions are not cellular, hence cannot be supported on any CW-poset. We show that for any monomial ideal there is a \emph{homology CW-poset} that supports a minimal free resolution of the ideal. This allows one to extend to every minimal resolution, essentially verb…
In this paper we study some algebraic and combinatorial behaviors of expansion functor. We show that on monomial ideals some properties like polymatroidalness, weakly polymatroidalness and having linear quotients are preserved under taking the expansion functor. The main part of the paper is devoted to study of toric ideals associated to the expansion of subsets of monomials which are minimal with respect to divisibility. It is shown that, for a given discrete polymatroid $P$, if toric ideal of $P$ is generated by double swaps then toric ideal of any expansion of $P$ has such a property. This …
B. Sturmfels and S. Sullivant associated to any graph a toric ideal, called the cut ideal. We consider monomial cut ideals and we show that their algebraic properties such as the minimal primary decomposition, the property of having a linear resolution or being Cohen--Macaulay may be derived from the combinatorial structure of the graph.
We show that the toric ideal of a lattice path polymatroid is generated by quadrics corresponding to symmetric exchanges, and give a monomial order under which these quadrics form a Gröbner basis. We then obtain an analogous result for lattice path matroids.
In this article we prove that every toric ideal associated with a gap-free graph $G$ has a squarefree lexicographic initial ideal. Moreover, in the particular case when the complementary graph of $G$ is chordal (i.e. when the edge ideal of $G$ has a linear resolution), we show that there exists a reduced Gröbner basis $\mathcal{G}$ of the toric ideal of $G$ such that all the monomials in the support of $\mathcal{G}$ are squarefree. Finally, we show (using work by Herzog and Hibi) that if $I$ is a monomial ideal generated in degree 2, then $I$ has a linear resolution if and only if all powers o…
It has been shown previously that a large class of monomial maps equivariant under the action of an infinite symmetric group have finitely generated kernels up to the symmetric action. We prove that these symmetric toric ideals also have finite Gröbner bases up to symmetry for certain monomial orders. An algorithm is presented for computing equivariant Gröbner bases that terminates whenever a finite basis exists, improving on previous algorithms that only guaranteed termination in rings Noetherian up to symmetry. This algorithm can be used to compute equivariant Gröbner bases of the above tori…
We extend the sortability concept to monomial ideals which are not necessarily generated in one degree and as an application we obtain normal Cohen-Macaulay toric rings attached to vertex cover ideals of graphs. Moreover, we consider a construction on a graph called a clique multi-whiskering which always produces vertex cover ideals with componentwise linear powers.
We study the local cohomology modules H^i_B(R) for a reduced monomial ideal B in a polynomial ring R=k[X_1,...,X_n]. We consider a grading on R which is coarser than the Z^n-grading such that each component of H^i_B(R) is finite dimensional and we give an effective way to compute these components. Using Cox's description for sheaves on toric varieties, we apply these results to compute the cohomology of coherent sheaves on toric varieties. We give algorithms for this computation which have been implemented in the Macaulay 2 system. We obtain also a topological description for the cohomology of…
We generalize the Bernstein-Sato polynomials of Budur, Mustata and Saito to ideals in normal semigroup rings. In the case of monomial ideals, we also relate the roots of the Bernstein-Sato polynomial to the jumping coefficients of the corresponding multiplier ideals. In order to prove the latter result, we obtain a new combinatorial description for the multiplier ideals of a monomial ideal in a normal semigroup ring.
This article concerns monomial ideals fixed by differential operators of affine semi-group rings over $\mathbb{C}$. We give a complete characterization of when this happens. Perhaps surprisingly, every monomial ideal is fixed by an infinite set of homogeneous differential operators and is in fact determined by them. This opens up a new tool for studying monomial ideals. We explore applications of this to (mixed) multiplier ideals and other variants as well as give examples of detecting ideal membership in integrally closed powers and symbolic powers of squarefree monomial ideals.
We introduce the concept of $t$-spread monomials and $t$-spread strongly stable ideals. These concepts are a natural generalization of strongly stable and squarefree strongly stable ideals. For the study of this class of ideals we use the $t$-fold stretching operator. It is shown that $t$-spread strongly stable ideals are componentwise linear. Their height, their graded Betti numbers and their generic initial ideal are determined. We also consider the toric rings whose generators come from $t$-spread principal Borel ideals.
The toric ideal of a $d$-dimensional flow polytope has an initial ideal generated by square-free monomials of degree at most $d$. The toric ideal of a flow polytope of dimension at most four has an initial ideal generated by square-free monomials of degree at most two, with the only exception of the four-dimensional Birkhoff polytope, whose toric ideal has an initial ideal generated by a square-free cubic monomial. The proof is based on a method to classify certain compressed flow polytopes, and a construction of a quadratic pulling triangulation of them. Along the way compressed flow polytope…
The goal of this paper is to produce a formula for the multiplier ideals of monomial space curves in the spirit of Howald's formula for the multiplier ideals of monomial ideals. This is achieved by constructing a toric blowup of affine space in such a way that a log resolution of the monomial curve may be constructed from this toric variety in a well controlled manner.
Given a vertex-weighted oriented graph, we can associate to it a set of monomials. We consider the toric ideal whose defining map is given by these monomials. We find a generating set for the toric ideal for certain classes of graphs which depends on the combinatorial structure and weights of the graph. We provide a result which is analogous to the unweighted, unoriented graph case, to show that when the associated simple graph has only trivial even closed walks, the toric ideal is the zero ideal. Moreover, we give necessary and sufficient conditions for the toric ideal of a weighted oriented …
An integer partition λof n corresponds, via its Ferrers diagram, to an artinian monomial ideal I of colength n in the polynomial ring on two variables. If the partition λcorresponds to an integrally closed ideal we call λconcave. We study generating functions for the number of concave partitions, unrestricted or with at most r parts.
Let $A=\{{\bf a}_1,...,{\bf a}_m\} \subset \mathbb{Z}^n$ be a vector configuration and $I_A \subset K[x_1,...,x_m]$ its corresponding toric ideal. The paper consists of two parts. In the first part we completely determine the number of different minimal systems of binomial generators of $I_A$. We also prove that generic toric ideals are generated by indispensable binomials. In the second part we associate to $A$ a simplicial complex $Δ_{\ind(A)}$. We show that the vertices of $Δ_{\ind(A)}$ correspond to the indispensable monomials of the toric ideal $I_A$, while one dimensional facets of $Δ_{\…
Let $M$ and $N$ be two monomials of the same degree, and let $I$ be the smallest Borel ideal containing $M$ and $N$. We show that the toric ring of $I$ is Koszul by constructing a quadratic Gröbner basis for the associated toric ideal. Our proofs use the construction of graphs corresponding to fibers of the toric map. As a consequence, we conclude that the Rees algebra is also Koszul.
Monomial ideals and toric rings are closely related. By consider a Grobner basis we can always associated to any ideal $I$ in a polynomial ring a monomial ideal ${\rm in}_\prec I$, in some special situations the monomial ideal ${\rm in}_\prec I$ is square free. On the other hand given any monomial ideal $I$ of a polynomial ring $S$, we can define the toric $K[I]\subset S$. In this paper we will study toric rings defined by Segre embeddings, we will prove that their $h-$ vectors coincides with the so called Simon Newcomb number's in probabilities and combinatorics. We solve the original questio…
Let $G$ be a simple graph on the vertex set $\{1,\ldots,n\}$ with $m$ edges. An algebraic object attached to $G$ is the ideal $P_{G}$ generated by diagonal 2-minors of an $n \times n$ matrix of variables. In this paper we prove that if $G$ is bipartite, then every initial ideal of $P_{G}$ is generated by squarefree monomials of degree at most $\left \lfloor{\frac{m+n+1}{2}} \right \rfloor$. Furthermore, we completely characterize all connected graphs $G$ for which $P_{G}$ is the toric ideal associated to a finite simple graph. Finally we compute in certain cases the universal Gr{ö}bner basis o…
We prove a sufficient and a necessary condition for a square-free monomial ideal $J$ associated to a (dual) hypergraph to have projective dimension equal to the minimal number of generators of $J$ minus 2. We also provide an effective explicit procedure to compute the projective dimension of 1-dimensional hypergraphs $\mathcal{H}$ when each connected component contains at most one cycle. An algorithm to compute the projective dimension is also included. Applications of these results are given; they include, for instance, computing the projective dimension of monomial ideals whose associated hy…
Every normal toric ideal of codimension two is minimally generated by a Grobner basis with squarefree initial monomials. A polynomial time algorithm is presented for checking whether a toric ideal of fixed codimension is normal.
A simple formula computing the multiplier ideal of a monomial ideal on an arbitrary affine toric variety is given. Variants for the multiplier module and test ideals are also treated.
Let $k$ be an arbitrary field, the purpose of this work is to provide families of positive integers $\mathcal{A} = \{d_1,\ldots,d_n\}$ such that either the toric ideal $I_{\mathcal A}$ of the affine monomial curve $\mathcal C = \{(t^{d_1},\ldots,\,t^{d_n}) \ | \ t \in k\} \subset \mathbb{A}_k^n$ or the toric ideal $I_{\mathcal A^{\star}}$ of its projective closure ${\mathcal C^{\star}} \subset \mathbb{P}_k^n$ is a complete intersection. More precisely, we characterize the complete intersection property for $I_{\mathcal A}$ and for $I_{\mathcal A^{\star}}$ when: (a) $\mathcal{A}$ is a generaliz…
Given any equigenerated monomial ideal $I$ with the property that the defining ideal $J$ of the fiber cone $ F(I)$ of $I$ is generated by quadratic binomials, we introduce a matrix such that the set of its binomial $2$-minors is a generating set of $J$. In this way, we characterize the fiber cone of sortable and Freiman ideals.
The dependence of torsion functors on their supporting ideals is investigated, especially in the case of monomial ideals of certain subrings of polynomial algebras over not necessarily Noetherian rings. As an application it is shown how flatness of quasicoherent sheaves on toric schemes is related to graded local cohomology.
We consider a large class of monomial maps respecting an action of the infinite symmetric group, and prove that the toric ideals arising as their kernels are finitely generated up to symmetry. Our class includes many important examples where Noetherianity was recently proved or conjectured. In particular, our results imply Hillar-Sullivant's Independent Set Theorem and settle several finiteness conjectures due to Aschenbrenner, Martin del Campo, Hillar, and Sullivant. We introduce a matching monoid and show that its monoid ring is Noetherian up to symmetry. Our approach is then to factorize a …
Let $A$ be a $K$-subalgebra of the polynomial ring $S=K[x_1,\ldots,x_d]$ of dimension $d$, generated by finitely many monomials of degree $r$. Then the Gauss algebra $\GG(A)$ of $A$ is generated by monomials of degree $(r-1)d$ in $S$. We describe the generators and the structure of $\GG(A)$, when $A$ is a Borel fixed algebra, a squarefree Veronese algebra, generated in degree $2$, or the edge ring of a bipartite graph with at least one loop. For a bipartite graph $G$ with one loop, the embedding dimension of $\GG(A)$ is bounded by the complexity of the graph $G$.
This article will appear in the proceedings of the AMS Summer Institute in Algebraic Geometry at Santa Cruz, July 1995. The topic is toric ideals, by which I mean the defining ideals of subvarieties of affine or projective space which are parametrized by monomials. Numerous open problems are given.
We study the algebraic combinatorics of monomial degenerations of Plücker forms which is governed by matching fields in the sense of Sturmfels and Zelevinsky. We provide a necessary condition for a matching field to yield a Khovanskii basis of the Plücker algebra for $3$-planes in $n$-space. When the ideal associated to the matching field is quadratically generated this condition is both necessary and sufficient. Finally, we describe a family of matching fields, called $2$-block diagonal, whose ideals are quadratically generated. These matching fields produce a new family of toric degeneration…
To a natural number $n$, a finite partially ordered set $P$ and a poset ideal ${\mathcal J}$ in the poset $Hom(P,[n])$ of isotonian maps from $P$ to the chain on $n$ elements, we associate two monomial ideals, the letterplace ideal $L(n,P;{\mathcal J})$ and the co-letterplace ideal $L(P,n;{\mathcal J})$. These ideals give a unified understanding of a number of ideals studied in monomial ideal theory in recent years. By cutting down these ideals by regular sequences of variable differences we obtain: multichain ideals and generalized Hibi type ideals, initial ideals of determinantal ideals, str…
We compute the reduced Gröbner basis of the toric ideal with respect to a suitable monomial order and we study the Hilbert series of the vertex cover algebra $A(G)$, where $G$ is an unmixed bipartite graph without isolated vertices.
We provide a formula to compute the big Cohen-Macaulay test ideal for triples $((R,Δ),\mathfrak{a}^{t})$ where $R$ is a mixed characteristic toric ring and $\mathfrak{a}$ is a monomial ideal. Of particular interest is that this result is consistent with the formulas for test ideals in positive characteristic and multiplier ideals in characteristic zero.
Symmetric strongly shifted ideals are a class of monomial ideals which come equipped with an action of the symmetric group and are analogous to the well-studied class of strongly stable monomial ideals. In this paper we focus on algebraic and combinatorial properties of symmetric strongly shifted ideals. On the algebraic side, we elucidate properties that pertain to behavior under ideal operations, primary decomposition, and the structure of their Rees algebra. On the combinatorial side, we develop a notion of partition Borel generators which leads to connections to discrete polymatroids, conv…
We study monomial cut ideals associated to a graph $G$, which are a monomial analogue of toric cut ideals as introduced by Sturmfels and Sullivant. Primary decompositions, projective dimensions, and Castelnuovo-Mumford regularities are investigated if the graph can be decomposed as $0$-clique sums and disjoint union of subgraphs. The total Betti numbers of a cycle are computed. Moreover, we classify all Freiman ideals among monomial cut ideals.
This paper is concerned with the combinatorial description of the graded minimal free resolution of certain monomial algebras which includes toric rings. Concretely, we explicitly describe how the graded minimal free resolution of those algebras is related to the combinatorics of some simplicial complexes. Our description may be interpreted as an algorithmic procedure to partially compute this resolution.
Thompson (2014) exhibits a formula for the multiplier ideal with multiplier lambda of a monomial curve C with ideal I as an intersection of a term coming from the I-adic valuation, the multiplier ideal of the term ideal of I, and terms coming from certain specified auxiliary valuations. This short note shows it suffices to consider only one auxiliary valuation. This improvement is achieved through a more intrinsic approach, reduction to the toric case.
We continue the study of intersection algebras $\mathcal B = \mathcal B_R(I, J)$ of two ideals $I, J$ in a commutative Noetherian ring $R$. In particular, we exploit the semigroup ring and toric structures in order to calculate various invariants of the intersection algebra when $R$ is a polynomial ring over a field and $I,J$ are principal monomial ideals. Specifically, we calculate the $F$-signature, divisor class group, and Hilbert-Samuel and Hilbert-Kunz multiplicities, sometimes restricting to certain cases in order to obtain explicit formulæ. This provides a new class of rings where formu…
