Fundamental theorems for the log minimal model program
arXiv:0909.4445
Abstract
In this paper, we prove the cone theorem and the contraction theorem for pairs , where is a normal variety and is an effective -divisor on such that is -Cartier.
64 pages. This is a slightly revised version of Kyoto-Math 2009-25, v2: Theorem 10.5 is new, minor modifications, v3: minor modifications, Theorem 18.10 is new