Fundamental theorems for the log minimal model program (Q638785)

The author proves the Cone Theorem and the Contraction Theorem for pairs \((X,B)\), with \(X\) a normal variety and \(B\) an effective \(\mathbb R\)-divisor on \(X\) such that \(K_X+B\) is \(\mathbb R\)-Cartier, avoiding the use of the theory of quasi-log varieties. The main tools are the theory of minimal lc centers and some Vanishing Theorems, proved in the paper, which are stronger than the Kawamata-Viehveg-Nadel vanishing theorem.