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.
Given an arbitrary field k and an arithmetic sequence of positive integers m_0<...<m_n, we consider the affine monomial curve parameterized by X_0=t^{m_0},...,X_n=t^{m_n}. In this paper, we conjecture that the Betti numbers of its coordinate ring are completely determined by n and the value of m_0 modulo n. We first show that the defining ideal of the monomial curve can be written as a sum of two determinantal ideals. Using this fact, we describe the minimal free resolution of the coordinate ring in the following three cases: when m_0 is 1 modulo n (determinantal), when m_0 is n modulo n (almo…
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…
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.
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…
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 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.
In this paper we investigate the question of normality for special monomial ideals in a polynomial ring over a field. We first include some expository sections that give the basics on the integral closure of a ideal, the Rees algebra on an ideal, and some fundamental results on the integral closure of a monomial ideal.
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.
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 ar…
We give a combinatorial description of the roots of the Bernstein-Sato polynomial of a monomial ideal using the Newton polyhedron and some semigroups associated to the ideal.
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.
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 …
The support poset of a monomial ideal $I\subseteq\mathbf{k}[x_1,\dots,x_n]$ encodes the relation between the variables $x_1,\dots,x_n$ and the minimal monomial generators of $I$. It is known that not every poset is realizable as the support poset of some monomial ideal. We describe some posets $P$ for which we can explicitly find at least one monomial ideal $I_P$ such that $P$ is the support poset of $I_P$. Also, for some families of monomial ideals we describe their support posets and study their properties. As an example of application we examine the relation between forests and series-paral…
The core of an ideal is the intersection of all its reductions. We describe the core of a zero-dimensional monomial ideal I as the largest monomial ideal contained in a general reduction of I. This provides a new interpretation of the core in the monomial case as well as an efficient algorithm for computing it. We relate the core to adjoints and first coefficient ideals, and in dimension two and three we give explicit formulas.
We show that the real parts of the poles of the Igusa zeta function of a monomial ideal can be computed from the torus-invariant divisors on the normalized blowing-up along the ideal. Moreover, we show that every such number is a root of the Bernstein-Sato polynomial associated to the monomial ideal.
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…
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.
Let $I$ be a monomial ideal of a polynomial ring $R$. In this paper we determine a number $B$ such that $\Ass (I^n/I^{n+1}) = \Ass (I^{B}/I^{B+1})$ for all $n\geq B$.
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…
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 show that the mixed volumes of arbitrary convex bodies are equal to mixed multiplicities of graded families of monomial ideals, and to normalized limits of mixed multiplicities of monomial ideals. This result evinces the close relation between the theories of mixed volumes from convex geometry and mixed multiplicities from commutative algebra.
In this note we calculate the multiplier ideal associated to an arbitrary monomial ideal in C^n. We discuss applications to the calculation of log canonical thresholds.
We study conditions on polynomials such that the ideal generated by their orbits under the symmetric group action becomes a monomial ideal or has a monomial radical. If the polynomials are homogeneous, we expect that such an ideal has a monomial radical if their coefficients are sufficiently general with respect to their supports. We prove this for instance in the case where some generator contains a power of a variable. Moreover, if the polynomials have only square-free terms and their coefficients do not sum to zero, then in a larger polynomial ring the ideal itself is square-free monomial. …
Proofs of two results about a monomial ideal -- describing membership in auxiliary ideals associated to the monomial ideal -- are given which do not invoke resolution of singularities. The AM--GM inequality is used as a substitute for taking a log resolution of the monomial ideal.
We study blowups of affine n-space with center an arbitrary monomial ideal and call monomial ideals that render smooth blowups tame ideals. We give a combinatorial criterion to decide whether the blowup is smooth and apply this criterion to discuss a smoothing procedure proposed by Rosenberg, monomial building sets and permutohedra.