On direct images of pluricanonical bundles (Q486425)

The paper under review proves some global generation and vanishing properties for direct images of pluricanonical bundles by means of the techniques inspired by Kollár and Viehweg's study of weak positivity, combined with vanishing theorems for log-canonical pairs. Main Theorem. Let \(f:X\rightarrow Y\) be a morphism of projective varieties, with \(X\) smooth and \(Y\) of dimension \(n\). If \(L\) is an ample and globally generated line bundle on \(Y\), and \(k\geq 1\) an integer, then \(f_*\omega_X^{\otimes k}\otimes L^{\otimes l}\) is 0-regular, and therefore globally generated, for \(l\geq k(n+1)\). The above result is related to the relative Fujita Freeness Conjecture, and has many variants and applications to the Weak Positivity, the Iitaka Conjecture and the Generic Vanishing for direct images of pluricanonical and pluriadjoint bundles. Application 1. If \(f:X\rightarrow Y\) is a fibration between smooth projective varieties, and \(M\) is a nef and \(f\)-big line bundle on \(X\), then \(f_*(\omega_{X/Y}\otimes M)^{\otimes k}\) is weakly positive for every \(k\geq 1\). Application 2. Let \(f:X\rightarrow Y\) be a fibration between smooth projective varieties, and let \(M\) be a nef and \(f\)-big line bundle on \(X\). We denote by \(F\) the general fiber of \(f\), and by \(M_F\) the restriction of \(M\) to \(F\). Then: {\parindent=6mm \begin{itemize} \item[(i)] If \(L\) is an ample line bundle on \(Y\), and \(k>0\), then \[ \kappa((\omega_X\otimes M)^{\otimes k}\otimes f^*L)=\kappa(\omega_F\otimes M_F)+\dim Y. \] \item [(ii)] If Y is of general type, then \[ \kappa(\omega_X\otimes M)=\kappa(\omega_F\otimes M_F)+\dim Y. \] \end{itemize}} Application 3. \(f:X\rightarrow A\) is a morphism from a smooth projective variety to an abelian variety, then \(f_*\omega_X^{\otimes k}\) is a GV-sheaf for every \(k\geq 1\).