For a quadratic endomorphism of the affine line defined over the rationals we consider the problem of bounding the number of rational points that eventually land at a given constant after iteration, called pre-images of the constant. In the article "Uniform Bounds on Pre-Images Under Quadratic Dynamical Systems," it was shown that the number of rational pre-images is bounded as one varies the morphism in a certain one-dimensional family. Explicit values of the constant for pre-images of zero and -1 defined over the rational numbers were addressed in subsequent articles. This article addresses an explicit bound for any algebraic image constant and provides insight into the geometry of the "pre-image surfaces."
In this paper, we prove several results on finitely generated dynamical Galois groups attached to quadratic polynomials. First we show that, over global fields, quadratic post-critically finite polynomials are precisely those having an arboreal representation whose image is topologically finitely generated. To obtain this result, we also prove the quadratic case of Hindes' conjecture on dynamical non-isotriviality. Next, we give two applications of this result. On the one hand, we prove that quadratic polynomials over global fields with abelian dynamical Galois group are necessarily post-criti…
Among all the dynamical modular curves associated to quadratic polynomial maps, we determine which curves have infinitely many quadratic points. This yields a classification statement on preperiodic points for quadratic polynomials over quadratic fields, extending previous work of Poonen, Faber, and the authors.
Fix a rational basepoint b and a rational number c. For the quadratic dynamical system f_c(x) = x^2+c, it has been shown that the number of rational points in the backward orbit of b is bounded independent of the choice of rational parameter c. In this short note we investigate the dependence of the bound on the basepoint b, assuming a strong form of the Mordell Conjecture.
We show how rational points on certain varieties parametrize phenomena arising in the Galois theory of iterates of quadratic polynomials. As an example, we characterize completely the set of quadratic polynomials $x^2+c$ whose third iterate has a "small" Galois group by determining the rational points on some elliptic curves. It follows as a corollary that the only such integer value with this property is $c=3$, answering a question of Rafe Jones. Furthermore, using a result of Granville's on the rational points on quadratic twists of a hyperelliptic curve, we indicate how the ABC conjecture i…
We show that generating functions associated to the sequence of convergents of a quadratic irrational are related in a natural way to the dynam- ical zeta function of a hyperbolic automorphism of the 2-torus. As a corollary, this shows that the Lévy constant of a quadratic irrational appears naturally as the topological entropy of such maps.
Motivated by the dynamical uniform boundedness conjecture of Morton and Silverman, specifically in the case of quadratic polynomials, we give a formal construction of a certain class of dynamical analogues of classical modular curves. The preperiodic points for a quadratic polynomial map may be endowed with the structure of a directed graph satisfying certain strict conditions; we call such a graph admissible. Given an admissible graph $G$, we construct a curve $X_1(G)$ whose points parametrize quadratic polynomial maps -- which, up to equivalence, form a one-parameter family -- together with …
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 …
For a quadratic endomorphism of the affine line defined over the rationals, we consider the problem of bounding the number of rational points that eventually land at the origin after iteration. In the article ``Uniform Bounds on Pre-Images Under Quadratic Dynamical Systems,'' by two of the present authors and five others, it was shown that the number of rational iterated pre-images of the origin is bounded as one varies the morphism in a certain one-dimensional family. Subject to the validity of the Birch and Swinnerton-Dyer conjecture and some other related conjectures for the L-series of a s…
For a class of polynomials $f \in \mathbb{Z}[X]$, which in particular includes all quadratic polynomials, and also trinomials of some special form, we show that, under some natural conditions (necessary for quadratic polynomials), the set of primes $p$ such that all iterations of $f$ are irreducible modulo $p$ is of relative density zero. Furthermore, we give an explicit bound on the rate of the decay of the density of such primes in an interval $[1, Q]$ as $Q \to \infty$. For this class of polynomials this gives a more precise version of a recent result of A. Ferraguti (2018), which applies t…
For any elements b,c of a number field K, let G(b,c) denote the backwards orbit of b under the map f_c: C-->C given by f_c(x)=x^2+c. We prove an upper bound on the number of elements of G(b,c) whose degree over K is at most some constant B. This bound depends only on b, [K:Q], and B, and is valid for all b outside an explicit finite set. We also show that, for any N>3 and any b in K outside a finite set, there are only finitely many pairs of complex numbers (y,c) for which [K(y,c):K]<2^(N-3) and the value of the N-th iterate of f_c(x) at x=y is b. Moreover, the bound 2^(N-3) in this result is …
We show that the Vojta (or Hall-Lang) conjecture implies that the arboreal Galois representations in a 1-parameter family of quadratic polynomials are surjective if and only if they surject onto some finite and uniform quotient. As an application, we use the Vojta conjecture, our uniformity theorem over $\mathbb{Q}(t)$, and Hilbert's irreducibility theorem to prove that the prime divisors of many quadratic orbits have density zero.
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…
We study the probabilistic behaviour of the continued fraction expansion of a quadratic irrational number, when weighted by some "additive" cost. We prove asymptotic Gaussian limit laws, with an optimal speed of convergence. We deal with the underlying dynamical system associated with the Gauss map, and its weighted periodic trajectories. We work with analytic combinatorics methods, and mainly with bivariate Dirichlet generating functions; we use various tools, from number theory (the Landau Theorem), from probability (the Quasi-Powers Theorem), or from dynamical systems: our main object of st…
