Vanishing and semipositivity theorems for semi-log canonical pairs (Q2302856)

Let \((X, \Delta)\) be projective semi-log canonical pair. In the paper, several vanishing and semipositivity theorems and applications on \((X, \Delta)\) were presented. Among them, the main result is the following effective vanishing theorem on \((X,\Delta)\), which is a generalization of Theorem 1.7 in [\textit{M. Popa} and \textit{C. Schnell}, Algebra Number Theory 8, No. 9, 2273--2295 (2014; Zbl 1319.14022)]. Theorem 11. Let \((X,\Delta)\) be a projective canonical pair and let \(f: X\to Y\) be a surjective morphism onto an \(n\)-dimensional projective variety \(Y\). Let \(D\) be a Cartier divisor on \(X\) such that \(D\sim_{\mathbb{R}}k(K_X+\Delta+f^*H)\) for some positive integer \(k\) and an ample \(\mathbb{R}\)-divisor \(H\) on \(Y\). Let \(L\) be an ample Cartier divisor on \(Y\) such that \(|L|\) is free. If \(\mathcal{O}_X(D)\) is \(f\)-generated, then \[ H^i(Y, f_*\mathcal{O}_X(D)\otimes\mathcal{O}_Y(lL))=0 \] for every \(i>0\) and every \(l\geq (k-1)(n+1-t)-t+1\), where \[ t=\sup\{s\mid H-sL~\text{is ample}\}. \] Therefore, by Castelnuovo-Mumford regularity, \(f_*\mathcal{O}_X(D)\otimes\mathcal{O}_Y(lL)\) is globally generated for every \(l\geq (k-1)(n+1-t)-t+1+n\). The proof is similar to the proof of Popa and Schnell, but employs the following generalization of Kollár-Ohsawa vanishing theorem. Theorem 31. Let \((X, \Delta)\) be a projective semi-log canonical pair and let \(f: X\to Y\) be a surjective morphism onto a projective variety \(Y\). Let \(D\) be a Cartier divisor on \(X\) such that \(D-(K_X+\Delta)\sim_{\mathbb{R}}f^*H\) for some \(\mathbb{R}\)-divisor \(H\) on \(Y\). then \[ H^i(Y, f_*\mathcal{O}_X(D))=0 \quad \text{for every}~ i>0. \] The proof of this generalization relies on the theory of mixed Hodge structures on cohomology groups with compact support. Using Theorem 1.1, the author reproved two semipositivity theorems which were first proved by the author in [Ann. Math. (2) 187, No. 3, 639--665 (2018; Zbl 1403.14069)] using the theory of graded polarizable admissible variation of mixed Hodge structure.