We classify the graphs that can occur as the graph of rational preperiodic points of a quadratic polynomial over $\bold Q$, assuming the conjecture that it is impossible to have rational points of period $4$ or higher. In particular, we show under this assumption that the number of preperiodic points is at most~$9$. Elliptic curves of small conductor and the genus~$2$ modular curves $X_1(13)$, $X_1(16)$, and $X_1(18)$ all arise as curves classifying quadratic polynomials with various combinations of preperiodic points. To complete the classification, we compute the rational points on a non-modular genus~$2$ curve by performing a $2$-descent on its Jacobian and afterwards applying a variant of the method of Chabauty and Coleman.
Let $k$ be an algebraic closed field of characteristic zero. Let $K$ be the rational function field $K=k(t)$. Let $ϕ$ be a non isotrivial rational function in $K(z)$. We prove a bound for the cardinality of the set of $K$--rational preperiodic points for $ϕ$ in terms of the number of places of bad reduction and the degree $d$ of $ϕ$.
In this paper we study two questions related to exceptional behavior of preperiodic points of polynomials in $\mathbb{Q}[x]$. We show that for all $d\geq 2$, there exists a polynomial $f_d(x) \in \mathbb{Q}[x]$ with $2\leq \mathrm{deg}(f_d) \leq d$ such that $f_d(x)$ has at least $d + \lfloor \log_2(d)\rfloor$ rational preperiodic points. Furthermore, we show that for infinitely many integers $d$, the polynomials $f_d(x)$ and $f_d(x) + 1$ have at least $d^2 + d\lfloor \log_2(d)\rfloor - 2d + 1$ common complex preperiodic points.
For rational numbers $c$, we present a trichotomy of the set of totally real (totally $p$-adic, respectively) preperiodic points for maps in the quadratic unicritical family $f_c(x)=x^2+c$. As a consequence, we classify quadratic polynomials $f_c$ with rational parameters $c\in\mathbb{Q}$ so that $f_c$ has only finitely many totally real (totally $p$-adic, respectively) preperiodic points. These results rely on an adelic Fekete-type theorem and dynamics of the filled Julia set of $f_c$. Moreover, using a numerical criterion introduced in [NP], we make explicit calculations of the set of totall…
Let $ϕ$ be an endomorphism of the projective line defined over a global field $K$. We prove a bound for the cardinality of the set of $K$-rational preperiodic points for $ϕ$ in terms of the number of places of bad reduction. The result is completely new in the function fields case and it is an improvement of the number fields case. An important tool is an $S$-unit equation theorem in 2 variables.
Let $K$ be a number field. Given a polynomial $f(x)\in K[x]$ of degree $d\ge 2$, it is conjectured that the number of preperiodic points of $f$ is bounded by a uniform bound that depends only on $d$ and $[K:\mathbb Q]$. However, the only examples of parametric families of polynomials with no preperiodic points are known when $d$ is divisible by either $2$ or $3$ and $K=\mathbb Q$. In this article, given any integer $d\ge 2$, we display infinitely many parametric families of polynomials of the form $f_t(x)=x^d+c(t)$, $c(t)\in K(t)$, with no rational preperiodic points for any $t\in K$.
Let X be a smooth curve defined over the algebraic numbers, let a,b be algebraic numbers, and let f_l(x) be an algebraic family of rational maps indexed by all l in X. We study whether there exist infinitely many l in X such that both a and b are preperiodic for f_l. In particular we show that if P,Q are polynomials over the algebraic numbers such that deg(P) >= 2+deg(Q), and there exists l such that a is periodic for P(x)/Q(x) + l, but b is not preperiodic for P(x)/Q(x) + l, then there exist at most finitely many l such that both a and b are preperiodic for P(x)/Q(x)+l. We also prove a simila…
The purpose of this note is give some evidence in support of conjectures of Poonen, and Morton and Silverman, on the periods of rational numbers under the iteration of quadratic polynomials. In particular, Poonen conjectured that there are at most 9 periodic points defined over the rational numbers for any map in the family x^2 + c for c rational. We verify this conjecture for c values up to height 10^8. For quadratic number fields, we provide evidence that the upper bound on the exact period of Q-rational periodic point is 6.
We refine a result of R. Benedetto in p-adic analysis in order to exhibit infinitely many quadratic polynomials with rational coefficients having a specified graph of rational preperiodic points.
Let $X$ be a variety defined over a number field and $f$ be a dominant rational self-map of $X$ of infinite order. We show that $X$ admits many algebraic points which are not preperiodic under $f$. If $f$ were regular and polarized, this would follow immediately from the theory of canonical heights, but it does not work very well for rational self-maps. We provide an elementary proof following an argument by Bell, Ghioca and Tucker (arxiv:0808.3266).
Let K be a function field in one variable over an arbitrary field F. Given a rational function f(z) in K(z) of degree at least two, the associated canonical height on the projective line was defined by Call and Silverman. The preperiodic points of f all have canonical height zero; conversely, if F is a finite field, then every point of canonical height zero is preperiodic. However, if F is an infinite field, then there may be non-preperiodic points of canonical height zero. In this paper, we show that for polynomial f, such points exist only if f is isotrivial. In fact, such K-rational points …
We ask questions generalizing uniform versions of conjectures of Mordell and Lang and combining them with the Morton--Silverman conjecture on preperiodic points. We prove a few results relating different versions of such questions.
Let $P\in\mathbb{P}_1(\mathbb{Q})$ be a periodic point for a monic polynomial with coefficients in $\mathbb{Z}$. With elementary techniques one sees that the minimal periodicity of $P$ is at most $2$. Recently we proved a generalization of this fact to the set of all rational functions defined over ${\mathbb{Q}}$ with good reduction everywhere (i.e. at any finite place of $\mathbb{Q}$). The set of monic polynomials with coefficients in $\mathbb{Z}$ can be characterized, up to conjugation by elements in PGL$_2({\mathbb{Z}})$, as the set of all rational functions defined over $\mathbb{Q}$ with a…
For a morphism $f:¶^N \to ¶^N$, the points whose forward orbit by $f$ is finite are called preperiodic points for $f$. This article presents an algorithm to effectively determine all the rational preperiodic points for $f$ defined over a given number field $K$. This algorithm is implemented in the open-source software Sage for $\Q$. Additionally, the notion of a dynatomic zero-cycle is generalized to preperiodic points. Along with examining their basic properties, these generalized dynatomic cycles are shown to be effective.
On the height boundedness of periodic and preperiodic points of dominant rational self-maps on projective varieties
Osaka Metropolitan University（大阪公立大学）；NTT Institute for Fundamental Mathematics, NTT Communication Science Laboratories, NTT, Inc.（日本电信电话株式会社基础数学研究所、通信科学实验室）
Given a rational map $ϕ: {\mathbb P}^1\to {\mathbb P}^1$ defined over a number field $K$, we prove a finiteness result for $ϕ$-preperiodic points which are $S$-integral with respect to a non-preperiodic point $P$, provided $P$ satisfies a certain local condition at each place. This verifies a special case of a conjecture of S. Ih.
Let $K$ be an algebraically closed field of characteristic zero, and let $\mathcal{K} := K(t)$ be the rational function field over $K$. For each $d \ge 2$, we consider the unicritical polynomial $f_d(z) := z^d + t \in \mathcal{K}[z]$, and we ask the following question: If we fix $α\in \mathcal{K}$ and integers $M \ge 0$, $N \ge 1$, and $d \ge 2$, does there exist a place $\mathfrak{p} \in \operatorname{Spec} K[t]$ such that, modulo $\mathfrak{p}$, the point $α$ enters into an $N$-cycle after precisely $M$ steps under iteration by $f_d$? We answer this question completely, concluding that the a…
Let $f \in Q(z)$ be a polynomial or rational function of degree 2. A special case of Morton and Silverman's Dynamical Uniform Boundedness Conjecture states that the number of rational preperiodic points of $f$ is bounded above by an absolute constant. A related conjecture of Silverman states that the canonical height $\hat{h}_f(x)$ of a non-preperiodic rational point $x$ is bounded below by a uniform multiple of the height of $f$ itself. We provide support for these conjectures by computing the set of preperiodic and small height rational points for a set of degree 2 maps far beyond the range …
Silverman proved a height inequality for jointly regular family of rational maps and the author improved it for jointly regular pairs. In this paper, we provide the same improvement for jointly regular family; if S is a jointly regular set of rational maps, then \sum_{f\in S} \dfrac{1}{°f} h\bigl(f(P) \bigr) > (1+ \dfrac{1}{r}) f(P) - C where r = \max_{f\in S} r(f).
Let $K$ be a number field and let $ϕ$ in $K(z)$ be a rational function of degree $d\geq 2$. Let $S$ be the places of bad reduction for $ϕ$ (including the archimedan places). Let $Per(ϕ,K)$, $PrePer(ϕ, K)$, and $Tail(ϕ,K)$ be the set of $K$-rational periodic, preperiodic, and purely preperiodic points of $ϕ$, respectively. The present paper presents two main results. The first result gives a bound for $|PrePer(ϕ,K)|$ in terms of the number of places of bad reduction $|S|$ and the degree $d$ of the rational function $ϕ$. This bound significantly improves a previous bound given by J. Canci and L.…
In this article, we combine complex-analytic and arithmetic tools to study the preperiodic points of one-dimensional complex dynamical systems. We show that for any fixed complex numbers a and b, and any integer d at least 2, the set of complex numbers c for which both a and b are preperiodic for z^d+c is infinite if and only if a^d = b^d. This provides an affirmative answer to a question of Zannier, which itself arose from questions of Masser concerning simultaneous torsion sections on families of elliptic curves. Using similar techniques, we prove that if two complex rational functions f and…
We provide a complete classification of possible graphs of rational preperiodic points of quadratic rational functions defined over the rationals with a rational periodic critical point of period 3, under two assumptions: that these functions have no periodic points of period at least 5 and the conjectured enumeration of points on a certain genus 6 affine plane curve. We show that there are exactly six such possible graphs, and that rational functions satisfying the conditions above have at most eleven rational preperiodic points.
Let $ϕ$ be a an endomorphism of degree $d\geq{2}$ of the projective line, defined over a number field $K$. Let $S$ be a finite set of places of $K$, including the archimedean places, such that $ϕ$ has good reduction outside of $S$. The article presents two main results: the first result is a bound on the number of $K$-rational preperiodic points of $ϕ$ in terms of the cardinality of the set $S$ and the degree $d$ of the endomorphism $ϕ$. This bound is quadratic in terms of $d$ which is a significant improvement to all previous bounds on the number of preperiodic points in terms of the degree $…
Given a global field K and a polynomial f defined over K of degree at least two, Morton and Silverman conjectured in 1994 that the number of K-rational preperiodic points of f is bounded in terms of only the degree of K and the degree of f. In 1997, for quadratic polynomials over K=Q, Call and Goldstine proved a bound which was exponential in s, the number of primes of bad reduction of f. By careful analysis of the filled Julia sets at each prime, we present an improved bound on the order of slog(s). Our bound applies to polynomials of any degree (at least two) over any global field K.
We introduce a new canonical height function for Jordan blocks of small eigenvalues for endomorphisms on smooth projective varieties over a number field. We prove that under an assumption on the eigenvalues of the endomorphism on the group of divisors modulo numerical equivalence, the arithmetic degree at a rational point is equal to one if and only if it is preperiodic under the endomorphism.
We provide a complete classification of possible graphs of rational preperiodic points of endomorphisms of the projective line of degree 2 defined over the rationals with a rational periodic critical point of period 2, under the assumption that these maps have no periodic points of period at least 7. We explain how this extends results of Poonen on quadratic polynomials. We show that there are 13 possible graphs, and that such maps have at most 9 rational preperiodic points. We provide data related to the analogous classification of graphs of endomorphisms of degree 2 with a rational periodic …
Let $K$ be a function field over an algebraically closed field $k$ of characteristic $0$, let $φ\in K(z)$ be a rational function of degree at least equal to $2$ for which there is no point at which $φ$ is totally ramified, and let $α\in K$. We show that for all but finitely many pairs $(m,n)\in \mathbb{Z}_{\ge 0}\times \mathbb{N}$ there exists a place $\mathfrak{p}$ of $K$ such that the point $α$ has preperiod $m$ and minimum period $n$ under the action of $φ$. This answers a conjecture made by Ingram-Silverman and Faber-Granville. We prove a similar result, under suitable modification, also w…
Given a number field $K$ and a polynomial $f(z) \in K[z]$, one can naturally construct a finite directed graph $G(f,K)$ whose vertices are the $K$-rational preperiodic points of $f$, with an edge $α\to β$ if and only if $f(α) = β$. The dynamical uniform boundedness conjecture of Morton and Silverman suggests that, for fixed integers $n \ge 1$ and $d \ge 2$, there are only finitely many isomorphism classes of directed graphs $G(f,K)$ as one ranges over all number fields $K$ of degree $n$ and polynomials $f(z) \in K[z]$ of degree $d$. In the case $(n,d) = (1,2)$, Poonen has given a complete clas…
Let f in Q[z] be a polynomial of degree d at least two. The associated canonical height \hat{h}_f is a certain real-valued function on Q that returns zero precisely at preperiodic rational points of f. Morton and Silverman conjectured in 1994 that the number of such points is bounded above by a constant depending only on d. A related conjecture claims that at non-preperiodic rational points, \hat{h}_f is bounded below by a positive constant (depending only on d) times some kind of height of f itself. In this paper, we provide support for these conjectures in the case d=3 by computing the set o…
In this paper, we study multiplicative dependence of values of polynomials or rational functions over a number field. As an application, we obtain new results on multiplicative dependence in the orbits of a univariate polynomial dynamical system. We also obtain a broad generalisation of the Northcott theorem replacing the finiteness of preperiodic points from a given number field by the finiteness of initial points with two multiplicatively dependent elements in their orbits.
Let $q$ be a prime power and $ϕ$ a rational function with coefficients in a finite field $\mathbb{F}_q$. For $n \geq 1$, each element of $\mathbb{P}^1(\F_{q^n})$ is either periodic or strictly preperiodic under iteration of $ϕ$. Denote by $a_n$ the proportion of periodic elements. Little is known about how $a_n$ changes as $n$ grows, unless $ϕ$ is a power map or Chebyshev polynomial. We give the first results on this question for a wider class of rational functions: $a_n$ has lim inf $0$ when $q$ is odd and $ϕ$ is quadratic and neither Lattès nor conjugate to a one-parameter family of exceptio…
To each quadratic number field $K$ and each quadratic polynomial $f$ with $K$-coefficients, one can associate a finite directed graph $G(f,K)$ whose vertices are the $K$-rational preperiodic points for $f$, and whose edges reflect the action of $f$ on these points. This paper has two main goals. (1) For an abstract directed graph $G$, classify the pairs $(K,f)$ such that the isomorphism class of $G$ is realized by $G(f,K)$. We succeed completely for many graphs $G$ by applying a variety of dynamical and Diophantine techniques. (2) Give a complete description of the set of isomorphism classes o…
We investigate from a statistical perspective the arithmetic properties of the dynamics of polynomials of fixed degree and defined over the field of rational numbers. To start with, ordering their affine conjugacy classes by height, we show that their average number of rational preperiodic points is equal to zero, thereby proving a strong average version of the uniform boundedness conjecture of Morton and Silverman. Next, inspired by the analogy with the successive minima of a lattice we define the dynamical successive minima of a polynomial. Noting that these quantities are invariant under th…
We prove that if $f$ is a polynomial over a number field $K$ with a finite superattracting periodic point and a non-archimedean place of bad reduction, then there is an $ε>0$ such that only finitely many $P\in K^{\text{ab}}$ have canonical height less than $ε$ with respect to $f$. The key ingredient is the geometry of the filled Julia set at a place of bad reduction. We also prove a conditional uniform boundedness result for the $K$-rational preperiodic points of such polynomials, as well as a uniform lower bound on the canonical height of non-preperiodic points in $K$. We further prove uncond…
We find all quadratic post-critically finite (PCF) rational maps defined over the rationals. We describe an algorithm to search for possibly PCF maps. Using the algorithm, we eliminate all but twelve rational maps, all of which are verifiably PCF. We also give a complete description of possible rational preperiodic structures for quadratic PCF maps defined over Q.
Let phi be a morphism of projective N-space defined over a number field K. We prove that there is a bound B depending only on phi such that every twist of phi has no more than B K-rational preperiodic points. (This result is analagous to a result of Silverman for abelian varieties.) For two specific families of quadratic rational maps over Q, we find the bound B explicitly.
Given a number field $K$ and a polynomial $f(z) \in K[z]$ of degree at least 2, one can construct a finite directed graph $G(f,K)$ whose vertices are the $K$-rational preperiodic points for $f$, with an edge $α\to β$ if and only if $f(α) = β$. Restricting to quadratic polynomials, the dynamical uniform boundedness conjecture of Morton and Silverman suggests that for a given number field $K$, there should only be finitely many isomorphism classes of directed graphs that arise in this way. Poonen has given a conjecturally complete classification of all such directed graphs over $\mathbb{Q}$, whi…
These are lecture notes from a course in arithmetic dynamics given in Grenoble in June 2017. The main purpose of this text is to explain how arithmetic equidistribution theory can be used in the dynamics of rational maps on P^1. We first briefly introduce the basics of the iteration theory of rational maps on the projective line over C, as well as some elements of iteration theory over an arbitrary complete valued field and the construction of dynamically defined height functions for rational functions defined over \overline Q. The equidistribution of small points gives some original informati…
Bounding the number of preperiodic points of quadratic polynomials with rational coefficients is one case of the Uniform Boundedness Conjecture in arithmetic dynamics. Here, we provide a general framework that may reduce finding periodic points of such polynomials over Galois extensions of $\mathbb{Q}$ to finding periodic points over the rationals. Furthermore, we present evidence that there are no such polynomials (up to linear conjugation) with periodic points of exact period 5 in quadratic fields by searching for points on an algebraic curve that classifies quadratic periodic points of exac…
In this paper we characterise univariate rational functions over a number field $\K$ having infinitely many points in the cyclotomic closure $\K^c$ for which the orbit contains a root of unity. Our results are similar to previous results of Dvornicich and Zannier describing all polynomials having infinitely many preperiodic points in $\K^c$.
The surface corresponding to the moduli space of quadratic endomorphisms of $\mathbb{P}^1$ with a marked periodic point of order $n$ is studied. It is shown that the surface is rational over $\mathbb{Q}$ when $n\le 5$ and is of general type for $n=6$. An explicit description of the $n=6$ surface lets us find several infinite families of quadratic endomorphisms $f: \mathbb{P}^1 \to \mathbb{P}^1$ defined over $\mathbb{Q}$ with a rational periodic point of order $6$. In one of these families, $f$ also has a rational fixed point, for a total of at least $7$ periodic and $7$ preperiodic points. Thi…
We prove an analog of the Tits alternative for rational functions. In particular, we show that if $S$ is a finitely generated semigroup of rational functions over the complex numbers, then either $S$ has polynomially bounded growth or $S$ contains a nonabelian free semigroup. We also show that if f and g are polarizable maps over any field that do not have the same set of preperiodic points, then the semigroup generated by f and g contains a nonabelian free semigroup.
Let K be a function field, let f be a rational function of degree d at least 2 defined over K, and suppose that f is not isotrivial. In this paper, we show that a point P in P^1(Kbar) has f-canonical height zero if and only if P is preperiodic for f. This answers affirmatively a question of Szpiro and Tucker, and generalizes a recent result of Benedetto from polynomials to rational functions. We actually prove the following stronger result, which is a variant of the Northcott finiteness principle: there exists epsilon > 0 such that the set of points P in P^1(K) with f-canonical height at most …
We give a dynamical proof of a result of Masser and Zannier [MZ2, MZ3] about torsion points on the Legendre family of elliptic curves. Our methods also treat points of small height. A key ingredient is the arithmetic equidistribution theorem on $\mathbb{P}^1$ of Baker-Rumely, Chambert-Loir, and Favre-Rivera-Letelier. Torsion points on the elliptic curve coincide with preperiodic points for the degree-4 Lattes family of rational functions. Our main new results concern properties of the bifurcation measures for this Lattes family associated to marked points.
A refined non-vanishing of the $p$-adic logarithm of a rational point on an abelian variety
University of Texas at Austin（德克萨斯大学奥斯汀分校）；Princeton University（普林斯顿大学）；Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）
Let K be a number field, let f: P_1 --> P_1 be a nonconstant rational map of degree greater than 1, let S be a finite set of places of K, and suppose that u, w in P_1(K) are not preperiodic under f. We prove that the set of (m,n) in N^2 such that f^m(u) is S-integral relative to f^n(w) is finite and effectively computable. This may be thought of as a two-parameter analog of a result of Silverman on integral points in orbits of rational maps. This issue can be translated in terms of integral points on an open subset of P_1^2; then one can apply a modern version of the method of Runge, after inc…
Given a set of endomorphisms on $\mathbb{P}^N$, we establish an upper bound on the number of points of bounded height in the associated monoid orbits. Moreover, we give a more refined estimate with an associated lower bound when the monoid is free. Finally, we show that most sets of rational functions in one variable satisfy these more refined bounds.
