{'fraction_non_alphanumeric': 0.05243660121914256, 'fraction_numerical': 0.00892466237833833, 'mean_word_length': 3.505918057663126, 'pattern_counts': {'":': 0, '<': 1, '<?xml version=': 0, '>': 18, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 20, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Rational points in periodic analytic sets and the Manin-Mumford conjecture

We present a new proof of the Manin-Mumford conjecture about torsion points on algebraic subvarieties of abelian varieties. Our principle, which admits other applications, is to view torsion points as rational points on a complex torus and then compare (i) upper bounds for the number of rational points on a transcendental analytic variety (Bombieri-Pila-Wilkie) and (ii) lower bounds for the degree of a torsion point (Masser), after taking conjugates. In order to be able to deal with (i), we discuss (Thm. 2.1) the semi-algebraic curves contained in an analytic variety supposed invariant for translations by a full lattice, which is a topic with some independent motivation.


§1. Introduction
The so-called Manin-Mumford conjecture was raised independently by Manin and Mumford and first proved by Raynaud [R] in 1983; its original form stated that a curve C (over C) of genus ≥ 2, embedded in its Jacobian J, can contain only finitely many torsion points (relative of course to the Jacobian group-structure). Raynaud actually considered the more general case when C is embedded in any abelian variety. Soon afterwards, Raynaud [R2] produced a further significant generalization, replacing C and J respectively by a subvariety X in an abelian variety A; in this situation he proved that if X contains a Zariski-dense set of torsion points, then X is a translate of an abelian subvariety of A by a torsion point. Other proofs (sometimes only for the case of curves) later appeared, due to Serre, to Coleman, to Hindry, to Buium, to Hrushovski (see [Py]), to Pink & Roessler [PR], to M. Baker & Ribet [BR]. We also remark that a less deep precedent of this problem was an analogous question for multiplicative algebraic groups, raised by Lang already in the '60s. (See [L]; Lang started the matter by asking to describe the plane curves f (x, y) = 0 with infinitely many points (ζ, η), with ζ, η roots of unity.) In the meantime, the statement was put into a broader perspective, by viewing it as a special case of the general Mordell-Lang conjecture and also, from another viewpoint, of the Bogomolov conjecture on points of small canonical height on (semi)abelian varieties (we recall that torsion points are those of zero height). These conjectures have later been proved and unified (by Faltings, Vojta, Ullmo, Szpiro, Zhang, Poonen, David, Philippon,...) by means of different approaches providing, as a byproduct, several further proofs of the Manin-Mumford statement (we refer to the survey papers [Py] and [T] for a history of the topic and for references.) Recent work of Klingler, Ullmo and Yafaev proving (under GRH) the André-Oort conjecture, an analogue of the Manin-Mumford conjecture for Shimura varieties, has inspired another proof of Manin-Mumford due to Ratazzi & Ullmo [RU]. All of these approaches are rather sophisticated and depend on tools of various nature.
It is the purpose of this paper to present a completely different proof compared to the existing ones. Our approach too relies on certain auxiliary results, having however another nature (archimedean) with respect to the prerequisites of the previously known proofs; hence we believe that this treatment may be of some interest for a number of mathematicians. Also, and perhaps more importantly, the underlying principle has certainly other applications, as in work in progress [MZ]; we shall say a little more on this at the end.
In short, the basic strategy of our proof is as follows: view the torsion points as rational points on a real torus; estimate from above the number of rational points on a transcendental subvariety (Pila-Wilkie); estimate from below the number of torsion points by considering degree and taking conjugates (Masser); obtain a contradiction if the order of torsion is large. In more detail, we can proceed along the following steps, sticking for simplicity to the case of an algebraic curve X, of genus ≥ 2, in the abelian variety A, both over a number field. (The general case of complex numbers can be dealt with in a similar way or reduced to this by specialization.) (i) There is a complex analytic group-isomorphism β : C g /Λ → A, where Λ is a certain lattice of rank 2g, say with a Z-basis λ 1 , . . . , λ 2g ; so we can view a torsion point P ∈ A as the image P = β(x) where x is the class modulo Λ of a vector r 1 λ 1 + . . . + r 2g λ 2g ∈ C g , where the r i are rationals; if P has exact order T , the r i will have exact common denominator T .
(ii) The algebraic curve X ⊂ A equals β(Y ), where Y = β −1 (X) is a complex analytic curve in C g /Λ; in turn, if π : C g → C g /Λ is the natural projection, we may write Y = π(Z), where Z = π −1 (Y ) ⊂ C g is an analytic curve which is invariant under translations in Λ.
(iii) We can use the basis λ 1 , . . . , λ 2g to view C g as R 2g ; then Z will become a real analytic surface in R 2g , denoted again Z, invariant under Z 2g . Also, as in (i), the torsion points on A will correspond to rational points in R 2g . Then, the torsion points on X will correspond to rational points on Z. Note that, in view of the invariance of Z by integral translations, it suffices to study the rational points on Z in a bounded region of R 2g .
(iv) Due to a method introduced by Bombieri-Pila [BP] for curves, and further developed by Pila [P] for surfaces, and by Pila-Wilkie [PW] in higher dimensions, one can get good estimates for the number of rational points with denominator T on a bounded region of a real analytic variety. As has to be expected, these estimates apply only if one confines the attention to the rational points which do not lie on any of the real semi-algebraic curves on the variety. For the number of these points, the estimates take the shape ≪ T ǫ , for any given ǫ > 0. This can be applied to the above defined Z; it turns out that, since X is not a translate of an elliptic curve, Z does not contain any semi-algebraic curve.
(v) All of this still does not still yield any finiteness result, merely estimates for the number of torsion points on X, of a given order T . The crucial issue is that if X contains an algebraic point P , it automatically contains its conjugates over a field of definition. Now, Masser has proved in 1984 that the degree, over a field of definition for A, of any torsion point of exact order T is ≫ T ρ for a certain ρ > 0 depending only on dim A. Hence, if X contains a point of order T , it contains at least ≫ T ρ such points.
Then, comparing the estimates coming from (iv) and (v) we deduce that the order of the torsion points on X is bounded, concluding the argument.
In some previous proofs, one exploited not a lower bound for degrees, but rather the Galois structure of the field generated by torsion points. However this may be considered an information substantially of different nature.
To better isolate the new arguments from previous ones, we will prove the Manin-Mumford conjecture in the following weak form, which includes the case of curves.
Theorem 1.1. Let A be an abelian variety and X an algebraic subvariety of A, both defined over a numberfield. Suppose that X does not contain any translate of an abelian subvariety of A of dimension > 0. Then X contains only finitely many torsion points of A.
However, rather elementary purely geometrical considerations based on degrees allow one to get easily the following more precise version, for which we shall give a sketch at the end; in this statement by 'torsion coset' we mean a translate of an abelian subvariety by a torsion point: Theorem 1.1*. Let A be an abelian variety and X an algebraic subvariety of A, both defined over a numberfield. The Zariski closure of the set of torsion points of A contained in X is a finite union of torsion cosets.
Concerning the proof-method, a further point is that, in order for the Pila-Wilkie estimates to be applicable, we must study the real semi-algebraic curves that may lie on the inverse image Z of X under the analytic uniformization C g → A. The set Z is analytic (defined by the vanishing of certain polynomials in the abelian functions giving the map C g → A) and periodic modulo the lattice Λ.
In §2, Theorem 2.1, we show that a connected real semi-algebraic curve contained in such a set Z must be contained in a complex linear subspace contained in Z, and moreover a subspace in which the period lattice has full rank. In other words, we prove that the "algebraic part" of Z in the sense of Pila-Wilkie (see Def. 2.1 below) corresponds precisely to the union of translates of abelian subvarieties of A of dimension > 0 and contained in X. This fact seems to be not entirely free of independent interest.
Remark. One can also check that our proof of Theorem 2.1 works in fact for arbitrary complex tori C g /Λ, even if they are not projective.
With this result in hand the proof of Theorem 1.1 is concluded in §3 by combining the ingredients mentioned above. §2. Structure of the algebraic part of a periodic analytic set As announced, this section will be devoted to a complete description of algebraic subsets of an analytic subvariety of a complex torus, which corresponds to an analytic subvariety of C g periodic for a full lattice Λ, that is, invariant by translations in Λ. We express explicitly all of this in a few definitions and then state the main Theorem 2.1.
We take a (full rank) lattice Λ ⊂ C g which will be fixed throughout. We further fix a Z-basis λ 1 , . . . , λ 2g of Λ and use it to identify C g with R 2g .
As usual, an analytic set Z ⊂ C g will mean a set such that every point z ∈ C g has an open neighbourhood U in which Z is defined as the set of common zeros of a finite collection of functions (depending on z) that are (complex) analytic (i.e. regular) in U . Such a set is readily seen to be real analytic as a subset of R 2g . Definition 2.1. Let Z ⊂ C g . We define the complex algebraic part Z ca of Z to be the union of connected closed algebraic subsets of C g of positive dimension contained in Z. Viewing Z as a subset of R 2g we define the real algebraic part Z ra of Z to be the union of connected real algebraic sets of positive dimension contained in Z. Finally we define the algebraic part Z alg of Z to be the union of all connected real semi-algebraic sets of positive dimension (see [Sh,pp. 51,100] for definitions) contained in Z. One readily sees that Z ca ⊂ Z ra ⊂ Z alg .
We reserve the term subspace for a (respectively complex or real) vector subspace of C g or R 2g . By a (respectively complex or real) linear subvariety we mean a subset of C g or R 2g defined by the vanishing of some (complex or real) linear equations, not necessarily homogeneous. A subspace H in which H ∩ Λ has full rank in H will be called a (Λ-) full subspace. A set of the form z + H where z ∈ C g and H is a complex linear subspace will be called a coset . Thus a subspace H that is both complex and full corresponds precisely to a subtorus of C g /Λ, and a coset of such an H will be called a torus coset .
Definition 2.2. For a set Z ⊂ C g we let Z torus coset be the union of torus cosets of positive dimension contained in Z.
A torus coset is evidently a complex linear subvariety, whence Z torus coset ⊂ Z ca ⊂ Z ra ⊂ Z alg . For a periodic analytic set Z we show that all these sets coincide.
Theorem 2.1. Let Z ⊂ C g be a periodic analytic set. Then Z alg = Z torus coset .
Our proof of this result involves several preliminaries; for the reader's convenience we explicitly subdivide the proof into three Steps.
Step 1. Reduction semi-algebraic → complex algebraic. In this step we reduce to complex curves contained in Z, by proving that Z alg = Z ca . We first prove a lemma: Proof. We took coordinates in R 2g using the lattice basis, but clearly Y will remain semi-algebraic under any real linear change of coordinates. Also, for our purposes we can assume that Y is irreducible.
Let us here write (x 1 , y 1 , . . . , x n , y n ) for the coordinates of R 2g , where z j = x j + iy j are the coordinates of C g . We may assume by translation that x = 0. If x 1 (say) is a non-constant function on the real curve Y near 0 then, for t = x 1 in some real neighbourhood of 0, all the functions x 1 , y 1 , . . . , x n , y n are real analytic functions of some m-th root u := t 1/m , and (as functions of u), are algebraic over R(x 1 ) ⊂ C(x 1 , y 1 ). We claim that each of the functions x 2 , y 2 , . . . , x n , y n is algebraic over the field C(z 1 ) = C(x 1 + iy 1 ). This is because the function x 1 + iy 1 is non-constant on Y since x 1 is non-constant, and C(x 1 , y 1 ) is algebraic over C(x 1 ), so of transcendence degree 1. Therefore, for each j, the function z j = x j +iy j is also algebraic over C(z 1 ). The functions z j (u) are analytic for real u in some neighbourhood of 0, hence for complex u in a complex neighbourhood of 0; the image of u → z(u) is thus a complex open subset of a complex algebraic irreducible curve Γ, which in a neighborhood of 0 contains Y and must necessarily be contained in Z. Certainly Γ contains a smooth point in this neighborhood, and we get Γ ⊂ Z by analytic continuation, as the smooth points of an irreducible complex curve are connected, and the remaining points are isolated and belong to Z by continuity.
We can now prove the alluded reduction: Proposition 2.1. Let Z ⊂ C g be a periodic analytic set. Then Z alg = Z ca .
Proof. Suppose W is a connected real semi-algebraic set of positive dimension with W ⊂ Z. Then, omitting at most finitely many points, W is a union of real connected semi-algebraic curves. If Y is such a curve then, Y is real algebraic in the neighbourhood of any smooth point and we may apply Lemma 2.1 to find Y contained in a complex algebraic curve Γ ⊂ Z. This proves the statement.
Step 2. Complex curves in periodic analytic varieties and linear spaces. In this step we prove that if a complex curve C is contained in the periodic analytic set Z, then there are 'several' complex lines l with C + l contained in Z. In turn, this will involve a few preliminaries.
Suppose C ⊂ C g is an irreducible complex algebraic curve. Of the coordinates z 1 , . . . , z g of C g , if z i is not constant on C then any z i , z j are related by some irreducible polynomial equation G(z i , z j ) = 0. For |z i | sufficiently large, say |z i | > R, the solutions z j are given by convergent Puiseux series φ j (z i ). By a branch of C we mean a choice of index i and a gtuple φ = (φ 1 (z i ), . . . , φ g (z i )) of algebraic Puiseux series, convergent for |z i | > R, and such that φ(z i ) = (φ 1 (z i ), . . . , φ n (z i )) ∈ C for all |z i | > R. By a suitable choice of index i, we can always obtain a branch of C such that, for all j, φ j (z i ) = α j z i + lower order terms, α j ∈ C.
We call such a branch linear , and α = (α 1 , . . . , α g ) the direction of the branch. Observe that ) is an n-tuple of algebraic Puiseux series, convergent for |w| > R. Then, fixing w 0 , w 1 ∈ C and µ = (µ 1 , . . . , µ g ) ∈ C g , we consider (for κ ∈ C such that From the algebraic relation G i (t, φ i (t)), we find that G i (w 0 +κw 1 , ψ i (κ)+κµ i ) = 0. Thus the ψ i (κ) are also algebraic functions of κ, and the locus above is Zariski dense in an irreducible algebraic curve in C g , which we denote Γ(φ, µ, w 0 , w 1 ). It is important to note that its degree is bounded in terms of the degree of the curve containing φ (independently of the choice of w 0 , w 1 , µ). We now have a lemma, perhaps known but for which we have found no reference: Lemma 2.2. Let Z ⊂ C g be an analytic set, B ⊂ C g a bounded set, and δ a positive integer. There exists a positive integer K = K(Z, B, δ) with the following property. Suppose Γ ⊂ C g is an irreducible complex algebraic curve of degree ≤ δ, and with #(Z ∩ B ∩ Γ) ≥ K. Then Γ ⊂ Z.
Proof. About each point of C g there is an open disk in which Z is defined by the vanishing of a finite number of regular functions. Taking a smaller disk, these functions may be assumed regular in a neighbourhood of the closure of the disk. Then by compactness of the closure of B, we can find a finite number of open disks U covering B, and on each disk a finite number of functions, regular in a neighbourhood of the closure of the disk, whose zero-locus defines Z in the disk. Thus, in each of the finitely many disks, Z is expressed as in intersection of finitely many hypersurfaces. As shown in a moment, this remark reduces the proof to the case of hypersurfaces, namely to the following Claim. Suppose that U ⊂ C n is a bounded open disk and that f is a complex-valued function that is regular in a neighbourhood of the closure of U . Let Y = {z ∈ U : f (z) = 0}, and δ a positive integer. There is a positive integer K = K(U, f, δ) with the following property. Suppose Γ ⊂ C n is an irreducible curve of degree ≤ δ and #Y ∩ C ≥ K. Then f vanishes identically on Γ in U .
Given the claim, we may establish the lemma as follows. For each disk U in the finite covering take K U to be the maximum of the K(U, f, δ) over all the finitely many functions f defining Z on U , and take K = U K U + 1. For each U put Z U = Z ∩ U . Let now Γ be an irreducible complex algebraic curve of degree ≤ δ with #Z ∩ B ∩ Γ ≥ K. By the pigeonhole principle, one of the disks U has #(Z U ∩Γ) ≥ K U . By the Claim, each of the functions f defining Z on U vanishes identically on Γ, so that, restricted to U , Γ ⊂ Z. However Γ is connected, so by analytic continuation we conclude that Γ ⊂ Z. It remains then to prove the Claim, as we shall now do.
Since Γ has degree ≤ δ, each pair of coordinates z i , z j satisfy on Γ an algebraic relation P ij (z i , z j ) = 0 for some nonzero polynomial P ij ∈ C[x 1 , x 2 ] of degree ≤ δ. These polynomials, considered up to nonzero constant factors, define an algebraic set of dimension 1, containing Γ as a component. This set is possibly reducible but, given the P ij , by projecting to a general plane, we see that there certainly exists a hypersurface H of degree ≤ gδ that contains Γ but not any other component of dimension 1; this H corresponds to a further polynomial P H of degree ≤ gδ. Now, the polynomials in two variables of degree ≤ δ, up to constants, are parametrised by a projective space P D , D = (δ + 1)(δ + 2)/2, whereas H is parametrized by P D ′ for a D ′ depending only on g, δ. Hence the set {H, P ij } is parametrized by the product a compact space, which we can assume contained in R m for some suitable m. For w ∈ ∆ let I w be the ideal generated by the corresponding P ij , P H . Consider the set V := {(z, w) ∈ C g × ∆ : z = (z 1 , . . . , z g ) ∈ U, w ∈ ∆, f (z) = 0, Q(z) = 0, all Q ∈ I w }.
We have V ⊂ C g × ∆ with projections π 1 , π 2 onto the factors C g and ∆ respectively.
Our very construction shows that every algebraic curve Γ ⊂ C g of degree ≤ δ is defined, up to finitely many points, by I w for (at least one) suitable w = w Γ ∈ ∆; hence, for some point w Γ ∈ ∆, π 1 π −1 2 (w Γ ) equals the intersection Y ∩ Γ plus a finite set. Now we consider V as a subset of R M for suitable M . Since f is regular on a neighbourhood of the closure of U , the set V is subanalytic (even semianalytic) in R M (for the definition see [G] or [BM,Definition 2.1]). Further, V is bounded, since U is bounded and ∆ is compact. We appeal to Gabrielov's Theorem [G, or see e.g. BM, Theorem 3.14] to conclude: As w varies over the bounded set π 2 (V ), the number of connected components of π −1 2 (w) is bounded by some finite number N = N (U, f, D); the number of connected components of π 1 (π −1 2 (w)) is then also bounded by N .
Put K = N + 1. If now #Y ∩ Γ ≥ K, Y ∩ Γ cannot consist of isolated points and must, as a semianalytic set, have dimension ≥ 1. This set must then contain some smooth real-analytic arc. If we take a point on such an arc that is a non-singular point of Γ, then restricting f to a neighbourhood in which we can complex analytically parameterize Γ, we find that f restricted to this local parameterization is an analytic function with non-isolated zeros. It therefore vanishes identically on Γ in this neighbourhood. But now since Γ is irreducible, the set of its non-singular points is connected, and we find that f vanishes identically on Γ in U by analytic continuation. This establishes the Claim, and concludes the proof of Lemma 2.2.
The following result now follows easily: Corollary. Let Z ⊂ C g be a periodic analytic set and r > 0. Let φ(w) be an n-tuple of convergent (for |w| > R) algebraic Puiseux series. There is an integer K = K(Z, r, φ) with the following property. Let B ⊂ C g be a ball of radius r, and w 0 , w 1 ∈ C, τ, µ ∈ C g . If Proof. For a fixed B the conclusion follows directly from Lemma 2.2, because Γ(φ, µ, w 0 , w 1 ) + τ is an algebraic curve of degree bounded only in terms of φ. Since Z is periodic, the ball B may be assumed to be centred in a fundamental domain, so dependence on the centre of the ball may be eliminated.
We now come to the fundamental point of this Step 2. In the following, || · || denotes the Euclidean norm in C g . For a point z = (z 1 , . . . , z g ) ∈ C g − {0} we denote by [z] the complex line {wz : w ∈ C}.
By the Corollary to Lemma 2.2, we deduce that Γ ⊂ Z. We thus find Γ(φ, λ, w 0 , w 1 ) + τ ⊂ Z for all w 0 suitably large, but we must still show that in fact all C + τ + [λ] ⊂ Z. If we set y = w 0 + κw 1 , κ ∈ C, we find that φ(y) + τ − ((y − w 0 )/w 1 )λ ∈ Z provided |y| > R. But, fixing y, κ, w 1 , the above represents a line as w 0 varies. Since a segment of this line lies in Z, the whole line does, by analytic continuation. So for x ∈ C the points φ(y) + τ − xλ ∈ Z provided only |y| > R. Fixing now x, the curve in y is just a branch of C + τ − xλ. This curve is irreducible, being a translate of C, and so C + τ − xλ ⊂ Z for all x.
Step 3. Linear subvarieties of a periodic analytic variety. We study general linear subvarieties of a periodic analytic variety Z, their intersections with the lattice Λ, and use all of this to exploit the important conclusion of the last proposition, which produces certain translates C + l of C by a line, contained in Z.
We first recall some useful simple facts from the known theory of closed subgroups of real vector spaces, and start by noting that: if H is a real subspace of C g then the closure of H + Λ has the form K + Λ where K is a full real subspace containing H.
This statement follows from the description of closed subgroups of real vector spaces given in [S, Lecture VI, §2], which implies that the closure in C g of H + Λ has the form K + Λ 0 for K a real subspace and Λ 0 a lattice in a space W complementary to K. Clearly H ⊂ K. Now, the projection of Λ to W (along K) is Λ 0 , which must then have full rank in W , because R 2g = RΛ ⊂ R(K + Λ 0 ) = K + RΛ 0 . Now, lifting a basis of Λ 0 to Λ we see that Λ 1 := Λ ∩ K has maximal rank, i.e. equal to dim K, as wanted.
We further note that for any open ball I around 0 in K, the set H + I contains a set of generators for Λ 1 := Λ ∩ K. To prove this, let Λ ′ denote the lattice generated by Λ ∩ (H + I) and observe that H + Λ ′ is dense in K: in fact, by definition of Λ ′ , the closure of H + Λ ′ contains the intersection of I/2 with the closure of H + Λ, so it contains I/2, whence it must contain the whole K. Now, let λ ∈ Λ 1 ; it belongs to the closure K of H + Λ ′ ; hence λ − I intersects H + Λ ′ , so λ + Λ ′ intersects Λ ∩ (H + I) ⊂ Λ ′ , proving that λ ∈ Λ ′ and so Λ 1 ⊂ Λ ′ , as desired. Now we may give the following definitions: Proof. Note that by Def. 2.3(2) (which amounts to the opening remarks of this Step 3), if H is a real subspace and z ∈ C g , then (z + H) + Λ is dense in some (z + K) + Λ where K is a full real subspace containing H. Now, if H is a real subspace with z + H ⊂ Z then, by periodicity, the fact just stated and continuity, we have z + f(H) ⊂ Z, and, by analytic continuation, we have z + c(H) ⊂ Z. The conclusion follows by applying these observations to H and its iterates under full and complex closure.
We can now rapidly conclude the proof of Theorem 2.1; we prove a last lemma: Put For if τ ∈ M we have C ′ + τ ⊂ Z, but this curve is a translate of C ′ , and by Proposition 2.2 (applied to C ′ in place of C) we find that for small enough B, (C ′ + τ )+ [λ] ⊂ Z. This being true for all τ ∈ M , we have This completes the proof.

Proof of Theorem 2.1
Let C be an irreducible complex algebraic curve contained in Z and take a maximal complex subspace M such that C + M ⊂ Z. By maximality and Lemma 2.4 we deduce that C + M is a single coset of M , which must be a torus coset by maximality and Lemma 2.3.
It follows that every closed complex algebraic set of positive dimension contained in Z is contained in the union of full cosets of positive dimension contained in Z, i.e. that Z ca ⊂ Z torus coset . Proposition 2.1 now finally proves what we need.
Remark. Note that the final argument easily leads to the following assertion: If an irreducible complex algebraic set V is contained in Z then there is a torus coset z + M with V ⊂ z + M ⊂ Z. To prove this, take a maximal torus M such that for a point z we have z + M ⊂ Z. Applying the last conclusion of the proof of Theorem 2.1 to all the irreducible curves C on V passing through z we see by maximality that z + M contains a neighborhood of z in V . Hence it contains V . §3.

Manin-Mumford
Let now A be a (projective) Abelian variety, and X a subvariety of A. We have a complex analytic uniformization C g → A, periodic with period lattice Λ. The preimage Z ⊂ C g of X is a periodic analytic set, and we have shown that all real semialgebraic subsets, connected of positive dimension, of the real reduct of Z are contained in the union of torus cosets contained in Z. Now a subtorus of C g /Λ corresponds to an abelian subvariety of A (see e.g. [R, remark on page 86], or it may be argued directly using Chow's Theorem that such a subtorus is algebraic).
Proof of Theorem 1.1. Our interest is in the torsion points P of A that lie on X. Let tor(A) denote the torsion subgroup of A, consisting of all points of A of finite order. The order T = T (P ) of P is the minimal positive integer with T P = 0. A torsion point P of A corresponds to a rational point z = z P = (q 1 , . . . , q 2g ) ∈ Q 2g of Z considered as a subset of R 2g . The order of P is equal to the denominator of z, i.e. the minimal integer d > 0 for which dz ∈ Z 2g . By the present assumptions, X does not contain any translate of an abelian subvariety of dimension > 0; hence, by Theorem 2.1 the set Z alg = Z torus coset is empty.
As a subset of R 2g the set Z is Z 2g -periodic. In considering torsion points it therefore suffices to replace Z by Z = Z ∩ [0, 1) 2g , and clearly Z alg = Z alg ∩ [0, 1) 2g is empty as well.
For a set W ⊂ [0, 1) 2g and a real number T ≥ 1 we denote by N (W, T ) the number of rational points of W of denominator dividing T . By Pila-Wilkie [PW], for every ǫ > 0, N (Z, T ) = N (Z − Z alg , T ) ≤ c 1 (Z, ǫ)T ǫ . (3.1) On the other hand, there are lower bounds for the degree of torsion points. Suppose A is defined over a number field K. For P ∈ tor(A) set d(P ) = [K(P ) : Q]. Then Masser [M] proves that d(P ) ≥ c 2 (A)T ρ for some c 2 (A) > 0 and some ρ > 0 which depends only on the dimension g of A. Note that all the conjugates of P over a number field of definition for both A, X are still torsion points on X, of the same order as P . By the lower bound of Masser just displayed, the number of such conjugates is at least c 3 (A)T ρ . Hence we get at least c 3 (A)T ρ distinct points z ∈ Z of height ≤ T , corresponding to P and its conjugates. Choosing in (3.1) ǫ = ρ/2 and comparing the estimates so obtained we conclude that T is bounded.
As anticipated in the Introduction, we note that the same arguments may be used to prove the stronger version given by Theorem 1.1*, at the cost of adding some simple geometrical facts on subvarieties of abelian varieties and cosets contained in them. Let us briefly recall this here. The point is to describe the cosets contained in X. Call such a coset b + B (b a point, B an abelian subvariety of A) maximal if it is not included in any other larger torus coset still contained in X. Then one may prove that the set of abelian subvarieties B is finite, for b + B running through maximal cosets. A simple proof of this is in [BZ], Lemma 2. (It uses only rather standard considerations involving degrees.) With this in mind, we proceed to illustrate the proof of Theorem 1.1* by induction on dim A, the case of dimension 0 (or 1) being indeed trivial. Using exactly the same method of proof of the weaker version, it suffices, through Theorem 2.1, to deal with the torsion points which lie in some coset b + B contained in X and having dimension > 0. We may then assume that this coset is maximal, and thus that B lies in a certain finite set. Thus for our purposes we may assume that B is fixed. The quotient A/B has the structure of an abelian variety A ′ and we have dim A ′ < dim A. Let π : A → A ′ be the natural projection. The set of b ∈ A such that b + B is contained in X is easily seen to be an algebraic variety, which projects to a variety X ′ under π. The coset b + B contains a torsion point if and only if π(b) is torsion on A ′ . Now, the induction assumption applied to A ′ , X ′ easily concludes the proof.
Final remarks.
1. The Manin-Mumford conjecture for A and X defined over C follows from the above by specialization arguments, as in the original papers of Raynaud. Moreover, it is known that a version that is uniform (regarding the number of cosets required to contain all the torsion points)