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 ...
In this paper, we prove a strengthening of the generic vanishing result in characteristic p > 0 given in Hacon and Patakfalvi (Am J Math 138(4):963-998, 2016). As a consequence of this result, we show that irreducible Theta divisors are strongly F-regular ...
We prove that smooth, projective, K-trivial, weakly ordinary varieties over a perfect field of characteristic p>0 are not geometrically uniruled. We also show a singular version of our theorem, which is sharp in multiple aspects. Our work, together with La ...
The Chow-Mumford (CM) line bundle is a functorial line bundle on the base of any family of klt Fano varieties. It is conjectured that it yields a polarization on the moduli space of K-poly-stable klt Fano varieties. Proving ampleness of the CM line bundle ...
Let k be an algebraically closed field of characteristic p > 0. We give a birational characterization of ordinary abelian varieties over k: a smooth projective variety X is birational to an ordinary abelian variety if and only if kappa(S)(X) = 0 and b(1)(X ...
We show that for a surjective, separable morphism f of smooth projective varieties over a field of positive characteristic such that f(*) OX congruent to O-Y subadditivity of Kodaira dimension holds, provided the base is of general type and the Hasse-Witt ...
We show that if f : X → T is a surjective morphism between smooth projective varieties over an algebraically closed field k of characteristic p > 0 with geometrically integral and non-uniruled generic fiber, then KX/T is pseudo-effective. The proof is base ...
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 ...
