Canonical ring

In mathematics, the pluricanonical ring of an algebraic variety V (which is non-singular), or of a complex manifold, is the graded ring

R(V,K)=R(V,K_{V})\,

of sections of powers of the canonical bundle K. Its nth graded component (for $n\geq 0$ ) is:

R_{n}:=H^{0}(V,K^{n}),\

that is, the space of sections of the n-th tensor product Kⁿ of the canonical bundle K.

The 0th graded component $R_{0}$ 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.[1]

Properties

Birational invariance

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.

Fundamental conjecture of birational geometry

A basic conjecture is that the pluricanonical ring is finitely generated. This is considered a major step in the Mori program. Caucher Birkar, Paolo Cascini, and Christopher D. Hacon et al. (2010) proved this conjecture.

The plurigenera

The dimension

P_{n}=h^{0}(V,K^{n})=\operatorname {dim} \ H^{0}(V,K^{n})

is the classically defined n-th plurigenus of V. The pluricanonical divisor $K^{n}$ , via the corresponding linear system of divisors, gives a map to projective space $\mathbf {P} (H^{0}(V,K^{n}))=\mathbf {P} ^{P_{n}-1}$ , called the n-canonical map.

The size of R is a basic invariant of V, and is called the Kodaira dimension.

Notes

Hartshorne (1975). Algebraic Geometry, Arcata 1974. p. 7.

gollark: Who are paid for by entities NOT engaged in the sale or distribution or production of any carbohydrate-based foodstuff.

gollark: I'm blocking you until I can consult with my lawyers.

gollark: You are clearly engaged in libel and attempting to discredit my non-pizza-advertising status.

gollark: LIES!

gollark: This is NOT true. I have not in any way been sponsored by pizza companies. There have been no advertising agreements whatsoever with any companies producing pizza or otherwise to have me subliminally advertise pizza, as my profile picture is not a pizza. Since it is not a pizza, this is obviously not pizza advertisement whatsoever. No monetary exchanges or otherwise have occurred with companies engaged in pizza production for any reason relating to my profile picture.

References

Birkar, Caucher; Cascini, Paolo; Hacon, Christopher D.; McKernan, James (2010), "Existence of minimal models for varieties of log general type", Journal of the American Mathematical Society, 23 (2): 405–468, arXiv:math.AG/0610203, Bibcode:2010JAMS...23..405B, doi:10.1090/S0894-0347-09-00649-3, MR 2601039
Griffiths, Phillip; Harris, Joe (1994), Principles of Algebraic Geometry, Wiley Classics Library, Wiley Interscience, p. 573, ISBN 0-471-05059-8

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Hartshorne (1975). Algebraic Geometry, Arcata 1974. p. 7.