Showing 1–24 of 24 results for author: Doyle, J R

Unicritical polynomials over $abc$-fields: from uniform boundedness to dynamical Galois groups

Authors: John R. Doyle, Wade Hindes

Abstract: Let $K$ be a function field of characteristic $p\geq0$ or a number field over which the $abc$ conjecture holds, and let $φ(x)=x^d+c \in K[x]$ be a unicritical polynomial of degree $d\geq2$ with $d \not\equiv 0,1\pmod{p}$. We completely classify all portraits of $K$-rational preperiodic points for such $φ$ for all sufficiently large degrees $d$. More precisely, we prove that, up to accounting for t… ▽ More Let $K$ be a function field of characteristic $p\geq0$ or a number field over which the $abc$ conjecture holds, and let $φ(x)=x^d+c \in K[x]$ be a unicritical polynomial of degree $d\geq2$ with $d \not\equiv 0,1\pmod{p}$. We completely classify all portraits of $K$-rational preperiodic points for such $φ$ for all sufficiently large degrees $d$. More precisely, we prove that, up to accounting for the natural action of $d$th roots of unity on the preperiodic points for $φ$, there are exactly thirteen such portraits up to isomorphism. In particular, for all such global fields $K$, it follows from our results together with earlier work of Doyle-Poonen and Looper that the number of $K$-rational preperiodic points for $φ$ is uniformly bounded -- independent of $d$. That is, there is a constant $B(K)$ depending only on $K$ such that \[\big|\text{PrePer}(x^d+c,K)\big|\leq B(K)\] for all $d\geq2$ and all $c\in K$. Moreover, we apply this work to construct many irreducible polynomials with large dynamical Galois groups in semigroups generated by sets of unicritical polynomials under composition. △ Less

Submitted 6 November, 2024; v1 submitted 26 August, 2024; originally announced August 2024.

The Furstenberg-Sárközy theorem for polynomials in one or more prime variables

Authors: John R. Doyle, Alex Rice

Abstract: We establish upper bounds on the size of the largest subset of $\{1,2,\dots,N\}$ lacking nonzero differences of the form $h(p_1,\dots,p_{\ell})$, where $h\in \mathbb{Z}[x_1,\dots,x_{\ell}]$ is a fixed polynomial satisfying appropriate conditions and $p_1,\dots,p_{\ell}$ are prime. The bounds are of the same type as the best-known analogs for unrestricted integer inputs, due to Bloom-Maynard and Ar… ▽ More We establish upper bounds on the size of the largest subset of $\{1,2,\dots,N\}$ lacking nonzero differences of the form $h(p_1,\dots,p_{\ell})$, where $h\in \mathbb{Z}[x_1,\dots,x_{\ell}]$ is a fixed polynomial satisfying appropriate conditions and $p_1,\dots,p_{\ell}$ are prime. The bounds are of the same type as the best-known analogs for unrestricted integer inputs, due to Bloom-Maynard and Arala for $\ell=1$, and to the authors for $\ell \geq 2$. △ Less

Submitted 1 May, 2024; originally announced May 2024.

Comments: 22 pages. arXiv admin note: text overlap with arXiv:2006.15400

Quadratic points on dynamical modular curves

Authors: John R. Doyle, David Krumm

Abstract: 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. 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. △ Less

Submitted 23 January, 2023; v1 submitted 1 January, 2023; originally announced January 2023.

Comments: Improvements to the exposition; stronger version of what is now Proposition 4.5

MSC Class: Primary 37P05; 37P35; Secondary 37P15; 11G30; 14G05

New families satisfying the Dynamical Uniform Boundedness Principle over function fields

Authors: John R. Doyle, Xander Faber

Abstract: We extend a technique, originally due to the first author and Poonen, for proving cases of the Strong Uniform Boundedness Principle (SUBP) in algebraic dynamics over function fields of positive characteristic. The original method applied to unicritical polynomials for which the characteristic does not divide the degree. We show that many new 1-parameter families of polynomials satisfy the SUBP, in… ▽ More We extend a technique, originally due to the first author and Poonen, for proving cases of the Strong Uniform Boundedness Principle (SUBP) in algebraic dynamics over function fields of positive characteristic. The original method applied to unicritical polynomials for which the characteristic does not divide the degree. We show that many new 1-parameter families of polynomials satisfy the SUBP, including the family of all quadratic polynomials in even characteristic. We also give a new family of non-polynomial, non-Lattès rational functions that satisfies the SUBP. △ Less

Submitted 19 December, 2022; v1 submitted 11 March, 2022; originally announced March 2022.

Comments: 14 pages; main results now hold over 1-dimensional function fields over arbitrary fields of positive characteristic (not just finite fields); to appear in Mathematische Annalen

MSC Class: 37P35 (Primary) 11G30; 14H51; 37P05; 37P15 (Secondary)

Polynomials with many rational preperiodic points

Authors: John R. Doyle, Trevor Hyde

Abstract: 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$,… ▽ More 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. △ Less

Submitted 18 July, 2022; v1 submitted 27 January, 2022; originally announced January 2022.

Comments: Strengthened results, added new references

Galois groups and prime divisors in random quadratic sequences

Authors: John R. Doyle, Vivian Olsiewski Healey, Wade Hindes, Rafe Jones

Abstract: Given a set $S=\{x^2+c_1,\dots,x^2+c_s\}$ defined over a field and an infinite sequence $γ$ of elements of $S$, one can associate an arboreal representation to $γ$, generalizing the case of iterating a single polynomial. We study the probability that a random sequence $γ$ produces a ``large-image'' representation, meaning that infinitely many subquotients in the natural filtration are maximal. We… ▽ More Given a set $S=\{x^2+c_1,\dots,x^2+c_s\}$ defined over a field and an infinite sequence $γ$ of elements of $S$, one can associate an arboreal representation to $γ$, generalizing the case of iterating a single polynomial. We study the probability that a random sequence $γ$ produces a ``large-image'' representation, meaning that infinitely many subquotients in the natural filtration are maximal. We prove that this probability is positive for most sets $S$ defined over $\mathbb{Z}[t]$, and we conjecture a similar positive-probability result for suitable sets over $\mathbb{Q}$. As an application of large-image representations, we prove a density-zero result for the set of prime divisors of some associated quadratic sequences. We also consider the stronger condition of the representation being finite-index, and we classify all $S$ possessing a particular kind of obstruction that generalizes the post-critically finite case in single-polynomial iteration. △ Less

Submitted 10 February, 2023; v1 submitted 25 August, 2021; originally announced August 2021.

Comments: 22 pages

MSC Class: Primary: 11R32; 37P15; 11F80. Secondary: 11D99

Dynamical moduli spaces and polynomial endomorphisms of configurations

Authors: Talia Blum, John R. Doyle, Trevor Hyde, Colby Kelln, Henry Talbott, Max Weinreich

Abstract: A portrait is a combinatorial model for a discrete dynamical system on a finite set. We study the geometry of portrait moduli spaces, whose points correspond to equivalence classes of point configurations on the affine line for which there exist polynomials realizing the dynamics of a given portrait. We present results and pose questions inspired by a large-scale computational survey of intersecti… ▽ More A portrait is a combinatorial model for a discrete dynamical system on a finite set. We study the geometry of portrait moduli spaces, whose points correspond to equivalence classes of point configurations on the affine line for which there exist polynomials realizing the dynamics of a given portrait. We present results and pose questions inspired by a large-scale computational survey of intersections of portrait moduli spaces for polynomials in low degree. △ Less

Submitted 24 August, 2021; originally announced August 2021.

Comments: 26 pages, comments welcome!

MSC Class: 37F10; 37C25; 37P45

Journal ref: Arnold Math. J. 8 (2022) 285-317

Dynatomic polynomials, necklace operators, and universal relations for dynamical units

Authors: John R. Doyle, Paul Fili, Trevor Hyde

Abstract: Given a generic polynomial $f(x)$, the generalized dynatomic polynomial $Φ_{f,c,d}(x)$ vanishes at precisely those $α$ such that $f^c(α)$ has period exactly $d$ under iteration of $f(x)$. We show that the shifted dynatomic polynomials $Φ_{f,c,d}(x) - 1$ often have generalized dynatomic factors, and that these factors are in correspondence with certain cyclotomic factors of necklace polynomials. Th… ▽ More Given a generic polynomial $f(x)$, the generalized dynatomic polynomial $Φ_{f,c,d}(x)$ vanishes at precisely those $α$ such that $f^c(α)$ has period exactly $d$ under iteration of $f(x)$. We show that the shifted dynatomic polynomials $Φ_{f,c,d}(x) - 1$ often have generalized dynatomic factors, and that these factors are in correspondence with certain cyclotomic factors of necklace polynomials. These dynatomic factors of $Φ_{f,c,d}(x) - 1$ have an interpretation in terms of new multiplicative relations between dynamical units which are uniform in the polynomial $f(x)$. △ Less

Submitted 20 August, 2021; originally announced August 2021.

Comments: 19 pages, comments welcome!

MSC Class: 37P05; 11R27; 37P35

Journal ref: New York J. Math. 28 (2022) 534-556

Multivariate Polynomial Values in Difference Sets

Authors: John R. Doyle, Alex Rice

Abstract: For $\ell\geq 2$ and $h\in \mathbb{Z}[x_1,\dots,x_{\ell}]$ of degree $k\geq 2$, we show that every set $A\subseteq \{1,2,\dots,N\}$ lacking nonzero differences in $h(\mathbb{Z}^{\ell})$ satisfies $|A|\ll_h Ne^{-c(\log N)^μ}$, where $c=c(h)>0$, $μ=[(k-1)^2+1]^{-1}$ if $\ell=2$, and $μ=1/2$ if $\ell\geq 3$, provided $h(\mathbb{Z}^{\ell})$ contains a multiple of every natural number and $h$ satisfies… ▽ More For $\ell\geq 2$ and $h\in \mathbb{Z}[x_1,\dots,x_{\ell}]$ of degree $k\geq 2$, we show that every set $A\subseteq \{1,2,\dots,N\}$ lacking nonzero differences in $h(\mathbb{Z}^{\ell})$ satisfies $|A|\ll_h Ne^{-c(\log N)^μ}$, where $c=c(h)>0$, $μ=[(k-1)^2+1]^{-1}$ if $\ell=2$, and $μ=1/2$ if $\ell\geq 3$, provided $h(\mathbb{Z}^{\ell})$ contains a multiple of every natural number and $h$ satisfies certain nonsingularity conditions. We also explore these conditions in detail, drawing on a variety of tools from algebraic geometry. △ Less

Submitted 5 September, 2021; v1 submitted 27 June, 2020; originally announced June 2020.

Comments: 46 pages

Journal ref: Discrete Analysis, 2021:11, 46pp

A question for iterated Galois groups in arithmetic dynamics

Authors: Andrew Bridy, John R. Doyle, Dragos Ghioca, Liang-Chung Hsia, Thomas J. Tucker

Abstract: We formulate a general question regarding the size of the iterated Galois groups associated to an algebraic dynamical system and then we discuss some special cases of our question. We formulate a general question regarding the size of the iterated Galois groups associated to an algebraic dynamical system and then we discuss some special cases of our question. △ Less

Submitted 7 October, 2019; originally announced October 2019.

Comments: 18 pages. arXiv admin note: text overlap with arXiv:1810.00990

MSC Class: 37P15 (Primary); 11G50; 11R32; 14G25; 37P05; 37P30 (Secondary)

Journal ref: Can. Math. Bull. 64 (2021) 401-417

Moduli Spaces for Dynamical Systems with Portraits

Authors: John R. Doyle, Joseph H. Silverman

Abstract: A $\textit{portrait}$ $\mathcal{P}$ on $\mathbb{P}^N$ is a pair of finite point sets $Y\subseteq{X}\subset\mathbb{P}^N$, a map $Y\to X$, and an assignment of weights to the points in $Y$. We construct a parameter space $\operatorname{End}_d^N[\mathcal{P}]$ whose points correspond to degree $d$ endomorphisms $f:\mathbb{P}^N\to\mathbb{P}^N$ such that $f:Y\to{X}$ is as specified by a portrait… ▽ More A $\textit{portrait}$ $\mathcal{P}$ on $\mathbb{P}^N$ is a pair of finite point sets $Y\subseteq{X}\subset\mathbb{P}^N$, a map $Y\to X$, and an assignment of weights to the points in $Y$. We construct a parameter space $\operatorname{End}_d^N[\mathcal{P}]$ whose points correspond to degree $d$ endomorphisms $f:\mathbb{P}^N\to\mathbb{P}^N$ such that $f:Y\to{X}$ is as specified by a portrait $\mathcal{P}$, and prove the existence of the GIT quotient moduli space $\mathcal{M}_d^N[\mathcal{P}]:=\operatorname{End}_d^N//\operatorname{SL}_{N+1}$ under the $\operatorname{SL}_{N+1}$-action $(f,Y,X)^φ=\bigl(φ^{-1}\circ{f}\circφ,φ^{-1}(Y),φ^{-1}(X)\bigr)$ relative to an appropriately chosen line bundle. We also investigate the geometry of $\mathcal{M}_d^N[\mathcal{P}]$ and give two arithmetic applications. △ Less

Submitted 24 December, 2018; originally announced December 2018.

Comments: 91 pages

MSC Class: Primary: 37P45; Secondary: 37P15

Journal ref: Illinois J. Math. 64, no. 3 (2020), 375-465

Finite index theorems for iterated Galois groups of unicritical polynomials

Authors: Andrew Bridy, John R. Doyle, Dragos Ghioca, Liang-Chung Hsia, Thomas J. Tucker

Abstract: Let $K$ be the function field of a smooth, irreducible curve defined over $\overline{\mathbb{Q}}$. Let $f\in K[x]$ be of the form $f(x)=x^q+c$ where $q = p^{r}, r \ge 1,$ is a power of the prime number $p$, and let $β\in \overline{K}$. For all $n\in\mathbb{N}\cup\{\infty\}$, the Galois groups $G_n(β)=\mathop{\rm{Gal}}(K(f^{-n}(β))/K(β))$ embed into $[C_q]^n$, the $n$-fold wreath product of the cyc… ▽ More Let $K$ be the function field of a smooth, irreducible curve defined over $\overline{\mathbb{Q}}$. Let $f\in K[x]$ be of the form $f(x)=x^q+c$ where $q = p^{r}, r \ge 1,$ is a power of the prime number $p$, and let $β\in \overline{K}$. For all $n\in\mathbb{N}\cup\{\infty\}$, the Galois groups $G_n(β)=\mathop{\rm{Gal}}(K(f^{-n}(β))/K(β))$ embed into $[C_q]^n$, the $n$-fold wreath product of the cyclic group $C_q$. We show that if $f$ is not isotrivial, then $[[C_q]^\infty:G_\infty(β)]<\infty$ unless $β$ is postcritical or periodic. We are also able to prove that if $f_1(x)=x^q+c_1$ and $f_2(x)=x^q+c_2$ are two such distinct polynomials, then the fields $\bigcup_{n=1}^\infty K(f_1^{-n}(β))$ and $\bigcup_{n=1}^\infty K(f_2^{-n}(β))$ are disjoint over a finite extension of $K$. △ Less

Submitted 1 October, 2018; originally announced October 2018.

Comments: 20 pages

MSC Class: 37P15 (Primary); 11G50; 11R32; 14G25; 37P05; 37P30 (Secondary)

Journal ref: Trans. Amer. Math. Soc. 374 (2021) 733-752

A Uniform Field-of-Definition/Field-of-Moduli Bound for Dynamical Systems on $\mathbf{P}^N$

Authors: John R. Doyle, Joseph H. Silverman

Abstract: Let $f:\mathbb{P}^N\to\mathbb{P}^N$ be an endomorphism of degree $d\ge2$ defined over $\overline{\mathbb{Q}}$ or $\overline{\mathbb{Q}}_p$, and let $K$ be the field of moduli of $f$. We prove that there is a field of definition $L$ for $f$ whose degree $[L:K]$ is bounded solely in terms of $N$ and $d$. Let $f:\mathbb{P}^N\to\mathbb{P}^N$ be an endomorphism of degree $d\ge2$ defined over $\overline{\mathbb{Q}}$ or $\overline{\mathbb{Q}}_p$, and let $K$ be the field of moduli of $f$. We prove that there is a field of definition $L$ for $f$ whose degree $[L:K]$ is bounded solely in terms of $N$ and $d$. △ Less

Submitted 2 April, 2018; originally announced April 2018.

Comments: 22 pages

MSC Class: Primary: 37P45; Secondary: 37P15

Journal ref: J. Number Theory 195 (2019) 1-22

Preperiodic points for quadratic polynomials over cyclotomic quadratic fields

Authors: John R. Doyle

Abstract: 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… ▽ More 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}$, while recent work of the author, Faber, and Krumm has provided a detailed study of this question for all quadratic extensions of $\mathbb{Q}$. In this article, we give a conjecturally complete classification like Poonen's, but over the cyclotomic quadratic fields $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$. The main tools we use are dynamical modular curves and results concerning quadratic points on curves. △ Less

Submitted 25 February, 2020; v1 submitted 26 January, 2018; originally announced January 2018.

Comments: v4 includes a few more details, especially toward the end of Section 3 and in Appendix A. Other minor changes have been made. An additional Magma file (main.txt), containing calculations for the main body of the article, have been added as an ancillary file

MSC Class: 37P05 (Primary); 37P35; 14G05 (Secondary)

Journal ref: Acta Arith. 196 (2020) 219-268

Gonality of dynatomic curves and strong uniform boundedness of preperiodic points

Authors: John R. Doyle, Bjorn Poonen

Abstract: Fix $d \ge 2$ and a field $k$ such that $\mathrm{char}~k \nmid d$. Assume that $k$ contains the $d$th roots of $1$. Then the irreducible components of the curves over $k$ parameterizing preperiodic points of polynomials of the form $z^d+c$ are geometrically irreducible and have gonality tending to $\infty$. This implies the function field analogue of the strong uniform boundedness conjecture for p… ▽ More Fix $d \ge 2$ and a field $k$ such that $\mathrm{char}~k \nmid d$. Assume that $k$ contains the $d$th roots of $1$. Then the irreducible components of the curves over $k$ parameterizing preperiodic points of polynomials of the form $z^d+c$ are geometrically irreducible and have gonality tending to $\infty$. This implies the function field analogue of the strong uniform boundedness conjecture for preperiodic points of $z^d+c$. It also has consequences over number fields: it implies strong uniform boundedness for preperiodic points of bounded eventual period, which in turn reduces the full conjecture for preperiodic points to the conjecture for periodic points. △ Less

Submitted 1 January, 2019; v1 submitted 11 November, 2017; originally announced November 2017.

Comments: 10 pages; v2 has some improvements in exposition

MSC Class: 37P35 (Primary) 11G30; 14H51; 37P05; 37P15 (Secondary)

Journal ref: Compositio Math. 156 (2020) 733-743

Dynamical modular curves for quadratic polynomial maps

Authors: John R. Doyle

Abstract: 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 grap… ▽ More 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 a collection of marked preperiodic points that form a graph isomorphic to $G$. Building on work of Bousch and Morton, we show that these curves are irreducible in characteristic zero, and we give an application of irreducibility in the setting of number fields. We end with a discussion of the Galois theory associated to the preperiodic points of quadratic polynomials, including a certain Galois representation that arises naturally in this setting. △ Less

Submitted 7 July, 2017; originally announced July 2017.

Comments: 26 pages

MSC Class: Primary: 37P45; Secondary: 11R32; 14H05

Journal ref: Trans. Amer. Math. Soc. 371 (2019) 5655-5685

Reduction of dynatomic curves

Authors: John R. Doyle, Holly Krieger, Andrew Obus, Rachel Pries, Simon Rubinstein-Salzedo, Lloyd W. West

Abstract: The dynatomic modular curves parametrize polynomial maps together with a point of period $n$. It is known that the dynatomic curves $Y_1(n)$ are smooth and irreducible in characteristic 0 for families of polynomial maps of the form $f_c(z) = z^m +c$ where $m\geq 2$. In the present paper, we build on the work of Morton to partially characterize the primes $p$ for which the reduction modulo $p$ of… ▽ More The dynatomic modular curves parametrize polynomial maps together with a point of period $n$. It is known that the dynatomic curves $Y_1(n)$ are smooth and irreducible in characteristic 0 for families of polynomial maps of the form $f_c(z) = z^m +c$ where $m\geq 2$. In the present paper, we build on the work of Morton to partially characterize the primes $p$ for which the reduction modulo $p$ of $Y_1(n)$ remains smooth and/or irreducible. As an application, we give new examples of good reduction of $Y_1(n)$ for several primes dividing the ramification discriminant when $n=7,8,11$. The proofs involve arithmetic and complex dynamics, reduction theory for curves, ramification theory, and the combinatorics of the Mandelbrot set. △ Less

Submitted 28 March, 2017; v1 submitted 12 March, 2017; originally announced March 2017.

Comments: 47 pages, 2 figures; fixed typos and added some data to Appendix A

MSC Class: 37F45; 37P05; 37P35; 37P45; 11G20; 11S15; 14H30

Journal ref: Ergod. Th. Dynam. Sys. 39 (2019) 2717-2768

Preperiodic portraits for unicritical polynomials over a rational function field

Authors: John R. Doyle

Abstract: 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… ▽ More 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 answer is generally affirmative and explicitly giving all counterexamples. This extends previous work by the author in the case that $α$ is a constant point. △ Less

Submitted 26 March, 2016; originally announced March 2016.

Comments: 18 pages + references

Journal ref: Trans. Amer. Math. Soc. 370 (2018) 3265-3288

Preperiodic points for quadratic polynomials with small cycles over quadratic fields

Authors: John R. Doyle

Abstract: 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… ▽ More 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 classification of all directed graphs which may be realized as $G(f,\mathbb{Q})$ for some quadratic polynomial $f(z) \in \mathbb{Q}[z]$, under the assumption that $f$ does not admit rational points of large period. The purpose of the present article is to continue the work begun by the author, Faber, and Krumm on the case $(n,d) = (2,2)$. By combining the results of the previous article with a number of new results, we arrive at a partial result toward a theorem like Poonen's -- with a similar assumption on points of large period -- but over all quadratic extensions of $\mathbb{Q}$. △ Less

Submitted 10 July, 2017; v1 submitted 23 September, 2015; originally announced September 2015.

Comments: Fixed some minor errors; redefined admissibility; references updated. An ancillary .txt file with the input/output for the necessary computations in Magma has been added

Journal ref: Math. Z. 289 (2018) 729-786

Configuration of the Crucial Set for a Quadratic Rational Map

Authors: John R. Doyle, Kenneth Jacobs, Robert Rumely

Abstract: Let $K$ be a complete, algebraically closed non-archimedean valued field, and let $\varphi(z) \in K(z)$ have degree two. We describe the crucial set of $\varphi$ in terms of the multipliers of $\varphi$ at the classical fixed points, and use this to show that the crucial set determines a stratification of the moduli space $\mathcal{M}_2(K)$ related to the reduction type of $\varphi$. We apply this… ▽ More Let $K$ be a complete, algebraically closed non-archimedean valued field, and let $\varphi(z) \in K(z)$ have degree two. We describe the crucial set of $\varphi$ in terms of the multipliers of $\varphi$ at the classical fixed points, and use this to show that the crucial set determines a stratification of the moduli space $\mathcal{M}_2(K)$ related to the reduction type of $\varphi$. We apply this to settle a special case of a conjecture of Hsia regarding the density of repelling periodic points in the non-archimedean Julia set. △ Less

Submitted 13 July, 2015; originally announced July 2015.

MSC Class: 37P50; 11S82

Journal ref: Res. Number Theory 2 (2016) 11

Preperiodic portraits for unicritical polynomials

Authors: John R. Doyle

Abstract: Let $K$ be an algebraically closed field of characteristic zero, and for $c \in K$ and an integer $d \ge 2$, define $f_{d,c}(z) := z^d + c \in K[z]$. We consider the following question: If we fix $x \in K$ and integers $M \ge 0$, $N \ge 1$, and $d \ge 2$, does there exist $c \in K$ such that, under iteration by $f_{d,c}$, the point $x$ enters into an $N$-cycle after precisely $M$ steps? We conclud… ▽ More Let $K$ be an algebraically closed field of characteristic zero, and for $c \in K$ and an integer $d \ge 2$, define $f_{d,c}(z) := z^d + c \in K[z]$. We consider the following question: If we fix $x \in K$ and integers $M \ge 0$, $N \ge 1$, and $d \ge 2$, does there exist $c \in K$ such that, under iteration by $f_{d,c}$, the point $x$ enters into an $N$-cycle after precisely $M$ steps? We conclude that the answer is generally affirmative, and we explicitly give all counterexamples. When $d = 2$, this answers a question posed by Ghioca, Nguyen, and Tucker. △ Less

Submitted 26 March, 2016; v1 submitted 27 January, 2015; originally announced January 2015.

Comments: Updated references; fixed minor error in Lemma 3.6

Journal ref: Proc. Amer. Math. Soc. 144 (2016) 2885-2899

Preperiodic points for quadratic polynomials over quadratic fields

Authors: John R. Doyle, Xander Faber, David Krumm

Abstract: 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… ▽ More 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 of graphs that can be realized by some $G(f,K)$. A conjecture of Morton and Silverman implies that this set is finite. Based on our theoretical considerations and a wealth of empirical evidence derived from an algorithm that is developed in this paper, we speculate on a complete list of isomorphism classes of graphs that arise from quadratic polynomials over quadratic fields. △ Less

Submitted 28 April, 2014; v1 submitted 25 September, 2013; originally announced September 2013.

Journal ref: New York J. Math. 20 (2014) 507-605

Computing algebraic numbers of bounded height

Authors: John R. Doyle, David Krumm

Abstract: We describe an algorithm for listing all elements of bounded height in a given number field. We describe an algorithm for listing all elements of bounded height in a given number field. △ Less

Submitted 22 June, 2013; v1 submitted 21 November, 2011; originally announced November 2011.

Journal ref: Math. Comp. 84 (2015) 2867-2891

Apollonian circle packings of the half-plane

Authors: Michael Ching, John R. Doyle

Abstract: We consider Apollonian circle packings of a half Euclidean plane. We give necessary and sufficient conditions for two such packings to be related by a Euclidean similarity (that is, by translations, reflections, rotations and dilations) and describe explicitly the group of self-similarities of a given packing. We observe that packings with a non-trivial self-similarity correspond to positive real… ▽ More We consider Apollonian circle packings of a half Euclidean plane. We give necessary and sufficient conditions for two such packings to be related by a Euclidean similarity (that is, by translations, reflections, rotations and dilations) and describe explicitly the group of self-similarities of a given packing. We observe that packings with a non-trivial self-similarity correspond to positive real numbers that are the roots of quadratic polynomials with rational coefficients. This is reflected in a close connection between Apollonian circle packings and continued fractions which allows us to completely classify such packings up to similarity. △ Less

Submitted 14 September, 2012; v1 submitted 8 February, 2011; originally announced February 2011.

Comments: 35 pages; final version -- minor improvements to the exposition from the first version

MSC Class: 52C26; 11A55

Journal ref: Journal of Combinatorics 3 (2012), 1-49