Let $R=k[x_1, ..., x_n]$ be a polynomial ring and let $I\subset R$ be a graded ideal. In \cite{R}, Römer asked whether under the Cohen-Macaulay assumption the $i$-th Betti number $β_{i}(R/I)$ can be bounded above by a function of the maximal shifts in the minimal graded free $R$-resolution of $R/I$ as well as bounded below by a function of the minimal shifts. The goal of this paper is to establish such bounds for graded Cohen-Macaulay algebras $k[x_1, ..., x_n]/I$ when $I$ is a standard determinantal ideal of arbitrary codimension. We also discuss other examples as well as when these bounds are sharp.
We produce a family of complexes called trimming complexes and explore applications. We study how trimming complexes can be used to deduce the Betti table for the minimal free resolution of the ideal generated by subsets of a generating set for an arbitrary ideal $I$. In particular, we compute the Betti table for removing an arbitrary generator from the ideal of submaximal pfaffians of a generic skew symmetric matrix $M$. We also explicitly compute the Betti table for the ideal generated by certain subsets of the generating set of the ideal of maximal minors of a generic $n \times m$ matrix. S…
We study higher jumping numbers and generalized test ideals associated to determinantal ideals over a field of positive characteristic. We work in positive characteristic and give a complete characterization of both families for ideals generated by maximal minors; and make a conjecture for the general case. Although these invariants are understood asymptotically - as their positive characteristic grows to infinity they essentially coincide with their characteristic zero analogues - there are known examples where the behavior in positive characteristic differs significantly from that of charact…
We show that the defining ideal of every monomial curve in the affine or projective three-dimensional space can be set-theoretically defined by three binomial equations, two of which set-theoretically define a determinantal ideal generated by the 2-minors of a $2\times 3$ matrix with monomial entries.
Herzog, Huneke, and Srinivasan have conjectured that for any homogeneous $k$-algebra, the multiplicity is bounded above by a function of the maximal degrees of the syzygies and below by a function of the minimal degrees of the syzygies. The goal of this paper is to establish the multiplicity conjecture of Herzog, Huneke, and Srinivasan about the multiplicity of graded Cohen-Macaulay algebras over a field $k$ for $k$-algebras $k[x_1, ..., x_n]/I$ being $I$ a determinantal ideal of arbitrary codimension.
In this paper, by a modification of a previously constructed minimal free resolution for a transversal monomial ideal, the Betti numbers of this ideal is explicitly computed. For convenient characteristics of the ground field, up to a change of coordinates, the ideal of $t$-minors of a generic pluri-circulant matrix is a transversal monomial ideal . Using a Gröbner basis for this ideal, it is shown that the initial ideal of a generic pluri-circulant matrix is a stable monomial ideal when the matrix has two square blocks. By means of the Eliahou-Kervair resolution, the Betti numbers of this ini…
We investigate the standard generalized Gorenstein algebras of homological dimension three, giving a structure theorem for their resolutions. Moreover in many cases we are able to give a complete description of their graded Betti numbers.
A sparse generic matrix is a matrix whose entries are distinct variables and zeros. Such matrices were studied by Giusti and Merle who computed some invariants of their ideals of maximal minors. In this paper we extend these results by computing a minimal free resolution for all such sparse determinantal ideals. We do so by introducing a technique for pruning minimal free resolutions when a subset of the variables is set to zero. Our technique correctly computes a minimal free resolution in two cases of interest: resolutions of monomial ideals, and ideals resolved by the Eagon-Northcott Comple…
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 study determinantal Cremona maps, i.e. birational maps whose base ideal is the maximal minors ideal of a given matrix $Φ$, via the resolution of the polynomials systems defined by $Φ$. Using convex geometry, this approach leads in particular to describe the projective degrees of some almost linear determinantal maps.
We determine the codimension of the Betti strata of the family G(H) parametrizing graded Artinian quotients A of the polynomial ring R in two variables, having Hilbert function H. The Betti stratum G(B,H) parametrizes all such quotients having the graded Betti numbers determined by the relation degrees B. Our method is to identify G(B,H) as the product of determinantal varieties. We then use a result of M. Boij that reduces the calculation of codimension to showing that the most special stratum has the expected codimension. We also show that the closure of the Betti stratum is Cohen-Macaulay, …
Schemes defined by residual intersections have been extensively studied in the case when they are Cohen-Macaulay, but this is a very restrictive condition. In this paper we make the first study of a class of natural examples far from satisfying this condition, the rank 1 loci of generic $2\times n$ matrices. Here we compute their depths and many other properties. These computations require a number of novel tools.
For positive integers m >= n >= p, we compute the GL_m x GL_n-equivariant description of the local cohomology modules of the polynomial ring S of functions on the space of m x n matrices, with support in the ideal of p x p minors. Our techniques allow us to explicitly compute all the modules Ext_S(S/I_x,S), for x a partition and I_x the ideal generated by the irreducible sub-representation of S indexed by x. In particular we determine the regularity of the ideals I_x, and we deduce that the only ones admitting a linear free resolution are the powers of the ideal of maximal minors of the generi…
We study the family of ideals defined by mixed size minors of two-sided ladders of indeterminates. We compute their Groebner bases with respect to a skew-diagonal monomial order, then we use them to compute the height of the ideals. We show that these ideals correspond to a family of irreducible projective varieties, that we call mixed ladder determinantal varieties. We show that these varieties are arithmetically Cohen-Macaulay. We characterize the arithmetically Gorenstein ones, among those that satisfy a technical condition. Our main result consists in proving that mixed ladder determinanta…
We introduce the notion of a Betti-linear monomial ideal, which generalizes the notion of lattice-linear monomial ideal introduced by Clark. We provide a characterization of Betti-linearity in terms of Tchernev's poset construction. As an application we obtain an explicit canonical construction for the minimal free resolutions of monomial ideals having pure resolutions.
Let $G$ be a finitely generated abelian group, and let $S = A[x_1, ..., x_n]$ be a $G$-graded polynomial ring over a commutative ring $A$. Let $I_1, ..., I_s$ be $G$-homogeneous ideals in $S$, and let $M$ be a finitely generated $G$-graded $S$-module. We show that, when $A$ is Noetherian, the nonzero $G$-graded Betti numbers of $MI_1^{t_1} ... I_s^{t_s}$ exhibit an asymptotic linear behavior as the $t_i$s get large.
The first sections contain a survey of the application of the Knuth-Robinson-Schensted corerspondence to the computation of Groebner bases of determinantal ideals. We also set up a conceptual framework for this application in terms of so-called "KRS invariants". Then we show that the initial ideal of a determinantal ideal "defined by shape" is given by its KRS image. We furthermore characterize those among these ideals that even have a Groebner basis of products of minors, and show that they can be characterized in terms of Greene's KRS invariants. Furthermore it is shown that for the ideal ge…
The $F$-pure threshold is a numerical invariant of prime characteristic singularities, that constitutes an analogue of the log canonical thresholds in characteristic zero. We compute the $F$-pure thresholds of determinantal ideals, i.e., of ideals generated by the minors of a generic matrix.
We consider the open problem of determining the graded Betti numbers for fat point subschemes supported at general points of the projective plane. We relate this problem to the open geometric problem of determining the splitting type of the pullback of the cotangent bundle on the plane to the normalization of certain rational plane curves. We give a conjecture for the graded Betti numbers which would determine them in all degrees but one for every fat point subscheme supported at general points of the plane. We also prove our Betti number conjecture in a broad range of cases. An appendix discu…
We study initial algebras of determinantal rings, defined by minors of generic matrices, with respect to their classical generic point. This approach leads to very short proofs for the structural properties of determinantal rings. Moreover, it allows us to classify their Cohen-Macaulay and Ulrich ideals.
We show that a determinantal ideal generated by $t$-minors does not contain any nonzero polynomials with $t!/2$ or fewer terms. Geometrically this means that any nonzero polynomial vanishing on all matrices of rank at most $t-1$ has more than $t!/2$ terms.
If $I$ is a perfect ideal in a local Cohen-Macaulay ring, the generators of ideals linked to $I$ are well understood. However, the generators of the residual intersections of $I$ have only been computed in a few special cases. In this paper, we show that the $n$-residual intersections of determinantal ideals of generic $2\times n$ matrices are sums of links.
We give an introduction to the theory of determinantal ideals and rings, their Groebner bases, initial ideals and algebras, respectively. The approach is based on the straightening law and the Knuth-Robinson-Schensted correspondence. The article contains a section treating the basic results about the passage to initial ideals and algebras.
We introduce the concept of s-Hankel hypermatrix, which generalizes both Hankel matrices and generic hypermatrices. We study two determinantal ideals associated to an s-Hankel hypermatrix: the ideal I<s,t> generated by certain 2 x 2 slice minors, and the ideal \tilde{I}<s,t> generated by certain 2 x 2 generalized minors. We describe the structure of these two ideals, with particular attention to the primary decomposition of I<s,t>, and provide the explicit list of minimal primes for large values of s. Finally we give some geometrical interpretations and generalise a theorem of Watanabe.
We prove a tight lower bound on the Betti numbers of tree and forest ideals and a tight upper bound on certain graded Betti numbers of squarefree monomial ideals.
In this paper we study primality and primary decomposition of certain ideals which are generated by homogeneous degree $2$ polynomials and occur naturally from determinantal conditions. Normality is derived from these results.
A determinantal facet ideal (DFI) is an ideal $J_Δ$ generated by maximal minors of a generic matrix parametrized by an associated simplicial complex $Δ$. In this paper, we construct an explicit linear strand for the initial ideal with respect to any diagonal term order $<$ of an arbitrary DFI. In particular, we show that if $Δ$ has no \emph{1-nonfaces}, then the Betti numbers of the linear strand of $J_Δ$ and its initial ideal coincide. We apply this result to prove a conjecture of Ene, Herzog, and Hibi on Betti numbers of closed binomial edge ideals in the case that the associated graph has a…
Motivated by a work of Knutson, in a recent paper Conca and Varbaro have defined a new class of ideals, namely "Knutson ideals", starting from a polynomial $f$ with squarefree leading term. We will show that the main properties that this class has in polynomial rings over fields of characteristic $p$ are preserved when one introduces the definition of Knutson ideal also in polynomial rings over fields of characteristic zero. Then we will show that determinantal ideals of Hankel matrices are Knutson ideals for a suitable choice of the polynomial $f$.
Let $M$ be a $(2 \times n)$ non-generic matrix of linear forms in a polynomial ring. For large classes of such matrices, we compute the cohomological dimension (cd) and the arithmetical rank (ara) of the ideal $I_2(M)$ generated by the $2$-minors of $M$. Over an algebraically closed field, any $(2 \times n)$-matrix of linear forms can be written in the Kronecker-Weierstrass normal form, as a concatenation of scroll, Jordan and nilpotent blocks. Bădescu and Valla computed $\mathrm{ara}(I_2(M))$ when $M$ is a concatenation of scroll blocks. In this case we compute $\mathrm{cd}(I_2(M))$ and exten…
We express the multigraded Betti numbers of monomial ideals in 4 variables in terms of the multigraded Betti numbers of 66 squarefree monomial ideals, also in 4 variables. We use this class of 66 ideals to prove that monomial resolutions in 4 variables are independent of the base field. In addition, we give a formula for the Betti numbers of an arbitrary monomial ideal in 4 variables.
We compute the Betti numbers of the resolution of a special class of square-free monomial ideals, the ideals of mixed products. Moreover when these ideals are Cohen-Macaulay we calculate their type.
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 …
We consider determinantal ideals, where the generating minors are encoded in a hypergraph. We study when the generating minors form a Gröbner basis. In this case, the ideal is radical, and we can describe algebraic and numerical invariants of these ideals in terms of combinatorial data of their hypergraphs, such as the clique decomposition. In particular, we can construct a minimal free resolution as a tensor product of the minimal free resolution of their cliques. For several classes of hypergraphs we find a combinatorial description of the minimal primes in terms of a prime splitting. That i…
Let X be a smooth projective variety with torsion-free Picard group. We introduce complexes of vector spaces whose homology determines the structure of the minimal free resolution of the Cox ring of X over the polynomial ring and show how the homology of these complexes can be studied by purely geometric methods. As an application of these techniques we give a simple new proof of a characterization of the Cox rings of Del Pezzo surfaces (of degree >1) conjectured by Batyrev and Popov.
We provide new results on the vanishing of local cohomology modules supported at ideals of minors of matrices over arbitrary commutative Noetherian rings. In the process, we compute the local cohomology of rings of polynomials with integer coefficients---supported at generic determinantal ideals---and also obtain results on F-modules and D-modules that are likely to be of independent interest.
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.
We characterize componentwise linear monomial ideals with minimal Taylor resolution and consider the lower bound for the Betti numbers of componentwise linear ideals.
We show that the ideal generated by maximal minors (i.e., $(k+1)$-minors) of a $(k+1) \times n$ Vandermonde matrix is radical and Cohen-Macaulay. Note that this ideal is generated by all Specht polynomials with shape $(n-k,1,...,1)$.
We study the extremal Betti numbers of the class of $t$--spread strongly stable ideals. More precisely, we determine the maximal number of admissible extremal Betti numbers for such ideals, and thereby we generalize the known results for $t\in \{1,2\}$.
In this paper, we study the family of determinantal ideals of "close" cuts of Hankel matrices, say $ \mathcal{f} $. We show that the multi-Rees algebra of ideals in $ \mathcal{f} $ is defined by a quadratic Gröbner basis, it is Koszul, normal Cohen-Macaulay domain and it has a nice Sagbi basis. As a consequence of Koszulness, we prove that every product $ I_1\ldots I_l $ of ideals of $ \mathcal{f} $ has linear resolution. Moreover, we show that natural generators of every product $ I_1\ldots I_l $ form a Gröbner basis.
We give a sufficient condition for a monomial ideal to have a nonzero Betti number in each multidegree. In the case of facet ideals of simplicial forests, this condition becomes a necessary one and it allows us to characterize Betti numbers, projective dimension and regularity of such ideals combinatorially. Our condition is expressed in terms of minimal facet covers of simplicial complexes.
We consider ideals generated by general sets of $m$-minors of an $m\times n$-matrix of indeterminates. The generators are identified with the facets of an $(m-1)$-dimensional pure simplicial complex. The ideal generated by the minors corresponding to the facets of such a complex is called a determinantal facet ideal. Given a pure simplicial complex $Δ$, we discuss the question when the generating minors of its determinantal facet ideal $J_Δ$ form a Gröbner basis and when $J_Δ$ is a prime ideal.
The vector space of m x n complex matrices (m >= n) admits a natural action of the group GL = GL_m x GL_n via row and column operations. For positive integers a,b, we consider the ideal I_{a x b} defined as the smallest GL-equivariant ideal containing the b-th powers of the a x a minors of the generic m x n matrix. We compute the syzygies of the ideals I_{a x b} for all a,b, together with their GL-equivariant structure, generalizing earlier results of Lascoux for the ideals of minors (b=1), and of Akin-Buchsbaum-Weyman for the powers of the ideals of maximal minors (a=n). Our methods rely on a…
We use purely combinatorial arguments to give a formula to compute all graded Betti numbers of path ideals of line graphs and cycles. As a consequence we can give new and short proofs for the known formulas of regularity and projective dimensions of path ideals of line graphs.
In the present paper we prove that all homogeneous ideals with linear quotients are componentwise linear. Moreover we establish an extended version of Eliahou-Kervaire formula for graded Betti numbers.
We determine the defining equations of the Rees algebra and of the special fiber ring of the ideal of maximal minors of a $2\times n$ sparse matrix. We prove that their initial algebras are ladder determinantal rings. This allows us to show that the Rees algebra and the special fiber ring are Cohen-Macaulay domains, they are Koszul, they have rational singularities in characteristic zero and are F-rational in positive characteristic.
