In algebraic geometry, the Kodaira dimension κ(X) measures the size of the canonical model of a projective variety X. Soviet mathematician Igor Shafarevich in a seminar introduced an important numerical invariant of surfaces with the notation κ. Japanese mathematician 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.
The plurigenera The canonical bundle of a smooth algebraic variety X of dimension n over a field is the line bundle of n-forms,
K X = ⋀ n Ω X 1 , {\displaystyle \,\!K_{X}=\bigwedge ^{n}\Omega _{X}^{1},}
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 H 0 ( X , K X d ) {\displaystyle H^{0}(X,K_{X}^{d})} 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 K X d {\displaystyle K_{X}^{d}} :
P d = h 0 ( X , K X d ) = dim H 0 ( X , K X d ) . {\displaystyle P_{d}=h^{0}(X,K_{X}^{d})=\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 K X d {\displaystyle K_{X}^{d}} is nonzero, then there is a natural rational map from X to the projective space
P ( H 0 ( X , K X d ) ) = P P d − 1 , {\displaystyle \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 ) := ⨁ d ≥ 0 H 0 ( X , K X d ) . {\displaystyle 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 − ∞ {\displaystyle -\infty } 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 − ∞ {\displaystyle -\infty } or an integer in the range from 0 to n.
Interpretations of the Kodaira dimension The following integers are equal if they are non-negative. A good reference is Lazarsfeld (2004), Theorem 2.1.33.
… excerpt ends here. Continue reading the full article.
