Fano 3-folds, K3 surfaces and graded rings

Explicit birational geometry of 3-folds represents a second phase of Mori theory, going beyond the foundational work of the 1980s. This paper is a tutorial and colloquial introduction to the explicit classification of Fano 3-folds (Q-Fano 3-folds), a subject that we hope is nearing completion. With the intention of remaining accessible to beginners in algebraic geometry, we include examples of elementary calculations of graded rings over curves and K3 surfaces. For us, K3 surfaces have at worst Du Val singularities and are polarised by an ample Weil divisor; they occur as the general elephant of a Fano 3-fold. A second section of the paper runs briefly through the classical theory of nonsingular Fano 3-folds and Mukai's extension to indecomposable Gorenstein Fano 3-folds. Ideas sketched out by Takagi at the Singapore conference reduce the study of Q-Fano 3-folds with g>=2 to indecomposable Gorenstein Fano 3-folds together with unprojection data. Much of the information about the anticanonical ring of a Fano 3-fold or K3 surface is contained in its Hilbert series. The Hilbert function is given by orbifold Riemann--Roch (see Reid's Young Person's Guide); using this, we can treat the Hilbert series as a simple collation of the genus and a basket of cyclic quotient singularities. Many hundreds of families of K3s and Fano 3-folds are known, among them a large number with g<=0, and Takagi's methods do not apply to these. However, in many cases, the Hilbert series already gives firm indications of how to construct the variety by biregular or birational methods. A final section of the paper introduces the K3 database in Magma, that manipulates these huge lists without effort.

[1]  渡辺 敬一 Some Remarks Concerning Demazure's Construction of Normal Graded Rings (可換環論の研究) , 1980 .

[2]  Shigeru Mukai,et al.  Classification of Fano 3-folds with B2≥2 , 1981 .

[3]  S. Mukai,et al.  Classification of Fano 3-folds with B2≥2 , 1981 .

[4]  I. Dolgachev,et al.  Weighted projective varieties , 1982 .

[5]  A. Kustin,et al.  Constructing big Gorenstein ideals from small ones , 1983 .

[6]  Miles Reid,et al.  Young person''s guide to canonical singularities , 1985 .

[7]  Y. Kawamata On the plurigenera of minimal algebraic 3-folds withK≋0 , 1986 .

[8]  S. Mukai Curves and symmetric spaces , 1995 .

[9]  Deforming Calabi-Yau threefolds , 1995, alg-geom/9506022.

[10]  J. H. M. Steenbrink,et al.  Global smoothing of Calabi-Yau threefolds , 1995 .

[11]  Curves and Symmetric Spaces, I , 1995 .

[12]  Deformations of Q-Calabi-Yau 3-Folds and Q-Fano 3-Folds of Fano Index 1 , 1999, math/9905106.

[13]  Deformations of weak Fano 3-folds with only terminal singularities , 1999, math/9905107.

[14]  Miles Reid,et al.  Graded rings and birational geometry , 2000 .

[15]  A. R. Iano-Fletcher,et al.  Explicit Birational Geometry of 3-Folds: Working with weighted complete intersections , 2000 .

[16]  Stavros A. Papadakis Gorenstein rings and Kustin-Miller unprojection , 2001 .

[17]  M. Reid Examples of Type IV unprojection , 2001, math/0108037.

[18]  Aleksandr V. Pukhlikov,et al.  Birationally rigid Fano hypersurfaces , 2002, math/0201302.

[19]  Александр Валентинович Пухликов,et al.  Бирационально жесткие гиперповерхности Фано@@@Birationally rigid Fano hypersurfaces , 2002 .

[20]  Selma Altinok Hilbert series and applications to graded rings , 2003 .

[21]  Miles Reid,et al.  Kustin–Miller unprojection without complexes , 2004 .