Lang–Vojta conjecture over function fields for surfaces dominating Gm2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathbb {G}}}_m^2$$\end{document}

We prove the nonsplit case of the Lang–Vojta conjecture over function fields for surfaces of log general type that are ramified covers of Gm2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathbb {G}}}_m^2$$\end{document}. This extends the results of Corvaja and Zannier (J Differ Geom 93(3):355–377, 2013), where the conjecture was proved in the split case, and the results of Corvaja and Zannier (J Algebr Geom 17(2):295–333, 2008), Turchet (Trans Amer Math Soc 369(12):8537–8558, 2017) that were obtained in the case of the complement of a degree four and three component divisor in P2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathbb {P}}}^2$$\end{document}. We follow the strategy developed by Corvaja and Zannier and make explicit all the constants involved.


Introduction
The celebrated Lang-Vojta conjecture, see [24,Conjecture F.5.3.6], predicts degeneracy of S-integral points on varieties of log general type over number fields. It is known in full generality for curves, where it reduces to Siegel's theorem (see for example [35]), and for subvarieties of semi-abelian varieties [22,39,40]. Very deep results have been obtained applying the method developed by Corvaja and Zannier [15], building on [14], which led to the proof of the conjecture in several new cases, e.g. [5,12,17,19,29] (see [10,21] for surveys of known results).
In the case of function fields, the Corvaja and Zannier strategy allows one to obtain results that are still out of reach with the current methods in the number field case: for example, in [18] the authors prove the split case of the conjecture for the complement of a conic and two lines in P 2 , a problem which is still open over number fields. The latter result has then been generalized in [20] for isotrivial surfaces that are ramified covers of G 2 m (see also [9,31,32] for analogous results in the compact and analytic cases).
The goal of this article is to prove the non-isotrivial case of [20]. The setting is the following: let κ be an algebraically closed field of characteristic 0, let κ(C) be the function field of a nonsingular projective curve C and let S be a finite set of points of C. Let (X , D) be a pair of log general type over κ(C), where X is a nonsingular projective surface, D is a simple normal crossings Cartier divisor on X and there is a dominant morphism X \ D → G 2 m over κ (C). Let (X, D) be a log canonical model of (X , D) such that there exists a generically finite dominant morphism π : X → P 2 × C.
Theorem A Let Z be the closure of the ramification divisor of π X\D and assume that the image of the generic fiber π(Z η ) is disjoint from the singular points of P 2 \ G 2 m . Then, for every projective embedding ϕ of X, there exists an explicit positive constant C = C(Z η , deg π, ϕ) such that every section σ : C → X with supp(σ * D) ⊆ S satisfies where χ S (C) is the (negative) Euler characteristic of the affine curve C \ S, i.e., χ S (C) = 2g(C) − 2 + # S.
The main application of Theorem A is to complements of normal crossings divisors in P 2 κ(C) .
Theorem B Let D be a divisor in P 2 κ(C) of degree d 4 with r 3 components. Let D be the closure of D in P 2 × C and let S be a finite set of points of C such that, for every P / ∈ S, the fiber D P has normal crossings singularities. Then, for every projective embedding ϕ of P 2 × C, there exists a constant C = C(D, ϕ) such that every section σ : C → P 2 × C with supp(σ * D) ⊆ S verifies The isotrivial case of Theorem B was proved in [20,Theorem 1], and previously in [18,Theorem 1.1] for d = 4 and r = 3; the latter case was obtained in [37,Theorem 1.3] for non-isotrivial pairs. Note that, when r 4, the conclusion is known to hold essentially by a reduction to [7] or [42]. Remark 1. 1 In the statement of Theorem A, given a projective embedding of X, the degree of σ (C) is bounded by a constant C multiplied by max {1, χ S (C)}, where the constant C depends only on the geometric data of the finite map π and its ramification. The dependence on the curve appears only in the Euler characteristic. In fact the proof shows that C depends only on the generic fiber (X , D) → G 2 m and the projective embedding. This implies that, given a finite cover E → C and a pair (X, D) → C as before, one will obtain the same result for the pair (X, D) × C E with the same constant C (up to the choice of a compatible embedding). This is consistent with more general conjectures of Vojta (see Sect. 1.1 or [4, Section 10.2] for a more detailed discussion).
The main idea in the proof of Theorem A, as in [20], is to estimate the contribution of the ramification divisor of the finite map π to the height of a section σ ∈ X (κ(C)). More precisely, the strategy of the proof is the following: in Sect. 3 we obtain a preliminary result on S-units which satisfy a multiplicative dependence relation; this is used in Sect. 4, where we prove an explicit bound for the number of multiple zeros of polynomials in κ(C)[X , Y ] evaluated at S-units, extending [18,Theorem 1.2]. This latter result is the key point to estimate the contribution of the ramification divisor Z to the height of a section, which is obtained in Sect. 5.
In the nonsplit case one needs to deal with the problem that the log general type assumption does not guarantee in general the positivity of the ramification divisor Z . We discuss various results about the divisor Z in Sect. 6. In particular, we show that, even if the divisor Z might not be big, its twist by the pull-back of a positive divisor on C is big. Moreover, in the case in which the model of the divisor D is ample, the ramification divisor itself can be shown to be big (see Proposition 6.4).
We prove Theorem A in Sect. 7, where we apply Proposition 5.1 together with the generalized abc inequality over function fields [7,Theorem B]. Lastly, in Sect. 8, as an application of Theorem A, we prove Theorem B and give an explicit example in the case where the base curve is P 1 . distribution of algebraic points on a non-singular projective variety X defined over a number field k and a normal crossings divisor D on X . In the stronger form with truncation the conjecture reads as follows: [41,Conjecture 24.3]) Let X , D, k be as above. Let S be a finite set of places of k containing the Archimedean ones, let K X be the canonical divisor of X , let A be an ample divisor on X and let r be a positive integer. Then, for every ε > 0, there exists a proper Zariski closed subset W = W (k, S, X , D, A, ε, r ) of X such that the inequality (1) holds for almost all x ∈ (X \ W )(k) with [k(x) : k] r.
In the statement of the conjecture, d k (x) denotes the logarithmic discriminant of the point x (see [41,Definition 23.1]) and N (1) S (D, x) denotes the truncated counting function (see [41,Definition 22.4]). Conjecture 1.3 has a wide range of important consequences; we mention for example the abc conjecture of Masser-Oesterlé [ [1,2,4,25] for further consequences.
In this paper we deal with the function field case of Conjecture 1.3, i.e., when the number field k is replaced by the function field κ(C) of a non-singular projective curve over an algebraically closed field κ of characteristic zero. We point out that Theorem A is related to the function field analogue of Conjecture 1.3. To see this, consider (X , D) as in Conjecture 1.3: points x ∈ X (k) correspond over function fields to sections σ : C → X, for a projective model X of the variety X . Similarly, the height bound corresponds to a degree bound for the image σ (C), while the contributions of the discriminant and the truncated counting function correspond to the Euler characteristic 2g(C) − 2 + # S.
We also note that, in Theorem A the exceptional set W does not appear explicitly. Moreover, our result shows that a degree bound holds also for sections for which a bound as in Conjecture 1.3 does not hold. On the other hand, our theorem contains a constant C that does not appear in Vojta's formulation. For further discussion on the exceptional set we refer to [34,Section 3].
The reader can find a detailed analysis of the case X = P , C = P 1 and S = {0, ∞} in [13,Section 5], where the Nevanlinna analogue is also discussed. Moreover in [13] the authors obtain new cases of Conjecture 1.3 for rational points in higher dimensions, adopting a function field version of the method introduced in [30] (which in turn extended [16]). These results can be seen as higher dimensional cases of [20,Theorem 2], therefore we expect that the methods of the present paper can be further generalized to give higher dimensional analogues of Theorem A.

Function fields
In this paper we will denote by C a nonsingular projective curve (integral, separated scheme of finite type of dimension 1) defined over an algebraically closed field κ of characteristic zero and by S a finite set of (closed) points of C. We will denote by O S the ring of S-integers, i.e., the ring κ[C \ S] of regular functions in the complement of S: its elements are rational functions on C with poles contained in S. Similarly, we will denote by O * S the group of S-units, i.e., the group of invertible elements of O S : its elements are rational functions on C with both zeros and poles contained in S. If g(C) is the genus of the curve C, then the (negative) Euler characteristic of the affine curve C \ S, denoted by χ S (C), is defined as If there is at least a nonconstant S-unit, then # S is at least 2 hence χ S (C) will always be non-negative.
For any rational function a ∈ κ(C) we denote by H C (a), or simply by H (a) when the reference to the curve is clear, the height of a, i.e., its degree as a morphism to P 1 . This is equivalent to the usual definition of Weil Height via valuations as follows: every point P ∈ C induces a discrete valuation of the field κ(C), trivial on κ, that can be normalized such that its value group is Z. We denote by ord P the corresponding valuation on κ(C). Then, the height of a function a ∈ κ(C) can be expressed as If E is a nonsingular projective curve and E → C is a dominant morphism (corresponding to an inclusion κ(C) ⊆ κ(E)), then the heights of a rational function a ∈ κ(C), with respect to C and E, verify For n 2 and elements a 1 , . . . , a n ∈ κ(C), we denote by H (a 1 : · · · : a n ) the projective height H (a 1 : · · · : a n ) = − P∈C min {ord P (a 1 ), . . . , ord P (a n )}.
Given a polynomial F ∈ κ(C)[X 1 , . . . , X n ], the height of F, denoted by H C (F), will always be the maximum of the heights of its coefficients. For more details about heights we refer to [41].
An important tool over function fields is the presence of derivations. Following [18], we will fix a differential form on C in order to define the "derivative" of a rational function using the following lemma. Lemma 3.5]) Given a nonsingular projective curve C of genus g and a finite set of points S ⊂ C, there exist a meromorphic differential form ω ∈ C and a finite set T ⊂ C such that # T = max {0, 2g − 2} and, for every u ∈ O * S , there exists an (S ∪ T )-integer θ u ∈ O S∪T having only simple poles such that In the rest of the paper the form ω will be fixed (compatibly for every finite cover E → C) and, for a ∈ κ(C), we will denote by a the rational function that satisfies d(a) = a · ω. With this notation, the rational function θ u appearing in the previous lemma is equal to u /u.

Surfaces over function fields and fibered threefolds
The main focus of this paper is non-isotrivial surfaces defined over function fields and their models. We recall here the main definitions, fixing notations and terminology.

Definition 2.2
Given a projective variety X of dimension n defined over the function field κ(C), a (proper) model X of X over C (or over κ(C)) is the datum of a proper flat map ρ : X → C and an isomorphism X × C Spec κ(C) ∼ = X .
From this definition it follows that the model of a surface X over the function field κ(C) is a fibered threefold X → C. We note that, in Definition 2.2, the model X can be singular. In this paper we will always restrict to the case in which the total space X has only mild singularities: in particular, we will consider only models of nonsingular surfaces that are normal.
When dealing with an affine variety Y , we will identify it with a pair (X , D), where X is a projective variety, D is a normal crossings divisor and X \ D ∼ = Y . Even if this identification is not unique, in this paper we will use the language of pairs, since it is more natural from the geometric point of view. Moreover, when Y is a nonsingular affine surface, one can always consider a canonical choice for (X , D), namely a minimal log resolution. In this latter case, the pair (X , D) can be chosen to be log smooth, i.e., X is nonsingular and D has simple normal crossings singularities.

Definition 2.3
Given a pair (X , D), a model of (X , D) is a model ρ : X → C of the projective variety X over C together with a model of D whose total space is a Cartier divisor D of X. We view the model as a family of pairs (X, D) → C. Given an integral affine variety Y , a model of Y is a model of the corresponding pair (X , D).
Similarly as before we will restrict to the case in which the model of a log smooth pair (X , D) has only mild singularities: in particular, we will consider models of a log smooth pair that have log canonical singularities. This still implies that the total space of X is normal, but takes into account the presence of the divisor D. We refer to [26,Chapter 2] for the precise definition and properties of log canonical singularities.
In the setting of Conjecture 1.3, we are interested in affine surfaces Y of log general type.

Definition 2.4
A quasi-projective variety Y is of log general type if for a log resolution ( Y , E) of Y , the log canonical divisor K Y + E is big. This property is independent of the choice of the log resolution. If Y is affine corresponding to a pair (X , D), we say that (X , D) is of log general type if X \ D ∼ = Y is of log general type.
We note that being of log general type does not extend naturally to models. Indeed, if (X, D) → C is a model of a pair (X , D) over the function field κ(C), the fact that (X , D) is of log general type does not imply in general that the log canonical divisor of the total space (X, D) is big.
Finally we define non-isotrivial pairs: these are pairs that cannot be trivialized after a finite base change, i.e., there exists no finite base change E → C such that the base changed pair is isomorphic to a product (X , D ) × Spec κ Spec κ(E), for a pair (X , D ) defined over κ.
In the case in which the fibers of the model (X, D) have ample log canonical and mild singularities, being non-isotrivial is equivalent to require that the moduli map C → M h to the KSBA moduli space of stable pairs M h is not constant.

Threefolds dominating P 2 × C
In this article we consider models of non-isotrivial pairs (X , D) over the function field κ(C) where X \ D is a ramified cover of G 2 m . These correspond to fibrations of the form ρ : (X, D) → C, together with dominant maps π : X → P 2 × C, that restrict to finite maps in the complement of D.
We note that in practice the threefold X will be given by a dominant rational map π : X P 2 × C whose indeterminacy locus is contained in D. Moreover, the irreducible components of the indeterminacy locus have dimension at most 1, and their images under the map ρ are finite sets of points of C (and contained in the set S). Resolving the indeterminacy of π gives a threefold X and a morphism π : X → P 2 × C that coincides with π in the complement of D. Moreover, every section σ : C → X extend to a section σ : C → X . Therefore we can always assume that π is a morphism, up to resolving the indeterminacy locus and replacing it with π , since this will affect neither the map in the complement of D nor the sections that we will consider.
We denote by Z the closure of the ramification divisor of the restriction π X\D . We list here the conditions that will be assumed in the rest of the paper.
• (X , D) is a log smooth non-isotrivial pair of log general type over the function field κ(C) such that X \ D is a ramified cover of G 2 m ; • ρ : (X, D) → C is a log canonical model of (X , D), in particular X is normal; • the fibers of D → C have simple normal crossings singularities outside of S; • the map π is compatible with the fibration, i.e., pr 2 • π = ρ, where pr 2 : P 2 × C → C is the second projection; • on every fiber of ρ outside of S, the map π restricts to a finite dominant map to G 2 m in the complement of D and the restriction of the divisor D is the pull-back of the boundary divisor P 2 \ G 2 m ; • on every fiber of ρ outside of S, the image of the ramification divisor Z of the restriction of π avoids the singular points of the boundary of G 2 m .
The situation is made explicit in the following diagram: z z u u u u u u u u u u u C σ 9 9 In the case in which the generic fiber (X , D) of ρ is of log general type, given a projective embedding ϕ of X, one expects the existence of a constant C = C(X , D, π, ϕ) such that for every section σ : where deg ϕ denotes the corresponding degree in the projective space where X is embedded. Note that different embeddings give rise to different constants but the existence of the bound is independent of the choice of the embedding. For this reason we will drop the explicit dependence on ϕ and we will assume that all bounds depend on the choice of the embedding.

Multiplicative dependence between S-units
In order to prove Theorem A we obtain height bounds that yield the degree bound predicted by the conjecture. Recall that, in the setting of Sect. 2.3, a section σ : C \ S → X \ D, or equivalently a section σ : C → X such that supp(σ * D) ⊆ S, corresponds to a D-integral point in X (O S ) = X (κ[C \ S]); similarly, a map π • σ : C → P 2 × C such that pr 2 • (π • σ ) = id C corresponds to an S-unit point (u, v) ∈ G 2 m (O * S ), where u, v are rational functions on C with zeros and poles contained in S. The heights of u and v and the degree of σ (C) are strictly related, since a bound on the heights of u and v gives a bound on the degree of the image σ (C). On the other hand, a bound on the degree of the image does not guarantee that the heights of u and v are bounded, since, for example u and v might be multiplicatively dependent (we refer to [20,Section 2] for a detailed discussion). We focus on this latter case in this section. Let Note that the derivative of A(u 1 , u 2 ) coincides with B(u 1 , u 2 ).
In this section we derive a dependence relation for S-units u 1 and u 2 assuming they satisfy a relation of the form (u 1 /α) r (u 2 /β) s = μ for some constant μ ∈ κ × and α, β roots of A and B. In general, we cannot expect u 1 and u 2 to satisfy the conclusion of [18, Lemma 3.14], i.e., u r 1 u s 2 = μ , for some μ ∈ κ × ; instead we prove that there exists a fixed S-unit γ , independent of u 1 and u 2 , such that u r 1 u s 2 = γ . This will be sufficient for the applications in this paper. Lemma 3.1 Let A and B as before and let (α, β) be a common zero of A and B in κ(C). If u 1 /α and u 2 /β satisfy a multiplicative dependence relation of the form for a suitable pair of nonzero integers (r , s) ∈ Z 2 and a constant μ ∈ κ × , then either one between u 1 /α and Proof Assume that u 1 /α and u 2 /β satisfy a multiplicative dependence relation of the form independently of u 1 and u 2 ; so we can conclude with γ = μα r β s . Therefore, we can assume that at least one between ∂ ∂ X A(α, β) and ∂ ∂Y A(α, β) is non-zero. Notice moreover that, without loss of generality, we can assume that r , s are coprime integers. If they are not, then we can write r = r d and s = s d with (r , s ) = 1; then, (3.1) would imply that there exists μ ∈ κ such that u 1 Let us define Since A(α, β) = 0, taking differentials, we obtain By definition of α and β, we have that B(α, β) = 0, i.e., By (3.1) we have a linear relation of the form Taking the difference between (3.3) and (3.2) and multiplying (3.4) by αβ, we obtain the system From (3.5) it is easy to see that either u 1 /u 1 = α /α and u 2 /u 2 = β /β, which implies that both u 1 /α and u 2 /β are constant, or we have As the two polynomials are coprime, Bezout's theorem ensures that the number of common solutions is finite and bounded by (deg A) 2 . Hence, α and β are two rational functions in κ(C) independent of u 1 and u 2 , and (3.1) can be rewritten as Therefore γ = μα r β s is an algebraic function of the coefficients of A as wanted.

Let us finally see what happens if
is identically zero, then the polynomial A is of the form λ hr hs (X r Y s ) h + λ 00 for a non-zero integer h. This implies that γ = μα r β s is independent of u 1 , u 2 and u r 1 u s 2 = γ as wanted. On the other hand, if a = 0, one gets λ 00 = 0 and, for all i, j such that Moreover, as by assumption A is irreducible, A has both a monomial that contains only X and a monomial that contains only Y , which implies that a is a non-zero integer divisible by rs (as we are assuming r and s coprime), sa > 0 and ra < 0. Let us assume that a > 0 (the other case is completely symmetric); then, we must have s > 0 and r < 0. From (3.6) and the fact that a is divisible by r and s, the polynomial A will be of the form for some m > 0. As Remark 3. 2 We point out that, as (α, β) is a common zero of A and B where B depends on u 1 and u 2 and their derivatives, writing u r 1 u s 2 = μα r β s does not directly give the desired conclusion. In the proof of the previous lemma we however obtained that either u 1 /α and u 2 /β are constant, or the quantity μα r β s is an algebraic function of the coefficients of A, and so it is independent of u 1 and u 2 . In particular, if u 1 /α and u 2 /β are not constant, given r , s and μ there are only finitely many γ ∈ κ(E) such that u r 1 u s 2 = γ .

Counting multiple zeros
The goal of this section is to prove a bound for the number of multiple zeros of polynomials evaluated at S-units; this extends explicitly [18, Theorem 1.2] to polynomials with nonconstant coefficients. Moreover, we give an explicit bound on the exponents of a multiplicative relation between the S-units, when the bound on the number of multiple zeros might not hold. Let C be a smooth projective curve and let S ⊂ C be a finite set of points. Let A(X , Y ) ∈ κ(C)[X , Y ] be a polynomial without repeated factors. We write the polynomial as Recall that we denote by H C (A) the height of the polynomial A, which is defined as the maximum of the heights of its coefficients. Then, we have the following result.
at least one of the following holds: • the S-units u 1 , u 2 verify a relation of the form u r 1 u s 2 = γ for a pair of integers (r , s) ∈ Z 2 \{(0, 0)} such that max {|r |, |s|} 2 and γ is an algebraic function of the coefficients of A independent of u 1 and u 2 ; We begin by noticing that, for every i = . . . , l, we can enlarge the set S to a set S i so that all the coefficients of A i are S-units. Moreover, the cardinality of the set S i is bounded by In particular, we can assume that we have extended the set S so that every coefficient of a factor of A is a S-unit, and the new set S has cardinality bounded in terms of deg A and H C (A) (since the height of a factor A i is bounded in terms of the height of A; see e.g. [6, Theorem 1.7.2]). Therefore, from now on, we will assume that, for every i, . We want to prove a bound for the number of multiple zeros of A(u 1 , u 2 ) in terms of H C (u 1 ) and H C (u 2 ). This is equivalent to bound the multiple zeros of every irreducible factor A i (u 1 , u 2 ) together with a bound on the number of common zeros of A i (u 1 , u 2 ) and A j (u 1 , u 2 ) for every pair 1 i < j l.

Number of multiple zeros of an irreducible polynomial
We begin by proving the bound for the number of multiple zeros of an irreducible polynomial, which is the content of the following proposition.

Proposition 4.2 In the same setting as above, let
be an irreducible polynomial and let ε > 0 be a positive real number. Then, there exist constants at least one of the following holds: • the S-units u 1 , u 2 verify a relation of the form u r 1 u s 2 = γ for a pair of integers (r , s) ∈ Z 2 \{(0, 0)} such that max {|r |, |s|} C 2 and γ is an algebraic function of the coefficients of A independent of u 1 , u 2 ; Proof Note that, if A(X , Y ) does not depend on X or on Y , a bound of the desired form is immediate. Therefore we will assume that A depends nontrivally on both X and Y .
Let us consider the polynomial B(X , Y ) given by . We can enlarge S to a set S including the set T defined in Lemma 2.1 so that all the coefficients of B have no poles outside S , We will estimate the two sums separately, dividing the proof into several steps similarly to [18]. Moreover, we will explicitly compute all the constants involved at every step showing that they depend only on deg A, H C (A) and ε as wanted.
Step 1. Either the two polynomials A(X , Y ) and B(X , Y ) are coprime, or u 1 and u 2 satisfy a relation of the form u r 1 u s 2 = γ , with γ an algebraic function of the coefficients of A and max {|r |, |s|} deg A.
Proof First, notice that by assumption A is irreducible and neither ∂ A/∂ X nor ∂ A/∂Y is identically zero, hence A(X , Y ) has at least two monomials. Suppose that the two polynomials A and B are not coprime.
which gives a relation of multiplicative dependence between u 1 and u 2 , i.e., we have a relation u r 1 u s 2 = γ with γ an algebraic function of the coefficients of A and max {|r |, |s|} deg A. This proves Step 1.
From now on, we will therefore assume that A and B are coprime. As since both A(u 1 , u 2 ) and B(u 1 , u 2 ) are S -integers and so the term of the right-hand side is nonnegative.
be the two resultants of A and B with respect to Y and X . If A and B are coprime, then F and G do not vanish identically. Moreover, since (4.8) It is then enough to bound the gcd of F(u 1 ) and G(u 2 ). In order to do this, we first need to prove a bound for the degrees of F and G and for the heights of their coefficients. This is the content of Step 2.
Step 2. There exist positive constants C 3  Proof Given the expression for B(X , Y ), we can bound the height of each of its coefficients as since the first three terms are bounded by the Euler characteristic of C \ S using Lemma Moreover, by definition, F(X ) and G(Y ) can be expressed as the determinant of a N × N matrix whose entries are the monomials appearing in have that the heights of F and G are bounded as follows: Using (4.6), the first estimate is proved by taking Finally, since the degrees of F(X ) and G(Y ) are bounded by 2 deg Y ) gives the desired estimate.
Next, we need to factor F(X ) and G(Y ); this can be done in a suitable finite extension of κ(C). However, in order to bound the gcd of F(u 1 ) and G(u 2 ), we have to estimate the degree of this extension and the height of the roots of F(X ) and G(Y ). This can be done as follows.
Step 3. There exist a cover p : E → C of degree bounded by 2C 4 and a finite set U ⊂ E such that F(X ) and G(Y ) splits over κ(E) into linear factors and their roots are U -units. Moreover, there exist two constants C 5 , C 6 > 0 such that (4.9) Proof If the polynomials F(X ) and G(Y ) split over κ(C), then the conclusion holds trivially, so we will assume that this is not the case. Let us define κ(E) to be the splitting field of F(Z )G(Z ) and let us denote by p : E → C the cover corresponding to the field extension. Then, deg p deg F +deg G 2C 4 . To estimate the Euler characteristic of E we can use the Riemann-Hurwitz formula. First, note that the ramification of p can arise only over zeros or poles of the discriminants of the irreducible factors of F and G. By construction, the poles are contained in the set S ; on the other hand, the number of zeros is bounded by the heights of the discriminants. Recall that the discriminant of a degree n polynomial h is an homogeneous polynomial in the coefficients of h of degree 2n − 2. Therefore, its height is bounded by 2H (h) deg h. In our case, the heights of F(X ) and G(Y ) are both bounded by C 3 max {1, χ S (C)} as proved in Step 2, and therefore the total number of zeros is bounded by 2C 3 C 4 max {1, χ S (C)}. This, together with (4.5), implies that the cardinality of the support of the ramification divisor is bounded by Since each ramification index is at most C 4 (as deg p 2C 4 ), the total ramification of p is bounded by C 4 (2C 3 C 4 + 1) max {1, χ S (C)}. Applying the Riemann-Hurwitz formula, we get Let us define the set U as the set of zeros of the constant and leading terms of both F and G and U . . = U ∪ S . Note that the cardinality of U is bounded by 2(H C (F) + H C (G)) 4C 3 max {1, χ S (C)}, and therefore the cardinality of U is bounded by (4C 3 + 1) max {1, χ S (C)}. We define U . . = p −1 (U ). Notice that, by construction, the roots of F and G are U -units in κ(E); this follows from the fact that the coefficients of F and G are S -integers and the product of all the roots of both F and G is a U -unit. The cardinality of U is bounded by (deg p)(# U ), i.e., with C 6 . . = 2C 4 (4C 3 + 1), which completes the proof.
Recall that, in the proof of the previous step, defined the set U as U ∪ S , where U is the set of zeros of the constant and leading terms of both F and G, and the set U as p −1 (U ), where p : E → C is the cover defined in Step 3.
Using that U ⊇ S ⊇ S, we can split the sum in (4.3) as By (4.7) and the fact that p(U ) = U , we can bound the first sum as (4.10) We now want to bound the first sum of the right-hand side of (4.10) using the polynomials F and G. Since κ(E) is the splitting field of F(Z )G(Z ), we can rewrite the two polynomials in κ(E) as where η, α 1 , . . . , α m and ν, β 1 , . . . , β n are U -units in κ(E) as proved in the previous step.
For every point P ∈ E \U we have that hence, by (4.8), for every P ∈ E \U we have min {ord P (A(u 1 , u 2 )), ord P (B(u 1 , u 2 This set is in principle strictly smaller than the set of pairs (α i , β j ) such that F(α i ) = G(β j ) = 0 that we consider in the sum; however, we will show that, eventually replacing U with a bigger set, the inequality (4.11) remains true if we restrict the sum to the the pairs (α i , β j ) ∈ Z. This is the content of the following step.

Step 4. There exist a finite set V ⊇ U and a constant C V
Taking into account that the number of pairs (α i , β j ) is bounded by (deg F)(deg G), which is bounded by C 2 4 by Step 2, the former two inequalities give To prove (4.12) we can assume without loss of generality that min {ord P (A(u 1 , u 2 )), ord P (B(u 1 , u 2 ))} > 0, otherwise the inequality is trivial since every term of the sum in the right-hand side of (4.12) is nonnegative. In particular, we can assume that ord P (A(u 1 , u 2 )) > 0. We will show that, if (α i , β j ) / ∈ Z, then hence proving the claim. To see this, consider (α i , β j ) / ∈ Z, so for example A(α i , β j ) = 0. By definition of V , A(α i , β j ) is a V -unit, which implies that ord P (A(α i , β j )) = 0 since P / ∈ V . But this implies that min{ord P (u 1 −α i ), ord P (u 2 − β j )} = 0, otherwise both the differences u 1 − α i and u 2 − β j would have a zero in P, and therefore since A(u 1 , u 2 ) has a zero in P, also A(α i , β j ) would have a zero in P, which contradicts the fact that ord P (A(α i , β j )) = 0.
Using the bound for χ(E) obtained in (4.9) we get (4.14) By (4.12), Step 2, and inverting the order of summation, we have Let us define (αˆı , βĵ ) as a pair in Z for which the maximum is obtained. In order to estimate the right-hand side of (4.15), we will apply the gcd result of [18] to the V -units u 1 /αˆı and u 2 /βĵ . We distinguish two cases according to whether the V -units are multiplicative independent modulo constants or not.
Step 5. Assume that u 1 /αˆı and u 2 /βĵ are multiplicatively independent modulo constants. There exists a constant C 7 Proof Since we are assuming that the V -units u 1 /αˆı and u 2 /βĵ are multiplicative independent modulo constants, we get that [18, Corollary 2.3] implies that

(4.16)
Using the bound of χ V (E) in (4.14), we can rewrite (4.15) using (4.16) as (4.17) To prove the statement we want to relate the heights of u 1 /αˆı and u 2 /βĵ with the heights of u 1 and u 2 . Since αˆı and βĵ are roots of the polynomials F and G, by Step 2 we obtain that we have that and similarly for u 2 /βĵ . Notice that (4.18) is equivalent to under this assumption, using (4.19), we can rewrite (4.17) as where we set C 7 . . = 3 · 2 5/3 C 8/3 In the next step, we deal with the case in which the V -units u 1 /αˆı and u 2 /βĵ are multiplicatively dependent modulo constants. We observe that, as by construction (αˆı , βĵ ) ∈ Z, we can apply Lemma 3.1 which implies that in this case either u 1 and u 2 satisfy a relation of the form u r 1 u s 2 = γ , where γ is an algebraic function of the coefficients of A, or at least one between u 1 /αˆı and u 2 /βĵ is constant. However, using the bounds for H C (F) and H C (G) given in Step 2, we have that, if max {H C (u 1 ), H C (u 2 )} C 3 max {1, χ S (C)}, we can always assume to be in the case in which none of the quotients u 1 /αˆı and u 2 /βĵ is constant.
Step 6. Assume that u 1 /αˆı , u 2 /βĵ are multiplicatively dependent and let (u 1 /αˆı ) r (u 2 /βĵ ) s = μ be a generating relation, for some μ ∈ κ × . Then, if where γ is an algebraic function of the coefficients of A, and P∈E\V min {ord P (A(u 1 , u 2 )), ord P (B(u 1 , u 2 we can rewrite (4.15), using (4.20), in terms of the heights of u 1 and u 2 as as wanted. Moreover, the relation u r 1 u s 2 = γ , with γ an algebraic function of the coefficients of A, follows applying Lemma 3.1 and using the assumption that max Recall that our goal is to prove a bound on the number of multiple zeros of A(u 1 , u 2 ). This problem has been reduced to estimate the following sum: (A(u 1 , u 2 )), ord P (B(u 1 , u 2 ))}
In Steps 5 and 6 we proved an estimate for the first sum appearing in the right-hand side. We are left with providing an estimate for the remaining sum, which we deal with in the following step.
In the case in which u 1 /αˆı and u 2 /βĵ are independent modulo constants, by Step 5, Therefore in this case we obtain that, if max as wanted.
On the other hand, in the case in which u 1 /αˆı and u 2 /βĵ are dependent, by Step 6 we obtain that, if max This implies that, either u r 1 u s 2 = γ with γ an algebraic function of the coefficients of A and max {|r |, |s|} 8C 3 4 The two cases imply that, either u r 1 u s 2 = γ with max {|r |, |s|} C 2 where finishing the proof.

Number of common zeros of two irreducible polynomials
To conclude the proof of Theorem 4.1 we need to prove a bound for the number of common zeros of two irreducible polynomials, which is the content of the following proposition.

Proposition 4.3 In the same setting of Theorem
be two coprime polynomials and let ε > 0 be a positive real number. Then, there exist constants at least one of the following holds: • the S-units u 1 , u 2 verify a relation of the form u r 1 u s 2 = γ for a pair of integers (r , s) ∈ Z 2 \ {(0, 0)} such that max {|r |, |s|} D 2 and γ is an algebraic function of the coefficients of A 1 and A 2 , independent of u 1 , u 2 ; • the rational functions A 1 (u 1 , u 2 ) and A 2 (u 1 , (4.25) Proof As before, we note that, if one of the two polynomials A 1 , A 2 does not depend on X or on Y , a bound of the desired form is immediate. Therefore we will assume that both A 1 , A 2 depend nontrivally on both X and Y . Let us write the polynomials A 1 (X , Y ) and A 2 (X , Y ) as The proof follows the same steps as in the proof of Proposition 4.2, where the polynomial A 2 plays the role of the polynomial B. Therefore we will only indicate the required adjustments and compute the corresponding constants. We remark that, as before, all the constants will depend only on the degree and the heights of the polynomials A 1 , A 2 and ε.
Note that Step 1 is automatically verified since the two polynomials A 1 and A 2 are coprime. Let be the two resultants of A 1 and A 2 with respect to Y and X , which do not vanish identically in view of the coprimality of A 1 and A 2 . As in the previous case, we have that, for every place P / ∈ S, (4.26) It is then enough to bound the gcd of F(u 1 ) and G(u 2 ). By definition of F and G we get the following bounds for their degrees and their heights. Proof The bounds are obtained similarly to Step 2 of Proposition 4.2. In this setting we get In order to bound the gcd of F(u 1 ) and G(u 2 ), we have to estimate the degree of the splitting field of F(Z )G(Z ) and the height of the roots of F and G.
Step 3. There exist a cover p : E → C of degree bounded by 2D 4 and a finite set U ⊂ E such that F(X ) and G(Y ) splits over κ(E) into linear factors and their roots are U -units. Moreover, there exist constants D 5 , D 6 > 0 such that Proof Letting κ(E) be the splitting field of F(Z )G(Z ) and using the same argument as in the previous case, one concludes taking D 5 . . = D 4 (2D 3 D 4 + 3) and D 6 . . = 2D 4 (4D 3 + 1).
In κ(E) we can rewrite the two polynomials as where η, α 1 , . . . , α m and ν, β 1 , . . . , β n are U -units in κ(E) as proved in the previous step. This implies that, for every P ∈ E \U , min {ord P (F(u 1 )), ord P (G(u 2 ))} hence applying (4.26) it follows that min {ord P (A(u 1 , u 2 As in the previous case, we want to restrict the sum on the right to the set , β), αβ = 0}. In the next step we prove that the same inequality holds when we restrict to points in a finite set V ⊇ U of bounded cardinality.
Step 4. There exist a finite set V ⊇ U and a positive constant Proof The proof is identical to Step 4 of Proposition 4.2 and we can take We can then split the sum (4.25) as (4.28) Using (4.27) and Step 2, we can rewrite the first sum as (4.29) Let (αˆı , βĵ ) ∈ Z be a pair for which the maximum is obtained. We will estimate the right-hand side of (4.29) using the gcd estimate of [18,Corollary 2.3] and relating it to the heights of u 1 and u 2 . We will consider the case when the two V -units u 1 /αˆı and u 2 /βĵ are multiplicatively independent or not modulo constants separately. This is the content of the next two steps.
Step 5. Assume that u 1 /αˆı and u 2 /βĵ are multiplicatively independent modulo constants. Then, there exists a constant D 7 (A 1 (u 1 , u 2 )), ord P (A 2 (u 1 , u 2 ))} We are left with the case in which u 1 /αˆı and u 2 /βĵ are multiplicatively dependent modulo constants, which is the content of the following step.
Step 6. Assume that u 1 /αˆı , u 2 /βĵ are multiplicatively dependent modulo constants and let (u 1 /αˆı ) r (u 2 /βĵ ) s = μ be a generating relation for some μ ∈ κ × . Then, u r 1 u s 2 = γ , where γ is an algebraic function of the coefficients of A 1 and A 2 and, if max (4.31) Proof As before, we apply [18, Corollary 2.3] to (4.29), and, if max we can bound the heights of u 1 /αˆı and u 2 /βĵ in terms of the heights of u 1 and u 2 . The same computation as in the irreducible case gives (4.31). Notice that since (αˆı , βĵ ) is a zero of A 1 and A 2 , this implies directly that u r 1 u s 2 = γ where γ . . = μα r ı β sĵ is an algebraic function of the coefficients of A 1 and A 2 .
In the previous steps we estimated the first sum in the right-hand side of (4.28); in the last step, we bound the second sum.
Step 7. There exists a constant D 8 > 0 such that Proof The main idea is that the number of common zeros of A 1 (u 1 , u 2 ) and A 2 (u 1 , u 2 ), counted with multiplicities, is bounded by the number of zeros of A 1 (u 1 , u 2 ) counted with multiplicities, and therefore we can reduce the computation to the case of a single polynomial as in the irreducible case. Using the same computation of Step 7 of Proposition 4.2, we can take

End of the proof of Proposition 4.3
The end of the proof is analogous to the irreducible case: given ε > 0 one considers (4.28) and uses Step 5 and Step 6 to bound the first sum, and Step 7 to bound the second sum. Then, one gets the desired conclusion with the constants End of the proof of Theorem 4.1 Given the factorization of the polynomial A given in (4.2) we have that, either u 1 and u 2 satisfy a multiplicative dependence relation of the form u r 1 u s 2 = γ with max {|r |, |s|} 2 and 2 .
We obtain the bound (4.1) with where C 1 (A i , δ) is the constant appearing in Proposition 4.2 applied to the polynomial A i and the real number δ and D 1 (A i , A j , δ) is the constant appearing in Proposition 4.3 applied to the polynomials A i and A j and the real number δ. [30], Levin obtained a generalization of gcd results over number fields as [8,16] for polynomials with an arbitrary number of variables. These results have been used to prove some cases of the Lang-Vojta conjectures in higher dimension both over number fields [30] and function fields [13].

The ramification divisor
In this section we study the contribution of the ramification divisor of the map π X\D to the height of a section σ : C → X with supp(σ * D) ⊆ S, where X is a threefold as in Sect. 2.3 and S ⊂ C is a finite set of points. Recall that we denoted by Z the closure of the ramification divisor of the finite map π X\D : X \ D → G 2 m × C. The image π(Z \ D) will be defined by the vanishing of a certain polynomial A ∈ κ(C)[X , Y ]. We will use Theorem 4.1 to derive a bound for the degree of the pull-back of the ramification divisor. This is the content of the following proposition.
Proof The statement is trivial if σ (C) ∩ Z is empty, and without loss of generality we can assume Z irreducible by applying the same argument to each irreducible component. By construction π(Z \ D) inside G 2 m × C is defined by an irreducible polynomial A ∈ κ(C)[X , Y ], which, since we are assuming Z is not empty, is not a monomial. Furthermore, we can enlarge S so that each coefficient of A is an S-unit (and the extension depends only on H C (A) and deg A). The pull-back π * A is a regular function on X \ D. We claim that the degree of σ * (Z ) \ S is bounded by the sum of the orders of A evaluated at two S-units.
Note that we can assume that Z is a Cartier divisor: it is always Q-Cartier (see Sect. 6) and therefore there exists a positive integer such that Z ∼ Z with Z Cartier. Then, since σ * (Z ) = 1 σ * (Z ) and is independent of σ , we can reduce to the case in which Z itself is a Cartier divisor. Therefore, since X is a normal variety, given an (affine) open V ⊂ X, Z is locally defined in V by an equation f V = 0. The fact that Z is contained in the ramification locus of π implies that f 2 V divides π * A as elements of the local ring O V ,Z . In particular, we can write locally π * A = f 2 V g for a regular function g in V . Consider now a point P ∈ C \ S such that σ (P) ∈ Z ∩ V ; the contribution of P to the divisor σ * (Z ) \ S is ord P ( f V • σ ). On the other hand, since π * A = f 2 V g in O V ,Z for a regular function g, we have where π • σ = (u, v) for two S-units u, v of C. Hence, we can bound the degree of σ * (Z ) \ S by estimating the number of multiple zeros of the polynomial A evaluated at the two S-units u and v. Formally: Since we are estimating the degree of σ * (Z ) restricted to C \ S, the sum on the right includes only P ∈ C \ S. To estimate this sum we want to apply Theorem 4.1. Fix ε > 0 and assume first that u, v are multiplicatively independent, i.e., they do not satisfy any multiplicative relation of the form u r v s = γ for a suitable pair of nonzero integers (r , s) ∈ Z 2 \ {(0, 0)} and γ an algebraic function of the coefficients of A. We can apply Theorem 4.1 to obtain directly from (5.1) a bound of the form provided that H is bigger than 1 is the explicit constant of Theorem 4.1. This proves the conclusion in this case. Assume on the contrary that there exist (r , s) ∈ Z 2 \ {(0, 0)} and a rational function γ ∈ κ(C) which is an algebraic function of the coefficients of A, such that u r v s = γ . Then Theorem 4.1 implies that, either the same conclusion as in (5.2) holds, or there is a bound of the form max {|r |, |s|} 2 for a constant 2 that depends only on deg A and ε. In this latter case, the curve (π • σ )(C) is a curve of degree bounded by 2 2 H C (γ ). Therefore, the intersection between (π • σ )(C) and π(Z ) is bounded by In this case we obtain that gives the desired bound.

Positivity of the ramification divisor
In Proposition 5.1 we estimated the contribution of the ramification divisor Z to the degree of σ (C). In this section we study positivity properties of this divisor. We first show that Z is linearly equivalent to the divisor K X/C + D. In particular if K X/C + D is big, then Z is a big divisor on X.
Proof By assumption (X, D) is log canonical, and therefore X is normal. Since we are assuming that D is a Cartier divisor, this implies that K X is Q-Cartier. Recall that, for the fibration ρ : X → C, the canonical divisor of X verifies At the same time, the canonical divisor of P 2 × C is K P 2 K C . . = pr * 1 (K P 2 )+pr * 2 (K C ), and therefore the Riemann-Hurwitz formula for π : X → P 2 × C implies that where Ram is the ramification divisor of π and we used that ρ = pr 2 • π . Therefore we obtain that where Ram D is the ramification coming from the support of D. Similarly, Ram = Z + Ram D and therefore K X/C + D ∼ Z , as wanted. Lemma 6.1 was used in the split case to show that, if X is of log general type, then Z is a big divisor. However, in our situation, Lemma 6.1 only implies that the restriction of Z to the generic fiber is big, which is sometimes referred as Z is relatively big or ρ-big. This follows from the fact that and we are assuming that the generic fiber has the property that the log canonical divisor is big. This in general does not imply that Z is a big divisor (consider for example a trivial family over the base). Note however that in certain cases Z is already positive, as shown in the following remark.

Remark 6.2
One important example of applications of the main theorem is for complements of divisors in P 2 . In this case, X = P 2 × C and D is an effective member of the linear system |O P 2 (m) L| . . = |pr * 1 O P 2 (m) ⊗ pr * 2 L|. The condition that the fibers of ρ = pr 2 are of log general type implies that m 4 and the fact that the fibration is not isotrivial implies that deg C L > 0. Then a direct computation shows that which is ample since m 4 and deg C L > 0. This shows that Z = K X/C + D is big in this case.
To obtain positivity properties of the divisor Z it is sufficient to add to it the pull-back of a divisor from the base curve. More specifically, it is enough to add to Z the pullback of the divisor K C + 2S on the curve C. We note that, by hypothesis, # S 2 and therefore the divisor K C + 2S is very ample on C.

Proposition 6.3
The divisor Z + ρ * (K C + 2S) is big. Moreover there exist m > 0 that depends only on the generic fibers of (X, D) and Z such that m(Z + ρ * (K C + 2S)) ∼ H + E with H a very ample divisor and E an effective divisor on X.
Proof The argument is somehow standard; we reproduce it here for completeness.
Since Z is ρ-big, there exists a ρ-ample Cartier divisor H 1 and an effective Cartier divisor E on X such that ρ * O X (E) = 0 and m Z ∼ H 1 + E for some m 1 that depends on X and the generic fiber of Z (see [23,Proposition 1.6.33]). Moreover, by [36, Lemma 01VU] we can assume that H 1 is in fact very ample up to replacing m by a large enough multiple. By our assumption on S we see that K C + 2S is very ample on C, since its degree satisfies deg K C + 2S 2g + 1. Then, by [23, Proposition 1.6.15(i)], the divisor H 1 + ρ * (K C + 2S) is very ample on X, hence This shows that Z + ρ * (K C + 2S) is big and the desired equivalence holds with H = H 1 + ρ * m(K C + 2S). Proposition 6.3 will be used in the next section to bound the degree of a section by estimating the intersection with the divisor Z . We end this section with a result that allows a more direct control on the positivity of Z when the family has nice properties coming from the theory of stable pairs.
When the log canonical divisor of the generic fiber of ρ is ample, we can choose a model of (X , D) over C that is a stable family in the sense of Kollár (see for example [3,Definition 2.7]). In this situation we show that, when D is an ample divisor on X, the divisor K X/C + D, and therefore Z , is indeed big. This follows from a result of Kovács and Patakfalvi in [27].

Geometric Lang-Vojta for ramified covers of G 2 m
In this section we apply Proposition 5.1 together with Proposition 6.3 to deduce Theorem A. This extends explicitly [20,Theorem 2] to the case of non-isotrivial pairs. Theorem A Let ρ : (X, D) → C be a fibered threefold, let Z be the closure of the ramification divisor of the finite map π : X \ D → G 2 m × C as defined in Sect. 2.3, and let Z η be its generic fiber. Then, there exists a constant C = C(Z η , deg π) such that, for every section σ : C → X with supp(σ * D) ⊆ S, the following holds: Proof By Proposition 6.3, the divisor Z + ρ * (K C + 2S) is a big Q-Cartier divisor and there exist an integer m independent of C, an effective divisor E (independent of C) and a very ample divisor H on X such that m(Z + ρ * (K C + 2S)) ∼ H + E. We can estimate the degree of σ (C) by estimating σ (C) · H . Recall that the constant C implicitly depends on the projective embedding X → P n , and therefore on H .
First we notice that, if σ (C) is contained in the support of E, then we obtain a bound of the desired form immediately. Indeed, assuming E is irreducible by arguing on every irreducible component, since σ (C) ⊂ E, the restriction ρ| E is a flat dominant map where now E has relative dimension 1, i.e., E is a curve over the function field κ(C). The generic fiber of the image π(E) intersects π(D) in at least three points, since our assumptions imply that the generic fiber of π(Z ) is disjoint from the singular points of P 2 \ G 2 m . This shows that E/κ(C) is a curve of log general type hence Siegel's Theorem applies (e.g. in the form of [28]): in particular, either there are only finitely many integral sections σ ∈ E(κ(C)) or E is isotrivial. In both cases we obtain directly that deg(σ (C)) is bounded by c 1 = c 1 (Z η , deg π).
We are therefore left with the case in which σ (C) is not contained in the support of E. Then, Since σ is a section we get that σ (C) · ρ * (K C + 2S) is equal to the degree of (K C + 2S), hence Therefore it is enough to bound the intersection σ (C) · Z .
We view G 2 m embedded in P 2 as the complement of the divisor U V W = 0, where U , V and W are the homogeneous coordinates in P 2 . Since π(Z η ) avoids the singular points of P 2 \ G 2 m , if we consider the morphism π • σ : C → P 2 × C restricted to the complement of S (which by abuse of notation we still denote by π • σ ), there exist two S-units u, v such that π • σ is given by ((u : v : 1), id C ).
Let f (U , V , W ) = 0 be an equation for π(Z ), which is a polynomial with coefficients in κ(C). Then, we can estimate the intersection σ (C) · Z by counting the number of zeros of f evaluated at (u, v, 1). Therefore (7.1) can be written as On the other hand, if at least one of the heights of u and v is larger than the constant appearing in Proposition 5.1, we have that for every ε > 0 the following equality holds: Up to a finite extension of S, independent of u and v, we can assume that the coefficients of f are S-units, and therefore f (u, v, 1) is an S-integer. Given the hypothesis on the intersection between π(Z η ) and the boundary P 2 \ G 2 m , the constant term f (0, 0, 1) = μ is a nonzero S-unit (independent of u and v). We write f (u, v, 1) as sum of monomials using the following notation: We get w 1 + · · · + w n = 0, where w n = μ. If a proper subsum vanishes, this gives an equation of the form g(u, v) = 0 which implies that deg π(σ (C)) is bounded by deg g deg f thus finishing the proof. In particular, this might happen when u and v are multiplicatively dependent, and one obtains a bound on the exponents of the multiplicative relation.
Therefore, we can assume that no proper subsum of w 1 + · · · + w n = 0 vanishes, so that we can apply [7, Theorem B] to obtain H (w 1 : · · · : w n ) γ n max {0, 2g − 2} + P∈C (γ n − γ m P ), (7.4) where γ 0 = 0, γ = 1 2 ( − 1)( − 2) for all 1, and m P denotes the number of w i s that are units at P. The right-hand side of (7.4) can be bounded from above obtaining H (w 1 : · · · : w n ) γ n max {0, 2g − 2} + P∈S γ n + P∈C \ S (γ n − γ m P ). (7.5) Notice that γ m P = γ n for all but finitely many P ∈ C \ S. In this finite set, which is the set of zeros of f (u, v, 1) outside S, we have γ m P = γ n−1 . Therefore we can rewrite equation (  and c 3 is the constant appearing in Proposition 5.1, which depends only on Z η and on deg π . Finally, we obtained that either the degree of σ (C) is directly bounded by a constant which depends only on Z η and on the degree of π , or the maximum of the heights of u and v is bounded by (7.9), which implies a bound for the degree of the image σ (C).

Applications
In this section we give an explicit application of Theorem A, which generalizes [20, Theorem 1] and [37,Theorem 1.3].
Theorem B Let D be a non-isotrivial stable flat family of divisors in P 2 over a smooth integral curve C. Assume that there exists a finite set of points S ⊂ C such that, for every P ∈ C \ S, the fiber D P of D over P has simple normal crossings singularities and r 3 components of total degree d 4. Then, there exists a constant C, depending only on the generic fiber of D, such that for every section σ : C → P 2 × C verifying supp(σ * D) ⊆ S the following holds: Proof By Remark 6.2, D is an ample (Cartier) divisor on P 2 × C, and therefore we can assume that D ∈ |O P 2 (d) L| for an ample L ∈ Pic(C) and d 4. Let 0 ∈ C be the generic point and let D 0 be the generic fiber of the family D → C. The hypotheses ensure that we can write D 0 = D 1 + D 2 + · · · + D r , with r 3. Let g 1 be an equation of D 1 , g 2 be an equation of D 2 , and g 3 be an equation of D 3 + · · · + D r , of degree respectively d 1 , d 2  ([x 0 : x 1 : which is clearly a finite map and it is defined everywhere since D 0 has simple normal crossings singularities. Moreover π 0 (D 0 ) = P 2 \ G 2 m and therefore π 0 restricts to a finite cover of G 2 m on P 2 \ D 0 . The same argument as in [20,Theorem 1] implies that if E is an irreducible component of the ramification divisor of π 0 such that π 0 (E) passes through a singular point of P 2 \ G 2 m then E lies in the support of D 0 . Therefore, we can extend π 0 to a generically finite map π : P 2 × C P 2 × C which, after possibly resolving indeterminacy of the map, fits into the diagram (P 2 × C, D) pr 2 π / / P 2 × C pr 2 x x r r r r r r r r r r r r C σ 9 9 By the above discussion, the ramification divisor of π has the property that every irreducible component E such that pr 1 (π(E)) passes through one of the singular points of P 2 \ G 2 m is contained in the support of D; in particular, pr 2 (π(Z ) ∩ ((P 2 \ G 2 m ) × C)) is contained in S, where Z is the ramification divisor of π (P 2 ×C) \ D . Therefore, we can apply Theorem A whose conclusion implies the theorem.
We finally give an explicit example where Theorem B applies.

Example 8.1
Consider the one-parameter family of reducible plane quartics given by the vanishing of (y 0 x 0 )(y 0 x 1 ) y 2 0 x 2 2 − y 2 0 x 2 1 − y 2 1 x 1 x 0 − y 2 0 x 2 0 , in P 2 × P 1 , and let D ∈ |O P 2 (4) O P 1 (4)| be the associated divisor. Let S be the finite set of points of P 1 for which the specialized divisor has no normal crossings singularities or does not have three irreducible components; note that S contains at least two points, e.g. π 0 ([x 0 : x 1 : x 2 ]) = (y 0 x 0 ) 2 : (y 0 x 1 ) 2 : y 2 0 x 2 2 − y 2 0 x 2 1 − y 2 1 x 1 x 0 − y 2 0 x 2 0 , which is clearly a finite map and well defined outside of the generic fiber D 0 of D.
In this case, one can compute explicitly the ramification of the finite map π 0 which is given by (y 0 x 0 )(y 0 x 1 )(y 2 0 x 2 ) = 0; in particular, it has three irreducible components. Two of them, namely y 0 x 0 = 0 and y 0 x 1 = 0, are contained in the support of D 0 , while y 2 0 x 2 = 0 corresponds to the generic fiber of Z in our previous notation. We see directly that Z is an ample divisor lying in the linear system |O P 2 (1) O P 1 (2)| and moreover Z ∼ K P 2 ×P 1 + D. Clearly, since S contains the point [0 : 1], one sees directly that pr 2 (π(Z )∩((P 2 \ G 2 m ) × C)) is contained in S, and therefore we can apply Theorem B obtaining a bound on the degree of the image of sections σ : P 1 → P 2 × P 1 such that supp(σ * D) is contained in S.