Existence of Flips and Minimal Models for 3-Folds in Char P

Caucher Birkar

DOI: https://doi.org/10.24033/asens.2279

2016-01-01

Annales Scientifiques de l École Normale Supérieure

Abstract: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 klt; $\Q$-factorial dlt models exist for lc pairs $(X,B)$; terminal models exist for klt pairs $(X,B)$; ACC holds for lc thresholds; etc.