Arxiv:2005.05933V1 [Math.AG] 12 May 2020 Fhge-Iesoa Aiiso Oaie Aite;Seterm1.1 Theorem See Varieties; Polarized Ment

arXiv:2005.05933v1 [math.AG] 12 May 2020 fhge-iesoa aiiso oaie aite;seTerm1.1 Theorem see varieties; polarized ment. finiten of Arakelov-Parshin’s families of higher-dimensional generalization of a prove and bundle, ical C ainter,fmle fplrzdvreis rklvieult,int inequality, Arakelov fields. varieties, generated polarized of families theory, mation aey o vr mohcnetdcurve connected smooth every moduli the for for Namely, conjecture ICM 1962 Shafarevich’s proved Parshin over nt,ie,testo o-stiilmorphisms non-isotrivial of set the i.e., finite, of let once aite ( varieties connected M6] h stack the [MM64], h g hn yteter fHletshmsadtetermo Matsu of theorem the and schemes Hilbert of theory the by Then, . H HFRVC OJCUERVSTD IIEESOF FINITENESS REVISITED: CONJECTURE SHAFAREVICH THE osaeorrsl,let result, our state To se with varieties polarized of stack moduli the study we paper this In e od n phrases. and words Key 2010 .Dfrigpitdfmle fplrzdvreis8 15 Let var polarized of spaces moduli for Conjecture conjecture Persistence References Shafarevich The Weak-Pointed the varieties of 5. polarized Proof of families pointed 4. Deforming theory 3. Deformation 2. Introduction 1. × B M Spec ioopimcasso o-stiilsot rprcurves proper smooth non-isotrivial of classes -isomorphism Q h k ahmtc ujc Classification. Subject Mathematics Abstract. fitga onso ouisae fplrzdvarieties. polarized to of application spaces arithmetic moduli an on give points then integral the We establish of varieties. we which polarized in of conjecture families Shafarevich the of version new etesbtc aaerzn oaie aite ( varieties polarized parametrizing substack the be fsot rprcnetdcre fgenus of curves connected proper smooth of Q ea lerial lsdfil fcaatrsi eo n[r7,Par [Ara71, In zero. characteristic of field closed algebraically an be Spec ONE AIISO OAIE VARIETIES POLARIZED OF FAMILIES POINTED k . RYNJVNEKR URNSN N AGZUO KANG AND SUN, RUIRAN JAVANPEYKAR, ARIYAN oiae yLn-ot’ ojcue nhproi aite,w varieties, hyperbolic on conjectures Lang-Vojta’s by Motivated M ,L X, h yeblct,Ln-ot ojcue ouisae,Hgsbun Higgs spaces, moduli conjecture, Lang-Vojta Hyperbolicity, safiietp eaae ein-ufr leri tc over stack algebraic Deligne-Mumford separated type finite a is M ihsm-ml aoia bundle canonical semi-ample with ) etesakover stack the be 1. Introduction 24,1G9(13,1G5 43). 14C30) 14G05, (11G35, 14G99 32Q45, Contents B Q B over fplrzdsot rprgeometrically proper smooth polarized of C → k g ⊗ g n vr integer every and and , Q k ,L X, ga ons ubrfils finitely fields, number points, egral sfiie where finite, is ω C X ihHletpolynomial Hilbert with ) g oevr for Moreover, . ntns fpointed of finiteness ⊗ pc fcre [Sha63]. curves of space Q X s euti h case the in result ess k eis17 ieties → o rcs state- precise a for h finiteness the eoe h stack the denotes iapecanon- mi-ample B rv a prove e g saka-Mumford C 8 Arakelov- 68] fgenus of g ≥ stestack the is ,teset the 2, ls defor- dles, h in Q g [ 18 t is ], 7 1 2 ARIYANJAVANPEYKAR,RUIRANSUN,ANDKANGZUO

Q and M = ⊔h∈Q[t]Mh. Note that, for g ≥ 2, the stack Cg of smooth proper connected curve of genus g is a connected component of M. Given a variety U over k, the data of a morphism U → M ⊗Q k is equivalent to the data of a pair (π : V → U, L), where V → U is a smooth proper morphism whose geometric fibres are connected with semi-ample canonical bundle and L is a π-relatively ample line bundle on V . For example, if U is a smooth connected curve over k, then the existence of a quasi-finite morphism U → M ⊗Q k boils down to the existence of a non-isotrivial family of polarized smooth proper varieties over U. More generally, by definition, if U is a variety over k and U → M ⊗Q k is a morphism and (V, L) → U is the associated family, then U → M ⊗Q k is quasi-finite (as a morphism of algebraic stacks) if and only if, for every polarized variety (V0, L0), the set of u in U(k) such that ∼ (Vu, Lu) = (V0, L0) is finite. We prove the following version of the Shafarevich conjecture in which we, roughly speaking, prove the finiteness of families over a given variety with a large enough fixed set of fibres. To state our result, for C a smooth quasi-projective connected curve, we let C be its smooth projective model and g(C) its genus. Theorem 1.1 (Weak-Pointed Shafarevich Conjecture). Let k be an algebraically closed field of characteristic zero, let h ∈ Q[t], let U be a variety over k, and let U →Mh ⊗Q k be a quasi-finite morphism. Then U has the following finiteness property: If deg h − 1 N ≥ 2g(C) − 2+#(C \ C) 2 is an integer, u1,...,uN ∈ U(k) are points, C is a smooth quasi-projective connected curve over k, and c1,...,cN ∈ C(k) are pairwise distinct points, then the set of non- constant morphisms f : C → U with f(c1)= u1,...,f(cN )= uN is finite. Let us give a concrete reformulation of Theorem 1.1 to explain the relation to Shafare- vich’s 1962 ICM Conjecture. Let C be a smooth quasi-projective connected curve over k, let h ∈ Q[t], let deg h − 1 N ≥ 2g(C) − 2+#(C \ C) 2 be an integer, and let c1,...,cN be pairwise distinct points of C(k). Let

(V1, L1),..., (VN , LN ) be polarized smooth projective connected varieties with Hilbert polynomial h and semi- ample canonical bundle over k. Now, as in the statement of Theorem 1.1, let U be a variety over k and let ϕ : U →Mh ⊗Q k be a quasi-finite morphism. We will say that a family of polarized varieties (V, L) → C over C whose geometric fibres have semi-ample canonical bundle is ϕ-rigidified if the classifying map C →M factors over ϕ : U →M. Then, Theorem 1.1 says that there are only finitely many C-isomorphism classes of ϕ- ∼ rigidified families (V, L) → C such that, for every 1 ≤ i ≤ n, we have (Vci , Lci ) = (Vi, Li). That is, roughly speaking, there are only finitely many families of polarized varieties over C as long as we “fix” the fibres of these families over the points c1,...,cN . FINITENESS OF POINTED FAMILIES OF POLARIZED VARIETIES 3

In Theorem 1.1 one may take “N = 0” when deg h = 1. In particular, for g ≥ 2, [3] by applying Theorem 1.1 to the fine moduli space U := Cg of smooth proper curves of genus g with full level 3 structure we recover, up to a standard stacky argument, the finiteness theorem of Arakelov-Parshin for Cg; see Remark 4.2 for details. The Shafarevich conjecture for families of curves was proved by Arakelov-Parshin by showing that the moduli space of maps from a fixed curve to the moduli stack Cg of smooth proper curves of genus g is bounded over C (i.e., it is a space of finite type) and zero-dimensional (i.e., its objects are “rigid”). However, the analogue of the Shafarevich conjecture for families of higher-dimensional fails, as families of such varieties fail to be rigid. Let us be more precise. One can not take “N = 0” in Theorem 1.1 when deg h> 1, as there are many curves C which admit a non-constant non-rigid morphism C → M ⊗Q C. For example, let g ≥ 2 be an integer and let C → Cg be a non-isotrivial morphism (associated to a non-isotrivial smooth proper curve of genus g over C). Define U = C × C. Then U admits a quasi- finite morphism to Cg × Cg, and therefore also to M. However, the set of non-constant morphisms C → U = C × C is clearly not finite. For another example, note that one can also use Faltings’s construction of a non-rigid family of polarized abelian varieties of dimension 8 over a smooth curve [Fal83a]. The crux of our proof is that families of higher-dimensional polarized varieties are rigid, as long as one fixes “enough” fibres of the family. Our proof of this novel rigidity result uses Viehweg-Zuo sheaves and constructions with Higgs bundles. Our main finiteness result (Theorem 1.1) then follows by combining this rigidity result (see Theorem 3.1) with the well-known boundedness of the moduli space of maps from a fixed curve to Mh (see [KL11]). Note that in Theorem 1.1 we do not assume U to be smooth, nor even normal. Indeed, imposing smoothness or normality of U would be unnatural, as the singularities of the moduli stack of polarized varieties with semi-ample canonical bundle verify Murphy’s Law; see [Vak06]. Examples of varieties whose canonical bundle is semi-ample are canonically polarized varieties (which have ample canonical bundle) and polarized varieties with trivial canonical bundle (e.g., polarized abelian varieties). If the fibres of (V, L) → U have trivial canonical bundle, then the fibres of (V, L) → U satisfy infinitesimal Torelli, so that the conclusion of Theorem 1.1 can be deduced from finiteness properties of varieties with a quasi-finite period map; see [JLb, Theorem 1.5] for details. However, in the case of canonically polarized fibres our finiteness result is new.

1.1. Motivation: Lang-Vojta’s conjecture on hyperbolicity. We were ﬁrst led to investigate the pointed version of the Shafarevich conjecture by the Lang-Vojta conjectures [Lan86, Voj87] (see also [Jav]). Indeed, the Lang-Vojta conjectures predict that the complex-analytic hyperbolicity of a quasi-projective variety over C should force a plethora of arithmetic and geometric ﬁniteness properties (see for example [Jav18, JKa]). In fact, the following version of the Lang-Vojta conjectures formed the guiding thread in our investigations on the Weak-Pointed Shafarevich Conjecture: Conjecture 1.2 (Lang-Vojta). Let X be a quasi-projective variety over C. Then the following statements are equivalent. 4 ARIYANJAVANPEYKAR,RUIRANSUN,ANDKANGZUO

(1) The variety X is Brody hyperbolic. (2) Every subvariety of X is of log-general type. (3) For every smooth quasi-projective connected curve C over C, every c ∈ C(C), every x ∈ X(C), the set of morphisms f : C → X with f(c)= x is finite. The history of results on the hyperbolicity of varieties with a quasi-finite morphism to M ⊗Q C goes back to Kebekus-Kovács and Migliorini [KK08b, KK08a, KK10, Mig95]; see [Kov09, Kov03] for detailed discussions. In fact, a variety U over C which admits a quasi-finite morphism to M⊗QC is Brody hyperbolic by Viehweg-Zuo’s theorem [VZ03a], and even Kobayashi hyperbolic by To-Yeung and Schumacher’s work [Sch14, TY15]. Recently, in [DLSZ] the authors also showed that U is Borel hyperbolic in the sense of [JKb] (i.e., every holomorphic map San → U an with S a reduced finite type scheme over C is algebraic). On the algebraic side, it is known that every closed subvariety of U is of log-general type by Campana-P˘aun’s theorem [CP15] (see also [Sch17]). Thus, as a variety U over C which admits a quasi-finite morphism to M ⊗Q C satisfies properties (1) and (2) above, the Lang-Vojta conjecture (Conjecture 1.2) predicts certain finiteness properties for the variety U, and our main result (Theorem 1.1) provides precisely such a finiteness property. Thus, we invite the reader to view our finiteness result (Theorem 1.1) as completing part of the picture predicted by the Lang-Vojta conjecture for U. The above version of the Lang-Vojta conjecture actually predicts an even stronger finiteness property for U; we discuss this stronger property in Conjecture 1.6 below. The restriction in the aforementioned results (as well as our results) to families of varieties with semi-ample canonical bundle is necessary, as moduli stacks of Fano varieties are not necessarily hyperbolic; see [JL18, Section 5]. Finally, let us note that we restrict ourselves to varieties U with a quasi-finite morphism to the stack M and do not work directly with the stack M itself to avoid technicalities such as resolving singularities of the stack M, the theory of Higgs bundles on stacks, and variations of Hodge structures on stacks. However, a simple argument (similar to Chevalley-Weil’s theorem) shows that our main result can be used to prove that the stack M (or its connected components Mh) satisfy similar finiteness properties, under the assumption that M is uniformizable, i.e., there is a scheme M and a finite étale morphism M →M (see [Noo04]). Examples of components of M which are uniformizable are the stack of polarized abelian varieties and the stack Cg of curves of genus g ≥ 2, as well as the stack of smooth hypersurfaces [JL17b] and the stack of very canonically polarized varieties [Pop75]. In light of these examples, it seems reasonable to suspect that the stack M ⊗Q C is in fact uniformizable. We formulate our expectation as a conjecture: Conjecture 1.3 (Uniformizability of M). If h ∈ Q[t] is a polynomial, then the stack Mh over Q of polarized smooth proper geometrically connected varieties with semi-ample canonical bundle is uniformizable by a (quasi-projective) scheme over Q. 1.2. Arithmetic application. Although led by the Lang-Vojta conjecture and its many predictions, our actual motivation for investigating finiteness of pointed families of polarized varieties is of an arithmetic nature. Indeed, our motivation for proving Theorem 1.1 stems from arithmetic questions surrounding integral points on the moduli stack M over Q. In fact, by using Theorem 1.1 we are able to verify certain expected finiteness properties for integral points on M; see Theorem 1.5 below for a precise statement. FINITENESS OF POINTED FAMILIES OF POLARIZED VARIETIES 5

Let k be an algebraically closed field of characteristic zero. A variety X over k is said to be arithmetically hyperbolic over k if there is a Z-finitely generated subring A ⊂ k ∼ and a finite type separated A-scheme X with Xk = X over k such that, for all Z-finitely generated subrings A′ ⊂ k containing A, the set X (A′) of A′-points on X is finite. Thus, roughly speaking, a variety is arithmetically hyperbolic if it has only finitely many integral points. Note that this notion for varieties naturally extends Lang’s notions [Lan74] of the Siegel property for affine varieties over number fields; see also [Jav, §7] or [Voj15]. In [Lan60], Lang suggests that finiteness statements involving integral points over rings of integers should continue to hold over arbitrary Z-finitely generated subrings of C. For example, after work of Siegel [Sie21], Mahler [Mah33], and Parry [Par50] in the classical setting of rings of (S-)integers, Lang showed that the unit equation u + v = 1 has only finitely many solutions u, v ∈ A when A is a Z-finitely generated subring of C. More generally, Lang [Lan60] proved Siegel’s theorem [Sie14] on integral points on affine curves in this general setting (the unit equation corresponding to integral points on the affine curve A1 \{0, 1}), thereby verifying that his general principle holds for affine curves. Summarizing, Lang proved that the arithmetic hyperbolicity of a smooth affine curve over Q persists after extending the base field. It is reasonable to suspect this “persistence” of arithmetic hyperbolicity to also hold for higher-dimensional varieties. The formal statement we are interested in is the Persistence Conjecture for quasi-projective varieties. Conjecture 1.4 (Persistence Conjecture). Let k ⊂ L be an extension of algebraically closed fields of characteristic zero. If X is an arithmetically hyperbolic variety over k, then XL is arithmetically hyperbolic over L. This conjecture has been investigated in [BJK, Jav, Jav18, JLa, JLb, JX] in the case of varieties with a quasi-finite period map, finite covers of abelian varieties, algebraically hyperbolic varieties, Brody hyperbolic varieties, hyperbolically embeddable varieties, and surfaces with non-zero irregularity, respectively. It appears implicitly in the work of Faltings, Lang, and Vojta; see [Fal84, Fal94, Voj15]. The arithmetic application we give of the Weak-Pointed Shafarevich Conjecture (The- orem 1.1) is that the Persistence Conjecture holds for base spaces of families of polarized varieties with semi-ample canonical bundle. Theorem 1.5 (Persistence Conjecture holds for U). Let k be an algebraically closed field of characteristic zero, and let U be a variety over k which admits a quasi-finite morphism U → M ⊗ k. Let k ⊂ L be an extension of algebraically closed fields of characteristic zero. If U is arithmetically hyperbolic over k, then UL is arithmetically hyperbolic over L. We mention that the Persistence Conjecture can also be formulated for stacks (and, in particular, the stacks Mh defined above) using the notion of arithmetic hyperbolicity defined in [JLc]. We have chosen to avoid stack-theoretic technicalities in this paper and instead focused on proving new finiteness results for varieties with a quasi-finite morphism to M. Finally, let us also mention that verifying the arithmetic hyperbolicity of the stacks Mh is a hard problem in arithmetic geometry; we refer the reader to [Fal83b, Jav15, JL17a, JL18, LS, LV] for examples of moduli spaces for which we can verify the arithmetic hyperbolicity. 6 ARIYANJAVANPEYKAR,RUIRANSUN,ANDKANGZUO

1.3. An open problem. If X is a Brody hyperbolic proper variety over C, then Urata proved that, for (C,c) a smooth connected pointed curve over C and x a point of X, the set of morphisms f : C → X with f(c)= x is finite; see [Ura79]. It follows from Urata’s theorem and Viehweg-Zuo’s theorem on the Brody hyperbolicity of moduli spaces that, if U is a projective variety over C admitting a (quasi-)finite morphism to M ⊗Q C, then the set of pointed maps f : (C,c) → (U, u) is finite; see [JLb, Example 2.3] for details. Thus, if U is projective, then the conclusion of Theorem 1.1 can be strengthened; one only needs to choose one point on the curve C to force the finiteness of the set of pointed deg h−1 maps (whereas in Theorem 1.1 one has to choose at least 2 2g(C) − 2+#(C \ C) points on C). Our version of the Lang-Vojta conjecture (Conjecture 1.2) actually predicts that the above finiteness property should hold for every quasi-projective variety admitting a quasi- finite morphism to M ⊗Q C. That is, the conclusion of Urata’s theorem should hold for any variety U which admits a quasi-finite morphism M ⊗Q C. We formulate this expectation as a conjecture.

Conjecture 1.6 (Pointed Shafarevich Conjecture). Let U be a variety over C which admits a quasi-ﬁnite morphism U → M⊗QC. If C is a smooth quasi-projective connected curve over C, c ∈ C(C), and u ∈ U(C), then the set of morphisms f : C → U with f(c)= u is ﬁnite.

We stress that Conjecture 1.6 is a consequence of Conjecture 1.2 and the Brody hyperbolicity of U, as proven by Viehweg-Zuo. Roughly speaking, the Pointed Shafarevich Conjecture asserts the finiteness of families over C with a “fixed fibre” over a “fixed point” of C. This conjecture (Conjecture 1.6) is known in some special cases. For instance, if deg h = 1 (so that Mh is a connected component of the moduli stack of smooth proper curves of genus at least two), then Conjecture 1.6 is a direct consequence of Arakelov-Parshin’s result [Ara71, Par68]. If dim Mh = 1, then Conjecture 1.6 is a consequence of the finiteness theorem of de Franchis-Severi. Moreover, as mentioned before, it can also be proven if U is proper (by combining Viehweg-Zuo’s result and Urata’s theorem); see [JLb, Example 2.3] for details. Finally, if U admits a quasi-finite period map (e.g., the fibres of the family (V, L) → U satisfy infinitesimal Torelli), then Conjecture 1.6 is a consequence of Deligne’s finiteness theorem for monodromy representations [Del87] and the Rigidity Theorem in Hodge theory [Sch73, 7.24]; see [JLb, Theorem 1.5].

Acknowledgements. The ﬁrst named author gratefully acknowledges support of the IHES. The authors gratefully acknowledge support from SFB/Transregio 45.

Conventions. A variety over k is an integral ﬁnite type separated scheme over k. A pair (X, L) is a (smooth proper connected) polarized variety over k if X is a smooth projective connected variety over k and L is an ample line bundle on X. If L/k is an extension of ﬁelds and U is a variety (or algebraic stack) over k, then we let UL denote the base-change of U to Spec L. Sometimes we will denote UL as U ⊗k L to avoid possible confusion. FINITENESS OF POINTED FAMILIES OF POLARIZED VARIETIES 7

2. Deformation theory In this section we recollect some facts about log deformation theory. We follow the notation in [ACG+13, §7]. The reference for the main result we need is [Ols05]. Let X0, Y0, and Z0 be log schemes. Consider a commutative diagram of solid arrows:

i / X0 X ✵ ❇❇ ✴✴❅ ✵✵ ❇❇ f0 ✴ ❅ f ✵ ❇❇ ✴✴ ❅ ✵ ❇❇ ✴ ❅ ✵✵ j ✴ ✵ Y ✴✴ / Y h0 ✵✵ 0 h ✴ ✵✵ ✴✴ ✵✵ g0 ✴✴ g ✵ ✴ k / Z0 Z, where i, j, and k are closed immersions deﬁned by square-zero ideal sheaves I, J, and K living on X, Y , and Z respectively. We say that f : X → Y is a deformation of the log morphism f0 if the diagram above is commutative. The following result gives the obstruction space to deforming f0.

1 ∗ Theorem 2.1. There is a canonically deﬁned class o ∈ Ext (f0 LY0/Z0 ,I) which is the obstruction class of lifting f0 to some f : X → Y . Here LY0/Z0 is the log cotangent complex. 0 ∗ If o =0, then the deformation space is a torsor under the group Ext (f0 LY0/Z0 ,I).

Proof. See [Ols05, Theorem 5.4].

2.1. Deformations of pointed log morphisms. We will apply Theorem 2.1 to the following situation. Let C be a smooth projective connected variety over k, and let D be a simple normal crossings divisor on C. Let Y be a smooth projective connected variety † over k, and let S be a simple normal crossings divisor on Y . Now, consider X0 = C , X = C† × Spec k[ǫ], where C† is the log scheme induced from the log pair (C,D), and † let I = (ǫ) be the square-zero ideal in OX . Similarly, let Y0 = Y , Y = Y0 × Spec k[ǫ] and Z0 = Spec k and Z = Spec k[ǫ]. Since (Y,S) is a smooth log pair, the log cotangent 1 complex LY0/Z0 collapses to the usual log cotangent sheaf ΩY (log S). The deformation space THom((C,D),(Y,S)),[f0] of a given log morphism f0 : X0 → Y0 can be computed as follows.

Corollary 2.2. Then the (inﬁnitesimal) deformation space of f0 is given by

∼ 0 ∗ 1 ∼ 0 ∗ THom((C,D),(Y,S)),[f0] = Ext (f0 ΩY (log S), OC ) = H (C, f0 TY (− log S)).

Proof. This is a direct consequence of Theorem 2.1.

We will be concerned with the deformation space of a “pointed” log morphism, i.e., a log morphism which ﬁxes a given set of base points B ⊂ C \ D. More precisely, suppose 8 ARIYANJAVANPEYKAR,RUIRANSUN,ANDKANGZUO that we are given the following commutative diagram B / B × Spec k[ǫ] ✴❃ ✴ ❃❃ ❉❉ ◗◗◗ ✴ ❃ i ❉ ◗◗◗ ✴✴ ❃❃ ❉❉ ◗◗◗ ✴ ❃❃ ❉❉ ◗◗◗ ✴ ❉❉ ◗( ✴✴ † ❉❉ / † ✴ C ❉❉ C × Spec k[ǫ] ✴✴ ❉❉ ✴ ❉❉ ✴✴ f0 ❉❉ f ✴ ❉❉! Y † = / Y † × Spec k[ǫ], where i is the inclusion. We say that f is a deformation of f0 with base points B if the composed morphism B × Spec k[ǫ] → Y † × Spec k[ǫ] is the trivial deformation of † f0 ◦ i : B → Y .

Proposition 2.3. Let (C,D), (Y,S) be smooth log varieties, let f0 : (C,D) → (Y,S) be a log morphism, and let B ⊂ C \ D be a finite closed subset. Then ∼ 0 ∗ THom((C,D),(Y,S);B),[f0] = H (C, f0 TY (− log S) ⊗ OC (−B)). Proof. By Corollary 2.2, any first order infinitesimal deformation f : C† × Spec k[ǫ] → Y † 1 corresponds to a morphism ζf : ΩY (log S) → (ǫ) ⊗ OC . Given a deformation f with base 1 points B, it follows that the composed map ΩY (log S) → (ǫ) ⊗ OC → (ǫ) ⊗ OB is zero. In particular, there is a natural factorization

1 ΩY (log S) ▼ ♥ ♥ ▼▼▼ ♥ ζ ▼▼ ♥ f ▼▼▼ ♥v ♥ ▼▼& / / / / 0 (ǫ) ⊗ OC (−B) (ǫ) ⊗ OC (ǫ) ⊗ OB 0.

This shows that f is a deformation of f0 with base points B if and only if the induced 1 1 morphism ζf : ΩY (log S) → (ǫ) ⊗ OC factors through ΩY (log S) → (ǫ) ⊗ OC (−B). This concludes the proof.

3. Deforming pointed families of polarized varieties In this section, we study non-trivial deformations of pointed curves in the moduli stack of polarized manifolds with semi-ample canonical bundle using Viehweg-Zuo sheaves. Notably, we use negativity results of kernels of Higgs bundles to force the rigidity of pointed curves in the moduli space M ⊗Q C, assuming “enough” base points have been chosen on the curve; see Theorem 3.1 for a precise statement. Before stating the main result of this section, we introduce the necessary notation. Recall that Mh denotes the stack of smooth proper polarized varieties (X, L) with Hilbert polynomial h. Let U be a variety over C, i.e., U is an integral finite type separated scheme over C. Let ϕ : U →Mh ⊗ C be a quasi-finite morphism of stacks. The pull-back of the universal family over Mh ⊗ C along ϕ induces a polarized variety over U. Concretely: there is a a smooth proper morphism π : V → U whose geometric fibres are connected with semi-ample canonical divisor, and a π-relatively ample line FINITENESS OF POINTED FAMILIES OF POLARIZED VARIETIES 9 bundle L on V , so that the moduli map U →Mh ⊗ C associated to the polarized variety (V, L) → U is given by ϕ. Since ϕ is quasi-finite, it follows from the quasi-projectivity of the coarse space of the stack Mh ⊗Q C that U is quasi-projective (see [Vie10]). We let d denote the fibre dimension, i.e., d = deg h. Let Y be an integral projective compactification of U, and define S := Y \ U. Let (C,D) be a log curve and let f0 :(C,D) → (Y,S) be a log morphism. Let B be a finite closed subset of C \ D. Let ψ : Yˆ → Y be a resolution of singularities such that the following statements hold: (1) The subvariety Sˆ = ψ−1(S) is a simple normal crossings divisor. (2) The inverse image E of Y sing along ψ : Yˆ → Y is a simple normal crossings divisor and Sˆ ∪ E is a simple normal crossings divisor. −1 sing sing (3) The morphism ψ|ψ−1(Y \Y sing ) : ψ (Y \ Y ) → Y \ Y is an isomorphism. Throughout this section we will make the following assumptions.

Assumptions. We assume that f0 is non-constant and that its image is not contained in the singular locus of Y , so that there is a (unique) lift

fˆ0 : (C,D) → (Y,ˆ Sˆ) of the morphism f0 to (Y,ˆ Sˆ). We also assume throughout this section that f0 is non- rigid as an element of the moduli space Hom((C,D), (Y,S); B) . That is, we assume that the connected component of Hom((C,D), (Y,S); B) containing f0 is positive-dimensional. In particular, the tangent space of this moduli space at f0 is non-zero, i.e., ∼ 0 ∗ THom((C,D),(Y,S);B),[f0] = H (C, f0 TY (− log S) ⊗ OC (−B)) =06 .

The main result of this section is that our assumptions on f0 (e.g., the non-rigidity of f0) force the set B to be “small”. More precisely, the number of elements in B is bounded linearly by the dimension d of the ﬁbres of V → U and the compactly supported Euler characteristic of the curve C \ D; see Theorem 3.1 below for a precise statement. To set-up the proof of Theorem 3.1 we introduce some additional objects. We pull-back the family X → Y along ψ and resolve the singularities of the total space to obtain a surjective proper morphism g : Xˆ → Yˆ of smooth projective varieties with ∆ˆ := g−1(Sˆ) a normal crossings divisor on Xˆ and such that the following diagram commutes

open immersion V / X o Xˆ

π g U / Y o Yˆ open immersion ψ 10 ARIYANJAVANPEYKAR,RUIRANSUN,ANDKANGZUO

We define d−1,1 1 ˆ F := R g∗TX/ˆ Yˆ (− log ∆). This will be a component of a graded Higgs bundle constructed below. sing Define B1 to be the subset of points b in B such that f0(b) ∈ Y , and let B2 = B\B1. sing sing Since ψ is an isomorphism over Y \ Y , we may consider f0(B2) ⊂ Y \ Y ⊂ Y as a subset of Yˆ . ˆ By our assumptions, it follows that f0 is non-rigid as an element of ˆ ˆ Hom (C,D + B1), (Y, S + E); B2 . Therefore, there is a smooth affine connected curve T over C, a closed point 0 in T , and a non-trivial deformation fˆ : T × (C,D) → (Y,ˆ Sˆ) ˆ ˆ ˆ of f0 such that f0 = f|{0}×(C,D). Note that the morphism T × (C \ D) → U induces a family over T × C with maximal variation in moduli, i.e., the image of the moduli map T × (C \ D) → Mh associated to the family over T × (C \ D) is two-dimensional. In what follows, we will use the existence of this family over T × (C \ D) to construct, for t a general point of T , a non-zero map ˆ∗ d−1,1 ξ : OC (B) → ft F .

−1 We deﬁne E0 := ψ (f0(B1)) ⊂ Yˆ . By deﬁnition, as fˆ deforms fˆ0 inside ˆ ˆ Hom (C,D + B1), (Y, S + E); B2 , we obtain the following commutative diagram: / T × B_ 1 E0 _

fˆ T × C / Y.ˆ Consider the Kodaira-Spencer map d,0 ˆ d−1,1 τ : TYˆ (− log S) → F .

Since the pull-back family g : Xˆ → Yˆ is trivial along E0 ⊂ Yˆ , the following composed map d,0 ˆ τ |E d−1,1 TE0 → TYˆ (− log S)|E0 −−−→ F |E0 is zero. Thus, as the following diagram

/ ˆ∗ (3.1) TT ×B1 f TE0 ❘❘❘ ❘❘❘ ❘❘❘≡0 ❘❘❘ ❘❘❘) / ˆ∗ ˆ / ˆ∗ d−1,1 TT ×C (− log(T × D))|T ×B1 f TYˆ (− log S)|T ×B1 f F |T ×B1 FINITENESS OF POINTED FAMILIES OF POLARIZED VARIETIES 11

ˆ∗ d−1,1 commutes, it follows that the restricted Kodaira-Spencer map TT ×B1 → f F |T ×B1 is zero. Note that the log tangent bundle of the product surface decomposes as the direct sum ∗ ∗ TT ×C (− log(T × D)) = p1TT ⊕ (p2TC (− log D)) . Moreover, note that ∗ p1TT |T ×B1 = TT ×B1 . Since the family over T × (C \ D) has maximal variation in moduli, by basic properties of the Kodaira-Spencer map, for t a general point of T , the composed map ˆ ˆ∗ d,0 ∼ ∗ ˆ∗ df ˆ∗ ˆ ft τ ˆ∗ d−1,1 OC = p1TT |{t}×C ֒→ ft TT ×C (− log(T × D)) −→ ft TYˆ (− log S) −−−→ ft F is non-zero. Moreover, since the log deformation fˆ : T × C → Yˆ of f0 maps B2 to a ﬁxed subset of Y \ Y sing ⊂ Yˆ , it follows from Propostion 2.3 that the composition of the ˆ∗ ˆ ﬁrst two maps OC → ft TYˆ (− log S) factors through ˆ∗ ˆ OC → ft TYˆ (− log S)(−B2). On the other hand, by Diagram (3.1), the composed map ˆ∗ ˆ ˆ∗ d−1,1 ˆ∗ d−1,1 OC → ft TYˆ (− log S)(−B2) → ft F (−B2) → ft F |B1 is the zero map. Thus, from the following diagram / / / / 0 OC (−B1) ❦ OC OB1 0 ❦ ❦ ∃! ❦ ❦ ❦ ❦ ≡0 ❦u ❦ / ˆ∗ d−1,1 / ˆ∗ d−1,1 / ˆ∗ d−1,1 / 0 ft F ⊗ OC (−B) ft F (−B2) ft F |B1 0 ˆ∗ d−1,1 we deduce that the composed map OC → ft F (−B2) factors through ˆ∗ d−1,1 OC → ft F ⊗ OC (−B).

Tensoring with OC (B), this induces a natural non-zero map ˆ∗ d−1,1 ξ : OC (B) → ft F . The properties of this map are crucial in our proof of Theorem 3.1 below. In fact, in the proof of Theorem 3.1 below, we will combine the existence of the map ξ with Viehweg-Zuo’s construction of certain graded Higgs bundles to prove an upper bound on #B. As we alluded to above, the sheaf F d−1,1 is a piece of a graded Higgs bundle constructed by Viehweg-Zuo. More precisely, by Viehweg-Zuo’s construction [VZ03a, §6] (see also [VZ02, §4]), there is a graded Higgs bundle (F, τ) associated to the family g : Xˆ → Yˆ with bi-graded structure ( F p,q, τ p,q), where Lp+q=d Lp+q=d F p,q := Rqg T q (− log ∆)ˆ / . ∗ X/ˆ Yˆ torsion and the morphism τ p,q is induced by the edge morphism of a long exact sequence of higher direct image sheaves τ p,q : Rqg T q (− log ∆)ˆ → Rq+1g T q+1 (− log ∆)ˆ ⊗ Ω1 (log Sˆ). ∗ X/ˆ Yˆ ∗ X/ˆ Yˆ Yˆ 12 ARIYANJAVANPEYKAR,RUIRANSUN,ANDKANGZUO

Here T q (− log ∆)ˆ denotes the q-th wedge product of the relative log tangent sheaf X/ˆ Yˆ ˆ TX/ˆ Yˆ (− log ∆). By construction, the ﬁrst Higgs map d,0 d,0 ∼ d−1,1 1 ˆ τ : F = OYˆ → F ⊗ ΩYˆ (log S) is the Kodaira-Spencer class (inducing the Kodaira-Spencer map above). Composing the d−1,1 non-zero map ξ with τC , we obtain the following sequence of maps

d−1,1 ξ ˆ∗ d−1,1 τC ˆ∗ d−2,2 1 (3.2) OC (B) −→ f0 F −−−→ f0 F ⊗ ΩC (log D), where τC is the composition of

ˆ∗ ˆ ˆ∗ f0 τ ˆ∗ ˆ∗ 1 ˆ Id⊗df0 ˆ∗ 1 f0 F −−→ f0 F ⊗ f0 ΩYˆ (log S) −−−−→ f0 F ⊗ ΩC (log D).

Tensoring the composed map (3.2) above with TC (− log D), one obtains ˆ∗ d−1,1 ˆ∗ d−2,2 OC (B) ⊗ TC (− log D) → ft F ⊗ TC (− log D) → ft F For every m ≥ 0, by iterating the above construction, we obtain the following map of sheaves m ⊗m ∗ d−m−1,m+1 τ : OC (B) ⊗ TC (− log D) −→ f0 F . These maps τ m are “pointed” variants of iterated Higgs maps; see [Kov05] and [VZ05] for the classical iterated Higgs maps, respectively In a series of papers [VZ01, VZ02, VZ03a], Viehweg-Zuo proved the negativity of the kernel of the Higgs map τ and used this negativity to derive the Brody hyperbolicity of the base space U. The idea is to construct a new family of varieties such that there is a natural comparison map from the Higgs bundle (F, τ) to the Hodge bundle (E, θ) of the new family twisted with a certain anti-ample line bundle A−1, so that, as a consequence, we get a nonzero map from Ker(τ d−m,m) to A−1 ⊗ Ker(θd−m,m). Then, as the Griﬃths curvature formula for the Hodge bundle implies that the kernel of θ is semi-negative, it follows that Ker(τ d−m,m) is strictly negative, so that the dual of Ker(τ d−m,m) induces a big subsheaf of the mth-symmetric power of the cotangent sheaf of the base space; the latter subsheaf is commonly referred to as the Viehweg-Zuo subsheaf, and its existence has proven to be very useful in proving the hyperbolicity of moduli spaces of polarized varieties. For example, Campana-P˘aun [CP15] proved Viehweg’s hyperbolicity conjecture using the existence of Viehweg-Zuo sheaves; see [CKT16, Sch17] for a detailed discussion. Also, Deng recently used properties of Viehweg-Zuo sheaves to prove the hyperbolicity of the moduli space of polarized varieties with big and semi-ample canonical bundle [Den18a]. Moreover, the properties of Viehweg-Zuo sheaves can be used to prove rigidity of certain families of canonically polarized varieties with maximal variation in moduli [VZ03b]. Finally, let us mention that Popa-Schnell used Hodge modules to construct Viehweg-Zuo sheaves; see [PS17]. The crucial point in the construction of the Viehweg-Zuo big subsheaf is the construction of the new family of varieties (which provides the suitable Hodge bundle). FINITENESS OF POINTED FAMILIES OF POLARIZED VARIETIES 13

Viehweg-Zuo originally constructed this family as the cyclic covering of some section of d ˆ ν ∗ −ν (ΩX/ˆ Yˆ (log ∆)) ⊗ g A over the total space Xˆ. Then, by positivity results for the direct image sheaf of the relative canonical bundle, the sheaf d ˆ ν ∗ −1 (ΩX/ˆ Yˆ (log ∆)) ⊗ g A is globally generated for ν ≫ 0. In [VZ03a] Viehweg-Zuo used iterated self-fibre products and replaced the original family Xˆ → Yˆ by its r-th self-fibre product Xˆ′ := Xˆ r → Yˆ d ν ∗ −ν to obtain sections in (Ω ′ (log ∆))ˆ ⊗ g A , where r is some large enough integer. If Xˆ /Yˆ we were to follow this line of reasoning, we would lose control of the fibre dimension d = deg h of the family. To maintain this control in the following proof of Theorem 3.1, we will follow a variant of Viehweg-Zuo’s construction appearing in the proof of [VZ02, Theorem 1.4.iv]. Theorem 3.1 (Pointed Rigidity). The inequality d − 1 #B < (2g(C) − 2 + #D) 2 holds. Proof. The idea is to use Kawamata’s covering trick, and Griffiths’s curvature com- putations for variations of Hodge structures. More precisely, using that the fibres of π : V → U are semi-ample, Viehweg-Zuo proved in [VZ02, Corollary 3.6] that, for ν > 0 large enough, the sheaf d ˆ ν g∗(ΩX/ˆ Yˆ (log ∆)) is big in the sense of Viehweg; see [VZ02, Definition 1.1] for a precise definition. By [VZ02, Lemma 1.2], there is an ample line bundle A and a positive integer ν such that the sheaf d ˆ ν ∗ −1 (ΩX/ˆ Yˆ (log ∆)) ⊗ g A is globally generated. Then, there is a ramified covering ψ : Y ′ → Yˆ such that ψ∗A = A′ν for some ample line bundle A′ on Y ′ (see [VZ02, Lemma 2.3.(a)]). In this way, we get sections of (ψ∗Ωd (log ∆)ˆ ⊗ g′∗A′−1)⊗ν. Here g′ : X′ → Y ′ is a modification of the X/ˆ Yˆ base change of the family g : Xˆ → Yˆ along ψ : Y ′ → Y . Following the arguments ′ in [VZ03a, VZ02], we obtain the Hodge bundle (EY ′ , θY ′ ) over Y and the following commutative diagram

p,q (3.3) ψ∗F p,q τ / ψ∗F p−1,q+1 ⊗ ψ∗Ω1 (log Sˆ) Yˆ

ρp,q ρp−1,q+1⊗ι p,q θ ′ ′−1 p,q Y / ′−1 p−1,q+1 1 ′ new A ⊗ EY ′ A ⊗ EY ′ ⊗ ΩY ′ (log(S + S )). Here S′ is the base change of Sˆ to Y ′, and Snew is the additional discriminant locus of the new family (i.e., the singular fibres of the new family lie over S′ ∪ Snew). A 14 ARIYANJAVANPEYKAR,RUIRANSUN,ANDKANGZUO detailed construction of the diagram above can be found in the proofs of Lemma 4.1 and Lemma 4.4.(i) of [VZ02]. ′ ′ We now pull-back fˆ0 : C → Yˆ along Y → Yˆ . Denote by C the induced ramified ′ covering of C. Then, we can construct (EC′ , θC′ ) on C from the Hodge bundle (EY ′ , θY ′ ) ˆ∗ ′ similarly to the construction of FC := f0 (F, τC ). Denote by AC′ the pull back of the ample line bundle over C′. Using the comparison maps we obtain a nonzero map ∗ d−m−1,m+1 ′−1 d−m−1,m+1 ψ FC → AC′ ⊗ EC′ for each nonnegative integer m. Moreover, for each such m, we also have the map m ⊗m d−m−1,m+1 τ : OC (B) ⊗ TC (− log D) → FC . Base-changing τ m to C′, we get the composed map ∗ ∗ ⊗m ∗ d−m−1,m+1 ′−1 d−m−1,m+1 ζm : ψ OC (B) ⊗ ψ TC (− log D) → ψ FC → AC′ ⊗ EC′ . Let m be the maximal length of this “(pointed) iterated Higgs map”. That is, the map d−m−1,m+1 ζm is nonzero and the composition θC′ ◦ ζm ≡ 0. To see that such an integer m exists, it suffices to note that the following composed map ∗ d−1,1 ∗ ψ ξ ∗ d−1,1 ρ ′−1 d−1,1 ζ0 : ψ OC (B) −−→ ψ FC −−−→ AC′ ⊗ EC′ is nonzero. To show this, we use that the induced polarized family over T × (C \ D) has maximal variation in moduli, so that the composition of its Kodaira-Spencer map and the comparison map ρd−1,1 is generically injective (recall that ξ comes from the restriction of the Kodaira-Spencer map of T × C); see [Den18b] for details. In this way, we have that 0,d 0 ≤ m ≤ d − 1, where the upper bound m ≤ d − 1 follows from the fact that θC′ ≡ 0. We shall use the iterated (composed) Higgs maps ζ0,ζ1,...,ζm to construct a sub-Higgs ′−1 ′ ′ bundle (G, τG) of AC′ ⊗ EC , so that we get a sub-Higgs bundle (AC′ , 0) ⊗ (G, τG) of the d,0 d−j,j Hodge bundle (EC′ , θC′ ). Write G := {0} and G = Im(ζj−1) for j =1, 2,...,m+1. d−j,j ′−1 ′ Note that, for every 1 ≤ j ≤ m+1, the sheaf G is a subsheaf of AC′ ⊗EC . Moreover, it follows from the commutativity of Diagram (3.3) that d−j,j ′ d−j,j ′ d−j−1,j+1 1 ′ new θC′ (AC′ ⊗ G ) ⊂ AC′ ⊗ G ⊗ ΩC′ (log(D + SC′ )). m+1 d−j,j Define G := G . Then, we define the Higgs bundle (G, τG) by letting the Higgs Lj=0 map τG be the restriction of Id ⊗ θC′ to G. Note that (G, τ) is a sub-Higgs bundle of ′−1 ′ AC′ ⊗ EC , as required. We claim that the degree of a sub-Higgs bundle of a Hodge bundle is non-positive. Indeed, suppose that (E, θ) is the Hodge bundle associated to a polarized variation of Hodge structures, say V, and that (G, τ) ⊂ (E, θ) is a sub-Higgs bundle. Then, we have that det(G, τ) ⊂ r(E, θ), where r is the rank of G. Since τ is nilpotent, we have that det(G, τ) = (det G,V0). In particular, by the compatibility of Higgs maps, it follows that det G lands in the kernel of the Higgs map of r(E, θ). By Griffiths’ curvature computation, we conclude that det G is semi-negative.V (Note that Griffiths’ curvature computation works for abstract polarized variations of Hodge structures, i.e., not just those coming from geometry (cf. [Sch73, §7]). That is, we use Griffiths’ curvature computation for the Hodge bundle r(E, θ) associated to the polarized variation of r V ′ Hodge structures V.) It follows that det(A ′ ⊗ G) is semi-negative. V C FINITENESS OF POINTED FAMILIES OF POLARIZED VARIETIES 15

Now, the above construction of G implies that m m ⊗j 1 ∗ ⊗j deg O (B) ⊗ T (− log D) = deg ′ ψ O (B) ⊗ T (− log D) X C C C deg ψ X C C C j=0 j=0 m 1 d−j,j 1 ≤ deg ′ G = · deg ′ G. deg ψ X C deg ψ C j=0 ′ ′ As AC′ is ample and det(AC′ ⊗ G) is semi-negative, we have that degC′ G< 0. Thus, we conclude that m ⊗j 1 deg O (B) ⊗ T (− log D) ≤ · deg ′ G< 0. X C C C deg ψ C j=0 The statement of the theorem now readily follows. Indeed, since

degC TC (− log D)=2 − g(C) − #D, it follows that m(m + 1) m (m + 1)#B + (2 − 2g(C) − #D)= deg O (B) ⊗ T (− log D)⊗j < 0. 2 X C C C j=0 In particular, the following inequality m #B < (2g(C) − 2 + #D) 2 holds. As m ≤ d − 1, we infer that m d − 1 #B < (2g(C) − 2 + #D) ≤ (2g(C) − 2 + #D). 2 2 This concludes the proof.

4. Proof of the Weak-Pointed Shafarevich conjecture In this section we prove Theorem 1.1 by combining our rigidity theorem for pointed curves (Theorem 3.1) with Viehweg’s Arakelov inequality [Vie10]. Proof of Theorem 1.1. By a standard specialization argument (see for instance the proof of [BJK, Lemma 9.6]), we may and do assume that k = C. Then, as in the statement of the theorem, let U be a (integral) variety over C and U → Mh ⊗Q C be a quasi-ﬁnite morphism. Let n := dim U. We argue by induction on n. The statement is clear for n = 0. Thus, we may and do assume that n> 0. Let C be a smooth quasi-projective connected curve over C with smooth projective model C and D := C \ C, let deg h − 1 N ≥ 2g(C) − 2 + #D 2 be an integer, let c1,...,cN be pairwise distinct points in C(C), and let u1,...,uN be points of U(C). Let B = {c1,...,cN } and let Y be a projective compactiﬁcation of U with S := Y \ U. 16 ARIYANJAVANPEYKAR,RUIRANSUN,ANDKANGZUO

Note that the composed map Sing(U) ⊂ U →Mh,C is quasi-finite, where Sing(U) is en- dowed with its reduced structure as a closed subscheme. In particular, every irreducible componentof Sing(U) admits a quasi-finite morphism to Mh,C. Since dim Sing(U) < dim U = n, it follows from the induction hypothesis that the set of non-constant morphisms f : C → U with f(c1)= u1,...,f(cN )= uN and such that f maps into Sing(U) is finite. (Indeed, if there were infinitely many such maps, as Sing(Y ) has only finitely many irreducible components, there would be infinitely many such maps mapping into some irreducible component of Sing(Y ). We can then apply the induction hypothesis to this irreducible component.) Thus, to prove the theorem, it suffices to show that the set of non-constant morphisms f : C → U with f(c1) = u1,...,f(cN ) = uN and such that f(C) 6⊂ Sing(U) is finite. To do so, let us first note that such a morphism f : C → U extends uniquely to a deg h−1 morphism (C,D) → (Y,S) of log schemes. Therefore, as #B = N ≥ 2 (2g(C) − 2 + #D), it follows from Theorem 3.1 that such a morphism f is rigid as an element of Hom (C,D), (Y,S); B , i.e., the connected component of Hom (C,D), (Y,S); B containing the point corresponding to f is zero-dimensional. By Viehweg’s Arakelov inequality (see [Vie10, Theorem 3] or [KL11]), the moduli space Hom (C,D), (Y,S); B is bounded (i.e., of finite type over C), so that it is finite. This concludes the proof. Remark 4.1. The proof of Theorem 1.1 (and also Theorem 3.1) simplifies a bit when U is assumed to be smooth. For example, one does not need to argue by induction on the dimension of U in the above proof. Also, with the notation of Section 3, the set B1 is empty. Remark 4.2 (Arakelov-Parshin’s theorem). Let us show that Arakelov-Parshin’s finiteness theorem follows from Theorem 1.1. Let g ≥ 2 be an integer and let C := Cg ⊗Q k be the stack over k of smooth proper connected curves of genus g. Note that C = Mh, where h(t)=(2g − 2)t + (1 − g). Since deg h = 1, the integer N := 0 satisfies the inequality deg h − 1 N ≥ 2g(C) − 2 + #D . 2 Let U be a variety over k and let ϕ : U → C be a finite étale cover, e.g., U is the moduli [3] space Cg of curves of genus g with level 3 structure. Let C be a smooth connected curve over k, and recall that a morphism C → C is non-isotrivial if the composed map C →C→Ccoarse is non-constant. We argue by contradiction. Thus, let fn : C → C be a sequence of pairwise-distinct non-isotrivial morphisms. For every n, let Dn be a connected component of C ×fn,C,ϕ U. Since each Dn is a finite étale cover of C of degree at most deg(ϕ), the set of isomorphism classes of the curves Dn is finite. Thus, replacing fn by a subsequence if necessary, we ∼ ∼ ∼ may and do assume that D := D1 = D2 = D3 = .... Now, by Theorem 1.1 (with N = 0), the set of non-constant morphisms D → U is finite, so that (clearly) the collection of isomorphism classes of the morphisms fn is finite, contradicting our assumption above. FINITENESS OF POINTED FAMILIES OF POLARIZED VARIETIES 17

5. The Persistence Conjecture for moduli spaces of polarized varieties Throughout this section, we let k be an algebraically closed field of characteristic zero. We start with the following definition (see also [Jav18, Definition 4.1]). Definition 5.1 (Mildly bounded varieties). A variety X over k is mildly bounded over k if, for every smooth quasi-projective connected curve C over k, there is an integer m and points c1,...,cm in C(k) such that, for every x1,...,xm in X(k), the set of morphisms f : C → X with f(c1)= x1,...,f(cm)= xm is finite. With this definition at hand, we get the following consequence of Theorem 1.1 for M, where M denotes the moduli stack of polarized varieties with semi-ample canonical bundle over Q. Theorem 5.2 (The moduli space is mildly bounded). Let K be an algebraically closed field of characteristic zero, let U be a variety over K, and let U → M ⊗Q K be a quasi-finite morphism. Then U is mildly bounded over K. Proof. This is a straightforward consequence of Theorem 1.1 and Definition 5.1. Indeed, let C be a smooth quasi-projective connected curve over K with compactly supported Euler characteristic e(C). Since U is integral, there is a polynomial h ∈ Q[t] such that the quasi-finite morphism U → M⊗Q K factors over a quasi-finite morphism U →Mh ⊗Q K. deg h−1 Let N be a positive integer such that m ≥ 2 e(C), let c1,...,cm in C(K) be pairwise distinct points, and let u1,...,um ∈ U(K). Then, by Theorem 1.1, the set of morphisms f : C → U with f(c1) = u1,...,f(cm) = um is finite, so that (clearly) U is mildly bounded over K. A variety over Q with only finitely many S-integral points in a number field is expected to have only finitely many integral points valued in any finitely generated integral do- main of characteristic zero (see the Persistence Conjecture 1.4 for a precise statement). If the variety in question satisfies some additional “boundedness” property, then this persistence can in fact be proven. For example, the Persistence Conjecture holds in the case of varieties satisfying mild boundedness over all field extensions. Theorem 5.3. Let X be an arithmetically hyperbolic variety over k such that, for every algebraically closed field extension k ⊂ K, the variety XK is mildly bounded over K. Then, for every algebraically closed field extension L/k, the variety XL is arithmetically hyperbolic over L. Proof. See [Jav18, Theorem 4.4]. Now, to prove Theorem 1.5, we combine Theorem 1.1 and Theorem 5.3. Proof of Theorem 1.5. As in the statement of the theorem, let k be an algebraically closed field of characteristic zero, and let U be a variety over k which admits a quasi- finite morphism U → M ⊗ k. Let k ⊂ L be an extension of algebraically closed fields of characteristic zero. Note that, by Theorem 5.2, for every algebraically closed field extension K/k, the variety UK is mildly bounded over K. Therefore, if U is arithmetically hyperbolic over k, then it follows from Theorem 5.3 that UL is arithmetically hyperbolic over L. This concludes the proof. 18 ARIYANJAVANPEYKAR,RUIRANSUN,ANDKANGZUO

References [ACG+13] D. Abramovich, Q. Chen, D. Gillam, Y. Huang, M. Olsson, M. Satriano, and S. Sun. Loga- rithmic geometry and moduli. In Handbook of moduli. Vol. I, volume 24 of Adv. Lect. Math. (ALM), pages 1–61. Int. Press, Somerville, MA, 2013. [Ara71] S. Ju. Arakelov. Families of algebraic curves with fixed degeneracies. Izv. Akad. Nauk SSSR Ser. Mat., 35:1269–1293, 1971. [BJK] R. van Bommel, A. Javanpeykar, and L. Kamenova. Boundedness in families with applications to arithmetic hyperbolicity. arXiv:1907.11225. [CKT16] B. Claudon, S. Kebekus, and B. Taji. Generic positivity and applications to hyperbolicity of moduli spaces, 2016. arXiv:1610.09832, To appear as a chapter of a book on complex hyperbolicity. [CP15] F. Campana and M. P˘aun. Orbifold generic semi-positivity: an application to families of canonically polarized manifolds. Ann. Inst. Fourier (Grenoble), 65(2):835–861, 2015. [Del87] P. Deligne. Un théorème de finitude pour la monodromie. In Discrete groups in geometry and analysis (New Haven, Conn., 1984), volume 67 of Progr. Math., pages 1–19. Birkhäuser Boston, Boston, MA, 1987. [Den18a] Y. Deng. On the hyperbolicity of base spaces for maximal variational families of smooth projective varieties. (with an appendix by Dan Abramovich). 2018. JEMS, to appear. arXiv:1806.01666. [Den18b] Y. Deng. Pseudo Kobayashi hyperbolicity of base spaces of families of minimal projective manifolds with maximal variation. 2018. arXiv:1809.05891. [DLSZ] Y. Deng, S. Lu, R. Sun, and K. Zuo. Picard theorems for moduli spaces of polarized varieties. arXiv:1911.02973. [Fal83a] G. Faltings. Arakelov’s theorem for abelian varieties. Invent. Math., 73(3):337–347, 1983. [Fal83b] G. Faltings. Endlichkeitssätze für abelsche Varietäten über Zahlkörpern. Invent. Math., 73(3):349–366, 1983. [Fal84] G. Faltings. Complements to Mordell. In Rational points (Bonn, 1983/1984), Aspects Math., E6, pages 203–227. Vieweg, Braunschweig, 1984. [Fal94] G. Faltings. The general case of S. Lang’s conjecture. In Barsotti Symposium in Algebraic Geometry (Abano Terme, 1991), volume 15 of Perspect. Math., pages 175–182. Academic Press, San Diego, CA, 1994. [Jav] A. Javanpeykar. The Lang-Vojta conjectures on projective pseudo-hyperbolic varieties. CRM Short Courses Springer, to appear. arXiv:2002.11981. [Jav15] A. Javanpeykar. Néron models and the arithmetic Shafarevich conjecture for certain canonically polarized surfaces. Bull. Lond. Math. Soc., 47(1):55–64, 2015. [Jav18] A. Javanpeykar. Arithmetic hyperbolicity: endomorphisms, automorphisms, hyperkahler varieties, geometricity. arXiv:1809.06818, 2018. [JKa] A. Javanpeykar and L. Kamenova. Demailly’s notion of algebraic hyperbolicity: geometricity, boundedness, moduli of maps. Math. Zeitschrift, to appear. arXiv:1807.03665. [JKb] A. Javanpeykar and R. A. Kucharczyk. Algebraicity of analytic maps to a hyperbolic variety. Math. Nachrichten, to appear. arXiv:1806.09338. [JLa] A. Javanpeykar and A. Levin. Urata’s theorem in the logarithmic case and applications to integral points. arXiv:2002.11709. [JLb] A. Javanpeykar and D. Litt. Integral points on algebraic subvarieties of period domains: from number fields to finitely generated fields. arXiv:1907.13536. [JLc] A. Javanpeykar and D. Loughran. Arithmetic hyperbolicity and a stacky Chevalley-Weil theorem. arXiv:1808.09876. [JL17a] A. Javanpeykar and D. Loughran. Complete intersections: moduli, Torelli, and good reduction. Math. Ann., 368(3-4):1191–1225, 2017. [JL17b] A. Javanpeykar and D. Loughran. The moduli of smooth hypersurfaces with level structure. Manuscripta Math., 154(1-2):13–22, 2017. FINITENESS OF POINTED FAMILIES OF POLARIZED VARIETIES 19

[JL18] A. Javanpeykar and D. Loughran. Good reduction of Fano threefolds and sextic surfaces. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), 18(2):509–535, 2018. [JX] A. Javanpeykar and J. Xie. Finiteness properties of pseudo-hyperbolic varieties. arXiv:1909.12187. [KK08a] S. Kebekus and S. J. Kovács. Families of varieties of general type over compact bases. Adv. Math., 218(3):649–652, 2008. [KK08b] S. Kebekus and S.J. Kovács. Families of canonically polarized varieties over surfaces. Invent. Math., 172(3):657–682, 2008. [KK10] S. Kebekus and S. J. Kovács. The structure of surfaces and threefolds mapping to the moduli stack of canonically polarized varieties. Duke Math. J., 155(1):1–33, 2010. [KL11] S.J. Kovács and M. Lieblich. Erratum for Boundedness of families of canonically polarized manifolds: a higher dimensional analogue of Shafarevich’s conjecture. Ann. of Math. (2), 173(1):585–617, 2011. [Kov03] S. J. Kovács. Families of varieties of general type: the Shafarevich conjecture and related problems. In Higher dimensional varieties and rational points (Budapest, 2001), volume 12 of Bolyai Soc. Math. Stud., pages 133–167. Springer, Berlin, 2003. [Kov05] S. J. Kovács. Strong non-isotriviality and rigidity. In Recent progress in arithmetic and algebraic geometry, volume 386 of Contemp. Math., pages 47–55. Amer. Math. Soc., Providence, RI, 2005. [Kov09] S. J. Kovács. Subvarieties of moduli stacks of canonically polarized varieties: generalizations of Shafarevich’s conjecture. In Algebraic geometry—Seattle 2005. Part 2, volume 80 of Proc. Sympos. Pure Math., pages 685–709. Amer. Math. Soc., Providence, RI, 2009. [Lan60] S. Lang. Integral points on curves. Inst. Hautes Etudes´ Sci. Publ. Math., (6):27–43, 1960. [Lan74] S. Lang. Higher dimensional Diophantine problems. Bull. Amer. Math. Soc., 80:779–787, 1974. [Lan86] S. Lang. Hyperbolic and Diophantine analysis. Bull. Amer. Math. Soc. (N.S.), 14(2):159–205, 1986. [LS] B. Lawrence and W. Sawin. The shafarevich conjecture for hypersurfaces in abelian varieties. arXiv:2004.09046. [LV] B. Lawrence and A. Venkatesh. Diophantine problems and p-adic period mappings. arXiv:1807.02721. [Mah33] K. Mahler. Zur Approximation algebraischer Zahlen. I. Math. Ann., 107(1):691–730, 1933. [Mig95] L. Migliorini. A smooth family of minimal surfaces of general type over a curve of genus at most one is trivial. J. Algebraic Geom., 4(2):353–361, 1995. [MM64] T. Matsusaka and D. Mumford. Two fundamental theorems on deformations of polarized varieties. Amer. J. Math., 86:668–684, 1964. [Noo04] B. Noohi. Fundamental groups of algebraic stacks. J. Inst. Math. Jussieu, 3(1):69–103, 2004. [Ols05] M. C. Olsson. The logarithmic cotangent complex. Math. Ann., 333(4):859–931, 2005. [Par50] C. J. Parry. The p-adic generalisation of the Thue-Siegel theorem. Acta Math., 83:1–100, 1950. [Par68] A. N. Parˇsin. Algebraic curves over function fields. Dokl. Akad. Nauk SSSR, 183:524–526, 1968. [Pop75] H. Popp. On moduli of algebraic varieties. III. Fine moduli spaces. Compositio Math., 31(3):237–258, 1975. [PS17] Mihnea Popa and Christian Schnell. Viehweg’s hyperbolicity conjecture for families with maximal variation. Invent. Math., 208(3):677–713, 2017. [Sch73] W. Schmid. Variation of Hodge structure: the singularities of the period mapping. Invent. Math., 22:211–319, 1973. [Sch14] G. Schumacher. Curvature properties for moduli of canonically polarized manifolds—an anal- ogy to moduli of Calabi-Yau manifolds. C. R. Math. Acad. Sci. Paris, 352(10):835–840, 2014. [Sch17] C. Schnell. On a theorem of Campana and P˘aun. Epijournal´ Geom. Algébrique, 1:Art. 8, 9, 2017. 20 ARIYANJAVANPEYKAR,RUIRANSUN,ANDKANGZUO

[Sha63] I. R. Shafarevich. Algebraic number fields. In Proc. Internat. Congr. Mathematicians (Stock- holm, 1962), pages 163–176. Inst. Mittag-Leffler, Djursholm, 1963. [Sie21] C. Siegel. Approximation algebraischer Zahlen. Math. Z., 10(3-4):173–213, 1921. [Sie14] C. L. Siegel. Uber¨ einige Anwendungen diophantischer Approximationen [reprint of Ab- handlungen der Preußischen Akademie der Wissenschaften. Physikalisch-mathematische Klasse 1929, Nr. 1]. In On some applications of Diophantine approximations, volume 2 of Quad./Monogr., pages 81–138. Ed. Norm., Pisa, 2014. [TY15] W.-K. To and S.-K. Yeung. Finsler metrics and Kobayashi hyperbolicity of the moduli spaces of canonically polarized manifolds. Ann. of Math. (2), 181(2):547–586, 2015. [Ura79] Toshio Urata. Holomorphic mappings into taut complex analytic spaces. Tôhoku Math. J. (2), 31(3):349–353, 1979. [Vak06] Ravi Vakil. Murphy’s law in algebraic geometry: badly-behaved deformation spaces. Invent. Math., 164(3):569–590, 2006. [Vie10] E. Viehweg. Compactifications of smooth families and of moduli spaces of polarized manifolds. Ann. of Math. (2), 172(2):809–910, 2010. [Voj87] P. Vojta. Diophantine approximations and value distribution theory, volume 1239 of Lecture Notes in Mathematics. Springer-Verlag, Berlin, 1987. [Voj15] P. Vojta. A Lang exceptional set for integral points. In Geometry and analysis on manifolds, volume 308 of Progr. Math., pages 177–207. Birkhäuser/Springer, Cham, 2015. [VZ01] E. Viehweg and K. Zuo. On the isotriviality of families of projective manifolds over curves. J. Algebraic Geom., 10(4):781–799, 2001. [VZ02] E. Viehweg and K. Zuo. Base spaces of non-isotrivial families of smooth minimal models. In Complex geometry (Göttingen, 2000), pages 279–328. Springer, Berlin, 2002. [VZ03a] E. Viehweg and K. Zuo. On the Brody hyperbolicity of moduli spaces for canonically polarized manifolds. Duke Math. J., 118(1):103–150, 2003. [VZ03b] Eckart Viehweg and Kang Zuo. Discreteness of minimal models of Kodaira dimension zero and subvarieties of moduli stacks. In Surveys in differential geometry, Vol. VIII (Boston, MA, 2002), volume 8 of Surv. Differ. Geom., pages 337–356. Int. Press, Somerville, MA, 2003. [VZ05] E. Viehweg and K. Zuo. Complex multiplication, Griffiths-Yukawa couplings, and rigidity for families of hypersurfaces. J. Algebraic Geom., 14(3):481–528, 2005.

Ariyan Javanpeykar, Institut fur¨ Mathematik, Johannes Gutenberg-Universitat¨ Mainz, Staudingerweg 9, 55099 Mainz, Germany. E-mail address: [email protected] Ruiran Sun, Institut fur¨ Mathematik, Johannes Gutenberg-Universitat¨ Mainz, Staudinger- weg 9, 55099 Mainz, Germany. E-mail address: [email protected] Kang Zuo, Institut fur¨ Mathematik, Johannes Gutenberg-Universitat¨ Mainz, Staudinger- weg 9, 55099 Mainz, Germany. E-mail address: [email protected]