1998/02/04 by Sijong Kwak, Kwak, Sijong
Mathematics · #14M07 (Primary) #14N05 (Secondary) #Algebraic Geometry (math.AG) #FOS: Mathematics #math.AG #msc:14M07 #msc:14N05
paper · pdf · doi:10.48550/arxiv.math/9802020
AMSTeX; 15 pages; to appear in Crelle Journal
arxiv created 1998/02/04 · arxiv updated 2009/11/30
Castelnuovo-Mumford regularity is an important invariant of projective algebraic varieties. A well known conjecture due to Eisenbud and Goto gives a bound for regularity in terms of the codimension and degree,i.e., Castelnuovo-Mumford regularity of a given variety X is less than or equal to deg(X)-codim(X)+1. This regularity conjecture (including classification of examples on the boundary) was verified for integral curves (Castelnuovo, Gruson, Lazarsfeld and Peskine), and for smooth surfaces (Pinkham, Lazarsfeld). In this paper we prove that reg(X) ≤ deg(X)-1 for smooth threefolds X in P5 and that the only varieties on the boundary are the Segre threefold and the complete intersection of two quadrics. Furthermore, every smooth threefold X in P5 is k-normal for all k ≥ deg(X)-4, which is the optimal bound as the Palatini 3-fold of degree 7 shows.