A sharp Castelnuovo bound for smooth surfaces
type: Item
instance of: scholarly article
title: A sharp Castelnuovo bound for smooth surfaces
zbMATH Open document ID: 0646.14005
DOI: 10.1215/S0012-7094-87-05523-2
author: Robert Lazarsfeld
published in: Duke Mathematical Journal
publication date: 1987-01-01T00:00:00Z
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.
Mathematics Subject Classification ID: 14C20
Mathematics Subject Classification ID: 14J15
Mathematics Subject Classification ID: 14C17
zbMATH DE Number: 4053773
zbMATH Keywords: Castelnuovo bound
zbMATH Keywords: irreducible complex projective surface
zbMATH Keywords: complete linear series
zbMATH Keywords: Eagon-Northcott complex
reviewed by: Robert Speiser
MaRDI profile type: Publication
cites work: What can be computed in algebraic geometry?
cites work: On the complexity of computing syzygies
cites work: Q4195061
cites work: On a theorem of Castelnuovo, and the equations defining space curves
cites work: Genre des courbes de l'espace projectif
cites work: Q3331324
cites work: Q3312364
cites work: Complex surfaces and connected sums of complex projective planes
cites work: Lectures on Curves on an Algebraic Surface. (AM-59)
cites work: A Castelnuovo bound for smooth surfaces
cites work: Q5680236
cites work: Lectures on equations defining space curves. Notes by N. Mohan Kumar
description: scientific article; zbMATH DE number 4053773