arxiv: v1 [math.nt] 23 Jan 2019

Transcription

1 arxiv: v [math.nt] 23 Jan 209 A dynamical construction of small totally p-adic algebraic numbers Clayton Petsche and Emerald Stacy Abstract. We give a dynamical construction of an infinite sequence of distinct totally p-adic algebraic numbers whose Weil heights tend to the limit logp, thus giving a new proof of a result of Bombieri-Zannier. The proof is essentially equivalent to the explicit calculation of the Arakelov-Zhang pairing of the maps σ(x) = x 2 and φ p (x) = p (xp x).. Introduction Let h : Q R denote the absolute Weil height function, and given a subfield L of Q, define () lim inf α L h(α) to be the unique extended real number B 0 [0,+ ] with the property that the set {α L h(α) B} is finite for all B < B 0 andinfinite for all B > B 0. For example, when L/Q is a finite extension we have liminf α L h(α) = + by the Northcott finiteness principle. The converse is not true, as there do exist algebraic extensions L/Q of infinite degree such that the set {α L h(α) B} is finite for all B > 0; for example, the compositum of all quadratic extensions of Q is one such field (Bombieri-Zannier [4]). Let p be a prime. Denote by Q (p) the subfield of Q consisting of all totally p-adic numbers; that is, those algebraic numbers whose minimal polynomials over Q split completely over the field Q p of p-adic numbers. Bombieri-Zannier [4] proved that (2) logp 2(p+) liminf α Q (p) h(α) logp. 200 Mathematics Subject Classification. G50, 37P05, 37P30, 37P50. Key words and phrases. Weil height, small points, totally p-adic algebraic numbers, Arakelov- Zhang pairing.

2 2 CLAYTON PETSCHE AND EMERALD STACY In particular, Q (p) has what Bombieri-Zannier call the Bogomolov property, which means that h(α) C > 0 for some constant C and all nonzero, non-root-of-unity α Q (p). The lower bound in (2) was later improved slightly by Fili-Petsche [2], who showed that liminf α Q(p) h(α) plogp 2(p 2 ), and more significantly by Pottmeyer [6], who showed that liminf α Q(p) h(α) log(p/2) p+ and liminf α Q(2) h(α) log2 4. To prove the upper bound in (2), Bombieri-Zannier used a fairly intricate construction which begins with the polynomial (x )(x 2)...(x r) for arbitrarily large r, then performing a perturbation, which on the one hand is p-adically small enough to preserve complete splitting over Q p, but which on the other hand obtains irreducibility and satisfies the needed asymptotic height bound. Fili [0] has given a new proof of the upper bound in (2) whose main ingredient is the powerful Fekete-Szego theorem with splitting conditions due to Rumely [7]. In this paper we give a new proof of the upper bound in (2) using totally different methods. Our approach uses ideas from arithmetic dynamical systems and is inspired by the method used by Smyth [9] in the totally real setting. We divide our results into two theorem statements. Theorem. Let p be a prime and define the polynomial φ p (x) Q[x] by φ p (x) = p (xp x). For each n let α n Q satisfy φ n p(α n ) =. Then {α n } is a sequence of distinct totally p-adic algebraic numbers such that h(α n ) log(p+) for all n. In particular, (3) lim infh(α) log(p+). α Q (p) Theorem 2. The sequence {α n } of totally p-adic algebraic numbers constructed in Theorem satisfies h(α n ) logp. In particular, (4) lim infh(α) logp α Q (p). The bound (4) is stronger than (3) and thus supercedes it, but (3) is only very slightly worse, and Theorem has the advantage of a fairly simple and self-contained proof, using only Hensel s Lemma and elementary dynamical arguments. The proof of Theorem 2 is non-elementary and requires the machinery surrounding the Call-Silverman canonical height function, analysis on the Berkovich projective line, and the equidistribution theorem for dynamically small points due to Baker-Rumely [2], Chambert-Loir [6], and Favre-Rivera-Letelier [9]. While it does not improve upon the results of Bombieri-Zannier and Fili, it is intriguing that the three completely different methods lead to precisely the same bound. An aspect of Theorem 2 which may be interesting to arithmetic dynamicists is that its proof gives explicit calculation of a nonzero Arakelov-Zhang pairing. Given two rational maps φ(x),ψ(x) K(x) of degree at least two defined over a number field, the Arakelov-Zhang pairing φ, ψ is a nonnegative real number which measures the arithmetic-dynamical distance between the two maps; this pairing has been used

3 SMALL TOTALLY p-adic ALGEBRAIC NUMBERS 3 recently by researchers working in the area of unlikely intersections; see e.g. [], [7], [8]. Petsche-Szpiro-Tucker [5] have shown that if {α n } is a sequence of distinct points in P ( K) with ĥφ(α n ) 0 (where ĥφ is the Call-Silverman canonical height function), then ĥψ(α n ) φ,ψ. Thus Theorem 2 is equivalent to the calculation (5) σ,φ p = logp where σ(x) = x 2 and φ p (x) = p (xp x). We are not aware of any other examples in the literature in which a nonzero dynamical Arakelov-Zhang pairing is explicitly calculated in closed form. In 2 we review the definition the Weil height and we prove Theorem. In 3 we give a review of polynomial dynamics on the Berkovich projective line, and in 4 we prove Theorem 2. The exposition of 3 and the remark at the end of 4 may be of more general interest as they give a description of the Arakelov-Zhang pairing for polynomials which is somewhat more accessible than more general treatments currently in the literature. 2. The proof of Theorem Denote by M Q = {,2,3,5,...} the set of places of Q. For each v M Q, let C v be the completion of the algebraic closure of Q v, and let v be the absolute value on C v which is normalized so that it coincides with either the standard real or p-adic absolute value when restricted to Q. The absolute Weil height h : Q R may be defined as follows. Given α Q, denote by O α the Gal(Q/Q)-orbit of α in Q. For each place v M Q, we may view O α as a subset of C v via any embedding Q C v, and (6) h(α) = where log + t = logmax(,t). [Q(α) : Q] v M Q β O α log + β v, Lemma 3. The polynomial φ p (x) = p (xp x) defines a surjective p-to- map φ p : Z p Z p. Proof. Given α Z p, by Fermat s Little Theorem we have α p α p /p, and therefore φ p (α) p, establishing that φ p (Z p ) Z p. Given β Z p, we want to show that there are p distinct points α Z p that satisfy φ p (α) = β. For this we consider the polynomial g(x) = x p x pβ. Let a {0,,2,,p }. By Fermat s Little Theorem and the strong triangle inequality, g(a) p = (a p a) pβ p p g (a) p = pa p =.

4 4 CLAYTON PETSCHE AND EMERALD STACY For each such a, Hensel s Lemma indicates that there is a unique root of φ p (x) = β in Z p congruent to a modulo p. As a polynomial of degree p, there can be at most p such roots, and thus φ p : Z p Z p is surjecive and p-to-. Proof of Theorem. To see that the α n are distinct, suppose on the contrary that there exists some α Q such that φ m p (α) = φ n p(α) = with m < n. Then = φ n p (α) = φn m p (φ m p (α)) = φn m p (), implying that is a periodic point with respect to φ p. However, φ p () = 0 and φ p (0) = 0, so is strictly preperiodic, and hence not periodic, a contradiction. Next we observe that for each n, all of the algebraic conjugates β O αn of α n are elements of φ k (), because α n is a root of φ n (x) and hence its minimal polynomial over Q is a divisor of φ n (x). The polynomial φ n (x) has p n distinct roots in Z p, as follows from Lemma 3, and we can conclude that α n is totally p-adic. It remains only to give the bound on the height of the α n. We will show that for all places v M Q and all β O αn C v, we have (7) β v if v β v (p+) /() if v =. Suppose first that v {p, }. The polynomial f(x) = φ n p (x) has v-integral coefficients, and its leading coefficient, a power of /p, is a v-adic unit. As β is a root of f(x), it is v-integral; i.e. β v. In the case v = p, by Lemma 3, all points in the backwards orbit of are in Z p, and since β O αn φ n p (), we conclude that β p. We turn to the case v =. Since φ n p(β) =, φ p () = 0, and φ p (0) = 0, β is φ p - preperiodic, and so in particular the sequence φ k p (β) is bounded in C as k +. Therefore, to prove (7) it suffices to show that if x C satisfies x > (p+) /(), then φ k p (x) + as k +. For such an x we may select ǫ > 0 so small that x > (p(+ǫ)+) /(). Then φ p (x) v = p (xp x) = p x x p x ( x ) x (+ǫ). Iterating this inequality gives φ k p(x) x (+ǫ) k and therefore φ k p(x) + as k +. Finally, using (7) and the definition (6) of the height we have h(α n ) = [Q(α n ) : Q] v M Q log + β v log(p+). β O αn

5 SMALL TOTALLY p-adic ALGEBRAIC NUMBERS 5 3. Review of local polynomial dynamics For each place v M Q, let A v be the Berkovich affine line over C v; thus A v is the space (equipped with a natural topology) of multiplicative seminorms on the ring C v [T] extending the absolute value v on C v. If v =, then A v is naturally identitifed with C v = C, but if v is non-archimedean, then A v is a path-connected, locally compact space containing C v as a dense subspace. Let P v = A v { } be the Berkovich projective line, the one-point compactification of A v. If v is non- Archimedean and x A v, then for any polynomial f(t) C v [T] we set f(x) v = [f(t)] x. In other words, we interpret f(x) v to mean the seminorm [ ] x of C v [T] evaluated at the polymonial f(t). For more background on A v and P v see [] Ch. 2 or [3]. The measure-valued Laplacian on P v, in the sense of Baker-Rumely ([] Ch. 5 and [2]), is a linear operator which assigns to each (suitably regular) function f : P v R {± } a signed, finite measure f on P v. When v =, thus when P v = C { }, and for smooth f : C { } R, we have f = ( 2π xx+ yy )f(z)dxdy. In the non-archimedean case, is defined and its properties developed in [] Ch. 5. We point out that the Laplacian is self-adjoint in the sense that fd( g) = P v gd( f) whenever f : P P v R {± } is ( g)-integrable and g : P v R v {± } is ( f)-integrable; in the Archimedean case this is a standard application of multivariable integration by parts, while in the non-archimedean case it is proved in [] Cor Let φ(x) C v [x] be a polynomial of degree d 2. We now describe three closely related dynamical invariants associated to φ, the first being the filled-julia set (8) F φ,v = {x A v φn (x) v is bounded as n + }, and the second being the Call-Silverman canonical local height function (9) ĥ φ,v : P v R {+ } ĥ φ,v (x) = lim n + d n log+ φ n (x) v (interpreting ĥφ,v( ) = + ). A standard telescoping series argument shows the existence of the limit in (9). Finally, the canonical measure µ φ,v associated to φ is a φ-invariant unit Borel measure on P v which occurs as the limiting distribution in several important dynamical equidistribution results, one of which we will describe in the next section. There are several equivalent constructions of this measure in the literature; see [3], [4] in the Archimedean case and [2], [6], [9] in the non- Archinedean case. Here we follow the construction of Baker-Rumely [2] 3, who characterize µ φ,v as the unit Borel measure on P v satisfying the identity (0) ĥφ,v = δ µ φ,v where δ is the Dirac measure on P v supported at. The following lemma collects well-known properties of F φ,v, ĥφ,v, and µ φ,v which will be useful in the proof of Theorem 2. When v M Q is non-archimedean, let

6 6 CLAYTON PETSCHE AND EMERALD STACY O v = {a C v a v } be the ring of integers of C v, and let ζ 0 denote the Gauss point of A v ; this is the point whose corresponding seminorm is the supremum norm on the unit disc of C v ; that is [f(t)] ζ0 = sup x v f(t) v. Lemma 4. Let φ(x) C v [x] be a polynomial of degree d 2, and let x A v. (a) ĥφ,v(x) 0, with ĥφ,v(x) = 0 if and only if x F φ,v. (b) ĥφ,v(φ(x)) = dĥφ,v(x) (c) The support of the measure µ φ,v is contained in F φ,v. (d) If φ(x) = ax d +..., then lim x (ĥφ,v(x) log x v ) = log a v. d (e) If v is non-archimedean, and if φ(x) has coefficients in O v and leading coefficient in O v, then F φ,v = O v, ĥφ,v(x) = log + x v, and µ φ,v = δ ζ0 is the Dirac measure supported at the Gauss point of A v. These facts are all well-known: for parts (a), (b), and (e) see [8] 5.9 and [] Ch. 0. Part (c) follows from the fact that µ φ,v is supported on the Julia set of φ, which is contained in F φ,v, see [] Ch. 0 in the non-archimedean case and [4] in the Archimedean case. Part (d) follows from a standard telescoping series calculation. 4. Global dynamics and the proof of Theorem 2 Suppose now that φ(x) Q[x] is a polynomial of degree d 2. The Call- Silverman [5] canonical height function ĥφ : Q R is given by the limit ĥφ(α) = lim n + h(φ n (α))/d n, and may be characterized by the two properties: (i) ĥφ(α) = h(α)+o() for all α Q; and (ii) ĥφ(φ(α)) = dĥφ(α) for all α Q. Locally, the canonical height may be expressed via local heights in a formula analogous to (6), as follows. Given α Q, denote by O α the Gal(Q/Q)-orbit of α in Q, and for each place v M Q, view O α as a subset of C v via any embedding Q C v ; then ĥ φ (α) = ĥ φ,v (α). [Q(α) : Q] β O α v M Q The main relationship between the canonical height ĥφ and the family of local canonical measures µ φ,v is the equidistribution theorem for dynamically small points in Q, proved by Baker-Rumely [2], Chambert-Loir [6], and Favre-Rivera-Letelier [9]. A special case of this result states that if {α n } is a sequence in Q with ĥφ(α n ) 0, then for each place v M Q, the sequence of Gal(Q/Q)-orbits {O αn } is µ φ,v - equidistributed. This equidistriubtion theorem is the main ingredient in the proof of Theorem 2. Example. Consider the squaring map σ(x) = x 2. Then ĥσ,v(x) = log + x v for all v M Q, and thus ĥσ(α) = h(α). At the Archimedean place, µ σ, is the measure supported on the unit circle group of C = C where it coincides with normalized Haar measure. If v is non-archimedean then µ φ,v is the Dirac measure δ ζ0 supported at the Gauss point ζ 0 of A v. See [2] Ex and Ex. 5.4.

7 SMALL TOTALLY p-adic ALGEBRAIC NUMBERS 7 Example 2. Consider the map φ p (x) = p (xp x). By Lemma 4, if v {p, }, we have ĥφ p,v(x) = log + x v. At the place v = p, it was pointed out in [] Ex that F φp,p = Z p and that µ φp,p is normalized Haar measure on Z p. However, for the purposes of Theorem 2 we do not need the full strength of this result. Instead, we only need to point out that F φp,p {x A p x p }. To see this, if x p >, then φ p (x) p = p (xp x) p = p x p p, and iterating, φn p (x) p = p +p+ +pn x pn p. In particular, φ n p(x) p + and therefore x F φp,p. We point out that this calculation also shows that when x v >, we have ĥφ p,p(x) = logp + log x p. It would be interesting to give an explicit calculation of ĥφ p,p(x) for x A v with x v. The proof of Theorem 2. For each place v M Q, define f v : P v R by f v (x) = log + x v ĥφ p,v(x) when x A v f v ( ) = lim x (log + x v ĥφ p,v(x)). Note that f v is identically zero unless v {p, } by the remarks in Example 2. We also note that f ( ) = logp by Lemma 4. Recall from Theorem that for each n, α n Q satisfies φ n p (α n) =. By a property of the canonical height, this imples that ĥφ p (α n ) = p nĥφ p () 0. Since f v vanishes identically for v {p, }, we have h(α n ) ĥφ(α n ) = [Q(α n ) : Q] = v {p, } v M Q [Q(α n ) : Q] f v (β) β O αn f v (β), β O αn and since ĥφ p (α n ) 0, by the equidistribution theorem for small points we obtain () lim h(α n) = n + v {p, } f v dµ φp,v. (2) In fact, we have f p dµ φp,p = 0 because both log + x p and ĥφ p,p(x) vanish on F φp,p (which contains the support of µ φp,p) by Lemma 4 and the discussion in Example 2. To calculate the Archimedean

8 8 CLAYTON PETSCHE AND EMERALD STACY integral, we use the self-adjoint property of the Laplacian to obtain f dµ φp, = f d( ĥφ p, )+f ( ) = ĥ φp, d( f )+f ( ) (3) = ĥ φp, dµ φp, ĥ φp, dµ σ, +f ( ) = f ( ) = logp. Here we have used that ĥ φp, dµ φp, = 0, which follows from the fact (Lemma 4) that the local height ĥφ p, vanishes on the filled-julia set of φ p in C, which contains the support of µ φp,. We have also used that ĥ φp, dµ σ, = 0, which follows from the fact that ĥφ p, vanishes on the support of µ σ,, which is the unit circle of C, as described in Example. Indeed, if x then φ p (x) = p xp x 2 p, and iterating shows that φ n p (x) is bounded as n +. In particular ĥφ p, (x) = 0 whenever x =, and we conclude ĥ φp, dµ σ, (x) = 0. Combining (), (2), and (3) concludes the proof that h(α n ) logp. Remark. To keep this paper more self-contained, we have chosen to prove Theorem 2 directly, without the use of Theorem of [5]. Alternatively, one can show that for a pair of polynomials φ(x),ψ(x) K[x] defined over a number field K, the Arakelov-Zhang pairing defined in [5] can be expressed by either of the two expressions (4) φ,ψ = ĥ φ,v dµ ψ,v = ĥ ψ,v dµ φ,v, v M K r v v M K r v where r v = [K v : Q v ]/[K : Q]. ByTheorem of[5]wehave h(α n ) σ,φ p, andin a calculation similar to the proof of Theorem 2 we have σ,φ p = logp. The formula (4) for the Arakelov-Zhang pairing in the polynomial case may be of interest as it is somewhat simpler than the more general treatment for rational maps described in [5]. References [] Matthew Baker and Robert Rumely. Potential theory and dynamics on the Berkovich projective line, volume 59 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 200. [2] Matthew H. Baker and Robert Rumely. Equidistribution of small points, rational dynamics, and potential theory. Ann. Inst. Fourier (Grenoble), 56(3): , [3] Vladimir G. Berkovich. Spectral Theory and Analytic Geometry over Non-Archimedean Fields, volume 33 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 990.

9 SMALL TOTALLY p-adic ALGEBRAIC NUMBERS 9 [4] Enrico Bombieri and Umberto Zannier. A note on heights in certain infinite extensions of Q. Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend. Lincei (9) Mat. Appl., 2:5 4(2002), 200. [5] Gregory S. Call and Joseph H. Silverman. Canonical heights on varieties with morphisms. Compositio Math., 89(2):63 205, 993. [6] Antoine Chambert-Loir. Mesures et équidistribution sur les espaces de Berkovich. J. Reine Angew. Math., 595:25 235, [7] Laura DeMarco, Holly Krieger, and Hexi Ye. A uniform bound on the number of common preperiodic points of quadratic polynomials. Preprint, 209. [8] Laura DeMarco, Holly Krieger, and Hexi Ye. Uniform Manin-Mumford for a family of genus 2 curves. Preprint, 209. [9] Charles Favre and Juan Rivera-Letelier. Équidistribution quantitative des points de petite hauteur sur la droite projective. Math. Ann., 335(2):3 36, [0] Paul Fili. On the heights of totally p-adic numbers. J. Théor. Nombres Bordeaux, 26():03 09, 204. [] Paul Fili. A metric of mutual energy and unlikely intersections for dynamical systems. Preprint, 207. [2] Paul Fili and Clayton Petsche. Energy integrals over local fields and global height bounds. Int. Math. Res. Not. IMRN, (5): , 205. [3] Alexandre Freire, Artur Lopes, and Ricardo Mañé. An invariant measure for rational maps. Bol. Soc. Brasil. Mat., 4():45 62, 983. [4] M. Ju. Ljubich. Entropy properties of rational endomorphisms of the Riemann sphere. Ergodic Theory Dynam. Systems, 3(3):35 385, 983. [5] Clayton Petsche, Lucien Szpiro, and Thomas J. Tucker. A dynamical pairing between two rational maps. Trans. Amer. Math. Soc., 364(4):687 70, 202. [6] Lukas Pottmeyer. Small totally p-adic algebraic numbers. Int. J. Number Theory, 4(0): , 208. [7] Robert Rumely. The Fekete-Szegö theorem with splitting conditions. II. Acta Arith., 03(4):347 40, [8] Joseph H. Silverman. The Arithmetic of Dynamical Systems, volume 24 of Graduate Texts in Mathematics. Springer, New York, [9] C. J. Smyth. On the measure of totally real algebraic integers. J. Austral. Math. Soc. Ser. A, 30(2):37 49, 980/8. Clayton Petsche; Department of Mathematics; Oregon State University; Corvallis OR 9733 U.S.A. address: petschec@math.oregonstate.edu Emerald Stacy; Department of Mathematics and Computer Science; Washington College; 300 Washington Avenue; Chestertown MD 2620 U.S.A. address: estacy2@washcoll.edu