Effective generation and twisted weak positivity of direct images (Q1736428): Difference between revisions

This article studies some special cases of a relative version of Fujita's conjecture, and proves some global generation results for direct images of log pluricanonical bundles on log canonical pairs. More precisely, in [\textit{M. Popa} and \textit{C. Schnell}, Algebra Number Theory 8, No. 9, 2273--2295 (2014; Zbl 1319.14022)], Popa and Schnell conjecture that if \(f: X\to Y\) is a morphism of smooth projective varieties and \(\mathcal L\) is ample, for each integer \(k\geq 1\), \(f_*\omega_Y^{\otimes k}\otimes \mathcal L^{\otimes l}\) is globally generated for \(l\geq k(n+1)\), where \(n= \dim X\). The paper establishes two effective global generation results. First, the authors study surjective morphisms \(Y\to X\), where \(X\) is arbitrarily singular of dimension \(n\) and \((Y, \Delta)\) is log canonical. In that case, they show that if \(P\sim_{\mathbb R}k(K_Y+\Delta)\) is a log pluricanonical Cartier divisor and if \(\mathcal L\) is nef and big on \(X\), then \(f_*\mathcal O_Y(P)\otimes \mathcal L^{\otimes l}\) is generated by global sections over an open set for \(l\geq k(n^2+1)\). Second, the authors consider the case when \(f\) is a fibration, \(X\) is smooth and \(\mathcal L\) is ample, and establish a linear bound for a similar generic global generation to hold. In both cases, an explicit description of the open set \(U\subset X\) over which global generation holds is given when \((Y, \Delta)\) is an snc pair. In order to prove these results, the authors show an extension theorem based on a cohomological injectivity theorem due to \textit{O. Fujino} [Foundations of the minimal model program. Tokyo: Mathematical Society of Japan (2017; Zbl 1386.14072)] and some (twisted) weak positivity results for log canonical pairs extending statements due to Popa and Schnell.