show · ag.kodaira_dimension all knowls · up · search:

Let $X$ be a nonsingular complex algebraic variety with canonical divisor $K$. For each $d \in \mathbb{Z}_{\geq 0}$, the $d^\text{th}$ plurigenus of $X$ is $P_d \colonequals \dim H^0(X, K^{\otimes d})$. The global sections of $K^{\otimes d}$ define a rational map $$ \varphi_d: X \to \mathbb{P}(H^0(X,K^{\otimes d})) \cong \mathbb{P}^{P_d-1} \, . $$ The Kodaira dimension $\kappa(X)$ is defined to be $-1$ if $P_d = 0$ for all $d$, and $$ \kappa(X) \colonequals \sup_d \, \dim(\varphi_d(X)) $$ otherwise.

Authors:
Knowl status:
  • Review status: beta
  • Last edited by Sam Schiavone on 2023-04-14 16:28:21
Referred to by:

Not referenced anywhere at the moment.

History: (expand/hide all) Differences (show/hide)