Rational points in periodic analytic sets and the Manin-Mumford conjecture
|
|
- Joan Shanna Melton
- 5 years ago
- Views:
Transcription
1 Rational points in periodic analytic sets and the Manin-Mumford conjecture Jonathan Pila & Umberto Zannier Abstract. 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. CAPITOLO DELLA SCIENZA: Teoria dei Numeri (n. 6) KEY WORDS: Torsion points on algebraic varieties; Rational points on analytic varieties; Conjecture of Manin-Mumford. 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 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, the underlying principle has certainly other applications, as in work in progress [MZ]; we shall say a little more on this at the end. 1
2 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 λ 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: 2
3 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. 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. We shall use throughout the notation Z + Λ := λ Λ (Z + λ) := {z + λ : z Z, λ Λ} for the union of the translates of Z by the vectors in Λ. A set Z C g will be called (Λ-) periodic if Z + Λ = Z. 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. A semi-algebraic set in R n is a finite union of sets of the form {x R n : f 1 (x) =... = f k (x) = 0, g 1 (x) > 0,..., g l (x) > 0} where f i, g j R[x], x = (x 1,..., x n ) (see e.g. [vdd2, p1] or [BM, Def. 1.1]). 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 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. 3
4 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: Lemma 2.1. Let Z C g be analytic. Suppose that x C g has a neighbourhood U such that x is a smooth point of Y U, where Y is a real algebraic curve with Y U Z as subsets of R 2g. Then there is a neighbourhood U of x contained in U and a complex algebraic curve Γ such that Y U Γ Z. 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. 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. Also, for our purposes we can assume that Y is irreducible, by moving if necessary to a smaller neighbourhood, since the smooth point x will belong to just one component. 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 nonconstant, 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 non-discrete subset of a complex algebraic 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 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. 4
5 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 g- tuple φ = (φ 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 α i = 1, so α 0. Suppose φ(w) = (φ 1 (w),..., φ g (w)) 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 w 0 + κw 1 > R), κ ψ(κ) = (ψ 1 (κ),..., ψ g (κ)), ψ i (κ) = φ i (w 0 + κw 1 ) κµ i. 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. 5
6 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 = P(C) D P(C) D, 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 neighborhood 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 π2 1 (w) is bounded by some finite number N = N(U, f, D); the number of connected components of π 1 (π2 1 (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. (Readers familiar with o-minimal structures (see [vdd2]) will recognize that the key point underlying the Claim is the o-minimality of the structure R an generated by restricted real-analytic functions [vdd].) 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 then Γ(φ, µ, w 0, w 1 ) + τ Z. # ( Γ(φ, µ, w 0, w 1 ) + τ Z B ) K 6 ij
7 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 Cz the complex line {wz : w C}. Proposition 2.2. Let Z C g be a periodic analytic set and C be an irreducible complex algebraic curve with C + τ Z for a τ C g. Let φ(w) be a linear branch of C (convergent for w > R) with direction Cα and put K = K(Z, 1, φ), as in the last Corollary. Finally, let λ Λ be such that β λ < (2K) 1 for some β Cα. Then C + τ + Cλ Z. Proof. Fix w 1 C such that w 1 α λ < (2K) 1. Now choose R 1 R such that, for any w C with w > R 1 + K w 1 and any w C with w K w 1 we have φ(w + w ) φ(w) w α < 1/2. This is possible by the condition on φ that all terms apart perhaps from the leading term are sub-linear. If now w 0 > R 1 + K w 1 and k = 0, 1,..., K we have φ(w 0 + kw 1 ) φ(w 0 ) kλ φ(w 0 + kw 1 ) φ(w 0 ) kw 1 α + k w 1 α λ < 1. Now, φ(w 0 +kw 1 )+τ kλ+ Z because Z is periodic and C +τ Z; also, φ(w 0 +kw 1 )+τ kλ Γ := Γ(φ, λ, w 0, w 1 ) + τ provided w 0 + kw 1 > R, and by the above all these points lie in the ball of radius 1 about φ(w 0 ) + τ for k = 0, 1,..., K. 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 + τ + 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 7
8 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: Definition 2.3. Let H be a real subspace of C g. 1. We denote by c(h) := CH the complex space generated by H and call it the complex closure of H; we call H complex if H = c(h). 2. We denote by f(h) the full closure of H, namely the full real subspace K such that H + Λ is dense in K + Λ, as in the above remark. So H is full just if f(h) = H. 3. We denote by fc(h) the full-complex closure of Z, namely the union of the iterates of H under the map H f(c(h)). One could alternately iterate the two operations H c(h), H f(h). In general, if g > 1 we need not have f(c(h)) = c(f(h)). (In C 2 take for instance H = R(1, 0), Λ = Z(1, 0) + Z(i, 1) + Z(1, i) + Z(1, 2). Then f(h) = H, c(h) = C(1, 0). Since c(h) is not full, we have that fc(h) contains properly cf(h) = c(h).) Anyway fc(h) may also be characterized as the smallest subspace containing H that is both full and complex. Lemma 2.3. Let Z C g be a periodic analytic set. Suppose z C g and H is a real subspace of C g with z + H Z. Then there is a torus coset z + M with z + H z + M Z, and one can take M = fc(h). 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: Lemma 2.4. Let Z C g be a periodic analytic set, C an irreducible complex algebraic curve and M a complex subspace such that C + M Z. Suppose that C + M is not a coset of M. Then there is a complex subspace M with M M, dim M < dim M, and C + M Z. Proof. Let N be a complex linear subspace supplementary to M in C g. So every translate z + M, where z C g, intersects N in just one point. Now, C + M, as the image of the sum-map C M C + M contains an open dense set in its Zariski closure in C g, which is an irreducible algebraic subvariety of C g ; also, (C + M) N is irreducible (because it is the projection of C + M to N along M). By hypothesis (C + M) N is not equal to a point, hence it cannot be a finite set of points and therefore it contains an open dense subset of a closed irreducible algebraic curve C N; note that C + M C + M Z and dim(c + M) = dim M
9 Take now a linear branch φ of C with direction Cα, so Cα lies in N. Then there is a small open ball B around 0 in C g so that (Cα + B) M does not contain any nonzero lattice point. By a remark above, Λ (Cα + B) contains generators for the full closure of Cα, so in particular it contains a lattice point λ M. Put M = M + Cλ. Then C + M Z. 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 +τ)+cλ Z. This being true for all τ M, we have C + M Z. Now so C + M C + M Z. 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. Remarks. 1. 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. 2. One can check that our proof of Theorem 2.1 works in fact for arbitrary complex tori C g /Λ, even if they are not algebraic (i.e. complex analytically isomorphic to an abelian variety). However, a simple complex torus that is not algebraic has no infinite proper analytic subsets [Ba, Py2]. 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) 9
10 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) as X varies over a family of subvarieties of fixed dimension and degree of a given abelian variety follows from the above version, as described in [BZ] or see Hrushovski [H] or Scanlon [Sc] (so-called automatic uniformity ). 2. It seems that an argument along the present lines can also be given for the easier multiplicative version of Manin-Mumford mentioned in 1. Here the role of our Theorem 2.1 would be played by the theorem of Ax [Ax] establishing Schanuel s conjecture for power series. 3. Quantitative versions of the Manin-Mumford conjecture (and indeed of the Mordell-Lang conjecture) giving upper estimates for the number of torus cosets are given by Rémond [Re]. Good dependencies e.g. on the degree of X when A is fixed also follow from Hrushovski s proof [H]. Our method does not for the present yield any new quantitative information. The result of Pila-Wilkie holds in an arbitrary o-minimal structure. In this generality it seems one could not hope for good dependence e.g. on the degree of X in the Pila-Wilkie result. For the specific case of sets defined 10
11 by algebraic relations among theta-functions one might hope for good bounds, but we have not pursued this. For the multiplicative version, bounds with good dependencies on the degrees of the varieties were obtained by Rémond [Re2]; see also Beukers-Smyth (for curves) and Aliev-Smyth (in general) [BS, AS]. 4. It seems clear that the constant c 1 can be taken uniformly as X varies over all subvarieties of A of fixed dimension and degree, by standard uniformity properties in o-minimal structures. 5. In a paper in progress by Masser and Zannier, the present method has been applied to prove the following: For l 0, 1, let E l be the elliptic curve y 2 = x(x 1)(x l) and let P l, Q l be two points on E l with x-coordinate resp. 2,3. Then there are only finitely many complex values of l such that both P l, Q l are torsion on E l. This kind of result is related to Silverman s specialization theorem, a special case of which implies that the l C such that P l or Q l is torsion form a set of algebraic numbers of bounded height. The finiteness statement however seems not to follow directly from any known result. (The Manin-Mumford statement, applied to a suitable subvariety of E E, would work if P l, Q l would be taken as variable Z-independent points on a fixed elliptic curve E.) Acknowledgements. It is a pleasure to thank David Masser for very helpful discussions and for generously providing us with the exact parts of his work most relevant here. We also thank Matt Baker and Richard Pink for their kind interest, comments, and indications of references. Finally, we thank an anonymous referee for suggestions and for clarifying a point in the proof of Lemma 2.2. The first author is grateful to the Scuola Normale Superiore di Pisa for support and hospitality during the preparation of the present paper, and the second author is similarly grateful to the University of Bristol. References [AS] - I. Aliev and C. Smyth, Solving equations in roots of unity, arxiv: v3 [math.nt], dated 1 February [Ax] - J. Ax, On Schanuel s conjectures. Ann. of Math. (2) 93 (1971), [BR] - M. Baker and K. Ribet, Galois theory and torsion points on curves. Les XXIImes Journes Arithmetiques (Lille, 2001). J. Thor. Nombres Bordeaux 15 (2003), 11 32, [Ba] - W. Barth, Fortsetzung meromorpher Funktionen in Tori und komplex-projective Raumen, Invent. Math. 5 (1968), [BS] - F. Beukers and C. Smyth, Cyclotomic points on curves, Number theory for the millenium (Urbana, Illinois, 2000), I, A K Peters, [BM] - E. Bierstone and P. Milman, Semianalytic and subanalytic sets, Publ. Math. IHES 67 (1988), p [BP] - E. Bombieri and J. Pila, The number of integral points on arcs and ovals, Duke Math. J., 59 (1989), [BZ] - E. Bombieri and U. Zannier, Heights of algebraic points on subvarieties of abelian varieties, Ann. Scuola Norm. Sup. Pisa (4) 23 (1996), [vdd] - L. van den Dries, A generalization of the Tarski-Seidenberg theorem and some non - definability results, Bull. Amer. Math. Soc. 15 (1986), [vdd2] - L. van den Dries, Tame topology and o-minimal structures, CUP, [G] - A. Gabrielov, Projections of semianalytic sets, Funkcional. Anal. i Priložen. 2 (1968), English translation: Functional Anal. Appl. 2 (1968),
12 [H] - E. Hrushovski, The Manin-Mumford conjecture and the model theory of difference fields, Ann. Pure. Appl. Logic 112 (2001), [L] - S. Lang, Fundamentals of Diophantine Geometry, Springer-Verlag, [M] - D. Masser, Small values of the quadratic part of the Neron-Tate height on an abelian variety, Compositio 53 (1984), [MZ] -D. Masser and U. Zannier, Torsion anomalous points and families of elliptic curves, paper in progress. [O] - F. Oort, The general case of S. Lang s conjecture (after Faltings), Diophantine approximation on abelian varieties, Edixhoven and Evertse, editors, LNM 1566, Springer 1993/2003. [P] - J. Pila, Integer points on the dilation of a subanalytic surface, Quart. J. Math. 55 (2004), [PW] - J. Pila and A. J. Wilkie, The rational points of a definable set, Duke Math. J., 33 (2006), [PR] - R. Pink and D. Roessler, On Hrushovski s proof of the Manin-Mumford conjecture, Proceedings of the International Congress of Mathematicians, Vol. I (Beijing, 2002), , Higher Ed. Press, Beijing, [Py] - A. Pillay, Model Theory and Diophantine Geometry, Bull. A.M.S., Vol. 34, 1997, [Py2] - A. Pillay, Some model theory of compact complex spaces, Hilbert s tenth problem: relations with arithmetic and algebraic geometry (Ghent, 1999), , Contemp. Mat. 270, AMS, [RU] - N. Ratazzi and E. Ullmo, Galois + équidistribution = Manin-Mumford, web preprint dated 24 September 2007, available at ullmo/ [R] - M. Raynaud, Courbes sur une variété abélienne et points de torsion, Invent. Math. 71 (1983), no. 1, [R2] - M. Raynaud, Sous-variétés d une variété abélienne et points de torsion, in Arithmetic and Geometry, Vol. I, Birkhauser, [Re] - G. Rémond, Decompte dans un conjecture de Lang, Invent. Math. 142 (2000), [Re2] - G. Rémond, Sur les sous-variétés des tores, Compositio Math. 134 (2002), [Ro] - M. Rosen, Abelian varieties over C, Arithmetic geometry, Cornell and Silverman, editors, Springer, [Sc] - T. Scanlon, Automatic uniformity, International Mathematics Research Notices 2004, no. 62, [S] - C.-L. Siegel, Lectures on the geometry of numbers, Springer, Berlin, [T] - P. Tzermias, The Manin-Mumford conjecture: a brief survey, Bull. London Math. Soc. 32 (2000), School of Mathematics Scuola Normale Superiore University of Bristol Piazza dei Cavalieri 7 Bristol BS8 1TW Pisa UK Italy 12
LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday
LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD JAN-HENDRIK EVERTSE AND UMBERTO ZANNIER To Professor Wolfgang Schmidt on his 75th birthday 1. Introduction Let K be a field
More informationGeometry of points over Q of small height Part II
Geometry of points over Q of small height Part II Georgia Institute of Technology MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties January 21, 2006 Lehmer s problem
More informationABOUT THE MIXED ANDRÉ-OORT CONJECTURE: REDUCTION TO A LOWER BOUND FOR THE PURE CASE
ABOUT THE MIXED ANDRÉ-OORT CONJECTURE: REDUCTION TO A LOWER BOUND FOR THE PURE CASE ZIYANG GAO Abstract We prove that the mixed André-Oort conjecture holds for any mixed Shimura variety if a lower bound
More informationThe hyperbolic Ax-Lindemann-Weierstraß conjecture
The hyperbolic Ax-Lindemann-Weierstraß conjecture B. Klingler (joint work with E.Ullmo and A.Yafaev) Université Paris 7 ICM Satellite Conference, Daejeon Plan of the talk: (1) Motivation: Hodge locus and
More informationO-minimality and Diophantine Geometry
O-minimality and Diophantine Geometry Jonathan Pila University of Oxford ICM 2014, Seoul Themes Rational points on definable sets in o-minimal structures and applications to some Diophantine problems comprehended
More informationThe Schanuel paradigm
The Schanuel paradigm Jonathan Pila University of Oxford 2014 Clay Research Conference, Oxford Themes Schanuel s conjecture, analogues, in particular Functional analogues and their connections with certain
More informationA reduction of the Batyrev-Manin Conjecture for Kummer Surfaces
1 1 A reduction of the Batyrev-Manin Conjecture for Kummer Surfaces David McKinnon Department of Pure Mathematics, University of Waterloo Waterloo, ON, N2T 2M2 CANADA December 12, 2002 Abstract Let V be
More informationTHE ABSOLUTE MORDELL-LANG CONJECTURE IN POSITIVE CHARACTERISTIC. 1. Introduction
THE ABSOLUTE MORDELL-LANG CONJECTURE IN POSITIVE CHARACTERISTIC THOMAS SCANLON Abstract. We describe intersections of finitely generated subgroups of semi-abelian varieties with subvarieties in characteristic
More informationOn Hrushovski s proof of the Manin-Mumford conjecture
On Hrushovski s proof of the Manin-Mumford conjecture Richard PINK and Damian ROESSLER May 16, 2006 Abstract The Manin-Mumford conjecture in characteristic zero was first proved by Raynaud. Later, Hrushovski
More informationMORDELL EXCEPTIONAL LOCUS FOR SUBVARIETIES OF THE ADDITIVE GROUP
MORDELL EXCEPTIONAL LOCUS FOR SUBVARIETIES OF THE ADDITIVE GROUP DRAGOS GHIOCA Abstract. We define the Mordell exceptional locus Z(V ) for affine varieties V G g a with respect to the action of a product
More informationMORDELL-LANG PLUS BOGOMOLOV. 1. Introduction Let k be a number field. Let A be a semiabelian variety over k; i.e., an extension
MORDELL-LANG PLUS BOGOMOLOV BJORN POONEN 1. Introduction Let k be a number field. Let A be a semiabelian variety over k; i.e., an extension 0 T A A 0 0, where T is a torus, and A 0 is an abelian variety.
More informationDensity of rational points on Enriques surfaces
Density of rational points on Enriques surfaces F. A. Bogomolov Courant Institute of Mathematical Sciences, N.Y.U. 251 Mercer str. New York, (NY) 10012, U.S.A. e-mail: bogomolo@cims.nyu.edu and Yu. Tschinkel
More informationVOJTA S CONJECTURE IMPLIES THE BATYREV-MANIN CONJECTURE FOR K3 SURFACES
VOJTA S CONJECTURE IMPLIES THE BATYREV-MANIN CONJECTURE FOR K3 SURFACES DAVID MCKINNON Abstract. Vojta s Conjectures are well known to imply a wide range of results, known and unknown, in arithmetic geometry.
More informationIntersecting varieties with tori
Intersecting varieties with tori Boris Zilber zilber@maths.ox.ac.uk 20 December 2001 This paper discusses a conjecture of diophantine type that I came to in connection with an attempt to understand the
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationDIOPHANTINE EQUATIONS AND DIOPHANTINE APPROXIMATION
DIOPHANTINE EQUATIONS AND DIOPHANTINE APPROXIMATION JAN-HENDRIK EVERTSE 1. Introduction Originally, Diophantine approximation is the branch of number theory dealing with problems such as whether a given
More informationThe Grothendieck-Katz Conjecture for certain locally symmetric varieties
The Grothendieck-Katz Conjecture for certain locally symmetric varieties Benson Farb and Mark Kisin August 20, 2008 Abstract Using Margulis results on lattices in semi-simple Lie groups, we prove the Grothendieck-
More informationDynamics and Canonical Heights on K3 Surfaces with Noncommuting Involutions Joseph H. Silverman
Dynamics and Canonical Heights on K3 Surfaces with Noncommuting Involutions Joseph H. Silverman Brown University Conference on the Arithmetic of K3 Surfaces Banff International Research Station Wednesday,
More informationParameterizing orbits in flag varieties
Parameterizing orbits in flag varieties W. Ethan Duckworth April 2008 Abstract In this document we parameterize the orbits of certain groups acting on partial flag varieties with finitely many orbits.
More informationTHE DISTRIBUTION OF ROOTS OF A POLYNOMIAL. Andrew Granville Université de Montréal. 1. Introduction
THE DISTRIBUTION OF ROOTS OF A POLYNOMIAL Andrew Granville Université de Montréal 1. Introduction How are the roots of a polynomial distributed (in C)? The question is too vague for if one chooses one
More informationGeometry of subanalytic and semialgebraic sets, by M. Shiota, Birkhäuser, Boston, MA, 1997, xii+431 pp., $89.50, ISBN
BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 36, Number 4, ages 523 527 S 0273-0979(99)00793-4 Article electronically published on July 27, 1999 Geometry of subanalytic and semialgebraic
More informationRational Points on Curves
Rational Points on Curves 1 Q algebraic closure of Q. k a number field. Ambient variety: Elliptic curve E an elliptic curve defined over Q. E N = E E. In general A an abelian variety defined over Q. For
More informationOn Mordell-Lang in Algebraic Groups of Unipotent Rank 1
On Mordell-Lang in Algebraic Groups of Unipotent Rank 1 Paul Vojta University of California, Berkeley and ICERM (work in progress) Abstract. In the previous ICERM workshop, Tom Scanlon raised the question
More informationALGEBRAIC FLOWS ON ABELIAN VARIETIES.
ALGEBRAIC FLOWS ON ABELIAN VARIETIES. E. ULLMO, A. YAFAEV Table of contents. 1. Introduction. 1 Acknowledgements. 4 2. Mumford-Tate and Asymptotic Mumford-Tate Tori. 4 2.1. Mumford-Tate Tori. 4 2.2. Asymptotic
More informationTHE JACOBIAN AND FORMAL GROUP OF A CURVE OF GENUS 2 OVER AN ARBITRARY GROUND FIELD E. V. Flynn, Mathematical Institute, University of Oxford
THE JACOBIAN AND FORMAL GROUP OF A CURVE OF GENUS 2 OVER AN ARBITRARY GROUND FIELD E. V. Flynn, Mathematical Institute, University of Oxford 0. Introduction The ability to perform practical computations
More informationarxiv: v1 [math.nt] 26 Nov 2010
VOJTA S CONJECTURE IMPLIES THE BATYREV-MANIN CONJECTURE FOR K3 SURFACES arxiv:1011.5825v1 [math.nt] 26 Nov 2010 DAVID MCKINNON Abstract. Vojta s Conjectures are well known to imply a wide range of results,
More informationComputing a Lower Bound for the Canonical Height on Elliptic Curves over Q
Computing a Lower Bound for the Canonical Height on Elliptic Curves over Q John Cremona 1 and Samir Siksek 2 1 School of Mathematical Sciences, University of Nottingham, University Park, Nottingham NG7
More informationCOMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY
COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski
More informationCHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998
CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic
More informationAlgebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial
More informationMath 145. Codimension
Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in
More informationContinued fractions for complex numbers and values of binary quadratic forms
arxiv:110.3754v1 [math.nt] 18 Feb 011 Continued fractions for complex numbers and values of binary quadratic forms S.G. Dani and Arnaldo Nogueira February 1, 011 Abstract We describe various properties
More informationMANIN-MUMFORD AND LATTÉS MAPS
MANIN-MUMFORD AND LATTÉS MAPS JORGE PINEIRO Abstract. The present paper is an introduction to the dynamical Manin-Mumford conjecture and an application of a theorem of Ghioca and Tucker to obtain counterexamples
More informationTHE MANIN-MUMFORD CONJECTURE: A BRIEF SURVEY
THE MANIN-MUMFORD CONJECTURE: A BRIEF SURVEY PAVLOS TZERMIAS Introduction. This is a survey paper on the Manin-Mumford conjecture for number fields with some emphasis on effectivity. It is based on the
More informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationCOMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS
Series Logo Volume 00, Number 00, Xxxx 19xx COMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS RICH STANKEWITZ Abstract. Let G be a semigroup of rational functions of degree at least two, under composition
More informationIN POSITIVE CHARACTERISTICS: 3. Modular varieties with Hecke symmetries. 7. Foliation and a conjecture of Oort
FINE STRUCTURES OF MODULI SPACES IN POSITIVE CHARACTERISTICS: HECKE SYMMETRIES AND OORT FOLIATION 1. Elliptic curves and their moduli 2. Moduli of abelian varieties 3. Modular varieties with Hecke symmetries
More informationThe density of rational points on non-singular hypersurfaces, I
The density of rational points on non-singular hypersurfaces, I T.D. Browning 1 and D.R. Heath-Brown 2 1 School of Mathematics, Bristol University, Bristol BS8 1TW 2 Mathematical Institute,24 29 St. Giles,Oxford
More informationJosé Felipe Voloch. Abstract: We discuss the problem of constructing elements of multiplicative high
On the order of points on curves over finite fields José Felipe Voloch Abstract: We discuss the problem of constructing elements of multiplicative high order in finite fields of large degree over their
More informationRESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI.
RIMS-1898 A Note on an Anabelian Open Basis for a Smooth Variety By Yuichiro HOSHI January 2019 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan A Note on an Anabelian Open Basis
More informationMath 676. A compactness theorem for the idele group. and by the product formula it lies in the kernel (A K )1 of the continuous idelic norm
Math 676. A compactness theorem for the idele group 1. Introduction Let K be a global field, so K is naturally a discrete subgroup of the idele group A K and by the product formula it lies in the kernel
More informationBjorn Poonen. MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties. January 17, 2006
University of California at Berkeley MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional (organized by Jean-Louis Colliot-Thélène, Roger Heath-Brown, János Kollár,, Alice Silverberg,
More informationA NON-ARCHIMEDEAN AX-LINDEMANN THEOREM
A NON-ARCHIMEDEAN AX-LINDEMANN THEOREM François Loeser Sorbonne University, formerly Pierre and Marie Curie University, Paris Model Theory of Valued fields Institut Henri Poincaré, March 8, 2018. P. 1
More informationClassical transcendental curves
Classical transcendental curves Reinhard Schultz May, 2008 In his writings on coordinate geometry, Descartes emphasized that he was only willing to work with curves that could be defined by algebraic equations.
More informationFIELDS OF DEFINITION OF RATIONAL POINTS ON VARIETIES
FIELDS OF DEFINITION OF RATIONAL POINTS ON VARIETIES JORDAN RIZOV Abstract. Let X be a scheme over a field K and let M X be the intersection of all subfields L of K such that X has a L-valued point. In
More informationCHEVALLEY S THEOREM AND COMPLETE VARIETIES
CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized
More informationModel Theory of Differential Fields
Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Model Theory of Differential Fields DAVID MARKER Abstract. This article surveys the model theory of differentially closed fields, an
More information15 Elliptic curves and Fermat s last theorem
15 Elliptic curves and Fermat s last theorem Let q > 3 be a prime (and later p will be a prime which has no relation which q). Suppose that there exists a non-trivial integral solution to the Diophantine
More informationMargulis Superrigidity I & II
Margulis Superrigidity I & II Alastair Litterick 1,2 and Yuri Santos Rego 1 Universität Bielefeld 1 and Ruhr-Universität Bochum 2 Block seminar on arithmetic groups and rigidity Universität Bielefeld 22nd
More informationp-jets and Uniform Unramified Manin-Mumford
p-jets and Uniform Unramified Manin-Mumford Thomas Scanlon UC Berkeley scanlon@math.berkeley.edu 19 July 2001 SMF-AMS joint meeting, Lyons 1 The Uniform Unramified Manin-Mumford Theorem Theorem 1 Let R
More informationOn a theorem of Ziv Ran
INSTITUTUL DE MATEMATICA SIMION STOILOW AL ACADEMIEI ROMANE PREPRINT SERIES OF THE INSTITUTE OF MATHEMATICS OF THE ROMANIAN ACADEMY ISSN 0250 3638 On a theorem of Ziv Ran by Cristian Anghel and Nicolae
More informationOn the distribution of rational points on certain Kummer surfaces
ACTA ARITHMETICA LXXXVI.1 (1998) On the distribution of rational points on certain Kummer surfaces by Atsushi Sato (Sendai) 1. Introduction. We study the distribution of rational points on certain K3 surfaces
More informationA MORE GENERAL ABC CONJECTURE. Paul Vojta. University of California, Berkeley. 2 December 1998
A MORE GENERAL ABC CONJECTURE Paul Vojta University of California, Berkeley 2 December 1998 In this note we formulate a conjecture generalizing both the abc conjecture of Masser-Oesterlé and the author
More informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday 10 February 2004 (Day 1)
Tuesday 10 February 2004 (Day 1) 1a. Prove the following theorem of Banach and Saks: Theorem. Given in L 2 a sequence {f n } which weakly converges to 0, we can select a subsequence {f nk } such that the
More informationRational curves on general type hypersurfaces
Rational curves on general type hypersurfaces Eric Riedl and David Yang May 5, 01 Abstract We develop a technique that allows us to prove results about subvarieties of general type hypersurfaces. As an
More informationSHABNAM AKHTARI AND JEFFREY D. VAALER
ON THE HEIGHT OF SOLUTIONS TO NORM FORM EQUATIONS arxiv:1709.02485v2 [math.nt] 18 Feb 2018 SHABNAM AKHTARI AND JEFFREY D. VAALER Abstract. Let k be a number field. We consider norm form equations associated
More informationGlobalization and compactness of McCrory Parusiński conditions. Riccardo Ghiloni 1
Globalization and compactness of McCrory Parusiński conditions Riccardo Ghiloni 1 Department of Mathematics, University of Trento, 38050 Povo, Italy ghiloni@science.unitn.it Abstract Let X R n be a closed
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationRigidity, locally symmetric varieties and the Grothendieck-Katz Conjecture
Rigidity, locally symmetric varieties and the Grothendieck-Katz Conjecture Benson Farb and Mark Kisin May 8, 2009 Abstract Using Margulis s results on lattices in semisimple Lie groups, we prove the Grothendieck-
More informationA Common Generalization of the Conjectures of André-Oort, Manin-Mumford, and Mordell-Lang
A Common Generalization of the Conjectures of André-Oort, Manin-Mumford, and Mordell-Lang Richard PINK April 17, 2005 1 Introduction Let S be a mixed Shimura variety over the field of complex numbers C.
More informationINTRODUCTION TO REAL ANALYTIC GEOMETRY
INTRODUCTION TO REAL ANALYTIC GEOMETRY KRZYSZTOF KURDYKA 1. Analytic functions in several variables 1.1. Summable families. Let (E, ) be a normed space over the field R or C, dim E
More informationGROUPS DEFINABLE IN O-MINIMAL STRUCTURES
GROUPS DEFINABLE IN O-MINIMAL STRUCTURES PANTELIS E. ELEFTHERIOU Abstract. In this series of lectures, we will a) introduce the basics of o- minimality, b) describe the manifold topology of groups definable
More informationLECTURE 2 FRANZ LEMMERMEYER
LECTURE 2 FRANZ LEMMERMEYER Last time we have seen that the proof of Fermat s Last Theorem for the exponent 4 provides us with two elliptic curves (y 2 = x 3 + x and y 2 = x 3 4x) in the guise of the quartic
More informationRaising the Levels of Modular Representations Kenneth A. Ribet
1 Raising the Levels of Modular Representations Kenneth A. Ribet 1 Introduction Let l be a prime number, and let F be an algebraic closure of the prime field F l. Suppose that ρ : Gal(Q/Q) GL(2, F) is
More informationRational Curves On K3 Surfaces
Rational Curves On K3 Surfaces Jun Li Department of Mathematics Stanford University Conference in honor of Peter Li Overview of the talk The problem: existence of rational curves on a K3 surface The conjecture:
More informationModel Theory and Differential Algebraic Geometry
Model Theory and Differential Algebraic Geometry David Marker Mathematics, Statistics, and Computer Science University of Illinois at Chicago January 6, 2012 Dave Marker (UIC) Model Theory and Diff Alg
More informationTamagawa Numbers in the Function Field Case (Lecture 2)
Tamagawa Numbers in the Function Field Case (Lecture 2) February 5, 204 In the previous lecture, we defined the Tamagawa measure associated to a connected semisimple algebraic group G over the field Q
More informationA short proof of Klyachko s theorem about rational algebraic tori
A short proof of Klyachko s theorem about rational algebraic tori Mathieu Florence Abstract In this paper, we give another proof of a theorem by Klyachko ([?]), which asserts that Zariski s conjecture
More informationGALOIS POINTS ON VARIETIES
GALOIS POINTS ON VARIETIES MOSHE JARDEN AND BJORN POONEN Abstract. A field K is ample if for every geometrically integral K-variety V with a smooth K-point, V (K) is Zariski dense in V. A field K is Galois-potent
More informationSome remarks on the S-unit equation in function fields
ACTA ARITHMETICA LXIV.1 (1993) Some remarks on the S-unit equation in function fields by Umberto Zannier (Venezia) Introduction. Let k be an algebraically closed field of zero characteristic, K a function
More informationLemma 1.3. The element [X, X] is nonzero.
Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group
More informationProjective Schemes with Degenerate General Hyperplane Section II
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 44 (2003), No. 1, 111-126. Projective Schemes with Degenerate General Hyperplane Section II E. Ballico N. Chiarli S. Greco
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationHigher dimensional dynamical Mordell-Lang problems
Higher dimensional dynamical Mordell-Lang problems Thomas Scanlon 1 UC Berkeley 27 June 2013 1 Joint with Yu Yasufuku Thomas Scanlon (UC Berkeley) Higher rank DML 27 June 2013 1 / 22 Dynamical Mordell-Lang
More informationLECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL
LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion
More informationON THE GRAPH ATTACHED TO TRUNCATED BIG WITT VECTORS
ON THE GRAPH ATTACHED TO TRUNCATED BIG WITT VECTORS NICHOLAS M. KATZ Warning to the reader After this paper was written, we became aware of S.D.Cohen s 1998 result [C-Graph, Theorem 1.4], which is both
More informationAPPENDIX 3: AN OVERVIEW OF CHOW GROUPS
APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss
More informationDiophantine equations and beyond
Diophantine equations and beyond lecture King Faisal prize 2014 Gerd Faltings Max Planck Institute for Mathematics 31.3.2014 G. Faltings (MPIM) Diophantine equations and beyond 31.3.2014 1 / 23 Introduction
More informationON A THEOREM OF CAMPANA AND PĂUN
ON A THEOREM OF CAMPANA AND PĂUN CHRISTIAN SCHNELL Abstract. Let X be a smooth projective variety over the complex numbers, and X a reduced divisor with normal crossings. We present a slightly simplified
More informationMETRIC HEIGHTS ON AN ABELIAN GROUP
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 44, Number 6, 2014 METRIC HEIGHTS ON AN ABELIAN GROUP CHARLES L. SAMUELS ABSTRACT. Suppose mα) denotes the Mahler measure of the non-zero algebraic number α.
More informationOn Dense Embeddings of Discrete Groups into Locally Compact Groups
QUALITATIVE THEORY OF DYNAMICAL SYSTEMS 4, 31 37 (2003) ARTICLE NO. 50 On Dense Embeddings of Discrete Groups into Locally Compact Groups Maxim S. Boyko Institute for Low Temperature Physics and Engineering,
More informationIrrationality of 2 and Arakelov Geometry
Irrationality of 2 and Arakelov Geometry Jürg Kramer and Anna-Maria von Pippich Summary of a talk given by the first named author at the occasion of a visit to the Indian Institute of Technology at Madras
More informationMath 259: Introduction to Analytic Number Theory How small can disc(k) be for a number field K of degree n = r 1 + 2r 2?
Math 59: Introduction to Analytic Number Theory How small can disck be for a number field K of degree n = r + r? Let K be a number field of degree n = r + r, where as usual r and r are respectively the
More informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 21, 2004 (Day 1)
QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 21, 2004 (Day 1) Each of the six questions is worth 10 points. 1) Let H be a (real or complex) Hilbert space. We say
More information1.5.4 Every abelian variety is a quotient of a Jacobian
16 1. Abelian Varieties: 10/10/03 notes by W. Stein 1.5.4 Every abelian variety is a quotient of a Jacobian Over an infinite field, every abelin variety can be obtained as a quotient of a Jacobian variety.
More information6 Lecture 6: More constructions with Huber rings
6 Lecture 6: More constructions with Huber rings 6.1 Introduction Recall from Definition 5.2.4 that a Huber ring is a commutative topological ring A equipped with an open subring A 0, such that the subspace
More informationA Gauss-Bonnet theorem for constructible sheaves on reductive groups
A Gauss-Bonnet theorem for constructible sheaves on reductive groups V. Kiritchenko 1 Introduction In this paper, we prove an analog of the Gauss-Bonnet formula for constructible sheaves on reductive groups.
More informationAbelian Varieties and Complex Tori: A Tale of Correspondence
Abelian Varieties and Complex Tori: A Tale of Correspondence Nate Bushek March 12, 2012 Introduction: This is an expository presentation on an area of personal interest, not expertise. I will use results
More informationON EMBEDDABLE 1-CONVEX SPACES
Vâjâitu, V. Osaka J. Math. 38 (2001), 287 294 ON EMBEDDABLE 1-CONVEX SPACES VIOREL VÂJÂITU (Received May 31, 1999) 1. Introduction Throughout this paper all complex spaces are assumed to be reduced and
More informationarxiv: v2 [math.ag] 24 Jun 2015
TRIANGULATIONS OF MONOTONE FAMILIES I: TWO-DIMENSIONAL FAMILIES arxiv:1402.0460v2 [math.ag] 24 Jun 2015 SAUGATA BASU, ANDREI GABRIELOV, AND NICOLAI VOROBJOV Abstract. Let K R n be a compact definable set
More informationPeak Point Theorems for Uniform Algebras on Smooth Manifolds
Peak Point Theorems for Uniform Algebras on Smooth Manifolds John T. Anderson and Alexander J. Izzo Abstract: It was once conjectured that if A is a uniform algebra on its maximal ideal space X, and if
More informationIf F is a divisor class on the blowing up X of P 2 at n 8 general points p 1,..., p n P 2,
Proc. Amer. Math. Soc. 124, 727--733 (1996) Rational Surfaces with K 2 > 0 Brian Harbourne Department of Mathematics and Statistics University of Nebraska-Lincoln Lincoln, NE 68588-0323 email: bharbourne@unl.edu
More informationDONG QUAN NGOC NGUYEN
REPRESENTATION OF UNITS IN CYCLOTOMIC FUNCTION FIELDS DONG QUAN NGOC NGUYEN Contents 1 Introduction 1 2 Some basic notions 3 21 The Galois group Gal(K /k) 3 22 Representation of integers in O, and the
More informationPart II. Riemann Surfaces. Year
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 96 Paper 2, Section II 23F State the uniformisation theorem. List without proof the Riemann surfaces which are uniformised
More informationTheorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.
5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field
More informationANALYTIC RELATIONS ON A DYNAMICAL ORBIT
ANALYTIC RELATIONS ON A DYNAMICAL ORBIT THOMAS SCANLON Abstract. Let (K, ) be a complete discretely valued field and f : B 1 (K, 1) B(K, 1) a nonconstant analytic map from the unit back to itself. We assume
More informationTORSION POINTS ON CURVES. Andrew Granville Université de Montréal Zeev Rudnick Tel-Aviv University. 1. Introduction
TORSION POINTS ON CURVES Andrew Granville Université de Montréal Zeev Rudnick Tel-Aviv University. Introduction One of the themes of the summer school is the distribution of special points on varieties.
More informationwhere Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset
Classification of quasi-finite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasi-finite étale separated schemes X over a henselian local ring
More informationIntroduction to Arithmetic Geometry
Introduction to Arithmetic Geometry 18.782 Andrew V. Sutherland September 5, 2013 What is arithmetic geometry? Arithmetic geometry applies the techniques of algebraic geometry to problems in number theory
More informationIrreducible subgroups of algebraic groups
Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland
More information