Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.
Concept
Kodaira dimension
Summary
In algebraic geometry, the Kodaira dimension κ(X) measures the size of the canonical model of a projective variety X.
Igor Shafarevich in a seminar introduced an important numerical invariant of surfaces with the notation κ. 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 canonical bundle of a smooth algebraic variety X of dimension n over a field is the line bundle of n-forms,
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:
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
called the d-canonical map. The canonical ring R(KX) of a variety X is the graded ring
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.
The following integers are equal if they are non-negative. A good reference is , Theorem 2.1.33.
The dimension of the Proj construction , a projective variety called the canonical model of X depending only on the birational equivalence class of X.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.