Math 2.0

Algebraic geometry Definition

Kodaira dimension

Builds on Algebraic varietyCanonical bundleDimension of an algebraic variety

Definition

Let XX be a smooth projective variety of dimension nn over a field kk, and let ωX\omega_X be its canonical bundle. For m≥1m \ge 1, the mm-th plurigenus is Pm(X)=dim⁡kH0(X,ωX⊗m)P_m(X) = \dim_k H^0(X, \omega_X^{\otimes m}). The Kodaira dimension κ(X)\kappa(X) is defined as follows:

  1. If Pm(X)=0P_m(X) = 0 for all m≥1m \ge 1, then κ(X)=−∞\kappa(X) = -\infty.
  2. Otherwise, κ(X)\kappa(X) is the least integer κ≥0\kappa \ge 0 such that Pm(X)/mκP_m(X) / m^{\kappa} is bounded as m→∞m \to \infty.

Remarks

Always κ(X)∈{−∞,0,1,…,n}\kappa(X) \in \set{-\infty, 0, 1, \dots, n}. Equivalently, when some Pm(X)>0P_m(X) > 0, κ(X)\kappa(X) is the largest dimension of the image of the rational map X⇢ℙ(H0(X,ωX⊗m))X \dashrightarrow \mathbb{P}(H^0(X, \omega_X^{\otimes m})) over all mm with Pm(X)>0P_m(X) > 0. The variety XX is of general type if κ(X)=n\kappa(X) = n.

Example: for X=ℙknX = \mathbb{P}^n_k with n≥1n \ge 1, ωX≅𝒪(−n−1)\omega_X \cong \mathcal{O}(-n-1), so ωX⊗m≅𝒪(−m(n+1))\omega_X^{\otimes m} \cong \mathcal{O}(-m(n+1)) has no nonzero sections and κ(X)=−∞\kappa(X) = -\infty. For a smooth projective curve of genus g≥2g \ge 2, deg⁡ωX⊗m=m(2g−2)\deg \omega_X^{\otimes m} = m(2g-2) and Riemann–Roch gives Pm=(2m−1)(g−1)P_m = (2m-1)(g-1) for m≥2m \ge 2, which grows like m1m^1, so κ(X)=1\kappa(X) = 1.

Non-example of clause 2 with κ=0\kappa = 0: the curve of genus 22 has Pm/m0=PmP_m / m^0 = P_m unbounded, so its Kodaira dimension is not 00.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Algebraic variety concept
  2. Canonical bundle concept
  3. Dimension of an algebraic variety concept
  4. Kodaira dimension definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Kodaira_dimension
About this page
Tag5VKAY7RS8C
URIm2://5VKAY7RS8C
Kinddefinition
WritingW0 stub
MSC14E30, 14J10
DefinesKodaira dimension
UsesAlgebraic variety, Canonical bundle, Dimension of an algebraic variety

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.