Kodaira dimension

From Wikipedia, the free encyclopedia
Jump to: navigation, search

In algebraic geometry, the Kodaira dimension κ(X) (or canonical dimension) measures the size of the canonical model of a projective variety X.

Igor Shafarevich introduced an important numerical invariant of surfaces with the notation κ in the seminar Shafarevich 1965. In Shigeru Iitaka (1970) Shigeru Iitaka extended it and defined the Kodaira dimension for higher dimensional varieties (under the name of canonical dimension), and later named it after Kunihiko Kodaira in Iitaka (1971).

The plurigenera[edit]

The canonical bundle of a smooth algebraic variety X of dimension n over a field is the line bundle of n-forms,

\,\!K_X = \bigwedge^n\Omega_X,

which is the nth exterior power of the cotangent bundle of X. For an integer d, the dth tensor power of KX is again a line bundle. For d ≥ 0, the vector space of global sections H0(X,KXd) has the remarkable property that it is a birational invariant of smooth projective varieties X. That is, this vector space is canonically identified with the corresponding space for any smooth projective variety which is isomorphic to X outside lower-dimensional subsets.

For d ≥ 0, the dth plurigenus of X is defined as the dimension of the vector space of global sections of KXd:

P_d = h^0(X, K_X^d) = \operatorname{dim}\ H^0(X, K_X^d).

The plurigenera are important birational invariants of an algebraic variety. In particular, the simplest way to prove that a variety is not rational (that is, not birational to projective space) is to show that some plurigenus Pd with d > 0 is not zero. If the space of sections of KXd is nonzero, then there is a natural rational map from X to the projective space

\mathbf{P}(H^0(X, K_X^d)) = \mathbf{P}^{P_d - 1},

called the d-canonical map. The canonical ring R(KX) of a variety X is the graded ring

 R(K_X) :=\bigoplus_{d\geq 0} H^0(X,K_X^d).

Also see geometric genus and arithmetic genus.

The Kodaira dimension of X is defined to be −∞ if the plurigenera Pd are zero for all d > 0; otherwise, it is the minimum κ such that Pd/dκ is bounded. The Kodaira dimension of an n-dimensional variety is either −∞ or an integer in the range from 0 to n.

Interpretations of the Kodaira dimension[edit]

The following integers are equal if they are non-negative. A good reference is Lazarsfeld (2004), Theorem 2.1.33.

  • The dimension of the Proj construction Proj R(KX) (this variety is called the canonical model of X; it only depends on the birational equivalence class of X).
  • The dimension of the image of the d-canonical mapping for all positive multiples d of some positive integer d0.
  • The rate of growth of the plurigenera: that is, the smallest number κ such that Pd/dκ is bounded. In Big O notation, it is the minimal κ such that Pd = O(dκ).

When one of these numbers is undefined or negative, then all of them are. In this case, the Kodaira dimension is said to be negative or to be −∞. Some historical references define it to be −1, but then the formula κ(X × Y) = κ(X) + κ(Y) does not always hold, and the statement of the Iitaka conjecture becomes more complicated. For example, the Kodaira dimension of P1 × X is −∞ for all varieties X.

Application[edit]

The Kodaira dimension gives a useful rough division of all algebraic varieties into several classes.

Varieties with low Kodaira dimension can be considered special, while varieties of maximal Kodaira dimension are said to be of general type.

Geometrically, there is a very rough correspondence between Kodaira dimension and curvature: negative Kodaira dimension corresponds to positive curvature, zero Kodaira dimension corresponds to flatness, and maximum Kodaira dimension (general type) corresponds to negative curvature.

The specialness of varieties of low Kodaira dimension is analogous to the specialness of Riemannian manifolds of positive curvature (and general type corresponds to the genericity of non-positive curvature); see classical theorems, especially on Pinched sectional curvature and Positive curvature.

These statements are made more precise below.

Dimension 1[edit]

Smooth projective curves are discretely classified by genus, which can be any natural number g = 0, 1, ....

By "discretely classified", we mean that for a given genus, there is a connected, irreducible moduli space of curves of that genus.

The Kodaira dimension of a curve X is:

  • κ = −∞: genus 0 (the projective line P1): KX is not effective, Pd = 0 for all d > 0.
  • κ = 0: genus 1 (elliptic curves): KX is a trivial bundle, Pd = 1 for all d ≥ 0.
  • κ = 1: genus g ≥ 2: KX is ample, Pd=(2d−1)(g−1) for all d ≥ 2.

Compare with the Uniformization theorem for surfaces (real surfaces, since a complex curve has real dimension 2): Kodaira dimension −∞ corresponds to positive curvature, Kodaira dimension 0 corresponds to flatness, Kodaira dimension 1 corresponds to negative curvature. Note that most algebraic curves are of general type: in the moduli space of curves, two connected components correspond to curves not of general type, while all the other components correspond to curves of general type. Further, the space of curves of genus 0 is a point, the space of curves of genus 1 has (complex) dimension 1, and the space of curves of genus g ≥ 2 has dimension 3g−3.

 the classification table of algebraic curves
Kodaira dimension
 κ(C)
genus of C : g(C) structure
1     \ge 2  curve of general type
0     1  elliptic curve 
-\infty     0  the projective line \mathbb{P}^1 

Dimension 2[edit]

The Enriques–Kodaira classification classifies algebraic surfaces: coarsely by Kodaira dimension, then in more detail within a given Kodaira dimension. To give some simple examples: the product P1 × X has Kodaira dimension −∞ for any curve X; the product of two curves of genus 1 (an abelian surface) has Kodaira dimension 0; the product of a curve of genus 1 with a curve of genus at least 2 (an elliptic surface) has Kodaira dimension 1; and the product of two curves of genus at least 2 has Kodaira dimension 2 and hence is of general type.

 the classification table of algebraic surfaces
Kodaira dimension
 κ(C)
geometric genus
 pg
irregularity
q
structure
2  surface of general type
1  elliptic surface  
0     1     2  abelian surface 
    0     1  hyperelliptic surface 
    1     0  K3 surface 
    0     0  Enriques surface 
-\infty     0     \ge1    ruled surface
    0     0  rational surface

For a surface X of general type, the image of the d-canonical map is birational to X if d ≥ 5.

Any dimension[edit]

Rational varieties (varieties birational to projective space) have Kodaira dimension −∞. Abelian varieties and Calabi–Yau manifolds (in dimension 1, elliptic curves; in dimension 2, complex tori and K3 surfaces) have Kodaira dimension zero (corresponding to admitting flat metrics and Ricci flat metrics, respectively).

Any variety covered by rational curves (nonconstant maps from P1), called a uniruled variety, has Kodaira dimension −∞. Conversely, the main conjectures of minimal model theory (notably the abundance conjecture) would imply that every variety of Kodaira dimension −∞ is uniruled. This converse is known for varieties of dimension at most 3.

Siu (2002) proved the invariance of plurigenera under deformations for all smooth complex projective varieties. In particular, the Kodaira dimension does not change when the complex structure of the manifold is changed continuously.

 the classification table of algebraic three-folds
Kodaira dimension
 κ(C)
geometric genus
 pg
irregularity
q
examples
3  three-fold of general type
2  fibration over a surface with general fiber an elliptic curve
1  fibration over a curve with general fiber a surface with κ = 0
0     1     3  abelian variety 
    0     2  fiber bundle over an abelian surface whose fibers are elliptic curves 
    0 or 1     1  fiber bundle over an elliptic curve whose fibers are surfaces with κ = 0 
    0 or 1     0  Calabi–Yau 3-fold
-\infty     0     \ge1    uniruled 3-folds
    0     0  rational 3-folds, Fano 3-folds, and others

A fibration of normal projective varieties XY means a surjective morphism with connected fibers.

For a 3-fold X of general type, the image of the d-canonical map is birational to X if d ≥ 61.

General type[edit]

A variety of general type X is one of maximal Kodaira dimension (Kodaira dimension equal to its dimension):

\kappa(X) = \operatorname{dim}\ X.

Equivalent conditions are that the line bundle KX is big, or that the d-canonical map is generically injective (that is, a birational map to its image) for d sufficiently large.

For example, a variety with ample canonical bundle is of general type.

In some sense, most algebraic varieties are of general type. For example, a smooth hypersurface of degree d in the n-dimensional projective space is of general type if and only if d > n+1. So we can say that most smooth hypersurfaces in projective space are of general type.

Varieties of general type seem too complicated to classify explicitly, even for surfaces. Nonetheless, there are some strong positive results about varieties of general type. For example, Bombieri showed in 1973 that the d-canonical map of any complex surface of general type is birational for every d ≥ 5. More generally, Hacon-McKernan, Takayama, and Tsuji showed in 2006 that for every positive integer n, there is a constant c(n) such that the d-canonical map of any complex n-dimensional variety of general type is birational when d ≥ c(n).

Furthermore, varieties of general type have only a finite group as their automorphism.

Application to classification[edit]

The Iitaka conjecture states that the Kodaira dimension of a fibration is at least the sum of the Kodaira dimension of the base and the Kodaira dimension of a general fiber; see Mori (1987) for a survey. The Iitaka conjecture helped to inspire the development of minimal model theory in the 1970s and 1980s. It is now known in many cases, and would follow in general from the main conjectures of minimal model theory, notably the abundance conjecture.

Minimal model theory also predicts that every algebraic variety is either uniruled (covered by rational curves) or birational to a family of varieties over the canonical model, with general fiber a Calabi–Yau variety. To some extent, this would reduce the study of arbitrary varieties to the cases of Calabi–Yau varieties and varieties of general type.

The relationship to Moishezon manifolds[edit]

Nakamura and Ueno proved the following additivity formula for complex manifolds (Ueno (1975)). Although the base space is not required to be algebraic, the assumption that all the fibers are isomorphic is very special. Even with this assumption, the formula can fail when the fiber is not Moishezon.

Let π: V → W be an analytic fiber bundle of compact complex manifolds, meaning that π is locally a product (and so all fibers are isomorphic as complex manifolds). Suppose that the fiber F is a Moishezon manifold. Then
\kappa(V)=\kappa(F)+\kappa(W).

See also[edit]

References[edit]

  • Dolgachev, I, (2001), "Kodaira_dimension", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4 
  • Iitaka, Shigeru (1970), "On D-dimensions of algebraic varieties", Proc. Japan Acad. 46: 487–489, doi:10.3792/pja/1195520260, MR 0285532 
  • Iitaka, Shigeru (1971), "On D-dimensions of algebraic varieties.", J. Math. Soc. Japan 23: 356–373, doi:10.2969/jmsj/02320356, MR 0285531 
  • Lazarsfeld, Robert (2004), Positivity in algebraic geometry 1, Berlin: Springer-Verlag, ISBN 3-540-22533-1, MR 2095471 
  • Mori, Shigefumi (1987), "Classification of higher-dimensional varieties", Algebraic geometry (Bowdoin, 1985), Proceedings of Symposia in Pure Mathematics, 46, Part 1, American Mathematical Society, pp. 269–331, MR 0927961 
  • Shafarevich, Igor R.; Averbuh, B. G.; Vaĭnberg, Ju. R.; Zhizhchenko, A. B.; Manin, Ju. I.; Moĭshezon, B. G.; Tjurina, G. N.; Tjurin, A. N. (1965), "Algebraic surfaces", Akademiya Nauk SSSR. Trudy Matematicheskogo Instituta imeni V. A. Steklova 75: 1–215, ISSN 0371-9685, Zbl 0154.21001, MR 0190143 
  • Siu, Y.-T. (2002), "Extension of twisted pluricanonical sections with plurisubharmonic weight and invariance of semi-positively twisted plurigenera for manifolds not necessarily of general type", Complex geometry (Gottingen, 2000), Berlin: Springer-Verlag, pp. 223–277, MR 1922108 
  • Ueno, Kenji (1975), Classification theory of algebraic varieties and compact complex spaces, Lecture Notes in Mathematics 439, Springer-Verlag, MR 0506253