  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 line bundles. Finally, by passing to graded rings,
we generalize a special case of Fujita's conjecture to mixed characteristic.
