Hostname: page-component-cd9895bd7-mkpzs Total loading time: 0 Render date: 2024-12-24T01:04:19.235Z Has data issue: false hasContentIssue false
  • English
  • Français

Squarefree doubly primitive divisors in dynamical sequences

Published online by Cambridge University Press:  27 June 2017

DRAGOS GHIOCA ,
KHOA D. NGUYEN  and
THOMAS J. TUCKER
DRAGOS GHIOCA
Affiliation:
Department of Mathematics, (Room 121) 1984 Mathematics Road, University of British Columbia, Vancouver, BC V6T 1Z2 e-mails: [email protected], [email protected]
KHOA D. NGUYEN
Affiliation:
Department of Mathematics, (Room 121) 1984 Mathematics Road, University of British Columbia, Vancouver, BC V6T 1Z2 e-mails: [email protected], [email protected]
THOMAS J. TUCKER
Affiliation:
Department of Mathematics, University of Rochester, Rochester, NY 14627 e-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

Let K be a number field or a function field of characteristic 0, let φ ∈ K(z) with deg(φ) ⩾ 2, and let α ∈ ℙ1(K). Let S be a finite set of places of K containing all the archimedean ones and the primes where φ has bad reduction. After excluding all the natural counterexamples, we define a subset A(φ, α) of ℤ⩾0 × ℤ>0 and show that for all but finitely many (m, n) ∈ A(φ, α) there is a prime 𝔭 ∉ S such that ord𝔭(φm+n(α)−φm(α)) = 1 and α has portrait (m, n) under the action of φ modulo 𝔭. This latter condition implies ord𝔭(φu+v(α)−φu(α)) ⩽ 0 for (u, v) ∈ ℤ⩾0 × ℤ>0 satisfying u < m or v < n. Our proof assumes a conjecture of Vojta for ℙ1 × ℙ1 in the number field case and is unconditional in the function field case thanks to a deep theorem of Yamanoi. This paper extends earlier work of Ingram–Silverman, Faber–Granville and the authors.

Type
Research Article
Information
Mathematical Proceedings of the Cambridge Philosophical Society , Volume 164 , Issue 3 , May 2018 , pp. 551 - 572
Copyright
Copyright © Cambridge Philosophical Society 2017 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1] Baker, M. A finiteness theorem for canonical heights attached to rational maps over function fields. J. Reine Angew. Math. 626 (2009), 205–233.Google Scholar
[2] Bang, A. S. Taltheoretiske Undersogelse. Tidsshrift Mat. 4 (1886), 70–80, 130–137.Google Scholar
[3] Bombieri, E. and Gubler, W. Heights in Diophantine Geometry. New Mathematical Monograph, (Cambridge University Press, Cambridge, 2006), 3.Google Scholar
[4] Bridy, A., Ingram, P., Jones, R., Juul, J., Levy, A., Manes, M., Rubinstein-Salzedo, S. and Silverman, J. H. Finite ramification for preimage fields of postcritically finite morphisms. To appear in Math. Res. Lett.Google Scholar
[5] Call, G. S. and Silverman, J. H. Canonical heights on varieties with morphisms. Compositio Math. 89 (1993), 163–205.Google Scholar
[6] Doerksen, K. and Haensch, A. Primitive prime divisors in zero orbits of polynomials. Integers 12 (2012), 7pp.Google Scholar
[7] Douady, A. and Hubbard, J. H. Étude dynamique des polynômes complexes. Partie II, Publications Mathématiques d'Orsay [Mathematical Publications of Orsay], vol. 85 (Université de Paris-Sud, Département de Mathématiques, Orsay, 1985). With the collaboration of P. Lavaurs, Tan Lei and P. Sentenac.Google Scholar
[8] Doyle, J. Preperiodic portraits for unicritical polynomials. Proc. Amer. Math. Soc. 144 (2016), 2885–2899.Google Scholar
[9] Doyle, J. Preperiodic portraits for unicritical polynomials over a rational function field. To appear in Trans. Amer. Math. Soc.Google Scholar
[10] Everest, G., Mclaren, G. and Ward, T. Primitive divisors of elliptic divisibility sequences. J. Number Theory 118 (2006), 71–89.Google Scholar
[11] Faber, X. and Granville, A. Prime factors of dynamical sequences. J. Reine Angew. Math. 661 (2011), 189–214.Google Scholar
[12] Ghioca, D., Nguyen, K. and Tucker, T. J. Portraits of preperiodic points for rational maps. Math. Proc. Camb. Phil. Soc. 159 (2015), 165–186.Google Scholar
[13] Gratton, C., Nguyen, K. and Tucker, T. J. ABC implies primitive prime divisors in arithmetic dynamics. Bull. London Math. Soc. 45 (2013), 1194–1208.Google Scholar
[14] Ingram, P. Elliptic divisibility sequences over certain curves. J. Number Theory 123 (2007), 473–486.Google Scholar
[15] Ingram, P. and Silverman, J. H. Primitive divisors in arithmetic dynamics. Math. Proc. Cambridge Phils. Soc. 146 (2009), 289–302.Google Scholar
[16] Jones, R. Galois representations from pre-image trees: an arboreal survey. Pub. Math. Besançon. (2013), 107–136.Google Scholar
[17] Juul, J. Iterates of generic polynomials and generic rational functions. To appear in Trans. Amer. Math. Soc.Google Scholar
[18] Krieger, H. Primitive prime divisors in the critical orbit of zd+c. Int. Math. Res. Not. IMRN (2013), No. 23, 5498–5525.Google Scholar
[19] Odoni, R. W. K. The Galois theory of iterates and composites of polynomials. Proc. London Math. Soc. (3) 51 (1985), no. 3, 385–414.Google Scholar
[20] Schinzel, A. Primitive divisors of the expression an-bn in algebraic number fields. J. Reine Angew. Math. 268/269 (1974), 27–33.Google Scholar
[21] Silverman, J. H. The arithmetic of dynamical systems. Graduate Texts in Mathematics 241 (Springer, New York, 2007), 511 pp.Google Scholar
[22] Silverman, J. H. Primitive divisors, dynamical Zsigmondy sets, and Vojta's conjecture. J. Number Theory 133 (2013), 2948–2963.Google Scholar
[23] Stoll, M. Galois groups over Q of some iterated polynomials. Arch. Math. (Basel) 59 (1992), no. 3, 239–244.Google Scholar
[24] Vojta, P. Diophantine approximation and Nevanlinna theory. Arithmetic Geometry. Lectures given at the C.I.M.E. summer school held in Cetraro, Italy, September 10–15 (2007) Lecture Notes in Math., no. 2009 (Springer-Verlag, 2011), pp. 111–230.Google Scholar
[25] Yamanoi, K. The second main theorem for small functions and related problems. Acta Math. 192 (2004), 225–294.Google Scholar
[26] Zsigmondy, K. Zur theorie der Potenzreste. Monatsh. Math. Phys. 3 (1892), 265–284.Google Scholar