Intersections of polynomial orbits, and a dynamical Mordell-Lang conjecture
type: Item
instance of: scholarly article
title: Intersections of polynomial orbits, and a dynamical Mordell-Lang conjecture
zbMATH Open document ID: 1191.14027
author: Dragos Ghioca
author: Thomas Tucker
author: Michael E. Zieve
published in: Inventiones Mathematicae
publication date: 2008-03-11T00:00:00Z
full work available at URL: https://arxiv.org/abs/0705.1954
review text: The main result of this paper is that if \(f\) and \(g\) are nonlinear complex polynomials of the same degree and if there are \(x_0,y_0\in\mathbb C\) such that the orbits \(\mathcal O_f(x_0)=\{f^n:n\in\mathbb N\}\) and \(\mathcal O_g(y_0)\) have infinite intersection, then \(f\) and \(g\) have a common iterate (i.e., \(f^n=g^n\) for some \(n>0\), where in this review \(f^n\) denotes the \(n^{\text{th}}\) iterate). This result gives a special case of a conjecture of the first two authors: Let \(f_1,\dots,f_k\) be polynomials in \(\mathbb C[X]\), and let \(V\) be a subvariety of \(\mathbb A^k\). Assume that no positive-dimensional subvariety of \(V\) is periodic under the action of \((f_1,\dots,f_k)\) on \(\mathbb A^k\). Then \(V(\mathbb C)\) has finite intersection with each orbit of \((f_1,\dots,f_k)\) on \(\mathbb A^k\). This conjecture, in turn, fits into far-reaching conjectures in arithmetic dynamics due to \textit{S. Zhang} [Yau, Shing Tung (ed.), Essays in geometry in memory of S. S. Chern, Surveys in Differential Geometry 10, 381--430 (2006; Zbl 1207.37057)]. The above result is obtained as a corollary of the following theorem. Let \(K\) be a field of characteristic zero, let \(\alpha,\beta,x_0,y_0\in K\) with \(\alpha\neq0\), and let \(f,g\in K[X]\) with \(\deg f=\deg g>1\). If infinitely many points of \(\mathcal O_f(x_0)\times\mathcal O_g(y_0)\) lie on the line \(Y=\alpha X+\beta\), then \(g^k(\alpha X+\beta)=\alpha f^k(X)+\beta\) for some positive integer \(k\). The latter theorem is proved by first reducing to the case in which \(K\) is a number field, and then applying a result of \textit{Y. F. Bilu} and \textit{R. F. Tichy} [Acta Arith. 95, 261--288 (2000; Zbl 0958.11049)]. This latter result describes all \(F,G\in K[X]\) for which \(\deg f=\deg g>1\) and \(F(X)=G(Y)\) has infinitely many solutions over the ring of \(S\)-integers of \(K\), where \(K\) is a number field and \(S\) is a finite set of places of \(K\). The paper also gives a proof of the f…
Mathematics Subject Classification ID: 14G25
Mathematics Subject Classification ID: 37P05
Mathematics Subject Classification ID: 37P15
zbMATH DE Number: 5248093
zbMATH Keywords: Mordell-Lang conjecture
zbMATH Keywords: arithmetic dynamics
reviewed by: Paul Vojta
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W3099251544
Wikidata QID: Q122937861
arXiv ID: 0705.1954
cites work: Q3241224
cites work: Q3379004
cites work: Q4533267
cites work: The Diophantine equation x(x+1)...(x+(m-1)) + r= yn
cites work: The Diophantine equation f(x) = g(y)
cites work: Q4285664
cites work: Q4322758
cites work: A dynamical version of the Mordell–Lang conjecture for the additive group
cites work: Siegel's theorem for Drinfeld modules
cites work: The Mordell-Lang question for endomorphisms of semiabelian varieties
cites work: Integral points on curves
cites work: Q3309989
cites work: Exponential diophantine equations
cites work: Composite Polynomials with Coefficients in an Arbitrary Field of Characteristic Zero
cites work: Courbes sur une variété abélienne et points de torsion
cites work: Heights and the specialization map for families of abelian varieties.
cites work: Q4488096
cites work: Diophantine equations involving general Meixner and Krawtchouk polynomials
cites work: Positivity and discretion of algebraic points of curves
cites work: Integral points on subvarieties of semiabelian varieties. I
cites work: Equidistribution of small points on abelian varieties
cites work: Q5434295
DOI: 10.1007/S00222-007-0087-5
Recommended article: Q3132812
Recommended article: The dynamical Mordell-Lang conjecture
Recommended article: Dynamical Mordell-Lang conjecture for birational polynomial morphisms on \(\mathbb A^2\)
Recommended article: On intersections of polynomial semigroups orbits with plane lines
Recommended article: Polynomial dynamic and lattice orbits in \(S\)-arithmetic homogeneous spaces
Recommended article: A case of the dynamical Mordell-Lang conjecture
Recommended article: The dynamical Mordell-Lang conjecture in positive characteristic
Recommended article: Powers in Orbits of Rational Functions: Cases of an Arithmetic Dynamical Mordell–Lang Conjecture
Recommended article: The dynamical Mordell-Lang problem for intersection of two orbits
Recommended article: On the quantitative dynamical Mordell-Lang conjecture
description: scientific article