In mathematics, the pluricanonical ring of an algebraic variety V (which is nonsingular), or of a complex manifold, is the graded ring
of sections of powers of the canonical bundle K. Its nth graded component (for ) is:
that is, the space of sections of the n-th tensor product Kn of the canonical bundle K.
The 0th graded component is sections of the trivial bundle, and is one-dimensional as V is projective. The projective variety defined by this graded ring is called the canonical model of V, and the dimension of the canonical model is called the Kodaira dimension of V.
One can define an analogous ring for any line bundle L over V; the analogous dimension is called the Iitaka dimension. A line bundle is called big if the Iitaka dimension equals the dimension of the variety.
The canonical ring and therefore likewise the Kodaira dimension is a birational invariant: Any birational map between smooth compact complex manifolds induces an isomorphism between the respective canonical rings. As a consequence one can define the Kodaira dimension of a singular space as the Kodaira dimension of a desingularization. Due to the birational invariance this is well defined, i.e., independent of the choice of the desingularization.
A basic conjecture is that the pluricanonical ring is finitely generated. This is considered a major step in the Mori program.
proved this conjecture.
The dimension
is the classically defined n-th plurigenus of V. The pluricanonical divisor , via the corresponding linear system of divisors, gives a map to projective space , called the n-canonical map.
The size of R is a basic invariant of V, and is called the Kodaira dimension.
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.
In algebraic geometry, the minimal model program is part of the birational classification of algebraic varieties. Its goal is to construct a birational model of any complex projective variety which is as simple as possible. The subject has its origins in the classical birational geometry of surfaces studied by the Italian school, and is currently an active research area within algebraic geometry. The basic idea of the theory is to simplify the birational classification of varieties by finding, in each birational equivalence class, a variety which is "as simple as possible".
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.
This is a glossary of algebraic geometry. See also glossary of commutative algebra, glossary of classical algebraic geometry, and glossary of ring theory. For the number-theoretic applications, see glossary of arithmetic and Diophantine geometry. For simplicity, a reference to the base scheme is often omitted; i.e., a scheme will be a scheme over some fixed base scheme S and a morphism an S-morphism.
Let k be an algebraically closed field of characteristic p > 0. We give a birational characterization of ordinary abelian varieties over k: a smooth projective variety X is birational to an ordinary abelian variety if and only if kappa(S)(X) = 0 and b(1)(X ...
DUKE UNIV PRESS2019
,
We show that mixed-characteristic and equicharacteristic small deformations of 3-dimensional canonical (resp., terminal) singularities with perfect residue field of characteristic p>5 are canonical (resp., terminal). We discuss applications to arithmetic a ...
Hoboken2023
,
We prove that smooth, projective, K-trivial, weakly ordinary varieties over a perfect field of characteristic p>0 are not geometrically uniruled. We also show a singular version of our theorem, which is sharp in multiple aspects. Our work, together with La ...