We establish the Minimal Model Program for arithmetic threefolds whose residue characteristics are greater than five. In doing this, we generalize the theory of global F-regularity to mixed characteristic and identify certain stable sections of adjoint lin ...
We use the theory of foliations to study the relative canonical divisor of a normalized inseparable base-change. Our main technical theorem states that it is linearly equivalent to a divisor with positive integer coefficients divisible by p - 1. We deduce ...
In this article we prove two cases of the abundance conjecture for 3-folds in characteristic p>5: (i) (X,Delta) is klt and kappa(X,KX+Delta)=1, and (ii) (X,Delta) is klt, KX+Delta equivalent to 0 and X is not uniruled. ...
We prove that one can run the log minimal model program for log canonical 3-fold pairs in characteristic p > 5. In particular, we prove the cone theorem, contraction theorem, the existence of flips and the existence of log minimal models for pairs with log ...
