A bound for Castelnuovo-Mumford regularity by double point divisors

Abstract

Let $X\subseteq {\mathbb{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 $\text{reg}({\mathcal{O}}_X)\le d-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 $\text{reg}({\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 $\text{reg}(X)\le n(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 $\text{reg}(X)\le d-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 $\text{reg}(X)$ under suitable assumptions.

23 pages. This paper has been largely rewritten after McCullough-Peeva's counterexamples to the Eisenbud-Goto regularity conjecture, which appeared in J. Amer. Math. Soc. in 2018. We also added new results on the regularity of smooth projective varieties of arbitrary dimension

Cited by in corpus (4)

• Regularity of structure sheaves of varieties with isolated singularities
• Surface counterexamples to the Eisenbud-Goto conjecture
• Classification and syzygies of smooth projective varieties with 2-regular structure sheaf
• A Castelnuovo-Mumford regularity bound for scrolls