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 ...
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 ...
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. ...