On generic vanishing for pluricanonical bundles (Q516611)

If \(D\) is a Cartier divisor on a smooth complex projective variety \(X\) and \(f : X \rightarrow A\) a morphism to an abelian variety \(A\), then, as in \textit{M. Green} and \textit{R. Lazarsfeld} [Invent. Math. 90, 389--407 (1987; Zbl 0659.14007)], the cohomology support loci of \(D\) with respect to \(f\) are the Zariski closed subsets of the abelian variety \(\text{Pic}^0(A)\) defined by: \[ S^i_j(D,f) = \{\xi \in \text{Pic}^0(A) : h^i(X,\mathcal{O}_X(D) \otimes f^* \xi) \geq j \}. \] In the present article, the author studies such loci for log canonical pairs and pluricanonical divisors. For instance, generalizing a result of \textit{C. Simpson} [Ann. Sci. Éc. Norm. Supér. (4) 26, No. 3, 361--401 (1993; Zbl 0798.14005)], the author proves that if \(\Delta\) is a boundary \(\mathbb{Q}\)-divisor on \(X\), with simple normal crossing support, and \(D\) a Cartier divisor such that \(D \sim_{\mathbb{Q}} K_X + \Delta\), then the cohomology support locus \(S^i_j(D,f)\) is a finite union of torsion translates of abelian subvarieties of \(\text{Pic}^0(A)\) for each \(i \geq 0\) and \(j \geq 1\). The author then considers cohomology support loci for pluricanonical divisors on normal varieties. Specifically, suppose that \(\Delta\) is a boundary \(\mathbb{Q}\)-divisor on a normal projective variety \(X\) with the properties that \(K_X + \Delta\) is \(\mathbb{Q}\)-Cartier and \((X,\Delta)\) is log canonical. Then, the author proves that the cohomology support locus \(S^0_j(D,f)\), for each \(j \geq 1\), is a finite union of torsion translates of abelian subvarieties of \(\text{Pic}^0(A)\). Here, \(D\) is a Cartier divisor on \(X\) such that \(D \sim_{\mathbb{Q}} m(K_X + \Delta)\), for some integer \(m > 0\), and \(f : X \rightarrow A\) is a morphism to an abelian variety \(A\). Finally, the author treats higher direct images of pluricanonical bundles. In this direction, the author generalizes a result due to \textit{C. Hacon} [J. Reine Angew. Math. 575, 173--187 (2004; Zbl 1137.14012)], namely that the higher direct images \(R^j f_* \omega_X\), for \(X\) a smooth projective variety and \(f : X \rightarrow A\) a morphism to an abelian variety, are GV-sheaves for each \(j\).