Some inequalities for Kodaira-Iitaka dimension on subvarieties (Q967653)

Let \(X\) be a complete, normal variety defined over an algebraically closed field, and let \(L\) be a line bundle over \(X\). Given a subvariety \(Y \subset X\) one would like to know how the Kodaira dimension of \(L\) behaves under restriction to \(Y\). The prototype of an answer to this problem is the \textit{easy addition theorem}: if \(Y\) is the general fibre of fibration, one has \[ \kappa(X, L) - \mathrm{codim } Y \leq \kappa(Y, L|_Y). \] In particular if \(Y\) is a divisor, then \(\kappa(X, L) - 1 \leq \kappa(Y, L|_Y)\). \textit{T. Peternell, M. Schneider} and \textit{A. Sommese} [Int. J. Math. 10, No. 8, 1065--1079 (1999; Zbl 1077.14515)] have shown that if \(Y \subset X\) is a submanifold the same formula holds if some symmetric power \(\mathrm{Sym}^m N_{Y/X}\) is generically generated by global sections. \newline In the paper under review the author proves generalisations of these formulas involving the normal bundle of the subvariety. More precisely, if \(Y \subset X\) is a normal subvariety of codimension one, there exists integers \(n_1>0\) and \(n_2 \geq 0\) such that \[ \kappa(X, L) - 1 \leq \kappa(Y, L^{n_1}(-n_2 Y)|_Y). \] Furthermore if \(Y\) is not contained in the stable base locus of \(L\), one can take \(n_1 \gg n_2\). A similar formula is established for submanifolds of arbitrary codimension. \newline The author then considers the situation of two normal subvarieties \(A\) and \(B\) moving in sufficiently general covering families. If \(\dim A+\dim B \geq \dim X\), one obtains the very simple formula \[ \kappa(X, L) \leq \kappa(A, L|_A) + \kappa(B, L|_B). \]