A remark on Kovács's vanishing theorem (Q1928326): Difference between revisions

The author gives an alternative proof of Kovács's vanishing theorem by standard arguments of minimal model theory. The statement of Kovács's vanishing theorem is the following: Let \((X, \Delta)\) be a log-canonical pair, and let \(f: Y\rightarrow X\) be a proper birational morphism from a smooth variety \(Y\) such that \(\text{Exc}(f)\cup \text{Supp }f_*^{-1}\Delta\) is a simple normal crossing divisor on \(Y\). In this situation, we can write \[ K_Y=f^*(K_X+\Delta)+\sum_ia_iE_i. \] We put \(E=\sum_{a_i=1}E_i\). Then we have \[ R^if_*\mathcal{O}_Y(-E)=0 \] for every \(i>0\). The original proof of the above theorem involves Du Bois singularities (see [\textit{S. J. Kovács}, Kyoto J. Math. 51, No. 1, 47--69 (2011; Zbl 1218.14021)]).