We will prove the following results for 3-fold pairs (X, B) over an algebraically closed field k of characteristic p > 5: log flips exist for Q-factorial dlt pairs (X, B); log minimal models exist for projective klt pairs (X, B) with pseudo-effective K-X + B; the log canonical ring R(K-X + B) is finitely generated for projective klt pairs (X, B) when K-X + B is a big Q-divisor; semi-ampleness holds for a nef and big Q-divisor D if D - (K-X + B) is nef and big and (X, B) is projective k Q-factorial dlt models exist for lc pairs (X, B); terminal models exist for klt pairs (X, B); ACC holds for lc thresholds, etc.
展开▼