Kustin--Miller unprojection without complexes

Details Kustin--Miller unprojection without complexes Kustin--Miller unprojection without complexes

2000-11-15

arxiv.org/abs/math/0011094v2

Mathematics

Algebraic Geometry

18 pp. This final version fixes a small gap in the Nov 2000 preprint (affecting nothing much except the proof of the main theo

Scientific paper

Gorenstein projection plays a key role in birational geometry; the typical example is the linear projection of a del Pezzo surface of degree d to one of degree d-1, but variations on the same idea provide many of the classical and modern birational links between Fano 3-folds. The inverse operation is the Kustin--Miller unprojection theorem (A. Kustin and M. Miller, Constructing big Gorenstein ideals from small ones, J. Algebra 85 (1983) 303--322), which constructs "more complicated" Gorenstein rings starting from "less complicated" ones (increasing the codimension by 1). We give a clean statement and proof of their theorem, using the adjunction formula for the dualising sheaf in place of their complexes and Buchsbaum--Eisenbud exactness criterion. Our methods are scheme theoretic and work without any mention of the ambient space. They are thus not restricted to the local situation, and are well adapted to generalisations. The final section contains examples, and discusses briefly the applications to graded rings and birational geometry that motivate this study.

Affiliated with

Also associated with

No associations

Rating

Kustin--Miller unprojection without complexes does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Kustin--Miller unprojection without complexes, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Kustin--Miller unprojection without complexes will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-251319