Fundamental Theorems for the Log Minimal Model Program

Abstract

In this paper, we prove the cone theorem and the contraction theorem for pairs $(X,B)$, where $X$ is a normal variety and $B$ is an effective $\mathbb{R}$-divisor on $X$ such that $K_X+B$ is $\mathbb{R}$-Cartier.