Pushforwards of pluricanonical bundles under morphisms to abelian varieties (Q783741): Difference between revisions

Let \(X\) be a smooth complex projective variety and let \(f\colon X \to A\) be a morphism to an abelian varierty. By the work of many people (see the introduction of the paper for a detailed account) the sheaf \(f_*\omega_X\) has many important properties: \begin{itemize} \item its cohomological support loci are finite unions of translations of abelian subvarieties of \(\mathrm{Pic}^0(A)\); \item it is a GV sheaf; \item it has a canonical decomposition into pullbacks of M-regular coherent sheaves from quotients of \(A\) twisted by torsion line bundles \item its Fourier-Mukai transform is locally analytically quasi-isomorphic to a linear complex. \end{itemize} The purpose of this very interesting paper is to show that the same properties hold for the sheaves \(f_*\omega_X^{\otimes m}\) for all integers \(m\ge 2\). (This is not unexpected since, as a general rule, the pluricanonical sheaves are better behaved than the canonical sheaf). The results are obtained as a consequence of the above properties of \(f_*\omega_X\) and of the following Theorem A. Fix \(m\ge 2\); there exists a generically finite morphism \(g\colon Y\to X\) such that \(f_*\omega_X^{\otimes m}\) is a direct summand of \((f\circ g)_*\omega_{Y}\). Theorem A is in turn a consequence of Theorem B. There is an isogeny \(\phi\colon A'\to A\) such that \(f'_*\omega_{X'}^{\otimes m}\) is globally generated, where \(f'\colon X'\to A'\) is obtained from \(f\colon X\to A\) by taking base change with \(\phi\). The authors also prove a more refined version of the decomposition into into pullbacks of M-regular coherent sheaves from quotients of \(A\) twisted by torsion line bundles in the case when \(m\ge 2\) and \(f\) is the Albanese morphism. Some results on the pluricanonical linear series of normal varieties of maximal Albanese dimension with at most canonical singularities are obtained as an application of the previous results.