Unlikely intersections of curves with algebraic subgroups in semiabelian varieties

Let G be a semiabelian variety and C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C$$\end{document} a curve in G that is not contained in a proper algebraic subgroup of G. In this situation, conjectures of Pink and Zilber imply that there are at most finitely many points contained in the so-called unlikely intersections of C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C$$\end{document} with subgroups of codimension at least 2. In this note, we establish this assertion for general semiabelian varieties over Q¯\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\overline{\mathbb {Q}}$$\end{document}. This extends results of Maurin and Bombieri, Habegger, Masser, and Zannier in the toric case as well as Habegger and Pila in the abelian case.


Introduction
Let G be a semiabelian variety defined over Q and X ⊆ G an algebraic subvariety.In this article, we study the intersections of X with algebraic subgroups H ⊆ G having codimension at least dim(X) + 1.For reasons of dimension, one does not expect that such a subgroup H intersects X at all.However, such "unlikely intersections" can appear and interesting phenomena arise when intersecting X ⊆ G with the countable union G [dim(X)+1] of all algebraic subgroups having codimension ≥ dim(X) + 1.For example, it is not clear a priori whether the intersection X ∩ G [dim(X)+1] is Zariskidense in X or not.However, conjectures of Pink [Pin05b] and Zilber [Zil02] imply the following.
Conjecture (Unlikely Intersection Conjecture, (UIC)).If X is not contained in a proper algebraic subgroup of G, then X ∩ G [dim(X)+1] is not Zariski-dense in X.
One immediately realizes that, in the case X is a hypersurface, this statement is exactly the Manin-Mumford conjecture which was proved by Laurent [Lau84], Raynaud [Ray83] and Hindry [Hin88] in the multiplicative, abelian and general semiabelian case respectively.Some special cases of the above conjecture have been already mentioned in a pioneering work of Bombieri, Masser, and Zannier [BMZ99], in which they proved that a curve C in G = G t m has finite intersection with G [2] under the stronger assumption that C is not contained in any translate of a proper algebraic subgroup of G. Maurin [Mau08] gave a general proof with the weaker necessary assumption that C is not contained in a proper algebraic subgroup, using the generalized Vojta inequality of Rémond [Ré05].An alternative proof has been given by Bombieri, Habegger, Masser, and Zannier [BHMZ10], relying on Habegger's proof of the Bounded Height Conjecture for algebraic tori [Hab09].
The main purpose of this note is to establish the following generalization of the results in [Mau08,HP16], which amounts to the full (UIC) in case X is an algebraic curve.
Theorem 1.1.Let G be a semiabelian variety and C ⊆ G an irreducible curve not contained in a proper algebraic subgroup of G. Suppose C and G are defined over a number field K. Then C ∩ G [2] is finite.
If C is contained in a proper algebraic subgroup H of G, the intersection of C with G [2] can be infinite.This is easy to see in the toric case G = G t m .Passing to the component of H containing C, which can be assumed to be ≈ G t ′ m possibly after raising C to an appropriate power, this reduces to the well-known fact that the intersection of a curve C ′ ⊆ G t ′ m with (G t ′ m ) [1] is infinite.Indeed, any non-constant rational function f on C ′ attains infinitely many roots of unity as values, the preimages of which are elements of C ′ ∩ (G t ′ m ) [1] if f is the restriction of a standard coordinate function on G t ′ m .In conclusion, our result is essentially optimal.
We also note that the above theorem implies the Mordell-Lang conjecture for curves in semiabelian varieties ([Pin05a, Theorem 5.3]), yielding hence a special case of a well-known result of McQuillan [McQ95].However, we make use of the Mordell-Lang conjecture -in the proof of Lemma 3.1 -for the intersection of curves in abelian varieties with their Mordell-Weil group.This is also a source of non-effectivity in our main result.
Our main Theorem and most of the above-mentioned results concern semiabelian varieties defined over the algebraic numbers due to the arithmetical methods employed in the proofs.Of course, one might look at curves and semiabelian varieties defined over larger fields.In [BMZ08], the authors show that Maurin's Theorem holds for complex curves, while the first author, in collaboration with Dill, extended the work of Habegger and Pila to curves and abelian varieties over the complex numbers in [BD22].Finally, in [BD21], they extended our Theorem 1.1 to complex curves lying in semiabelian varieties over Q.
Our proof of Theorem 1.1 follows the strategy employed by Bombieri, Habegger, Masser and Zannier in [BHMZ10], relying on the Bounded Height Conjecture proved for semiabelian varieties by the second author [Kü20].However, new difficulties arise in its implementation for semiabelian varieties instead of algebraic tori.
First, semiabelian varieties lack Poincaré reducibility, which is true for tori as well as for abelian varieties.This makes it often necessary to avoid its usage by other tools, mostly through auxiliary quotient constructions.
Second, we have to prove that the points in C ∩ G [2] satisfy a Northcott property (i.e., there are only finitely many such points of height ≤ B for any constant B); see Proposition 4.1.In the toric case G = G t m , this was proven in [BMZ06, Lemma 1], but as this approach does not seem to generalize to semiabelian varieties, we adapt instead a counting argument from the proof of (UIC) for curves in abelian varieties given by Habegger and Pila [HP16].The proof of this counting argument involves linear forms in logarithms on semiabelian varieties [Gau05,Wü89] as well as Pila and Wilkie's ominimal counting Theorem [PW06] and its refinement [HP16] and Ax's Theorem [Ax72].
Third, technical difficulties related to semiabelian varieties appear throughout the argument.A rather unexpected complication comes from the mixed structure of semiabelian varieties.In order to establish a close relation between the algebraic degree of a subgroup H ⊆ G and the covolume of the associated period lattice Ω H in its R-linear span V H (Lemma 2.2), it is necessary to choose a specific metric on the Lie algebra of G(C).
Our result has applications in the context of Pell equations over polynomial rings.In fact, Masser and Zannier [MZ15] had the astonishing insight that there is a connection between (UIC) and the (local) solvability of families of such Pell equations over a base curve.As an example, let us consider the two equations where we consider T as the coordinate on the base curve A 1 C \ {1} and seek solutions (A, B) ∈ C[X] 2 after the specialization T = t, t ∈ C \ {1}.Consider the family of curves and, for each t ∈ U(C), the points Denote by ∞ ± t the two points at infinity of a projective non-singular model C t of C t .Following the argument in [BC20, Section 9], it can be seen that we have a solution on the Jacobian Jac(C t ).Looking at the degree of T in (1), it is clear that the equation is not identically solvable and thus P t is not a multiple of Q t identically.On the other hand, one can show using Siegel's Theorem for integral points on curves over function fields (see the end of Section 10 of [BC20] or p. 68 of [Zan12]) that there are infinitely many t ∈ C for which P t is a multiple of Q t .Thus the equation (1, T = t) is solvable for infinitely many t ∈ C.
In contrast to this, our Theorem 1.1 implies that there are at most finitely many t ∈ C such that the other equation (2, T = t) admits a solution (A, B) ∈ C[X] 2 .However note that the polynomial in front of B 2 in (2) is not square-free.This forces one to consider not just abelian varieties but also linear extensions of those.See [Ber15] or [Sch17] for a short description and some examples involving multiplicative as well as additive extensions.The generic fiber of the family C is birationally equivalent to the elliptic curve E : inducing an isomorphism between the Jacobians of their projective non-singular models.
We write ϕ T : C E for the birational map over Q(T ).It is explicitly given by sending (X, Y ) to (1/X + T, Y /X 2 ) and we first compute that Note that Write Jac m (E) for the generalized Jacobian of E with respect to the modulus From Lutz-Nagell for number fields [Sil92, VIII, Exercise 8.11], it follows that (1, ± √ 2) is not torsion on E. Consulting the references cited above, we conclude that Jac m (E) is isomorphic to a fixed non-split extension G of E by G m .We write . Now suppose we have a solution of (2, T = t).Then we get a rational function f on E whose divisor is a linear combination of the divisors [ϕ t (P This implies that P t , Q t satisfy a linear relation over Z.As t varies over the points of the base curve U, the point (P t , Q t ) defines an irreducible curve C in G 2 and each linear relation defines a subgroup of G 2 of codimension 2. Clearly, both G and C are defined over the algebraic numbers.In addition, we can check that the point ϕ −2 (P ± −2 ) = (−1, 0) is torsion on E while, again using Lutz-Nagell, one can check that ϕ −2 (∞ ± −2 ) is not torsion.Thus P t , Q t ∈ Jac m (E) satisfy no constant linear relation and C is not contained in a subgroup of G 2 of positive codimension.This reduces the finiteness assertion to our Theorem 1.1.
Another application of this kind of results has recently appeared in [BCM + 20] and concerns multiplicative dependence of values of rational functions and linear dependence of points of elliptic curves after reduction modulo primes.There are three main results in [BCM + 20] respectively for G t m , E g and G t m × E g , where E is an elliptic curve over Q, and they use the appropriate special case of the statement of Theorem 1.1.While for the first two cases, the desired results were already in the literature ( [Mau08] and [Via08], [Gal10]), for the third the authors prove a weaker case of Theorem 1.1 where the projections of the curve on the multiplicative and the elliptic factors cannot both be contained in proper coset.In this way, the bounded height results contained in [BMZ99] and [Via03] are sufficient and the use of the strategy of [BHMZ10] can be avoided.With the result of this article we can remove that superfluous hypothesis in Theorem 2.8 of [BCM + 20] and in its corollaries.

Preliminaries
Throughout this section, G is a semiabelian variety defined over a field k.Recall that this means that G is a connected smooth algebraic k-group that is the extension 0 T G A 0 of an abelian variety A of dimension g by an algebraic torus T .We always assume that T = G t m ; such an identification can always be made if k = C or after base change to a finite extension of k.
In this section we collect and prove several basic results that we are going to need later.

The open anomalous locus.
A coset in G is the translate H + p of a connected algebraic subgroup H by a closed point p of G.We usually write cosets of G in the form p + H. Let V be an irreducible subvariety of We let V oa,G (or simply V oa ) to be the complement in V of the union of all anomalous subvarieties of V .
The following theorem is a generalization of Theorem 1.4 of [BMZ07].
Theorem 2.1 (Structure Theorem).Let V ⊆ G be an irreducible subvariety of positive dimension.
(a) For any proper semiabelian subvariety H of G, the union Z H of all subvarieties W of V contained in any coset of H with and is therefore closed in V by the Fiber Dimension Theorem.The set H + Z H is nothing but the union of all cosets of H that give rise to an anomalous component in

But now the Fiber Dimension Theorem gives an open dense
The set U must then be disjoint from ψ(Z H ) and therefore the latter cannot be dense in G/H.
We now turn to part (b).We recall [CL12, Theorem 2.3], which is a corollary of the theorem on [Kir09,p. 449].If V is an irreducible subvariety of G then there exists a finite family Φ V of proper semiabelian subvarieties such that for all cosets p + K of a semiabelian subvariety K and all anomalous components W of V ∩ (p + K) there exists an H ∈ Φ V and q ∈ G so that W ⊆ q + H and where W ′ is the irreducible component of V ∩ (q + H) containing W . Now, let W be a maximal anomalous component arising from an intersection V ∩ (p + K).We can suppose that K is the smallest semiabelian subvariety so that W ⊆ p + K.We will show that K ∈ Φ V , where Φ V is as in the above statement.The statement actually gives an H ∈ Φ V with (4).We show that K = H.By assumption we have K ⊆ H. Let W ′ be the irreducible component of V ∩ (q + H) containing W and suppose H = K so W W ′ .By the maximality of W , W ′ cannot be anomalous and we have dim So, by (4), we have dim which contradicts the fact that W was an atypical component of the intersection V ∩ (p + K).
2.2.Degrees of subgroups and periods.In this subsection, we consider a semiabelian variety G defined over C. We identify smooth subvarieties X ⊆ G with the complex analytic manifolds associated to them through analytification [Ser56].
For the degree computations in this subsection, it is convenient to work with an explicit compactification G 0 of G and a specific ample line bundle L 0 on G 0 .Nevertheless, the results obtained are independent of this specific choice.Let us consider the compactification G 0 of G, the maps [n] : G 0 → G 0 and π : G 0 → A, and the line bundle M = M G 0 from [Kü20, Construction 5].Furthermore, we choose a very ample symmetric line bundle N on the abelian quotient A of G.We then choose the line bundle for the periods of G.It is well known that Ω G is a discrete subgroup of Lie(G) of rank 2g + t and we write V G ⊆ Lie(G) for its R-linear span, which coincides with the preimage of the maximal compact subgroup K G ⊆ G under exp G ; we use analogous notations for other semiabelian varieties.
The exact sequence between the respective period lattices.Finally, we obtain an exact sequence Starting from the (1, 1)-form c 1 (N, h N ), we can define a symmetric, positive definite, R-bilinear form on V A ; in fact, the pullback exp * A c 1 (N, h N ) is an invariant positive definite (1, 1)-form on the C-vector space Lie(A) = V A .We can hence use the oneto-one correspondence between Hermitian forms and symmetric R-bilinear forms (see e.g.[Kü20, Section 4]).Write g ab for the invariant Riemannian metric obtained on V A in this way.We also describe an invariant Riemannian metric g tor on V G t m as follows: The standard product decomposition of the period lattice.We let g tor be the unique invariant Riemannian metric on V G t m such that (2πi, 0, . . ., 0) , (0, 2πi, . . ., 0) , . . ., (0, 0, . . ., 2πi) , form a g tor -orthonormal basis of V G t m .In order to obtain a metric g G on V G from g ab and g tor , we next describe a canonical splitting σ : V G → V G t m of (5).Consider the additive homomorphisms λ 1 , . . ., λ t : G(C) → R afforded by [Kü20,Lemma 14].We recall also that coincides with the maximal compact subgroup K G of G(C).In addition, the functions λ 1 , . . ., λ t satisfy a certain functoriality: Let ϕ : H → G be a homomorphism of semiabelian varieties inducing a homomorphism ϕ tor : → R be given by invoking [Kü20, Lemma 14] for H. On H(C) there is then an identity (6) all these facts can be found with proofs in [Kü20, Section 5.1].
The compositions λ j • exp G : Lie(G) → R, j = 1, . . ., t, are R-linear and their common zero locus is precisely Lie(K G ).As G is a complex Lie group, multiplicationby-i (i = √ −1) induces an R-linear map I : Lie(G) → Lie(G).(Note that I does not preserve Lie(K G ).) For each u ∈ {1, . . ., t}, we set splits the exact sequence (5) on the left.This splitting is compatible with passing to subgroups: for the inclusion from (5), we have to show that σ • ι is the identity on V G t m .By functoriality (6), we can reduce to the case G = G t m for this.We can furthermore restrict to the case t = 1 because of the product structure.In this case, we have λ 1 (z) = log |z| where z is the standard complex coordinate on G m (compare again [Kü20, Section 5.1]).In addition, exp G is just the ordinary exponential function.For each real number r, we have thus which completes the proof of the first assertion.
The second assertion follows from functoriality (6): Let X 1 , . . ., X t be the standard algebraic coordinates on G

vanishes on H(C). This yields a corresponding linear relation on the image of σ|
Using this isomorphism, we obtain a Riemannian metric g G = g tor × g ab on V G .This allows us to consider the covolume covol g In what follows, for a semiabelian subvariety H of G, H indicates the closure of H in G. Furthermore, we fix an arbitrary ample line bundle L on G once and for all.
Lemma 2.2.Let H ⊆ G be a semiabelian subvariety with maximal torus T ⊆ G t m and maximal abelian quotient B ⊆ A. Then, If G is an abelian variety, the above inequalities can be sharpened to an equality [HP16, Lemma 3.1].In the toric case, this is unfortunately not possible.In fact, the one- Proof of Lemma 2.2: Without loss of generality, we can assume that G = G 0 and L = L 0 for the proof of the lemma.
The corresponding diagram of algebraic groups induces a commutative diagram with exact rows 0 consisting of R-linear vector spaces.By Lemma 2.1, the restriction σ| By Lemma 2.3 below, we have Therefore, it suffices to prove We first prove the inequalities in (8).Choose an isomorphism T ≈ G t ′ m so that the inclusion ι : T ֒→ G t m is described by and hence covol gtor Writing B for the matrix (b uv ) ∈ Z t×(t−t ′ ) , the columns of B are a Z-basis of the sublattice in Z n that is spanned by all elements orthogonal to the columns of A. We hence have By the Cauchy-Binet formula, we have After renaming, we may and do assume that be an upper triangular matrix arising from B u by successive elementary row transformations.Then det . This is the same as the number of simple points one obtains by intersecting T ⊆ (P 1 ) t with the linear hyperplanes for sufficiently generic δ 1 , . . ., δ t ′ .This means nothing else than . This concludes the proof of the right inequality in (8).
For the left inequality in (8), we know from above that we may represent T as being cut out by equations (10 which bounds the intersection number in (11).The degree is just the sum of such numbers, whence the other inequality in (8).
For the equality (9), we note that the second equality is [Voi07, Lemma 3.8] and the third equality follows from the compatibility between algebraic and topological Chern classes acting on singular homology [Ful98, Proposition 19.1.2]and the fact that the topological Chern class of a hermitian line bundle is given by its Chern form (see e.g.[GH94, Proposition on p. 141]).
The following is a straightforward application of basic intersection theory.In its proof, we use the notations from [Ful98, Chapters 1 and 2].We also use the specific compactification G 0 and the line bundle L 0 = M ⊗ π * N from above.This is admissible because the lemma is only invoked in the proof of Lemma 2.2.Lemma 2.3.Let H ⊆ G be a semiabelian subvariety with maximal torus T ⊆ G t m and maximal abelian quotient B ⊆ A. Then, We show next that all addends in this sum are zero except the one for i = dim(T ).

As the restriction [2]|
Taking the degree of these 0-cycles, we obtain The restriction π| H : H → B is flat of relative dimension dim(T ).We can therefore pull back cycle classes on B to cycle classes on H.In particular, we have (π| Using [Ful98, Proposition 2.5 (d)], we obtain By construction, there exists a non-canonical isomorphism between each fiber (π H ) −1 (p) and T such that the restriction of M to (π Combining this with (12), we deduce whence the assertion.
In preparation for the next lemma, we need to fix a norm , we fix a norm • on Lie(G) extending the norm induced by the Riemannian metric g G on V G ).For this purpose, let us note that the canonical decomposition that is compatible with passing to subgroups H ⊆ G by Lemma 2.1.For the sequel, we keep fixed an arbitrary norm • such that the decomposition Lie(G) = IV G t m × V G is orthogonal with respect to the associated bilinear form.
The following is an analog of Lemma 3.2 of [HP16].
Lemma 2.4.There exist constants c 3 , c 4 , depending only on G and L, such that the following two assertions are true: (1) For each semiabelian subvariety H ⊆ G, the period lattice Proof.Again, we can assume that G = G 0 and L = L 0 without loss of generality.Given Lemma 2.2 above, the first part is a simple application of Minkowski's Theorem (see [HP16, Lemma 3.2 (i)] for details).
For the second part, consider the orthogonal projection

Heights on Semiabelian Varieties.
In this subsection, we let G be a semiabelian variety over a number field K ⊆ C. Let h L be an arbitrary Weil height associated to L. In this general setting, the second author proved the following theorem, which constitutes a proof of the bounded height conjecture for semiabelian varieties.We write G [s] for the countable union of all algebraic subgroups having codimension ≥ s in G for some fixed integer s.Recall that, for a subvariety V ⊆ G, we have defined V oa right before Theorem 2.1.
We conclude this subsection with a further lemma.
Lemma 2.5.Let • be the norm on Lie(G) introduced in the previous subsection.Then, there exists a constant Proof.Without loss of generality, we can assume G = G 0 and L = L 0 where G 0 and L 0 = M ⊗ π * N are as in the previous subsection.Since the line bundle π * N is nef with empty base locus, there exists a constant c 6 = c 6 (G, N) > 0 such that for some real number s, we conclude that p ∈ K s 0 with 2.4.Subgroups of semiabelian varieties.We could not find a reference for the following lemma, but it should be well known to experts.
Lemma 2.6.Let G be a semiabelian variety over a field k.Then there exists a finite extension k ′ /k such that all connected algebraic subgroups of G are defined over k ′ (i.e., all connected subgroups of G are invariant under Gal(k/k ′ )).
Note that the assertion of the above lemma is false for the finite subgroups generated by torsion points, hence requiring connectedness is necessary.
Proof.We first consider the (well-known) case where G is an abelian variety A. We start with proving that every connected algebraic subgroup B ⊆ A appears as the component containing 0 A of the kernel of an endomorphism of A. The endomorphism ring of A k is a finitely generated Z-module [Mum70, Theorem 3 on p. 176], hence there exists a finite extension k ′ of k such that every endomorphism of A k is defined over k ′ .By the above, any connected algebraic subgroup B ⊆ A is the connected component containing 0 A of an algebraic subgroup B ′ ⊆ A invariant under Gal(k/k ′ ) and hence likewise Gal(k/k ′ )-invariant.This settles the case of abelian varieties.
For a general semiabelian variety G, we can reduce to this case.Note that we can assume that the maximal subtorus of G is split (i.e., equals G t m ) by replacing k with a finite extension.By the above, we also assume that all connected algebraic subgroups of A are defined over k.Under this assumption, we prove that the same is true for G. Let H ⊆ G be a connected algebraic subgroup with maximal subtorus T ′ ⊆ G t m and maximal abelian quotient B ⊆ A. Note that T ′ is split as a subtorus of a split torus so that we can arrange that T ′ = G t ′ m .Recall that a semiabelian variety G defined over k is described by an extension class η G ∈ Ext 1 k (A, T ) where A is its maximal abelian quotient and T is its maximal subtorus (see e.g.[Kü20, Subsections 1.1 and 1.2] and [Ser88, Chapter VII]).Furthermore, the Weil-Barsotti formula (see [Oor66, Section III.18] or the appendix to [MB81]) gives a canonical identification Ext Writing ι : B ֒→ A for the inclusion and ι ∨ : A ∨ → B ∨ for its dual, each η H,i is a Z-linear combination of some ι ∨ (η G,i ) ∈ B ∨ (k), 1 ≤ i ≤ t.Consequently, all η H,i , 1 ≤ i ≤ t ′ , are contained in A ∨ (k) and thus H is defined over k.

An auxiliary lemma. The following assertion generalizes [BHMZ10, Lemma 6].
Lemma 2.7.Let G be a semiabelian variety over a number field K such that all its connected subgroups are defined over K.
(a) Let p ∈ G(Q) and σ ∈ Gal(K/K) be such that p σ −p is contained in a coset q+H, q ∈ G(K).Then there exists a torsion point

in a torsion coset of H). (b)
There exists an integer e = e(K) ≥ 1 such that the following is true: Proof.(a) Let L be a finite normal extension of K such that p ∈ G(L).Consider the image χ(q) ∈ (G/H)(K) under the quotient homomorphism χ : G → G/H.We have to prove that χ(q) = χ(p σ − p) is torsion.In fact, its [L : K]-th multiple equals The argument of (a), applied to the trivial group H = 1, shows that p σ − p ∈ G(K) is a torsion point.We can take e(K) to be the exponent of the finite group Tors(G) ∩ G(K).Indeed, we have [e](p σ − p) = 0 for all σ ∈ Gal(K/K), which is equivalent to ([e](p)) σ = [e]p for all σ ∈ Gal(K/K).Thus, we have [e]p ∈ G(K).

An auxiliary proposition
In this section, we establish an important finiteness proposition needed in the course of our main proof.It generalizes Lemma 4 of [BHMZ10], except for effectivity.Proposition 3.1.Let G be a semiabelian variety defined over a number field K and C ⊆ G an irreducible algebraic curve defined over Q that does not lie in G [1] (i.e., is not contained in a proper subgroup of G).For any integer e ≥ 1 and any number field K, there are at most finitely many p Before being able to prove the proposition, we have to start with some preparatory lemmas.In the following, G is a semiabelian variety defined over a number field K and we assume that G is the extension of the abelian variety A by a split torus G t m .Furthermore, C ⊆ G is an irreducible subcurve defined over Q.We consider the compactification G of G and the line bundles M, N on G as in Subsection 2.2.In addition, we recall the decomposition G,i for each i ∈ {1, . . ., t}.Finally, we write Σ K for the set of places of K and Σ K,f for the finite ones.
Lemma 3.1.There exists a finite set of places S ⊆ Σ K,f and a finite set of rank (t − 1) matrices M (α) ∈ Z (t−1)×t , α ∈ I, with the following property: For each ν ∈ Σ K,f \ S and x ∈ C(K), there exists some α 0 = α 0 (ν, x) ∈ I such that Proof.We start with some geometric constructions.Let be the extension class describing the semiabelian variety G.By [Mum70, Theorem 1 on p. 77], there exist points x 1 , . . ., x t ∈ A(K) such that where T x : A → A denotes the translation by x ∈ A(K).As N is very ample and thus base-point free, there exist global sections We furthermore assume that 0 A , x i / ∈ supp(D k ) for all i ∈ {1, . . ., t} and k ∈ {1, . . ., k 0 }.

Let us set E
for all i ∈ {1, . . ., t} and k, k ′ ∈ {1, . . ., k 0 }.With each divisor D k , 1 ≤ k ≤ k 0 , and each place ν ∈ Σ K , we can assign a Néron function [Lan83,Theorem 11.1.1]);the Néron functions (λ D k ,ν ) ν∈Σ K are only unique up to Σ K -constants and we make here a choice once and for all.By [Lan83, Corollary 10.3.3], the disjointness property (15) implies that there exists a finite set S 0 ⊆ Σ K,f such that for all ν ∈ Σ K,f \ S 0 and all x ∈ A(C ν ).By [Lan83, Theorem 11.1.1(1) and (4)], the function λ In other words, 1≤k,k ′ ≤k 0 U (i) k,k ′ = A for all 1 ≤ i ≤ t.Furthermore, the restriction of the line bundle P i to U (i) k,k ′ is trivial, so that we can fix isomorphisms φ Projecting to the second factor induces "toric coordinates" z ) is an algebraic number so the first equality is clear.For the second equality, note that if λ D,ν : (X \ supp(D))(C ν ) → R, ν ∈ Σ K , is the collection of Weil functions associated with an arbitrary Néron divisor D on a K-algebraic variety X, then for every point x ∈ (X \ supp(D))(K) we have λ ν (x) = 0 for almost all places ν of K (see [Lan83, Section 10.2]).A closer look at the Néron-Tate limit process reveals that the same is then also true for the canonical heights on abelian varieties (see [

CS93, Equation (19)]).
for all x ∈ π −1 (U For every point p ∈ C(K), every i ∈ {1, . . ., t} and every ν ∈ Σ K,f \ S 0 , we can use (16) to pick k i , k ′ i ∈ {1, . . ., k 0 }, which may depend on p, i, ν, such that in particular, this means π(p), π(p) ) and consider the map Note that, although ϕ p depends on p, there are at most finitely many choices for this map.Therefore, there is a finite set {p 1 , . . ., p r } ⊆ G t m (K) of points and subcurves C 1 , . . ., C s ⊆ G t m , independent of p and ν 0 such that the Zariski closure of ϕ p (C ∩ U) ⊆ G t m is among the elements of {p 1 , . . ., p r , C 1 , . . ., C s }.By Lemma 3.2 below, we obtain a finite set S 2 ⊆ Σ K,f and matrices M (α) ∈ Z (t−1)×t of rank (t − 1), α ∈ I, such that for each x = (x 1 , . . ., x t ) ∈ ϕ p (C ∩ U), there exists α 0 ∈ I satisfying for every ν ∈ Σ K,f \ (S 0 ∪ S 1 ∪ S 2 ) and all x ∈ ϕ p (C ∩ U).Applying this for x = ϕ p (p), we obtain the assertion of the lemma, as λ i,ν = − log |z m,K be an irreducible curve.There exist finitely many places S ⊆ Σ K,f and a finite set of rank (t − 1) matrices M (α) ∈ Z (t−1)×t , α ∈ I, with the following property: For each ν ∈ Σ K,f \ S and z = (z 1 , . . ., z t ) ∈ C(K), there exists some α 0 = α 0 (ν, z) ∈ I such that Proof.Let us first consider the case t = 2. (The case t = 1 is evidently trivial.)The curve C ⊆ G 2 m can be written as the the zero set of a non-zero polynomial there exist distinct pairs (j 1 , j 2 ) and (k 1 , k 2 ) such that and Varying z ∈ C(K), we obtain at most finitely many different equations of this form, one of which has to be satisfied for every point z ∈ C(K) and every ν ∈ Σ K,f \ S. Thus we obtain (17) in case t = 2.
For the case t > 2, we can assume that there exists an integer t 0 ∈ {1, . . ., t}, such that the projections pr i | C : C → P 1 K , 1 ≤ i ≤ t 0 , are dominant, and each image pr i (C), Let z ∈ C(K) be an arbitrary point as in the assertion of the lemma.There is nothing to prove if log |z i | ν = 0 for all i ∈ {1, . . ., t 0 }.After renaming the first t 0 coordinates, we can therefore assume that log |z 1 | ν = 0.For each t ′ ∈ {2, . . ., t}, applying the above to the projection pr for one of finitely many pairs (b 1 , b 2 ) = (0, 0).In fact, we can and do assume that b 2 = 0 for each of these pairs.
For each point z ∈ C(K), we combine these t − 1 relations to a matrix relation where M ∈ Z (t−1)×t has rank (t − 1).Clearly, we obtain only finitely many matrices M in this process, which concludes the proof of the lemma.
Lemma 3.3.For every finite subset S ⊆ Σ K,f , the subgroup has finite rank.
Proof of Proposition 3.1.Replacing C with [e](C), we may assume that e = 1.This means that we have to show that the set (C ∩G [2] )(K) is finite.We can also assume that C is not a translate H 0 + p where H 0 ⊆ G is a subgroup (of dimension 1) and p ∈ G(Q).In fact, if such a translate H 0 + p intersects a subgroup H ⊆ G of codimension 2, then H 0 +p ⊆ H 0 +H ⊆ G [1] .By Lemma 3.3 and the Mordell-Lang conjecture for semiabelian varieties that was proven by Faltings [Fal94], McQuillan [McQ95], and Vojta [Voj96], the set C(K) ∩ Γ(K, S) is finite for every finite subset S ⊆ Σ K,f .Furthermore, the proposition follows from Faltings' proof of the Mordell conjecture [Fal83] if t = 0 (i.e., G is an abelian variety).
We prove the general case of the proposition by induction on t.For the inductive step, it remains to prove that (C ∩ G [2] )(K) \ Γ(K, S) is finite.

K, S).
There exists some ν 0 ∈ Σ K,f \ S such that (λ 1,ν 0 (x), . . ., λ t,ν 0 (x)) is non-zero.Note that this implies that the subgroup H has a non-trivial maximal subtorus T ⊆ G t m ; in fact, otherwise every point There exists some α 0 ∈ I such that As M (α 0 ) has maximal rank t − 1, any (a 1 , . . ., a t ) ∈ Z t such that (a 1 , . . ., a t ) is a Q-linear combination of rows in M (α 0 ) .In particular, this is true for the equations describing the subtorus T ⊆ G t m .We deduce that H (α 0 ) ⊆ T ⊆ H so that ϕ (α 0 ) (H) is a subgroup of codimension ≥ 2 in G (α 0 ) .Thus, there are only finitely many possible choices for ϕ

Unlikely intersections of bounded height
In this section, we prove the following intermediate result towards Theorem 1.1.Its proof is based on o-minimal counting techniques and modeled after [HP16].
Proposition 4.1.Let C be an irreducible curve in G not contained in G [1] .Then there are at most finitely many points in (C ∩ G [2] )(Q) of bounded height.
In the sequel, c 1 , c 2 , . . .denote positive constants that only depend on the semiabelian variety G and on the curve C. We also assume throughout this section that the number field K is sufficiently large such that all connected algebraic subgroups of G are invariant under Gal(K/K), which we may do by Lemma 2.6.4.1.Some complexity estimates.For each point p ∈ G(Q), we write p = q + H p for the smallest torsion coset of G containing p, where H p is a connected algebraic subgroup of G and q ∈ Tors(G).
We define the complexity of a torsion coset q + H to be ∆(q + H) = max{min{ord(q 0 ) : for later use.We recall that L is an ample line bundle on G that we have fixed before Lemma 2.2.
The following two lemmas will allow us to bound ∆( p ) in terms of the degree of p and its height.
Lemma 4.1.For each point p ∈ G(Q), there is a torsion point q ∈ Tors(G) of order Being a quotient of a K-split torus G t m , the torus G t m /T is also K-split (i.e., isomorphic over K to some G t ′ m ).Using the elementary structure of cyclotomic fields, we infer hence that the torsion point ϕ Hp (p ′ ) has order As ϕ Hp (p) has order ≤ m 1 m 2 , this concludes the proof.Lemma 4.2.For each point p ∈ G(Q), we have The assertion of the lemma is well known from the transcendence theory of commutative algebraic groups.For abelian varieties, it is proven in [BG19, Théorème 1.4]with completely explicit constants c 7 , c 8 , c 9 -relying on a theorem of Bertrand [Ber95, Théorème 2], polarization estimates due to Gaudron and Rémond [GR14], as well as other tools from transcendental number theory.Unfortunately, such a result does not seem to be in the literature for semiabelian varieties.Therefore, we derive the lemma directly from linear forms in logarithms of semiabelian varieties.In this way, the asserted degree bound follows from the bound on the degree of an obstruction subgroup.
Let p ∈ G(Q).We recall that p = q + H p for some q ∈ Tors(G) which implies p − q = H p .Using Lemma 4.1 and easy estimates for the height (recall that torsion points have uniformly bounded height) we may replace p by p − q and therefore assume p = H p , so p ∈ H p (Q).By the assumption on K, all connected algebraic subgroups of G are defined over K.The tangent space Lie(H p ) is hence defined over K. Lemma 2.5 yields a preimage v of p under the group exponential exp G such that We do not necessarily have v ∈ Lie(H p ), but there exists a period ω We now let U be the K-subspace Lie(ψ We apply [Gau05, Théorème 1] m times with (1) the semiabelian variety G therein being the product G × G 2g+t , (2) p being the point (p, 0 G 2g+t ) ∈ G(K), (3) u being its logarithm (v, ω 1 , . . ., ω 2g+t ), (4) W being one of the codimension-1 K-subspaces W i , i = 1, . . ., m, and (5) the real parameters E, D, a being set such that we obtain connected algebraic subgroups By Lemma 4.1 and 4.2, we have 4.2.Definability of the exponential map.The following lemma prepares our application of o-minimal counting techniques, for which we need that a suitable restriction of the exponential map exp G : Lie(G) → G(C) is definable in the o-minimal structure R an,exp [vdDM94].To make this precise, we need to fix some additional notations and identifications first.
A definable manifold is a pair (M, {ϕ i : ) consisting of a real-analytic manifold M and a collection {ϕ i : U i → R n } 1≤i≤K of finitely many real-analytic charts covering M such that the sets ϕ i (U i ∩ U j ) (1 ≤ i, j ≤ K) and the transition maps between definable manifolds is called definable if the associated graph manifold is definable as a subset of the definable manifold M × N.
We endow Lie(G) with the structure of a definable manifold by taking a fixed R- It is easy to see that F ′ G and F G are definable (as subsets of the definable manifold Lie(G)); they are also canonically definable manifolds.
Furthermore, we can choose a projective embedding κ : G ֒→ P N K associated with the global sections of the very ample line bundle L. To endow the real-manifold G(C) with the structure of a definable manifold, we use the (N + 1) charts induced from the standard covering of P N K by open affine subsets.With these preparations, we can finally state the next lemma.

Lemma 4.3. Considering F G and G(C) as definable manifolds in the sense above, the restriction exp
is algebraic and hence definable, it suffices to prove that the restrictions of exp G to IV G t m and to F ′ G are definable.By compactness, the restriction of exp G to F ′ G is definable (even in R an ).It hence remains to prove the definability of exp G | IV G t m and using the fact that the group law is algebraic once again, we can even assume t = 1 without loss of generality.In this situation, the identification Ω Gm = Z • (2πi) yields IV Gm = R and exp G | IV Gm = exp(c • x) for some real constant c.In any case, we see that exp G | IV G t m is definable.

O-minimal counting.
Recall that Lemma 4.3 provides us with a fundamental domain We are also going to identify IV G t m × V G with R 2t+2g by choosing a basis so that the period lattice Ω G corresponds to Z t+2g in V G .
We let log . This is a definable set of dimension 2 (see [HP16, Lemma 6.2]).
We have an induced embedding of End(Lie(G)) in M 2t+2g (R), which we identify with R (2t+2g) 2 .This will allow us to see each Lie(H) ⊆ Lie(G) as the kernel of a matrix.
We consider the definable set We see it as a family with parameters in M 2t+2g (R) and fibers We moreover set, for some T ≥ 1, where H(•) is the exponential height on Q 2t+2g .Finally, we let π 1 and π 2 be the projection maps from R 2t+2g × R 2t+2g to the first and the second factor respectively.
The following statement is a special case of [HP16, Corollary 7.2].
We are also going to need the following consequence of Ax's Theorem [Ax72].
Proof.In [HP16, Theorem 5.4] Habegger and Pila formulated and proved this statement for abelian varieties.The exact same proof works in our case as Ax's Theorem holds for semiabelian varieties.

Conclusion.
In order to prove Proposition 4.1 we suppose there is a real number B and infinitely many points p ∈ (C ∩G [2] )(Q) with h L (p) ≤ B. Note that, by Northcott's Theorem, we have that the degree over K of such points must tend to infinity.Let p be one of these points.Then, p ∈ p = H p + q for some q ∈ Tors(G) and dim H p ≤ dim G − 2. We assume that q is of minimal order.
By our assumption on K we have that all Gal(K/K)-conjugates of p lie in an algebraic subgroup of G of codimension at least 2. Actually we have p σ = H p + q σ for all σ ∈ Gal(K/K) and thus ∆( p σ ) = ∆( p ).
We let z σ , r σ ∈ log G (C) be the logarithms of p σ and q σ in our fundamental domain, i.e., exp G (z σ ) = p σ and exp G (r σ ) = q σ .Since we have identified Ω G with Z t+2g in V G and r σ ∈ F G , we have that r σ ∈ {0} × Q t+2g and H(r σ ) = ord(q σ ).Now, Lemma 2.5 provides us with a We compare v σ and z σ − r σ .Since their image via exp G coincide, the difference between v σ and z σ − r σ is a period, which must project to the identity on IV G t m .Therefore, the projections of these two elements on IV G t m coincide.Moreover, the projection of z σ − r σ on V G is bounded, therefore Moreover, Lemma 2.4(2) guarantees that there exists We conclude and therefore we have , where ψ 0 is a matrix whose kernel is Lie(H p ).
We note that by definition We apply Lemma 4.5 with γ = Lie(φ) ) and is a one dimensional coset that must be a torsion coset because it contains the torsion point φ(π 2 (β(0))).
Since G/H p has dimension at least 2 it follows that C is contained in a proper algebraic subgroup of G.This contradicts our hypothesis and therefore d p must be uniformly bounded and Proposition 4.1 is proved.5. Proof of Theorem 1.1 5.1.Preparations.We recall that G is a semiabelian variety defined over a number field K, which is given by an exact sequence We recall that L is an ample line bundle on G that we have fixed before Lemma 2.2.We prove the theorem by induction on dim(G).If dim(G) = 1, then G [2] = ∅ and there is nothing to prove.If dim(G) = 2, then G [2] = Tors(G) and the theorem is a consequence of the Manin-Mumford conjecture for semiabelian varieties proven by Hindry [Hin88].These two cases serve as the basis of our induction.
For the induction step, we assume now that the theorem is already proven for all semiabelian varieties of dimension strictly less than dim(G) > 2. Let p 0 +G 0 , p 0 ∈ C(Q), be the smallest coset containing C. Although C is by assumption not contained in any proper algebraic subgroup of G, we may have G 0 = G.
We make an elementary observation on the dimension of G 0 .
Lemma 5.1.Let H ⊂ G be a semiabelian subvariety of codimension at least 2 and q ∈ Tors(G).
In the sequel, we hence assume that dim(G 0 ) ≥ 2.

5.
2. An auxiliary surface.We consider the difference map and the irreducible variety S that is the Zariski-closure of ∆ It is easy to see that G 0 is the minimal coset containing S: In fact, any coset containing S is a connected algebraic subgroup because of 0 G ∈ S. If H ⊆ G is a subgroup containing S, we have In the next lemma, we collect some basic properties of S.
Lemma 5.2.S has dimension 2 and is not G 0 -anomalous in itself.
Proof.For the sake of contradiction, assume that S = C − C is an irreducible curve.Then, the translated curve and is hence a onedimensional algebraic subgroup.As C is just a translate of this subgroup, this gives a contradiction to our assumption that dim(G 0 ) ≥ 2.
The second part of the statement was proven above.
The Structure Theorem 2.1 applied to S in G 0 gives a finite set Φ S of proper abelian subvarieties of G 0 such that where each Z H is a finite union of subvarieties W ⊂ S ∩ (p + H), for some p ∈ G 0 (Q), with dim W ≥ 1 and dim W ≥ dim S − codimH + 1 = 3 − codimH.Note that Lemma 5.2, implies that all the W in the finite union above are curves.Moreover, all the H that give a contribution to the above union have codimension at least 2. We may then conclude that there exist finitely many irreducible algebraic curves Then there exist constants c 1 , c 2 > 0 such that By upper semicontinuity of the fiber dimension ([Gro66, Théorème 13.1.3]),the set Z(f ) is closed.In addition, it is easy to show that Z(f ) has codimension ≥ 2 in Y .In our application to surfaces X and Y , this means that Z(f ) is a finite set of points.
Proof.This follows from [Sil11, Theorem 1].The height inequality obtained in loc.cit. is of the desired form (20), but only valid for all points in a (not determined) Zariski open dense subset U ⊆ Y ; we hence have to verify that we can ensure Y \ U ⊆ Z(f ).
Let W be an irreducible component of Y \ U that does not lie in Z(f ).We have that f −1 (W ) consists of m irreducible components V 1 , . . ., V m .If dim(V i ) > dim(W ), then f (V i ) ⊆ Z(f ).So it suffices to consider points on the irreducible components V i such that dim(V i ) = dim(W ).For each of these, we can again apply [Sil11, Theorem 1] to f | V i : V i → W .We get that (20) holds for all x ∈ V i (Q) such that f (x) ∈ U ′ for some Zariski open dense U ′ ⊆ W .If W \ U ′ ⊆ Z(f ) we are done, otherwise we repeat the same argument with W \ U ′ instead of W .We only need to do this finitely many times as dim(W \ U ′ ) < dim(W ).

Enlarging the number field K.
There exists a finite extension K ′ /K such that the following conditions are satisfied: (1) all connected algebraic subgroups of G are defined over K ′ (Lemma 2.6), (2) we have p 0 ∈ G(K ′ ), p i ∈ G(K ′ ) (1 ≤ i ≤ N), and Z ⊂ S(K ′ ), and (3) the curve C ⊂ G as well as the curves C i ⊂ G 0 (1 ≤ i ≤ N) in (19), are defined over K ′ .Replacing K with K ′ , we can assume that the above conditions are already satisfied for K. 5.5.Some reductions.Recall that we have to show that the set (C ∩ G [2] )(Q) is finite.For this purpose, we consider a point p ∈ (C ∩ G [2] )(Q).Denote by H ⊂ G a semiabelian subvariety of codimension at least 2 and q ∈ Tors(G) such that p ∈ q + H. Recall that G 0 + H = G by Lemma 5.1.
Set p ′ = p − p 0 ∈ S(Q).For each σ ∈ Gal(K/K), we define Considering tangent spaces at 0 G , we obtain As the intersection G 0 ∩ (q σ − q + H) is a torsion translate of G 0 ∩ H in G 0 , the point r p,σ is contained in S ∩ (G 0 ) [2] .
By these two above lemmas, it suffices to prove that there are at most finitely many points p ∈ (C ∩ G [2] )(Q) such that there exists some σ ∈ Gal(K/K) satisfying r p,σ ∈ S(Q) \ (S oa (Q) ∪ Z).By Lemma 2.7 (a), the fact that r p,σ ∈ C i implies that p i + H i is a torsion coset; this means that there exists p ′ i ∈ Tors(G 0 ) with p i + H i = p ′ i + H i .(Note that we cannot assume that p ′ i ∈ C i (Q).)After relabeling, we may assume that p i + H i , 1 ≤ i ≤ N, is a torsion coset if and only if 1 ≤ i ≤ N ′ .For each 1 ≤ i ≤ N ′ , we choose a torsion point p ′ i ∈ Tors(G 0 ) such that p i + H i = p ′ i + H i .Lemma 5.5.There are at most finitely many points p ∈ C(Q) contained in a torsion coset q + H where q ∈ Tors(G) and H ⊂ G is a subgroup of codimension ≥ 2 satisfying H ⊇ H i for all i ∈ {1, . . ., N ′ }.
Proof.Let p ∈ C(Q) be contained in a torsion coset q + H as in the lemma.Using Lemmas 5.3 and 5.4, we may assume that there exists some σ ∈ Gal(K/K) such that r p,σ ∈ S(Q) \ (S oa (Q) ∪ Z).As observed above, we have r p,σ ∈ C i (Q) for some i ∈ {1, . . ., N ′ }.
By the minimality assumption on H i , the translate As H ⊇ H i , the intersection H ∩ H i is a proper subgroup of H i .Thus we infer r p,σ − p ′ i ∈ (C ′ i ∩ H [1] i )(Q) from the fact that r p,σ lies in (p ′ i + H i ) ∩ (q σ − q + H).An application of Theorem 2.2 for the curve C ′ i ⊆ H i yields an upper bound on the height h L (r p,σ − p ′ i ) that is independent of p.As p ′ i is torsion we have a bound on h L (r p,σ ), and r p,σ ∈ Z implies that the height of p is bounded.Proposition 4.1 yields the asserted finiteness.5.6.Applying the inductive hypothesis.We conclude the proof of Theorem 1.1 by dealing with the remaining points in C ∩ G [2] by induction on dim(G).Note that this is the only part of the argument where the inductive hypothesis is actually used.Lemma 5.6.For each i ∈ {1, . . ., N ′ }, there are at most finitely many points p ∈ C(Q) contained in a torsion coset q + H where q ∈ Tors(G) and H ⊂ G is a subgroup of codimension ≥ 2 satisfying H ⊇ H i .
Proof.Again, let p ∈ C(Q) be contained in a torsion coset q + H as in the lemma.We consider the quotient map ϕ i : G → G/H i and note that ϕ i (C) is not contained in a proper algebraic subgroup of G/H i because otherwise C would be contained in a proper algebraic subgroup of G.Moreover, it is not a point.Indeed, this would imply that C is contained in a coset of H i which would be strictly contained in a coset of G 0 , contradicting the minimality of G 0 .Now, as p is sent to ϕ i (C) ∩ (G/H i ) [2] and dim(G/H i ) < dim(G), the lemma follows from our inductive hypothesis.
On combining Lemmas 5.5 and 5.6, we obtain Theorem 1.1 immediately.
be the canonical height associated with M by means of the homogeneity relation [2] * M = M ⊗2 .By [HS00, Theorem B.4.1], we have h M (x) ≥ h M (x) − c 7 for some constant c 7 = c 7 (M) > 0. It is well known that the canonical height h M decomposes into non-negative local heights such that the local height associated with the archimedean place encoded by the embedding K ⊆ C equals t i=1 |λ i | : G(C) → R (see e.g.[Ber95, Proposition 4]).Writing In fact, there exists a connected algebraic subgroup C ⊆ A such that B + C = A and B ∩ C is finite.Write ϕ : C/(B ∩ C) ։ C for the isogeny dual to the quotient map C ։ C/(B ∩ C) = A/B, ι : C ֒ → A for the inclusion, and π : A ։ A/B for the quotient map.Then the kernel of ι • ϕ • π : A → A has connected component B.
Applying this lemma to the restriction ∆|C×C : C × C → S, we obtain a finite set of Q-rational points Z ⊂ S(Q) and constants c 1 , c 2 > 0 such that (21) h L (p) + h L (p ′ ) ≤ c 1 h L (p − p ′ ) + c 2 whenever p − p ′ / ∈ Z for points p, p ′ ∈ C(Q).
and the set H + Z H is not dense in G.(b) There is a finite collection Φ V of such proper semiabelian subvarieties H such that every maximal anomalous subvariety W of V is a component of V ∩ (p + H) for some H in Φ V satisfying (3) and some p in Z H ; and V oa is obtained from V by removing the Z H for all H in Φ V .In particular V oa is open in V .
Using Bézout's Theorem (see e.g.[Vog84, Corollary 2.26]) for the Segre embedding, we can hence deduce that deg • π 1 • β.The Zariski closure of the image of exp G/Hp • γ is a coset of G/H p .On the other hand, the Zariski closure of the image of exp of codimension at least 2; for the sequel, we stipulate that each coset p i + H i is the minimal coset containing C i .5.3.A height comparison.The restriction ∆| C×C : C × C → S is a dominant, generically finite map.The following standard lemma allows us to bound the height of most Q-points on C × C by the height of their images in S.
Proposition 5.1.Let X (resp.Y ) be an irreducible algebraic variety defined over Q, L (resp.M) an ample line bundle on X (resp.Y ).Assume furthermore that dim X = dim Y and let f : X → Y be a dominant morphism over Q. Set Z(f ) := {y ∈ Y : the fiber X y of f over y has dimension > 0}.