Small schemes and varieties of minimal degree

DOI10.1353/AJM.2006.0043zbMATH Open1108.14042arXivmath/0404517OpenAlexW1967808847WikidataQ102078193 ScholiaQ102078193MaRDI QIDQ3416802FDOQ3416802

Authors: David Eisenbud, Klaus Hulek, Sorin Popescu, Mark Green 

Publication date: 23 January 2007

Published in: American Journal of Mathematics (Search for Journal in Brave)

Abstract: We prove that if X is any 2-regular projective scheme (in the sense of Castelnuovo-Mumford) then X is "small". This means that if L is a linear space and Y:= Lcap X is finite, then Y is "linearly independent" in the sense that the dimension of the linear span of Y is 1+deg Y. The converse is true and well-known for finite schemes, but false in general. The main result of this paper is that the converse, "small implies 2-regular", is also true for reduced projective schemes (algebraic sets). This is proven by means of a delicate geometric analysis, leading to a complete classification: we show that the components of a small algebraic set are varieties of minimal degree, meeting in a particularly simple way. From the classification one can show that if X is 2-regular, then so is X_{red}, and so also is the projection of X from any point of X. Our results extend the Del Pezzo-Bertini classification of varieties of minimal degree, the characterization of these as the varieties of regularity 2 by Eisenbud-Goto, and the construction of 2-regular square-free monomial ideals by Fr"oberg.

Full work available at URL: https://arxiv.org/abs/math/0404517

Recommendations

• On minimal free resolutions of projective varieties of degree = codimension + 2
• Syzygies, degrees, and choices from a life in mathematics. Retiring Presidential Address
• Projective toric varieties of codimension 2 with maximal Castelnuovo-Mumford regularity
• Castelnuovo-Mumford regularity of symbolic powers of two-dimensional square-free monomial ideals
• Analysis on some infinite modules, inner projection, and applications
• Towards a structure theory for projective varieties of degree = codimension + 2
• A Castelnuovo-Mumford regularity bound for threefolds with rational singularities
• Publication:3204586
• Castelnuovo-Mumford regularity: Examples of curves and surfaces.
• On the CastelnuovoMumford regularity of products of ideal sheaves

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Projective techniques in algebraic geometry (14N05) Varieties defined by ring conditions (factorial, Cohen-Macaulay, seminormal) (14M05)

Cited In (27)

• Do sums of squares dream of free resolutions?
• Specializations of Ferrers ideals
• Correspondence scrolls
• Syzygies, degrees, and choices from a life in mathematics. Retiring Presidential Address
• Corrigenda to “Reducible Veronese surfaces”
• Regularity, singularities and \(h\)-vector of graded algebras
• On schemes evinced by generalized additive decompositions and their regularity
• Sums of squares and quadratic persistence on real projective varieties
• Residually small varieties without rank
• A note on special cubic fourfolds of small discriminants
• Some loci of rational cubic fourfolds
• On higher syzygies of ruled surfaces. II
• The regularity of partial elimination ideals, Castelnuovo normality and syzygies
• Reducible Veronese surfaces
• Monomial and toric ideals associated to Ferrers graphs
• Higher syzygies of ruled varieties over a curve
• On syzygies, degree, and geometric properties of projective schemes with property \(\mathbb{N}_{3, p}\)
• Regulating Hartshorne's connectedness theorem
• Sharp bounds for higher linear syzygies and classifications of projective varieties
• Projectable Veronese varieties
• Algebraic invariants of projections of varieties and partial elimination ideals
• Analysis on some infinite modules, inner projection, and applications
• Varieties with small dual varieties. II
• Classification and geometric properties of surfaces with property \(\mathbf{N}_{3,3}\)
• Varieties and modules of small dimension
• On Rees algebras of 2‐determinantal ideals
• Maximum likelihood threshold and generic completion rank of graphs

This page was built for publication: Small schemes and varieties of minimal degree

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