On subadditivity of the logarithmic Kodaira dimension (Q1687580): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 1406.2759 / rank | |||
Normal rank |
Latest revision as of 21:49, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On subadditivity of the logarithmic Kodaira dimension |
scientific article |
Statements
On subadditivity of the logarithmic Kodaira dimension (English)
0 references
4 January 2018
0 references
For a dominant morphism $g:V\rightarrow W$ between complex algebraic varieties, Iitaka's subadditivity conjecture asserts that the inequality $\overline{\kappa}(V)\geq\overline{\kappa}(W)+\overline{\kappa}(F)$ holds between the logarithmic Kodaira dimensions of $V$, $W$ and of a sufficiently general fiber $F$ of $g$. In the article under review, the author establishes that this type of inequality holds if one replaces the logarithmic Kodaira dimension by Nakayama's numerical Kodaira dimension $\kappa_{\sigma}(X,K_{X}+D)$ of a log-pair $(X,D)$ consisting of a smooth projective variety $X$ and a Cartier divisor on it [\textit{N. Nakayama}, Zariski-decomposition and abundance. Tokyo: Mathematical Society of Japan (2004; Zbl 1061.14018)]. \par More precisely, given a surjective morphism with connected fibers $f:X\rightarrow Y$ between smooth projective varieties and simple normal crossing divisors $D_{X}$ on $X$ and $D_{Y}$ on $Y$ such that $\mathrm{Supp}f^{*}D_{Y}\subset D_{X}$, the author establishes that the inequality \[ \kappa_{\sigma}(X,K_{X}+D_{X})\geq\kappa_{\sigma}(Y,K_{Y}+D_{Y})+\kappa_{\sigma}(F,K_{F}+D_{X}|_{F}) \] holds for a sufficiently general fiber $F$ of $f:X\rightarrow Y$. \par The inequality $\kappa_{\sigma}(X,K_{X}+D_{X})\geq\kappa(X,K_{X}+D_{X})$ always holds true, and the equality of these two numerical invariants is a special case of the generalized abundance conjecture for higher dimensional varieties. The above inequality therefore implies Iitaka's subadditivity conjecture for morphisms $f:X\rightarrow W$ from a smooth projective variety $X$ of dimension $\leq3$. Combined with the minimal model program for projective klt pairs with big boundary divisors [\textit{C. Birkar} et al., J. Am. Math. Soc. 23, No. 2, 405--468 (2010; Zbl 1210.14019)], it also implies that Iitaka's subadditivity conjecture holds for dominant morphisms $g:V\rightarrow W$ from an affine variety $V$ of any dimension.
0 references
logarithmic Kodaira dimension
0 references
Nakayama's numerical Kodaira dimension
0 references
affine varieties
0 references
Iitaka conjecture, minimal model program, abundance conjecture
0 references