GLOBALLY +-REGULAR VARIETIES AND THE MINIMAL MODEL PROGRAM FOR THREEFOLDS IN MIXED CHARACTERISTIC BHARGAV BHATT, LINQUAN MA, ZSOLT PATAKFALVI, KARL SCHWEDE, KEVIN TUCKER, JOE WALDRON, JAKUB WITASZEK Abstract. 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. Contents 1. Introduction 2 1.1. Minimal Model Program 5 1.2. Applications to moduli theory 7 1.3. Applications to commutative algebra 7 1.4. Applications to four-dimensional Minimal Model Program and liftability 8 1.5. Technical notes 8 Acknowledgements 8 2. Preliminaries 9 2.1. Dualizing complexes and local duality 9 2.2. Big Cohen-Macaulay algebras 11 2.3. Resolution of singularities 14 2.4. Bertini 15 2.5. Log minimal model program 16 2.6. Minimal Model Program for excellent surfaces 21 2.7. Characteristic zero base point free theorem 23 2.8. Mixed characteristic Keel’s theorem 23 arXiv:2012.15801v2 [math.AG] 8 Jun 2021 2.9. Seshadri constants 25 3. Vanishing in mixed characteristic 27 4. The subset of ++-stable sections (B0) 32 4.1. B0 in the affine case 38 4.2. Transformation of B0 under alterations 39 4.3. Adjoint analogs 41 4.4. ++-stable sections and completion 46 5. Section rings and ++-stable sections 49 5.1. An application to Fujita’s conjecture in mixed characteristic 53 6. Globally ++-regular pairs 56 6.1. Purely globally ++-regular schemes 62 7. Lifting ++-stable sections from divisors 64 1 7.1. Globally ++-regular birational morphisms of surfaces 69 8. Existence of flips 72 8.1. Finite generation of the restriction algebra 73 8.2. Conclusion 83 9. Minimal Model Program 85 9.1. Existence of flips and background on termination 86 9.2. Step 1: Partial cone and contraction theorems 88 9.3. Step 2: Construction of flips with arbitrary coefficients 90 9.4. Step 3: Base point free theorem for nef and big line bundles 93 9.5. Step 4: MMP in the pseudo-effective case 97 9.6. Step 5: Base point freeness 99 9.7. Step 6: Cone theorem and Mori fiber spaces 102 10. Applications to moduli of stable surfaces 107 References 112 1. Introduction The Kodaira and Kawamata-Viehweg vanishing theorems are among the most important tools used in algebraic geometry in characteristic zero and are a key component of the minimal model program [BCHM10]. They are crucial to understanding linear systems as they allow the lifting of global sections of line bundles from lower dimensional subvarieties. Unfortunately, these vanishing theorems are false in general when working over fields of 1 positive characteristic (such as Fp,[Ray78]) or mixed characteristic rings (such as Z or Zp ). In characteristic p > 0, the Frobenius morphism and asymptotic Serre vanishing can be used as a replacement in some contexts. An important class of such applications of Frobenius goes back to the development of tight closure theory and the notions of F -split and F -regular varieties [HH90, MR85, RR85]. The discovery of connections between these notions and birational geometry led to a plethora of applications, for instance: [Smi97a, MS97, Har98, HW02, HY03, Tak04b, STZ12, Tak04a, Pat14, Zha14, MS14, CHMS14, Hac15, BST15, Das15, GLP+15, CTW17, CRST18, HP16, HPZ19, AP19, Eji19, Ber19]. In particu- lar, building on [Kee99] and [Sch14], Hacon and Xu proved the existence of minimal models for positive characteristic terminal threefolds over algebraically closed fields of characteristic p > 5 [HX15]; this was then extended in various directions [CTX15, Bir16, Xu15, BW17, Wal18, HNT20, GNT19, DW19, XZ19, HW19b, HW19a, HW20]. In the mixed characteristic setting, the theory of perfectoid algebras and spaces [Sch12] has led to spectacular advancements, including proofs of the direct summand conjecture and the existence of big Cohen-Macaulay algebras by Andr´e[And18] (see also [Bha18]). Building on these techniques, the second and fourth authors developed a mixed characteristic analog of F -regularity called BCM-regularity in [MS18a, MS18b], and, together with the fifth, sixth, and the seventh author, its adjoint (plt) variant (see [MST+19]). In particular, it was shown that klt surface singularities of mixed characteristic (0,p> 5) are BCM-regular and that inversion of adjunction holds for three-dimensional plt singularities; the positive 1Burt Totaro [Tot21] has pointed out to us that examples of failure of relative Kawamata-Viehweg vanishing in mixed characteristic can be obtained via methods similar to those in [Tot19]. 2 characteristic analogs of these results were key initial ingredients for the aforementioned work of Hacon and Xu. What is missing is a mixed characteristic analog of the theory of global F -regularity2, which was introduced in positive characteristic in [Smi00] (see also [SS10]). We establish such a theory, which we call +-regularity, based upon the recent work of the first author, [Bha20], who showed that the absolute integral closure R+ of an excellent domain R is Cohen-Macaulay in mixed characteristic and deduced a variant of Kodaira vanishing up to finite covers. Like in positive characteristic one may also define ++-regularity by the study of BCM-regularity of section rings (normalizations of cones); in fact, this point of view will be important in proofs of some of our results. It is reasonable to note that globally ++-regular varieties (and pairs) could also be called global splinters. We use this new terminology however since it very closely matches the terminology for global F -regularity. As our main application we develop the mixed characteristic Minimal Model Program for threefolds when the residual characteristics are zero or bigger than 5. Theorem A. Let R be a finite-dimensional excellent domain with a dualizing complex and containing Z whose closed points have residual characteristics zero or greater than 5. Let X be a klt integral scheme of dimension three which is projective and surjective over Spec(R). Then we can run a Minimal Model Program on X over Spec R which terminates with a minimal model or a Mori fiber space. In fact, our results are much stronger (see Section 1.1 for more details). They extend earlier results on the mixed characteristic case including H. Tanaka’s work on the MMP for excel- lent surfaces ([Tan18]) and the work of Y. Kawamata on the MMP for mixed characteristic semistable threefolds [Kaw94]. Other related work appears in [Lip69, Theorem 4.1], [Lic68] and [Sha66]. We also point out that some variants of this theorem were obtained indepen- dently by Takamatsu and Yoshikawa in [TY20] (see Remark 1.1 for additional discussion). From now on, (R, m) is a Noetherian complete local domain of mixed characteristic (0,p> 0) (although what follows also works when R is of characteristic p> 0). For simplicity, in the introduction, we present our initial results in the non-boundary-case (∆ = 0) and append references to full statements. First, we discuss the analog of global F -regularity. We say that a normal integral scheme X proper over R is globally +-regular if OX −→ f∗OY splits for every finite cover f : Y −→ X, and observe the following as a straightforward consequence of generalizations and reformulations (see Section 3) of the vanishing theorems of [Bha20]. Theorem B (Corollary 6.12). Suppose that X is globally +-regular and proper over Spec(R). If L is a big and semi-ample line bundle on X, then Kawamata-Viehweg vanishing holds i for L , that is H (X,ωX ⊗ L )=0 for i> 0. In positive characteristic, global F -regularity implies global ++-regularity (Lemma 6.14), but the converse is an open problem even in the affine setting. Another key notion used in applications in positive characteristic birational geometry is that of Frobenius stable sections S0(X, M ) ⊆ H0(X, M ), for a line bundle M , and its variant T 0(X, M ), introduced in [Sch14] and [BST15] respectively. These sections behave as if Kodaira vanishing was valid for them. In this article, we consider the following mixed 2A strong version of being log Fano. 3 characteristic analog thereof (see Definition 4.2): 0 0 ∗ 0 B (X, M ) := im H (Y, OY (KY/X + f M)) −→ H (X, M ) . f : Y −→X finite\ 0 M We call these global sections +-stable. We also consider an adjoint (plt-like) version BS(X,S; ) for an irreducible divisor S and a line bundle M = OX (M). Theorem C. The following holds for a normal integral scheme X proper over Spec(R): (a) Under appropriate assumptions, 0 O 0 O BS(X,S; X(KX + S + A)) −→ B (S; S(KS + A|S)) is surjective, where A is an ample Cartier divisor, see Theorem 7.2. 0 0 (b) X is globally +-regular if and only if B (X, OX )= H (X, OX ), see Proposition 6.8. (c) If X is Q-Gorenstein, then 0 0 ∗ 0 B (X, M ) := im H (Y, OY (KY/X + f M)) −→ H (X, M ) , f : Y −→X alteration\ see Corollary 4.13. 0 (d) If X = Spec R is Q-Gorenstein and affine, then B (X, OX ) = τR+ (R), where the latter term is the BCM-test ideal defined in [MS18b], see Proposition 4.17. (e) B0 transforms as expected under finite maps and alterations, see Section 4.2. L 0 L i (f) If is an ample line bundle on X, and S = i≥0 H (X, ) is the section ring, then for i> 0 we have that B0(X,ω ⊗L i) is the ith graded piece of a test submodule X L τR+,gr (ωS) on S, see Proposition 5.5.