A sharp Castelnuovo bound for smooth surfaces

Intersection theory, characteristic classes, intersection multiplicities in algebraic geometry (14C17) Divisors, linear systems, invertible sheaves (14C20) Moduli, classification: analytic theory; relations with modular forms (14J15)

Review text

Let \(X\subset {\mathbb{P}}^ r\) be a smooth irreducible complex projective surface of degree d, not contained in any hyperplane. The main result is the following: The hypersurfaces of degree \(d+2-r\) or greater cut out a complete linear series on X. - This result improves Pinkham's earlier result that hypersurfaces of degree \(\geq d-2\) (resp. \(\geq d-1)\) cut out a complete linear series when \(r\geq 5\) (resp. \(r=4).\) As corollary of the main result, it follows that the ideal sheaf \(I_{X/{\mathbb{P}}^ r}\) is \((d+3-r)\)-regular. In particular, the homogeneous ideal of X is generated by forms of degree at most \(d+3-r.\) To prove the main result, the author projects to \({\mathbb{P}}^ 3\) first, then applies a construction of Gruson and Peskine to reduce to checking that suitable cohomology groups of certain vector bundles on \({\mathbb{P}}^ 3\) vanish. Here, regularity considerations and an Eagon-Northcott complex provide the keys.

Recommendations

Cites work

Cited in

(68)

This page was built for publication: A sharp Castelnuovo bound for smooth surfaces

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