On the Castelnuovo-Mumford regularity of ideals, in dimension 2

DOI10.1016/J.CRMA.2005.06.020MaRDI QIDQ2565513zbMATH OpenOpenAlexFDO

Authors Marc Chardin, Amadou Lamine Fall

Publication date 27 September 2005

Published in Comptes Rendus. Mathématique. Académie des Sciences, Paris (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0503740

Mathematics Subject Classification ID

Local cohomology and commutative rings (13D45) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Local cohomology and algebraic geometry (14B15)

Abstract: 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.

Review text

Let \(A\) be a polynomial ring of \(m+2\) variables over a field, and let \(I\) be a homogeneous ideal of \(A\) generated by \(s\) forms of degrees \(d_1 \geq \dots \geq d_s\) with \(s>m\) and \(\dim A/I = 2\). Let \(Z\) be the zero dimensional scheme defined by a general section of \(\text{Proj}(A/I)\) and \(i_Z = \text{indeg}(I_Z)\) the smallest degree of a hypersurface containing \(Z\). Then the main theorem gives an upper bound of the Castelnuovo-Mumford regularity of \(I\), that is, \[ \text{reg}(I) \leq (d_1 \cdot\dots\cdot d_m - \deg(Z) + 1) (d_1 + \cdots + d_{m+1} - m -i_Z) + i_Z. \] Using examples due to \textit{M. Chardin} and \textit{C. D'Cruz} [J. Algebra 270, 347--360 (2003; Zbl 1056.14065)], the authors construct certain homogeneous ideals and give lower bounds of their Castelnuovo-Mumford regularities, which show that the bound given in the main theorem is quite sharp.

Recommendations

• Castelnuovo-Mumford regularity of initial ideals
• Bounds for the Castelnuovo-Mumford regularity
• Characteristic-free bounds for the Castelnuovo–Mumford regularity
• Linearly presented modules and bounds on the Castelnuovo-Mumford regularity of ideals
• Bounds for the Castelnuovo-Mumford regularity of modules

Cites work

• Castelnuovo-Mumford regularity: Examples of curves and surfaces.
• Characteristic-free bounds for the Castelnuovo–Mumford regularity
• Liaison and Castelnuovo-Mumford regularity
• On inflection points, monomial curves, and hypersurfaces containing projective curves
• On the structure of local cohomology modules for monomial curves in

Cited in

(32)

• Castelnuovo-Mumford regularity and initial ideals with no embedded prime ideals
• The Hessian polynomial and the Jacobian ideal of a reduced hypersurface in \(\mathbb{P}^n\)
• Designer ideals with high Castelnuovo-Mumford regularity
• Bounds for the Castelnuovo-Mumford regularity of singular schemes
• Semialgebraic splines
• Asymptotic linearity of regularity and \(a^*\)-invariant of powers of ideals
• Castelnuovo-Mumford regularity of projective monomial varieties of codimension two
• Bounds for the Castelnuovo-Mumford regularity of modules
• Castelnuovo-Mumford regularity of symbolic powers of two-dimensional square-free monomial ideals
• Castelnuovo-Mumford regularity of initial ideals
• The regularity conjecture for prime ideals in polynomial rings
• Counterexamples to the Eisenbud-Goto regularity conjecture
• On the CastelnuovoMumford regularity of products of ideal sheaves
• Minimal Castelnuovo-Mumford regularity for a given Hilbert polynomial
• Finiteness of Hilbert functions and bounds for Castelnuovo-Mumford regularity of initial ideals
• Castelnuovo Regularity and Graded Rings Associated to an Ideal
• scientific article; zbMATH DE number 1958627 (Why is no real title available?)
• Castelnuovo-Mumford regularity of Koszul cycles and Koszul homologies
• scientific article; zbMATH DE number 1405548 (Why is no real title available?)
• On Castelnuovo-Mumford regularity of projective curves
• Linearly presented modules and bounds on the Castelnuovo-Mumford regularity of ideals
• A computation of the Castelnuovo-Mumford regularity of certain two-dimensional unmixed ideals
• Note on the regularity of the radical of ideals
• Castelnuovo-Mumford regularity and Bridgeland stability of points in the projective plane
• A bound for the Castelnuovo-Mumford regularity of log canonical varieties
• Notes on regularity stabilization
• On the regularity of operations of ideals
• Projective dimension and Castelnuovo–Mumford regularity of t-spread ideals
• Noether resolutions in dimension 2
• Computing the Castelnuovo-Mumford regularity of some subschemes of \(\mathbb{P}_K^n\) using quotients of monomial ideals
• Syzygies over a polynomial ring
• Castelnuovo-Mumford regularity and projective dimension of a squarefree monomial ideal

Describes a project that uses

Uses Software

• Macaulay2

This page was built for publication: On the Castelnuovo-Mumford regularity of ideals, in dimension 2

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2565513)