Preperiodic points for families of polynomials

From MaRDI portal
(Redirected from Publication:365885)



Abstract: Let a(lambda) and b(lambda) be two polynomials with coefficients in complex numbers and let be a one-parameter family of polynomials indexed by all complex numbers lambda. We study whether there exist infinitely many complex numbers lambda such that both a(lambda) and b(lambda) are preperiodic for flambda.


At a 2008 workshop, \textit{U. Zannier} asked the following question: Given \(a, b\in\mathbb{C}\), are there are only finitely many values \(\lambda\in \mathbb{C}\) such that both \(a\) and \(b\) have finite forward orbit under the polynomial \(f(z)=z^d+\lambda\)? The question was motivated by a result of \textit{D. Masser} and himself [Am. J. Math. 132, No. 6, 1677--1691 (2010; Zbl 1225.11078)], that the set of complex numbers \(\lambda\) such that points with \(x\)-coordinate \(2\) and \(3\) on the elliptic curve \(y^2=x(x-1)(x-\lambda)\) are simultaneously torsion is finite, and falls into the general category of ``unlikely intersection problems. \textit{M. Baker} and \textit{L. DeMarco} [Duke Math. J. 159, No. 1, 1--29 (2011; Zbl 1242.37062)] gave an affirmative answer to Zannier's question (under the necessary condition \(a^d\neq b^d\)), and the paper under review generalizes their result.NEWLINENEWLINESpecifically, the authors prove that for any fixed \(f(z)\in \mathbb{C}[z]\) of degree at least 2, and any fixed \(a, b\in \mathbb{C}\), there are infinitely many \(\lambda\in \mathbb{C}\) such that \(a\) and \(b\) both have finite forward orbit under \(f(z)+\lambda\) if and only if \(f(a)=f(b)\). This result and others are consequences of a more technical result. Let NEWLINE\[NEWLINEf_\lambda(z)=P(z)+\sum_{i=1}^r Q_i(z)\lambda^i,NEWLINE\]NEWLINE where \(P(z)\), \(Q_i(z)\in \mathbb{C}[z]\), \(P(z)=z^d+a_{d-2}z^{d-2}+\cdots\), and \(\deg(Q_i)\leq d-2\). Furthermore, let \(a(\lambda), b(\lambda)\in \mathbb{C}[\lambda]\), and suppose that there exist non-negative integers \(k\) and \(\ell\) such that {\parindent=6mm \begin{itemize} \item[(1)] \(f^k_\lambda(a(\lambda))\) and \(f^\ell_\lambda(b(\lambda))\) have the same degree and same leading coefficient (as polynomials in \(\lambda\)), and \item [(2)] \(\deg(f^k_\lambda(a(\lambda)))\deg(f^\ell_\lambda(b(\lambda)))\geq r\). NEWLINENEWLINE\end{itemize}} The authors show that there exist infinitely many \(\lambda\in \mathbb{C}\) such that \(a(\lambda)\) and \(b(\lambda)\) both have a finite forward orbit under \(f_\lambda(z)\) if and only if \(f^k_\lambda(a(\lambda))=f^\ell_\lambda(b(\lambda))\).











This page was built for publication: Preperiodic points for families of polynomials

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q365885)