On the k-normality of projected algebraic varieties

Abstract. We give a necessary and sufficient condition for the isomorphic projection of a k-normal variety to remain k-normal, k ≥ 2; the condition is based on a scheme ℤk naturally associated to degree k forms vanishing on the variety. We furnish many applications and examples especially in the case of varieties defined by quadratic equations. A non-vanishing theorem for the Koszul cohomology of projected varieties allows us to construct interesting examples in the last sections. All the results are effective and also interesting from the computational point of view.

[1]  J. Semple,et al.  Introduction to Algebraic Geometry , 1949 .

[2]  N. Shepherd-barron,et al.  SOME SPECIAL CREMONA TRANSFORMATIONS , 1989 .

[3]  M. Green.  Koszul cohomology and the geometry of projective varieties , 1984 .

[4]  David Mumford,et al.  Lectures on Curves on an Algebraic Surface. (AM-59) , 1966 .

[5]  J. Semple,et al.  Introduction to Algebraic Geometry , 1949 .

[6]  David Eisenbud,et al.  Linear Free Resolutions and Minimal Multiplicity , 1984 .

[7]  P. Vermeire.  Some Results on Secant Varieties Leading to a Geometric Flip Construction , 1999, Compositio Mathematica.

[8]  C. Birkenhake.  Linear systems on projective spaces , 1995 .

[9]  David Mumford,et al.  Lectures on curves on an algebraic surface , 1966 .

[10]  G. Castelnuovo.  Sui multipli di una serie lineare di gruppi di punti appartenente ad una curva algebrica , 1893 .

[11]  C. Meadows.  Linear systems cut out by quadrics on projections of varieties , 1984 .

[12]  R. Lazarsfeld,et al.  Some results on the syzygies of finite sets and algebraic curves , 1988 .

[13]  Sijong Kwak.  Castelnuovo regularity for smooth subvarieties of dimensions 3 and 4 , 1998 .

[14]  R. Lazarsfeld.  A sharp Castelnuovo bound for smooth surfaces , 1987 .

[15]  D. Eisenbud.  Commutative Algebra: with a View Toward Algebraic Geometry , 1995 .

[16]  A. Bertram,et al.  Vanishing theorems, a theorem of Severi, and the equations defining projective varieties , 1991 .

[17]  Robert Lazarsfeld,et al.  On a theorem of Castelnuovo, and the equations defining space curves , 1983 .

[18]  C. Birkenhake.  Noncomplete linear systems on abelian varieties , 1996 .

[19]  J. Semple.  On Representations of the Sk 's of Sn and of the Grassmann Manifolds G(k, n ) , 1931 .

[20]  F. Schreyer,et al.  Cremona transformations and syzygies , 1992 .

[21]  F. Russo,et al.  Special subhomaloidal systems of quadrics and varieties with one apparent double point , 2003, Mathematical Proceedings of the Cambridge Philosophical Society.