On subadditivity of the logarithmic Kodaira dimension (Q1687580)

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.