We develop a multigraded variant of Castelnuovo-Mumford regularity. Motivated by toric geometry, we work with modules over a polynomial ring graded by a finitely generated abelian group. As in the standard graded case, our definition of multigraded regularity involves the vanishing of graded components of local cohomology. We establish the key properties of regularity: its connection with the minimal generators of a module and its behavior in exact sequences. For an ideal sheaf on a simplicial toric variety X, we prove that its multigraded regularity bounds the equations that cut out the associated subvariety. We also provide a criterion for testing if an ample line bundle on X gives a projectively normal embedding.
In this paper, we consider $\mathbb{Z}^{r}-$graded modules on the $\mathrm{Cl}(X)$ $-$graded Cox ring $\mathbb{C}[x_{1},\dotsc,x_{r}]$ of a smooth complete toric variety $X$. Using the theory of Klyachko filtrations in the reflexive case, we construct a collection of lattice polytopes codifying the multigraded Hilbert function of the module. We apply this approach to reflexive $\mathbb{Z}^{s+r+2}$-graded modules over non-standard bigraded polynomial rings $\mathbb{C}[x_{0},\dotsc,x_{s},y_{0},\dotsc,y_{r}]$. In this case, we give sharp bounds for the multigraded regularity index of their multig…
Weighted Castelnuovo-Mumford Regularity and Weighted Global GenerationWe introduce and study a notion of Castelnuovo-Mumford regularity suitable for weighted projective spaces.
The purpose of this paper is to give a simple geometric construction of ideals whose Castelnuovo-Mumford regularity is large compared to the generating degree. Moreover, our ideals have the property that the Castelnuovo-Mumford regularity is revealed as late in the resolution as desired.
The behaviour of Castelnuovo-Mumford regularity under ``geometric'' transformations is not well understood. In this paper we are concerned with examples which will shed some light on certain questions concerning this behaviour.
Bounds for the Castelnuovo-Mumford regularity of Ext modules, over a polynomial ring over a field, are given in terms of the initial degrees, Castelnuovo-Mumford regularities and number of generators of the two graded modules involved. These general bounds are refined in the case the second module is the ring. Other estimates, for instance on the size of graded pieces of these modules, are given. We also derive a bound on the homological degree in terms of the Castelnuovo-Mumford regularity. This answers positively a question raised by Vasconcelos.
We give the Castelnuovo-Mumford regularity of arrangements of (n-2)-planes in P^n whose incidence graph is a sufficiently large complete bipartite graph, and determine when such arrangements are arithmetically Cohen-Macaulay.
In this note, we give a bound for the Castelnuovo-Mumford regularity of a homogeneous ideal $I$ in terms of the degrees of its generators. We assume that $I$ defines a local complete intersection with log canonical singularities.
We establish strong relationships between the Castelnuovo-Mumford regularity and the Ratliff-Rush closure of an ideal. Our results have several interesting consequences on the computation of the Ratliff-Rush closure, the stability of the Ratliff-Rush filtration, the invariance of the reduction number, and the computation of the Castelnuovo-Mumford regularity of the Rees algebra and the fiber ring. In particular, we prove that the Castelnuovo-Mumford regularity of the Rees algebra and of the fiber ring are equal for large classes of monomial ideals in two variables, thereby verifying a conjectu…
The main result of this paper shows that the Castelnuovo-Mumford regularity of the tangent cone of a local ring is effectively bounded by the dimension and any extended degree. From this it follows that there are only a finite number of Hilbert-Samuel functions of local rings with given dimension and extended degree.
Projective monomial curves correspond to rings generated by monomials of the same degree in two variables. Such rings always have finite Macaulayfication. We show how to characterize the Buchsbaumness and the Castelnuovo-Mumford regularity of these rings by means of their finite Macaulayfication, and we use this method to study the Buchsbaumness and to estimate the Castelnuovo-Mumford regularity of large classes of non-smooth monomial curves in terms of the given monomials.
We establish bounds for the Castelnuovo-Mumford regularity of a finitely generated graded module and its symmetric powers in terms of the degrees of the generators of the module and the degrees of their relations. We extend to modules (and improve) the known bounds for homogenous ideal in a polynomial ring established by Galligo, Guisti, Caviglia and Sbarra.
We define the concept of regularity for bigraded modules and bigraded polynomial ring. In this setting we prove analogs of some of the classical results on $m$-regularity for graded modules over polynomial algebras.
Bounds for the Castelnuovo-Mumford regularity and Hilbert coefficients are given in terms of the arithmetic degree (if the ring is reduced) or in terms of the defining degrees. From this it follows that there exists only a finite number of Hilbert functions associated to reduced algebras over an algebraically closed field with a given arithmetic degree and dimension. A good bound is also given for the Castelnuovo-Mumford regularity of initial ideals which depends neither on term orders nor on the coordinates, and holds for any field.
In this article we establish bounds for the Castelnuovo-Mumford regularity of projective schemes in terms of the degrees of their defining equations. The main new ingredient in our proof is to show that generic residual intersections of complete intersection rational singularities again have rational singularities. When applied to the theory of residual intersections this circle of ideas also sheds new light on some known classes of free resolutions of residual ideals.
Let $A$ be a Noetherian standard $\mathbb{N}$-graded algebra over an Artinian local ring $A_0$. Let $I_1,\ldots,I_t$ be homogeneous ideals of $A$ and $M$ a finitely generated $\mathbb{N}$-graded $A$-module. We prove that there exist two integers $k$ and $k'$ such that \[ \mathrm{reg}(I_1^{n_1} \cdots I_t^{n_t} M) \leq (n_1 + \cdots + n_t) k + k' \quad\mbox{for all }~n_1,\ldots,n_t \in \mathbb{N}. \]
We investigate the behavior of Castelnuovo-Mumford regularity with respect to some classical functors : Tor, the Frobenius functor in positive characteristic, taking a power or a product (on ideals). These generalizes and refines previous results on these issues by several authors. As an application we provide results on the regularity of an intersection of subschemes of a projective scheme, under appropriate geometric hypotheses. Results on the rigidity of multiple Tor modules and on the characterization of their vanishing are given, motivated by geometric applications.
We give examples of nonsingular curves in projective 3 space such that the regularity of powers of their ideal sheaves are highly nonlinear. This is in constrast to the case of an ideal I in a polynomial ring, where the regularity of I^n is a linear polynomial in n for large n.
In this article we extend a previous definition of Castelnuovo-Mumford regularity for modules over an algebra graded by a finitely generated abelian group. Our notion of regularity is based on Maclagan and Smith's definition, and is extended first by working over any commutative base ring, and second by considering local cohomology with support in an arbitrary finitely generated graded ideal $B$, obtaining, for each $B$, a $B$-regularity region. The first extension provides a natural approach for working with families of sheaves or of graded modules, while the second opens new applications. We…
We prove the regularity conjecture, namely Eisenbud-Goto conjecture, for a normal surface with rational, Gorenstein elliptic and log canonical singularities. Along the way, we bound the regularity for a dimension zero scheme by its Loewy length and for a curve allowing embedded or isolated point components by its arithmetic degree.
We give a bound on the Castelnuovo-Mumford regularity of a homogeneous ideals I, in a polynomial ring A, in terms of number of variables and the degrees of generators, when the dimension of A/I is at most two. This bound improves the one obtained by Caviglia and Sbarra in this case. In the continuation of the examples constructed by Clare D'Cruz and the first author, we use families of monomial curves to construct homogeneous ideals showing that these bounds are quite sharp.
We study bounds for the Castelnuovo-Mumford regularity of homogeneous ideals in a polynomial ring in terms of the number of variables and the degree of the generators. In particular our aim is to give a positive answer to a question posed by Bayer and Mumford, by showing that the known upper bound in characteristic zero holds true also in positive characteristic. We first analyze Giusti's proof, which provides the result in characteristic 0, giving some insight on the combinatorial properties needed in that context. For the general case we provide a new argument which employs Bayer and Stillma…
Castelnuovo-Mumford regularity and any extended degree function can be thought of as complexity measures for the structure of finitely generated graded modules. A recent result of Doering, Gunston, Vasconcelos shows that both can be compared in case of a graded algebra. We extend this result to modules and analyze when the estimate is in fact an equality. A complete classification is obtained if we choose as extended degree the homological or the smallest extended degree. The corresponding algebras are characterized in three ways: by relations among the algebra generators, by using generic ini…
In this paper we show how, given a complex of graded modules and knowing some partial Castelnuovo-Mumford regularities for all the modules in the complex and for all the positive homologies, it is possible to get a bound on the regularity of the zero homology. We use this to prove that if $\dim \tor_1^R(M,N)\leq1$ then $\reg(M\otimes N)\leq \reg(M)+\reg(N)$, generalizing results of Chandler, Conca and Herzog, and Sidman. Finally we give a description of the regularity of a module in terms of the postulation numbers of filter regular hyperplane restrictions.
We show that bounds on the Castelnuovo-Mumford regularity of singular schemes, as a function of the degrees of the equations defining the shceme, of its dimension and of the dimension of their singular space. In the case where the singularities are isolated, we improve the bound given by Chardin and Ulrich, and in the general case we establish a bound doubly exponential in the dimension of the singular space. -- Nous montrons dans cet article des bornes pour la regularite de Castelnuovo-Mumford d'un schema admettant des singularites, en fonction des degres des equations definissant le schema, …
In this paper we prove the Eisenbud-Goto conjecture for connected curves. We also investigate the structure of connected curves for which this bound is optimal. In particular, we construct connected curves of arbitrarily high degree in projective 4-space having maximal regularity, but no extremal secants. We also show that any connected curve in projective 3-space of degree at least 5 that has no linear components and has maximal regularity has an extremal secant.
Let S be a standard N^k-graded polynomial ring over a field. Let I be a multigraded homogeneous ideal in S and let M be a finitely generated Z^k-graded S-module. We prove that the resolution regularity, a multigraded variant of Castelnuovo-Mumford regularity, of I^nM is asymptotically a linear function. This shows that the well known Z-graded phenomenon carries to multigraded situation.
Matrix Schubert varieties are affine varieties arising in the Schubert calculus of the complete flag variety. We give a formula for the Castelnuovo-Mumford regularity of matrix Schubert varieties, answering a question of Jenna Rajchgot. We follow her proposed strategy of studying the highest-degree homogeneous parts of Grothendieck polynomials, which we call Castelnuovo-Mumford polynomials. In addition to the regularity formula, we obtain formulas for the degrees of all Castelnuovo-Mumford polynomials and for their leading terms, as well as a complete description of when two Castelnuovo-Mumfor…
In this paper we show that the sets of $F$-jumping coefficients of ideals form discrete sets in certain graded $F$-finite rings. We do so by giving a criterion based on linear bounds for the growth of the Castelnuovo-Mumford regularity of certain ideals. We further show that these linear bounds exists for one-dimensional rings and for ideals of (most) two-dimensional domains. We conclude by applying our technique to prove that all sets of $F$-jumping coefficients of all ideals in the determinantal ring given as the quotient by $2\times 2$ minors in a $2\times 3$ matrix of indeterminates form d…
We show that the ideal of an arrangement of d linear subspaces of projective space is d-regular in the sense of Castelnuovo and Mumford, answering a question of B. Sturmfels. In particular this implies that the ideal of an arrangement of d subspaces is generated in degrees less than or equal to d.
Bounds on the Castelnuovo-Mumford regularity of the associated graded modules of k-Buchsbaum modules M are given in terms of k and some other invariants of M.
We prove asymptotic linear bounds for the Castelnuovo-Mumford regularity of certain filtrations of homogeneous ideals whose Rees algebras need not to be Noetherian.
In recent years, two different multigraded variants of Castelnuovo-Mumford regularity have been developed, namely multigraded regularity, defined by the vanishing of multigraded pieces of local cohomology modules, and the resolution regularity vector, defined by the multidegrees in a minimal free resolution. In this paper, we study the relationship between multigraded regularity and the resolution regularity vector. Our method is to investigate multigraded variants of the usual a*-invariant. This, in particular, provides an effective approach to examining the vanishing of multigraded pieces of…
New upper and lower bounds on the Castelnuovo-Mumford regularity are given in terms of the Hilbert coefficients. Examples are provided to show that these bounds are in some sense nearly sharp.
In this paper we give a nice formula for the Castelnuovo-Mumford regularity of the Segre product of modules, under some suitable hypotheses. This extends recent results of David A. Cox, and Evgeny Materov (2009).
We study the Castelnuovo-Mumford regularity of tangent cones of Schubert varieties. Conjectures about this statistic are presented; these are proved for the covexillary case. This builds on work of L. Li and the author on these tangent cones, as well as that of J. Rajchgot-Y. Ren-C. Robichaux-A. St. Dizier-A. Weigandt and J. Rajchgot-C. Robichaux-A. Weigandt on tableau rules for computing regularity of some matrix Schubert varieties.
An upper bound for the Castelnuovo-Mumford regularity of the associated graded module of an one-dimension module is given in term of its Hilbert coeffcients. It is also investigated when the bound is attained.
We give bounds on the Castelnuovo-Mumford regularity of the associated graded module of an arbitrary good filtration and of its fiber cone. These bounds extend previous results of Rossi-Trung-Valla and Linh.
The Castelnuovo-Mumford regularity of a graded ring is an important invariant in computational commutative algebra, and there is increasing interest in multigraded generalizations. We study connections between two recent definitions of multigraded regularity with a view towards a better understanding of the multigraded Hilbert function of fat point schemes in P^{n_1} x ... x P^{n_k}.
We show that the Eisenbud-Goto conjecture holds for (homogeneous) seminormal simplicial affine semigroup rings. Moreover, we prove an upper bound for the Castelnuovo-Mumford regularity in terms of the dimension, which is similar as in the normal case. Finally, we compute explicitly the regularity of full Veronese rings.
We give two kinds of bounds for the Castelnuovo-Mumford regularity of the canonical module and the deficiency modules of a ring, respectively in terms of the homological degree and the Castelnuovo-Mumford regularity of the original ring.
Let $d \in \N$ and let $M$ be a finitely generated graded module of dimension $\leq d$ over a Noetherian homogeneous ring $R$ with local Artinian base ring $R_0$. Let $\beg(M)$, $\gendeg(M)$ and $\reg(M)$ respectively denote the beginning, the generating degree and the Castelnuovo-Mumford regularity of $M$. If $i \in \N_0$ and $n \in Z$, let $d^i_M(n)$ denote the $R_0$-length of the $n$-th graded component of the $i$-th $R_+$-transform module $D^i_{R_+}(M)$ of $M$ and let $K^i(M)$ denote the $i$-th deficiency module of $M$. Our main result says, that $\reg(K^i(M))$ is bounded in terms of $\beg…
In this article we study the structure of residual intersections via constructing a finite complex which is acyclic under some sliding depth conditions on the cycles of the Koszul complex. This complex provides information on an ideal which coincides with the residual intersection in the case of geometric residual intersection; and is closely related to it in general. A new success obtained through studying such a complex is to prove the Cohen-Macaulayness of residual intersections of a wide class of ideals. For example we show that, in a Cohen-Macaulay local ring, any geometric residual inter…
In this article, we study the Castelnuovo-Mumford regularity and Gorenstein properties of the fiber cone. We obtain upper bounds for the Castelnuovo-Mumford regularity of the fiber cone and obtain sufficient conditions for the regularity of the fiber cone to be equal to that of the Rees algebra. We obtain a formula for the canonical module of the fiber cone and use it to study the Gorenstein property of the fiber cone.
We present algorithms for the computation of the Castelnuovo-Mumford regularity of the Rees algebra and of the fiber ring of equigenerated $\mm$-primary ideals in two variables. Applying these algorithms, we find a counter-example to a conjecture of Eisenbud and Ulrich which states that these regularities are equal.
In this paper we give bounds on the Castelnuovo-Mumford regularity of products of ideals and ideal sheaves. In particular, we show that the regularity of a product of ideals is bounded by the sum of the regularities of its factors if the corresponding schemes intersect in a finite set of points. We also show how approximations of sheaves can be used to bound the regularity of an arrangement of two-planes in projective space.
These notes are an introduction to some basic aspects of the Castelnuovo-Mumford regularity and related topics such as weak regularity, a*-invariant and partial regularities.
In this paper we show that there is a close relationship between the invariants characterizing the homogeneous vanishing of the local cohomology of the Rees algebra and the associated graded ring for the good filtrations case. We obtain relationships between the Castelnuovo-Mumford regularity of the fiber cone, associated graded ring, Rees algebra and reduction number for the good filtrations case.
We estimate the Castelnuovo-Mumford regularity of ideals in a polynomial ring over a field by studying the regularity of certain modules generated in degree zero and with linear relations. In dimension one, this process gives a new type of upper bounds. By means of recursive techniques this also produces new upper bounds for ideals in any dimension.
In a recent preprint, Ilse Fischer and Martina Kubitzke, proved the bilinearity of the Segre transform under some restricted hypothesis, motivated by their results we show in this paper the bilinearity of the Segre transform in general. We apply these results to compute the postulation number of a series. Our second application is motivated by the paper of David A. Cox, and Evgeny Materov (2009), where is computed the Castelnuovo-Mumford regularity of the Segre Veronese embedding, we can extend partially their result and compute the Castelnuovo-Mumford regularity of the Segre product of Cohen-…
The Castelnuovo-Mumford regularity of a module gives a rough measure of its complexity. We bound the regularity of a module given a system of approximating modules whose regularities are known. Such approximations can arise naturally for modules constructed by inductive combinatorial means. We apply these methods to bound the regularity of ideals constructed as combinations of linear ideals and the module of derivations of a hyperplane arrangement as well as to give degree bounds for invariants of finite groups.
Let $R=\oplus_{i\in \N_0}R_n$ be a standard graded ring, $R_+ :=\oplus_{i\in \N}R_n$ be the irrelevant ideal of $R$ and $\fa_0$ be an ideal of $R_0$. In this paper, as a generalization of the concept of Castelnouvo-Mumford regularity $\reg(M)$ of a finitely generated graded $R$-module $M$, we define the regularity of $M$ with respect to $\fa_0+ R_+$, say $\reg_{\fa_0+ R_+}(M)$. And we study some relations of this new invariant with the classic one. To this end, we need to consider the cohomological dimension of some finitely generated $R_0$-modules. Also, we will express $\reg_{\fa_0+ R_+}(M)$…
