Castelnuovo-Mumford regularity of canonical and deficiency modules
Lê Tuân Hoa, Eero Hyry
备注:
An error in Lemma 12 is corrected. As a consequence, the statement and the proof of Theorem 9 have been modified. We are grateful for Manoj Kumini and Satoshi Murai for raising a question which led to the discovery of this error
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.
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.
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).
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.
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.
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.
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-…
We study the asymptotic behavior of the Castelnuovo-Mumford regularity along chains of graded ideals in increasingly larger polynomial rings that are invariant under the action of symmetric groups. A linear upper bound for the regularity of such ideals is established. We conjecture that their regularity grows eventually precisely linearly. We establish this conjecture in several cases, most notably when the ideals are Artinian or squarefree monomial.
Let ${\mathfrak p}$ be the defining ideal of the monomial curve ${\mathcal C}(2q+1, 2q+1+m, 2q+1+2m)$ in the affine space ${\mathbb A}_k^3$ parameterized by $(x^{2q +1}, x^{2q +1 + m}, x^{2q +1 +2 m})$ where $gcd( 2q+1,m)=1$. In this paper we compute the resurgence of ${\mathfrak p}$, the Waldschmidt constant of ${\mathfrak p}$ and the Castelnuovo-Mumford regularity of the symbolic powers of ${\mathfrak p}$.
We extend to one dimensional quotients the result of A. Conca and S. Murai on the convexity of the regularity of Koszul cycles. By providing a relation between the regularity of Koszul cycles and Koszul homologies we prove a sharp regularity bound for the Koszul homologies of a homogeneous ideal in a polynomial ring under the same conditions.
This note has two goals. The first is to give a short and self contained introduction to the Castelnuovo-Mumford regularity for standard graded ring $R$ over a general base ring. The second is to present a simple and concise proof of a classical result due to Cutkosky, Herzog and Trung and, independently, to Kodiyalam asserting that the regularity of powers of an homogeneous ideal $I$ of $R$ is eventually a linear function in $v$. Finally we show how the flexibility of the definition of the Castelnuovo-Mumford regularity over general base rings can be used to give a simple characterization of …
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.
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 prove that for every integer $k\geq 1$, there exists a connected graph $H_k$ such that $v(H_k)=reg(H_k)+k$, where $v(G)$ and $reg(G)$ denote the $v$-number and the (Castelnuovo-Mumford) regularity of a graph $G$ respectively.
We prove new results on the connections between reduction numbers and the Castelnuovo-Mumford regularity of blowup algebras and blowup modules, the key basic tool being the operation of Ratliff-Rush closure. First, we answer in two particular cases a question of M. E. Rossi, D. T. Trung, and N. V. Trung about Rees algebras of ideals in two-dimensional Buchsbaum local rings, and we even ask whether one of such situations always holds. In another theorem we generalize a result of A. Mafi on ideals in two-dimensional Cohen-Macaulay local rings, by extending it to arbitrary dimension (and allowing…
The Eisenbud--Goto conjecture states that $\operatorname{reg} X\le\operatorname{deg} X -\operatorname{codim} X+1$ for a nondegenerate irreducible projective variety $X$ over an algebraically closed field. While this conjecture is known to be false in general, it has been proven in several special cases, including when $X$ is a projective toric variety of codimension $2$. We classify the projective toric varieties of codimension $2$ having maximal regularity, that is, for which equality holds in the Eisenbud--Goto bound. We also give combinatorial characterizations of the arithmetically Cohen--…
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…
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 show that the co-chordal cover number of a graph G gives an upper bound for the Castelnuovo-Mumford regularity of the associated edge ideal. Several known combinatorial upper bounds of regularity for edge ideals are then easy consequences of covering results from graph theory, and we derive new upper bounds by looking at additional covering results.
We prove a conjectured upper bound for the Castelnuovo-Mumford regularity of binomial edge ideals of graphs, due to Matsuda and Murai. Indeed, we prove that $\mathrm{reg}(J_G)\leq n-1$ for any graph $G$ with $n$ vertices, which is not a path. Moreover, we study the behavior of the regularity of binomial edge ideals under the join product of graphs.
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…
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.