A bound for Castelnuovo-Mumford regularity by double point divisors

DOI10.1016/J.AIM.2020.107008MaRDI QIDQ2302234zbMATH OpenOpenAlexFDO

Authors Sijong Kwak, Jinhyung Park

Publication date 25 February 2020

Published in Advances in Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

Castelnuovo-Mumford regularitydouble point divisorprojectionregularity conjecturevanishing theorem

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Projective techniques in algebraic geometry (14N05) Varieties of low degree (14N25) Questions of classical algebraic geometry (51N35)

Abstract: Let $Xsubseteqmathbb{P}^r$ be a non-degenerate smooth projective variety of dimension $n$, codimension $e$, and degree $d$ defined over an algebraically closed field of characteristic zero. In this paper, we first show that $extreg(mathcal{O}_X)leqd-e$, and classify the extremal and the next to extremal cases. Our result reduces the Eisenbud-Goto regularity conjecture for the smooth case to the problem finding a Castelnuovo-type bound for normality. It is worth noting that McCullough-Peeva recently constructed counterexamples to the regularity conjecture by showing that $extreg(mathcal{O}_X)$ is not even bounded above by any polynomial function of $d$ when $X$ is not smooth. For a normality bound in the smooth case, we establish that $extreg(X)leqn(d-2)+1$, which improves previous results obtained by Mumford, Bertram-Ein-Lazarsfeld, and Noma. Finally, by generalizing Mumford's method on double point divisors, we prove that $extreg(X)leqd-1+m$, where $m$ is an invariant arising from double point divisors associated to outer general projections. Using double point divisors associated to inner projection, we also obtain a slightly better bound for $extreg(X)$ under suitable assumptions.

Review text

Let \(X\subseteq\mathbb{P}^r\) be a smooth non-degenerate embedded projective variety over an algebraically closed field of characteristic zero. \(X\subseteq\mathbb{P}^r\) is said \(k\)-normal if the restriction to \(X\) of hypersurfaces of \(\mathbb{P}^r\) of degree \(k\) gives a surjection onto the global sections of \(\mathcal{O}_X(kH)\). Denote by \(\mathrm{reg}(\mathcal{O}_X)\) the minimum \(k\) such that \(\mathcal{O}_X\) is \(k\)-regular, i.e., \(H^i(X,\mathcal{O}_X((k-i)H))=0\) for \(i>0\), and by \(\mathrm{reg}(X)\) the minimum \(k+1\) such that \(X \subseteq\mathbb{P}^r\) is \(k\)-normal and \(\mathcal{O}_X\) is \(k\)-regular. An important conjecture on \(\mathrm{reg}(X)\) is the Eisenbud-Goto Regularity Conjecture (see the Introduction of the paper and references therein) which states that \(\mathrm{reg}(X)\) is less than or equal to 1 plus the degree \(d\) of \(X\subseteq\mathbb{P}^r\) minus its codimension \(e\). This conjecture splits into two parts: (1) \(X\subseteq\mathbb{P}^r\) is \((d-e)\)-normal, and (2) \(\mathrm{reg}(\mathcal{O}_X)\leq d-e\). The first results of the paper (see Theorems (A) and (B)) focus on (2), that is on bounding \(\mathrm{reg}(\mathcal{O}_X)\). In Theorem (A), it is bounded by 1 plus the delta genus \(\Delta(X,H):=H^{\dim(X)} +\dim(X)-h^0(X,\mathcal{O}_X(H))\). In Theorem (B) reg\((\mathcal{O}_X) \leq d-e\) and varieties for which \(\mathrm{reg}(\mathcal{O}_X)=d-e-i\), \(i=0,1\) are classified. The second results (see Theorems (C) and (D)) focus on bounding \(\mathrm{reg}(X)\), improving some known bounds, towards the Eisenbud-Goto conjecture. In Theorem (C) the bound \(\mathrm{reg}(X)\leq n(d-2)+1\) for \(e\geq 2\) is shown. In Theorem (D) it is proved that \(\mathrm{reg}(X)\leq d-1+m\), where \(m\) is an invariant arising from double point divisors associated to outer general linear projections. Under suitable assumption, the use of inner projections improves this latter bound (see Theorem (E)).

Recommendations

• scientific article; zbMATH DE number 1353493
• Projections of singular varieties and Castelnuovo-Mumford regularity
• Bounding Castelnuovo-Mumford regularity for varieties with good general projections
• Sharp bounds on Castelnuovo-Mumford regularity
• scientific article; zbMATH DE number 4198155

Cites work

• A Castelnuovo bound for smooth surfaces
• A Castelnuovo-Mumford regularity bound for scrolls
• A sharp Castelnuovo bound for smooth surfaces
• A vanishing theorem for log canonical pairs
• Castelnuovo-Mumford regularity bound for smooth threefolds in P5 and extremal examples
• Castelnuovo-Mumford regularity bounds for singular surfaces
• Counterexamples to the Eisenbud-Goto regularity conjecture
• Generic inner projections of projective varieties and an application to the positivity of double point divisors
• Generic projections, the equations defining projective varieties and Castelnuovo regularity
• Geometric properties of projective manifolds of small degree
• Geometric properties of the double-point divisor
• scientific article; zbMATH DE number 3861329 (Why is no real title available?)
• scientific article; zbMATH DE number 4053804 (Why is no real title available?)
• scientific article; zbMATH DE number 1353493 (Why is no real title available?)
• scientific article; zbMATH DE number 2106914 (Why is no real title available?)
• Hypersurfaces cutting out a projective variety
• Linear free resolutions and minimal multiplicity
• Normal generation of vector bundles over a curve
• On a theorem of Castelnuovo, and the equations defining space curves
• On the \(k\)-regularity of some projective manifolds
• On the structure of polarized manifolds with total deficiency one. I
• On the structure of polarized manifolds with total deficiency one. II
• On Very Ample Vector Bundles on Curves
• Projective varieties with nonbirational linear projections and applications
• Syzygies and Koszul cohomology of smooth projective varieties of arbitrary dimension
• The ramification divisors for branched coverings of \(P_ k^ n\)
• Vanishing Theorems, A Theorem of Severi, and the Equations Defining Projective Varieties
• Varieties Defined by Quadratic Equations
• What can be computed in algebraic geometry?

Cited in

(14)

• Base-point-freeness of double-point divisors of smooth birational-divisors on conical rational scrolls
• Bounds on Castelnuovo-Mumford regularity for divisors on rational normal scrolls
• A Castelnuovo-Mumford regularity bound for threefolds with rational singularities
• Projective toric varieties of codimension 2 with maximal Castelnuovo-Mumford regularity
• Singularities of Rees-like algebras
• A Castelnuovo-Mumford regularity bound for scrolls
• The regularity conjecture for prime ideals in polynomial rings
• Counterexamples to the Eisenbud-Goto regularity conjecture
• SHARP UPPER BOUND FOR THE REGULARITY OF ZERO-SCHEMES OF DOUBLE POINTS IN
• Regularity of structure sheaves of varieties with isolated singularities
• Regularity bounds by projection
• Syzygies over a polynomial ring
• Surface counterexamples to the Eisenbud-Goto conjecture
• Castelnuovo-Mumford regularity of unprojections and the Eisenbud-Goto regularity conjecture

This page was built for publication: A bound for Castelnuovo-Mumford regularity by double point divisors

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