Hostname: page-component-78c5997874-m6dg7 Total loading time: 0 Render date: 2024-11-17T15:13:36.496Z Has data issue: false hasContentIssue false

Restricting linear syzygies: algebra and geometry

Published online by Cambridge University Press:  04 December 2007

David Eisenbud
Affiliation:
Department of Mathematics, University of California, Berkeley, CA 94720, [email protected]
Mark Green
Affiliation:
Department of Mathematics, University of California, Los Angeles, CA 90095-1555, [email protected]
Klaus Hulek
Affiliation:
Institut für Mathematik,, Universität Hannover, 30060 Hannover, [email protected]
Sorin Popescu
Affiliation:
Department of Mathematics, SUNY at Stony Brook, Stony Brook, NY 11794-3651, [email protected]
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Let $X\subset \mathbb{P}^r$ be a closed scheme in projective space whose homogeneous ideal is generated by quadrics. We say that X (or its ideal IX) satisfies the condition N2,p if the syzygies of IX are linear for p steps. We show that if X satisfies N2,p then a zero-dimensional or one-dimensional intersection of X with a plane of dimension $\leq p$ is 2-regular. This extends a result of Green and Lazarsfeld. We give conditions when the syzygies of X restrict to the syzygies of the intersection. Many of our results also work for ideals generated by forms of higher degree. As applications, we bound the p for which some well-known projective varieties satisfy N2,p. Another application, carried out by us in a different paper, is a step in the classification of 2-regular reduced projective schemes. Extending a result of Fröberg, we determine which monomial ideals satisfy N2,p. We also apply Green's ‘linear syzygy theorem’ to deduce a relation between the resolutions of IX and $I_{X\cup \Gamma}$ for a scheme Γ, and apply the result to bound the number of intersection points of certain pairs of varieties such as rational normal scrolls.

Type
Research Article
Copyright
Foundation Compositio Mathematica 2005