Hostname: page-component-84b7d79bbc-g7rbq Total loading time: 0 Render date: 2024-07-29T18:10:46.696Z Has data issue: false hasContentIssue false

Rationality of dynamical canonical height

Published online by Cambridge University Press:  18 January 2018

LAURA DE MARCO
Affiliation:
Department of Mathematics, Northwestern University, 2033 Sheridan Road, Evanston, IL 60208-2730, USA email demarco@northwestern.edu
DRAGOS GHIOCA
Affiliation:
Department of Mathematics, University of British Columbia, Vancouver, BC, Canada V6T 1Z2 email dghioca@math.ubc.ca

Abstract

We present a dynamical proof of the well-known fact that the Néron–Tate canonical height (and its local counterpart) takes rational values at points of an elliptic curve over a function field $k=\mathbb{C}(X)$, where $X$ is a curve. More generally, we investigate the mechanism by which the local canonical height for a map $f:\mathbb{P}^{1}\rightarrow \mathbb{P}^{1}$ defined over a function field $k$ can take irrational values (at points in a local completion of $k$), providing examples in all degrees $\deg f\geq 2$. Building on Kiwi’s classification of non-archimedean Julia sets for quadratic maps [Puiseux series dynamics of quadratic rational maps. Israel J. Math.201 (2014), 631–700], we give a complete answer in degree 2 characterizing the existence of points with irrational local canonical heights. As an application we prove that if the heights $\widehat{h}_{f}(a),\widehat{h}_{g}(b)$ are rational and positive, for maps $f$ and $g$ of multiplicatively independent degrees and points $a,b\in \mathbb{P}^{1}(\bar{k})$, then the orbits $\{f^{n}(a)\}_{n\geq 0}$ and $\{g^{m}(b)\}_{m\geq 0}$ intersect in at most finitely many points, complementing the results of Ghioca et al [Intersections of polynomials orbits, and a dynamical Mordell–Lang conjecture. Invent. Math.171 (2) (2008), 463–483].

Type
Original Article
Copyright
© Cambridge University Press, 2018 

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

Baker, M.. A finiteness theorem for canonical heights attached to rational maps over function fields. J. Reine Angew. Math. 626 (2009), 205233.Google Scholar
Baker, M. and Rumely, R.. Potential Theory and Dynamics on the Berkovich Projective Line (Mathematical Surveys and Monographs, 159) . American Mathematical Society, Providence, RI, 2010.Google Scholar
Bombieri, E. and Gubler, W.. Heights in Diophantine Geometry (New Mathematical Monographs, 4) . Cambridge University Press, Cambridge, 2006.Google Scholar
Call, G. S. and Goldstine, S.. Canonical heights on projective space. J. Number Theory 63(2) (1997), 211243.Google Scholar
Call, G. S. and Silverman, J. H.. Canonical heights on varieties with morphisms. Compos. Math. 89 (1993), 163205.Google Scholar
Chatzidakis, Z. and Hrushovski, E.. Difference fields and descent in algebraic dynamics. I. J. Inst. Math. Jussieu 7 (2008), 653686.Google Scholar
Chatzidakis, Z. and Hrushovski, E.. Difference fields and descent in algebraic dynamics. II. J. Inst. Math. Jussieu 7 (2008), 687704.Google Scholar
DeMarco, L.. The moduli space of quadratic rational maps. J. Amer. Math. Soc. 20 (2007), 321355.Google Scholar
DeMarco, L.. Bifurcations, intersections, and heights. Algebra Number Theory 10 (2016), 10311056.Google Scholar
DeMarco, L. and Faber, X.. Degenerations of complex dynamical systems II: Analytic and algebraic stability. Math. Ann. 365 (2016), 16691699, with an appendix by Jan Kiwi.Google Scholar
Epstein, A.. Bounded hyperbolic components of quadratic rational maps. Ergod. Th. & Dynam. Sys. 20 (2000), 727748.Google Scholar
Faber, X.. Topology and geometry of the Berkovich ramification locus for rational functions, I. Manuscripta Math. 142 (2013), 439474.Google Scholar
Faber, X.. Topology and geometry of the Berkovich ramification locus for rational functions, II. Math. Ann. 356 (2013), 819844.Google Scholar
Favre, C. and Rivera-Letelier, J.. Théorie ergodique des fractions rationnelles sur un corps ultramétrique. Proc. Lond. Math. Soc. (3) 100 (2010), 116154.Google Scholar
Ghioca, D. and Tucker, T. J.. Siegel’s theorem for Drinfeld modules. Math. Ann. 339 (2007), 3760.Google Scholar
Ghioca, D. and Tucker, T. J.. Periodic points, linearizing maps, and the dynamical Mordell–Lang problem. J. Number Theory 129 (2009), 13921403.Google Scholar
Ghioca, D., Tucker, T. J. and Zieve, M. E.. Intersections of polynomials orbits, and a dynamical Mordell–Lang conjecture. Invent. Math. 171(2) (2008), 463483.Google Scholar
Ghioca, D., Tucker, T. J. and Zieve, M. E.. Linear relations between polynomial orbits. Duke Math. J. 161 (2012), 13791410.Google Scholar
Hsia, L.-C.. A weak Néron model with applications to p-adic dynamical systems. Compos. Math. 100 (1996), 277304.Google Scholar
Ingram, P.. Variation of the canonical height for a family of polynomials. J. Reine Angew. Math. 685 (2013), 7397.Google Scholar
Kiwi, J.. Puiseux series dynamics of quadratic rational maps. Israel J. Math. 201 (2014), 631700.Google Scholar
Kiwi, J.. Rescaling limits of complex rational maps. Duke Math. J. 164 (2015), 14371470.Google Scholar
Lang, S.. Division points on curves. Ann. Mat. Pura Appl. (4) 70 (1965), 229234.Google Scholar
Lang, S.. Fundamentals of Diophantine Geometry. Springer, New York, 1983.Google Scholar
Milnor, J.. Geometry and dynamics of quadratic rational maps. Exp. Math. 2 (1993), 3783; with an appendix by the author and Lei Tan.Google Scholar
Petsche, C., Szpiro, L. and Tepper, M.. Isotriviality is equivalent to potential good reduction for endomorphisms of ℙ N over function fields. J. Algebra 322(9) (2009), 33453365.Google Scholar
Silverman, J. H.. Advanced Topics in the Arithmetic of Elliptic Curves (Graduate Texts in Mathematics, 51) . Springer, New York, 1994.Google Scholar
Silverman, J. H.. The Arithmetic of Dynamical Systems (Graduate Texts in Mathematics, 241) . Springer, New York, 2007.Google Scholar