Fano variety

In algebraic geometry, a Fano variety, introduced in (Fano 1934, 1942), is a complete variety X whose anticanonical bundle K_X^* is ample. In this definition, one could assume that X is smooth over a field, but the minimal model program has also led to the study of Fano varieties with various types of singularities, such as terminal or klt singularities.

Examples

The fundamental example of Fano varieties are the projective spaces: the anticanonical line bundle of Pⁿ over a field k is O(n+1), which is very ample (over the complex numbers, its curvature is n+1 times the Fubini–Study symplectic form).

Let D be a smooth codimension-1 subvariety in Pⁿ. From the adjunction formula, we infer that K_D = (K_X + D)|_D = (−(n+1)H + deg(D)H)|_D, where H is the class of a hyperplane. The hypersurface D is therefore Fano if and only if deg(D) < n+1.

More generally, a smooth complete intersection of hypersurfaces in n-dimensional projective space is Fano if and only if the sum of their degrees is at most n.

Weighted projective space P(a₀,...,a_n) is a singular (klt) Fano variety. This is the projective scheme associated to a graded polynomial ring whose generators have degrees a₀,...,a_n. If this is well formed, in the sense that no n of the numbers a have a common factor greater than 1, then any complete intersection of hypersurfaces such that the sum of their degrees is less than a₀+...+a_n is a Fano variety.

Every projective variety in characteristic zero that is homogeneous under a linear algebraic group is Fano.

Some properties

The existence of some ample line bundle on X is equivalent to X being a projective variety, so a Fano variety is always projective. For a Fano variety X over the complex numbers, the Kodaira vanishing theorem implies that the higher cohomology groups Hⁱ(X, O_X) of the structure sheaf vanish for i > 0. It follows that the first Chern class induces an isomorphism c₁: Pic(X) → H²(X, Z).

A smooth complex Fano variety is simply connected. Campana and Kollár-Miyaoka-Mori showed that a smooth Fano variety over an algebraically closed field is rationally chain connected; that is, any two closed points can be connected by a chain of rational curves.^[1] A much easier fact is that every Fano variety has Kodaira dimension −∞.

Kollár-Miyaoka-Mori showed that the smooth Fano varieties of a given dimension over an algebraically closed field of characteristic zero form a bounded family, meaning that they are classified by the points of finitely many algebraic varieties.^[2] In particular, there are only finitely many deformation classes of Fano varieties of each dimension. In this sense, Fano varieties are much more special than other classes of varieties such as varieties of general type.

Classification in small dimensions

In the following discussion, we consider smooth Fano varieties over the complex numbers.

A Fano curve is isomorphic to the projective line.

A Fano surface is also called a del Pezzo surface. Every del Pezzo surface is isomorphic to either P¹ × P¹ or to the projective plane blown up in at most 8 points, and in particular are again all rational.

In dimension 3, there are smooth complex Fano varieties which are not rational, for example cubic 3-folds in P⁴ (by Clemens-Griffiths) and quartic 3-folds in P⁴ (by Iskovskikh-Manin). Iskovskih (1977, 1978, 1979) classified the smooth Fano 3-folds with second Betti number 1 into 17 classes, and Mori & Mukai (1981) classified the smooth ones with second Betti number at least 2, finding 88 deformation classes. A detailed summary of the classification of smooth Fano 3-folds is given in Iskovskikh & Prokhorov (1999).

Notes

↑ J. Kollár. Rational Curves on Algebraic Varieties. Theorem V.2.13.
↑ J. Kollár. Rational Curves on Algebraic Varieties. Corollary V.2.15.

References

Fano, Gino (1934), "Sulle varietà algebriche a tre dimensioni aventi tutti i generi nulli", Proc. Internat. Congress Mathematicians (Bologna) , 4 , Zanichelli, pp. 115–119
Fano, Gino (1942), "Su alcune varietà algebriche a tre dimensioni razionali, e aventi curve-sezioni canoniche", Commentarii Mathematici Helvetici 14: 202–211, doi:10.1007/BF02565618, ISSN 0010-2571, MR 0006445
Iskovskih, V. A. (1977), "Fano threefolds. I", Math. USSR Izv. 11 (3): 485–527, doi:10.1070/IM1977v011n03ABEH001733, ISSN 0373-2436, MR 463151
Iskovskih, V. A. (1978), "Fano 3-folds II", Math USSR Izv. 12 (3): 469–506, doi:10.1070/IM1978v012n03ABEH001994Fano+3-folds+II, MR 0463151
Iskovskih, V. A. (1979), "Anticanonical models of three-dimensional algebraic varieties", Current problems in mathematics, Vol. 12 (Russian), VINITI, Moscow, pp. 59–157, MR 537685
Iskovskikh, V. A.; Prokhorov, Yu. G. (1999), "Fano varieties", in A. N. Parshin; I. R. Shafarevich, Algebraic Geometry, V. Encyclopedia Math. Sci., 47, Springer-Verlag, pp. 1–247, ISBN 3-540-61468-0, MR 1668579
Kollár, János (1996), Rational Curves on Algebraic Varieties, Berlin, Heidelberg: Springer-Verlag, doi:10.1007/978-3-662-03276-3, ISBN 978-3-642-08219-1, MR 1440180
Kulikov, Vik.S. (2001), "F/f038220", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
Mori, Shigefumi; Mukai, Shigeru (1981), "Classification of Fano 3-folds with B₂≥2", Manuscripta Mathematica 36 (2): 147–162, doi:10.1007/BF01170131, ISSN 0025-2611, MR 641971
Mori, Shigefumi; Mukai, Shigeru (2003), "Erratum: "Classification of Fano 3-folds with B₂≥2"", Manuscripta Mathematica 110 (3): 407, doi:10.1007/s00229-002-0336-2, ISSN 0025-2611, MR 1969009