Showing 1–29 of 29 results for author: Benedetto, R L

Arboreal Galois groups for cubic polynomials with colliding critical points

Authors: Robert L. Benedetto, William DeGroot, Xinyu Ni, Jesse Seid, Annie Wei, Samantha Winton

Abstract: Let $K$ be a field, and let $f\in K(z)$ be a rational function of degree $d\geq 2$. The Galois group of the field extension generated by the preimages of $x_0\in K$ under all iterates of $f$ naturally embeds in the automorphism group of an infinite $d$-ary rooted tree. In some cases the Galois group can be the full automorphism group of the tree, but in other cases it is known to have infinite ind… ▽ More Let $K$ be a field, and let $f\in K(z)$ be a rational function of degree $d\geq 2$. The Galois group of the field extension generated by the preimages of $x_0\in K$ under all iterates of $f$ naturally embeds in the automorphism group of an infinite $d$-ary rooted tree. In some cases the Galois group can be the full automorphism group of the tree, but in other cases it is known to have infinite index. In this paper, we consider a previously unstudied such case: that $f$ is a polynomial of degree $d=3$, and the two finite critical points of $f$ collide at the $\ell$-th iteration, for some $\ell\geq 2$. We describe an explicit subgroup $Q_{\ell,\infty}$ of automorphisms of the $3$-ary tree in which the resulting Galois group must always embed, and we present sufficient conditions for this embedding to be an isomorphism. △ Less

Submitted 5 April, 2024; originally announced April 2024.

Comments: 26 pages, 5 figures

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

Specializations of Iterated Galois Groups of PCF Rational Functions

Authors: Robert L. Benedetto, Dragos Ghioca, Jamie Juul, Thomas J. Tucker

Abstract: We obtain a criterion for when the specialization of the iterated Galois group for a post-critically finite (PCF) rational map is as large as possible, i.e., it equals the generic iterated Galois group for the given map. We obtain a criterion for when the specialization of the iterated Galois group for a post-critically finite (PCF) rational map is as large as possible, i.e., it equals the generic iterated Galois group for the given map. △ Less

Submitted 2 September, 2023; originally announced September 2023.

Arboreal Galois groups for quadratic rational functions with colliding critical points

Authors: Robert L. Benedetto, Anna Dietrich

Abstract: Let $K$ be a field, and let $f\in K(z)$ be rational function. The preimages of a point $x_0\in P^1(K)$ under iterates of $f$ have a natural tree structure. As a result, the Galois group of the resulting field extension of $K$ naturally embeds into the automorphism group of this tree. In unpublished work from 2013, Pink described a certain proper subgroup $M_{\ell}$ that this so-called arboreal Gal… ▽ More Let $K$ be a field, and let $f\in K(z)$ be rational function. The preimages of a point $x_0\in P^1(K)$ under iterates of $f$ have a natural tree structure. As a result, the Galois group of the resulting field extension of $K$ naturally embeds into the automorphism group of this tree. In unpublished work from 2013, Pink described a certain proper subgroup $M_{\ell}$ that this so-called arboreal Galois group $G_{\infty}$ must lie in if $f$ is quadratic and its two critical points collide at the $\ell$-th iteration. After presenting a new description of $M_{\ell}$ and a new proof of Pink's theorem, we state and prove necessary and sufficient conditions for $G_{\infty}$ to be the full group $M_{\ell}$. △ Less

Submitted 2 June, 2024; v1 submitted 30 July, 2023; originally announced July 2023.

Comments: 33 pages, 4 figures

MSC Class: Primary: 37P05. Secondary: 11R32; 14G25

Misiurewicz polynomials and dynamical units, Part II

Authors: Robert L. Benedetto, Vefa Goksel

Abstract: Fix an integer $d\geq 2$. The parameters $c_0\in \bar{\mathbb{Q}}$ for which the unicritical polynomial $f_{d,c}(z)=z^d+c\in \mathbb{C}[z]$ has finite postcritical orbit, also known as Misiurewicz parameters, play a significant role in complex dynamics. Recent work of Buff, Epstein, and Koch proved the first known cases of a long-standing dynamical conjecture of Milnor using their arithmetic prope… ▽ More Fix an integer $d\geq 2$. The parameters $c_0\in \bar{\mathbb{Q}}$ for which the unicritical polynomial $f_{d,c}(z)=z^d+c\in \mathbb{C}[z]$ has finite postcritical orbit, also known as Misiurewicz parameters, play a significant role in complex dynamics. Recent work of Buff, Epstein, and Koch proved the first known cases of a long-standing dynamical conjecture of Milnor using their arithmetic properties, about which relatively little is otherwise known. Continuing our work in a companion paper, we address further arithmetic properties of Misiurewicz parameters, especially the nature of the algebraic integers obtained by evaluating the polynomial defining one such parameter at a different Misiurewicz parameter. In the most challenging such combinations, we describe a connection between such algebraic integers and the multipliers of associated periodic points. As part of our considerations, we also introduce a new class of polynomials we call $p$-special, which may be of independent number theoretic interest. △ Less

Submitted 22 May, 2022; v1 submitted 27 March, 2022; originally announced March 2022.

Comments: 23 pages

MSC Class: 37P15; 11R09; 37P20

Misiurewicz polynomials and dynamical units, Part I

Authors: Robert L. Benedetto, Vefa Goksel

Abstract: We study the dynamics of the unicritical polynomial family $f_{d,c}(z)=z^d+c\in \mathbb{C}[z]$. The $c$-values for which $f_{d,c}$ has a strictly preperiodic postcritical orbit are called Misiurewicz parameters, and they are the roots of Misiurewicz polynomials. The arithmetic properties of these special parameters have found applications in both arithmetic and complex dynamics. In this paper, we… ▽ More We study the dynamics of the unicritical polynomial family $f_{d,c}(z)=z^d+c\in \mathbb{C}[z]$. The $c$-values for which $f_{d,c}$ has a strictly preperiodic postcritical orbit are called Misiurewicz parameters, and they are the roots of Misiurewicz polynomials. The arithmetic properties of these special parameters have found applications in both arithmetic and complex dynamics. In this paper, we investigate some new such properties. In particular, when $d$ is a prime power and $c$ is a Misiurewicz parameter, we prove certain arithmetic relations between the points in the postcritical orbit of $f_{d,c}$. We also consider the algebraic integers obtained by evaluating a Misiurewicz polynomial at a different Misiurewicz parameter, and we ask when these algebraic integers are algebraic units. This question naturally arises from some results recently proven by Buff, Epstein, and Koch and by the second author. We propose a conjectural answer to this question, which we prove in many cases. △ Less

Submitted 22 May, 2022; v1 submitted 19 January, 2022; originally announced January 2022.

Comments: 16 pages

MSC Class: 37P15; 11R09; 37P20

J-Stability in non-archimedean dynamics

Authors: Robert L. Benedetto, Junghun Lee

Abstract: Let $C_v$ be a complete, algebraically closed non-archimedean field, and let $f \in C_v(z)$ be a rational function of degree $d \geq 2$. If $f$ satisfies a bounded contraction condition on its Julia set, we prove that small perturbations of $f$ have dynamics conjugate to those of $f$ on their Julia sets. Let $C_v$ be a complete, algebraically closed non-archimedean field, and let $f \in C_v(z)$ be a rational function of degree $d \geq 2$. If $f$ satisfies a bounded contraction condition on its Julia set, we prove that small perturbations of $f$ have dynamics conjugate to those of $f$ on their Julia sets. △ Less

Submitted 10 December, 2021; v1 submitted 10 February, 2021; originally announced February 2021.

Comments: 26 pages. Extended Theorem 1.1 to show continuous motion of Julia sets. Accepted in Advances in Mathematics

MSC Class: 37P40; 37P45; 37P50 (Primary) 11S82; 37P05 (Secondary)

A finiteness property of postcritically finite unicritical polynomials

Authors: Robert L. Benedetto, Su-Ion Ih

Abstract: Let $k$ be a number field with algebraic closure $\bar{k}$, and let $S$ be a finite set of places of $k$ containing all the archimedean ones. Fix $d\geq 2$ and $α\in \bar{k}$ such that the map $z\mapsto z^d+α$ is not postcritically finite. Assuming a technical hypothesis on $α$, we prove that there are only finitely many parameters $c\in\bar{k}$ for which $z\mapsto z^d+c$ is postcritically finite… ▽ More Let $k$ be a number field with algebraic closure $\bar{k}$, and let $S$ be a finite set of places of $k$ containing all the archimedean ones. Fix $d\geq 2$ and $α\in \bar{k}$ such that the map $z\mapsto z^d+α$ is not postcritically finite. Assuming a technical hypothesis on $α$, we prove that there are only finitely many parameters $c\in\bar{k}$ for which $z\mapsto z^d+c$ is postcritically finite and for which $c$ is $S$-integral relative to $(α)$. That is, in the moduli space of unicritical polynomials of degree d, there are only finitely many PCF $\bar{k}$-rational points that are $((α),S)$-integral. We conjecture that the same statement is true without the technical hypothesis. △ Less

Submitted 29 October, 2020; originally announced October 2020.

Comments: 14 pages

MSC Class: 11R04; 37P15; 37P30

Discreteness of postcritically finite maps in p-adic moduli space

Authors: Robert L. Benedetto, Su-Ion Ih

Abstract: Let $p \geq 2$ be a prime number and let $\mathbb{C}_p$ be the completion of an algebraic closure of the $p$-adic rational field $\mathbb{Q}_p$. Let $f_c(z)$ be a one-parameter family of rational functions of degree $d\geq 2$, where the coefficients are meromorphic functions defined at all parameters $c$ in some open disk $D\subseteq\mathbb{C}_p$. Assuming an appropriate stability condition, we pr… ▽ More Let $p \geq 2$ be a prime number and let $\mathbb{C}_p$ be the completion of an algebraic closure of the $p$-adic rational field $\mathbb{Q}_p$. Let $f_c(z)$ be a one-parameter family of rational functions of degree $d\geq 2$, where the coefficients are meromorphic functions defined at all parameters $c$ in some open disk $D\subseteq\mathbb{C}_p$. Assuming an appropriate stability condition, we prove that the parameters $c$ for which $f_c$ is postcritically finite (PCF) are isolated from one another in the $p$-adic disk $D$, except in certain trivial cases. In particular, all PCF parameters of the family $f_c(z)=z^d+c$ are $p$-adically isolated. △ Less

Submitted 29 May, 2020; v1 submitted 10 May, 2020; originally announced May 2020.

Comments: 22 pages. Added Examples 7.1, 7.2, 7.3 to illustrate the necessity of certain assumptions in our main theorems

MSC Class: 11S82 (Primary) 37P20; 37P45 (Secondary)

The arithmetic basilica: a quadratic PCF arboreal Galois group

Authors: Faseeh Ahmad, Robert L. Benedetto, Jennifer Cain, Gregory Carroll, Lily Fang

Abstract: The arboreal Galois group of a polynomial $f$ over a field $K$ encodes the action of Galois on the iterated preimages of a root point $x_0\in K$, analogous to the action of Galois on the $\ell$-power torsion of an abelian variety. We compute the arboreal Galois group of the postcritically finite polynomial $f(z) = z^2 - 1$ when the field $K$ and root point $x_0$ satisfy a simple condition. We call… ▽ More The arboreal Galois group of a polynomial $f$ over a field $K$ encodes the action of Galois on the iterated preimages of a root point $x_0\in K$, analogous to the action of Galois on the $\ell$-power torsion of an abelian variety. We compute the arboreal Galois group of the postcritically finite polynomial $f(z) = z^2 - 1$ when the field $K$ and root point $x_0$ satisfy a simple condition. We call the resulting group the arithmetic basilica group because of its relation to the basilica group associated with the complex dynamics of $f$. For $K=\mathbb{Q}$, our condition holds for infinitely many choices of $x_0$. △ Less

Submitted 10 December, 2021; v1 submitted 30 August, 2019; originally announced September 2019.

Comments: 23 pages, 4 figures. Version 4 includes only minor revisions from version 3. To appear in the Journal of Number Theory

MSC Class: 37P05; 11R32

Frames of translates for number-theoretic groups

Authors: John J. Benedetto, Robert L. Benedetto

Abstract: Frames of translates of f in L^2(G) are characterized in terms of the zero-set of the so-called spectral symbol of f in the setting of a locally compact abelian group G having a compact open subgroup H. We refer to such a G as a number theoretic group. This characterization was first proved in 1992 by Shidong Li and one of the authors for L^2(R^d) with the same formal statement of the characteriza… ▽ More Frames of translates of f in L^2(G) are characterized in terms of the zero-set of the so-called spectral symbol of f in the setting of a locally compact abelian group G having a compact open subgroup H. We refer to such a G as a number theoretic group. This characterization was first proved in 1992 by Shidong Li and one of the authors for L^2(R^d) with the same formal statement of the characterization. For number theoretic groups, and these include local fields, the strategy of proof is necessarily entirely different; and it requires a new notion of translation that reduces to the usual definition in R^d. △ Less

Submitted 29 May, 2019; v1 submitted 20 April, 2018; originally announced April 2018.

Comments: 20 pages. Minor revisions based on reviewer comments

MSC Class: 43A25

Odoni's conjecture for number fields

Authors: Robert L. Benedetto, Jamie Juul

Abstract: Let $K$ be a number field, and let $d\geq 2$. A conjecture of Odoni (stated more generally for characteristic zero Hilbertian fields $K$) posits that there is a monic polynomial $f\in K[x]$ of degree $d$, and a point $x_0\in K$, such that for every $n\geq 0$, the so-called arboreal Galois group $Gal(K(f^{-n}(x_0))/K)$ is an $n$-fold wreath product of the symmetric group $S_d$. In this paper, we pr… ▽ More Let $K$ be a number field, and let $d\geq 2$. A conjecture of Odoni (stated more generally for characteristic zero Hilbertian fields $K$) posits that there is a monic polynomial $f\in K[x]$ of degree $d$, and a point $x_0\in K$, such that for every $n\geq 0$, the so-called arboreal Galois group $Gal(K(f^{-n}(x_0))/K)$ is an $n$-fold wreath product of the symmetric group $S_d$. In this paper, we prove Odoni's conjecture when $d$ is even and $K$ is an arbitrary number field, and also when both $d$ and $[K:Q]$ are odd. △ Less

Submitted 5 March, 2018; originally announced March 2018.

Comments: 15 pages, 1 figure

MSC Class: 37P05; 11G50

A large arboreal Galois representation for a cubic postcritically finite polynomial

Authors: Robert L. Benedetto, Xander Faber, Benjamin Hutz, Jamie Juul, Yu Yasufuku

Abstract: We give a complete description of the arboreal Galois representation of a certain postcritically finite cubic polynomial over a large class of number fields and for a large class of basepoints. This is the first such example that is not conjugate to a power map, Chebyshev polynomial, or Lattès map. The associated Galois action on an infinite ternary rooted tree has Hausdorff dimension bounded stri… ▽ More We give a complete description of the arboreal Galois representation of a certain postcritically finite cubic polynomial over a large class of number fields and for a large class of basepoints. This is the first such example that is not conjugate to a power map, Chebyshev polynomial, or Lattès map. The associated Galois action on an infinite ternary rooted tree has Hausdorff dimension bounded strictly between that of the infinite wreath product of cyclic groups and that of the infinite wreath product of symmetric groups. We deduce a zero-density result for prime divisors in an orbit under this polynomial. We also obtain a zero-density result for the set of places of convergence of Newton's method for a certain cubic polynomial, thus resolving the first nontrivial case of a conjecture of Faber and Voloch. △ Less

Submitted 21 December, 2017; v1 submitted 10 December, 2016; originally announced December 2016.

Comments: Final version available from SpringerOpen at http://rdcu.be/AvKW

Journal ref: Research in Number Theory, 2017, 3:29

Non-archimedean connected Julia sets with branching

Authors: Dvij Bajpai, Robert L. Benedetto, Ruqian Chen, Edward Kim, Owen Marschall, Darius Onul, Yang Xiao

Abstract: We construct the first examples of rational functions defined over a non-archimedean field with certain dynamical properties. In particular, we find such functions whose Julia sets, in the Berkovich projective line, are connected but not contained in a line segment. We also show how to compute the measure-theoretic and topological entropy of such maps. In particular, we show for some of our exampl… ▽ More We construct the first examples of rational functions defined over a non-archimedean field with certain dynamical properties. In particular, we find such functions whose Julia sets, in the Berkovich projective line, are connected but not contained in a line segment. We also show how to compute the measure-theoretic and topological entropy of such maps. In particular, we show for some of our examples that the measure-theoretic entropy is strictly smaller than the topological entropy, thus answering a question of Favre and Rivera-Letelier. △ Less

Submitted 6 April, 2015; v1 submitted 2 October, 2014; originally announced October 2014.

Comments: Minor revisions, including simplified computation of Gurevich entropy

MSC Class: 37P40

Attaining potentially good reduction in arithmetic dynamics

Authors: Robert L. Benedetto

Abstract: Let K be a non-archimedean field, and let f in K(z) be a rational function of degree d>1. If f has potentially good reduction, we give an upper bound, depending only on d, for the minimal degree of an extension L/K such that f is conjugate over L to a map of good reduction. In particular, if d=2 or d is greater than the residue characteristic of K, the bound is d+1. If K is discretely valued, we g… ▽ More Let K be a non-archimedean field, and let f in K(z) be a rational function of degree d>1. If f has potentially good reduction, we give an upper bound, depending only on d, for the minimal degree of an extension L/K such that f is conjugate over L to a map of good reduction. In particular, if d=2 or d is greater than the residue characteristic of K, the bound is d+1. If K is discretely valued, we give examples to show that our bound is sharp. △ Less

Submitted 1 January, 2015; v1 submitted 16 December, 2013; originally announced December 2013.

Comments: 17 pages; added Remark 3.5, on rationality of Julia sets, and Section 5, concerning totally ramified extensions

MSC Class: 37P05

Small dynamical heights for quadratic polynomials and rational functions

Authors: Robert L. Benedetto, Ruqian Chen, Trevor Hyde, Yordanka Kovacheva, Colin White

Abstract: 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 unif… ▽ More 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 of previous searches. △ Less

Submitted 1 January, 2015; v1 submitted 2 December, 2013; originally announced December 2013.

Comments: 19 pages

MSC Class: 37P35

Journal ref: Exp. Math. 23 (2014), no. 4, 433-447

A Criterion for Potentially Good Reduction in Non-archimedean Dynamics

Authors: Robert L. Benedetto

Abstract: Let K be a non-archimedean field, and let f in K(z) be a polynomial or rational function of degree at least 2. We present a necessary and sufficient condition, involving only the fixed points of f and their preimages, that determines whether or not the dynamical system f on P^1 has potentially good reduction. Let K be a non-archimedean field, and let f in K(z) be a polynomial or rational function of degree at least 2. We present a necessary and sufficient condition, involving only the fixed points of f and their preimages, that determines whether or not the dynamical system f on P^1 has potentially good reduction. △ Less

Submitted 2 December, 2013; v1 submitted 26 November, 2013; originally announced November 2013.

Comments: 7 pages; typos corrected and a little extra commentary added

MSC Class: 37P05

Attracting cycles in p-adic dynamics and height bounds for post-critically finite maps

Authors: Robert L. Benedetto, Patrick Ingram, Rafe Jones, Alon Levy

Abstract: A rational function of degree at least two with coefficients in an algebraically closed field is post-critically finite (PCF) if all of its critical points have finite forward orbit under iteration. We show that the collection of PCF rational functions is a set of bounded height in the moduli space of rational functions over the complex numbers, once the well-understood family known as flexible La… ▽ More A rational function of degree at least two with coefficients in an algebraically closed field is post-critically finite (PCF) if all of its critical points have finite forward orbit under iteration. We show that the collection of PCF rational functions is a set of bounded height in the moduli space of rational functions over the complex numbers, once the well-understood family known as flexible Lattes maps is excluded. As a consequence, there are only finitely many conjugacy classes of non-Lattes PCF rational maps of a given degree defined over any given number field. The key ingredient of the proof is a non-archimedean version of Fatou's classical result that every attracting cycle of a rational function over the complex numbers attracts a critical point. △ Less

Submitted 3 December, 2013; v1 submitted 8 January, 2012; originally announced January 2012.

Comments: No significant mathematical changes, but some (minor) changes in presentation

Journal ref: Duke Math. J. 163, no. 13 (2014), 2325-2356

Periods of rational maps modulo primes

Authors: Robert L. Benedetto, Dragos Ghioca, Benjamin Hutz, Pär Kurlberg, Thomas Scanlon, Thomas J. Tucker

Abstract: Let $K$ be a number field, let $φ\in K(t)$ be a rational map of degree at least 2, and let $α, β\in K$. We show that if $α$ is not in the forward orbit of $β$, then there is a positive proportion of primes ${\mathfrak p}$ of $K$ such that $α\mod {\mathfrak p}$ is not in the forward orbit of $β\mod {\mathfrak p}$. Moreover, we show that a similar result holds for several maps and several points.… ▽ More Let $K$ be a number field, let $φ\in K(t)$ be a rational map of degree at least 2, and let $α, β\in K$. We show that if $α$ is not in the forward orbit of $β$, then there is a positive proportion of primes ${\mathfrak p}$ of $K$ such that $α\mod {\mathfrak p}$ is not in the forward orbit of $β\mod {\mathfrak p}$. Moreover, we show that a similar result holds for several maps and several points. We also present heuristic and numerical evidence that a higher dimensional analog of this result is unlikely to be true if we replace $α$ by a hypersurface, such as the ramification locus of a morphism $φ: {\mathbb P}^{n} \to {\mathbb P}^{n}$. △ Less

Submitted 14 July, 2011; originally announced July 2011.

MSC Class: Primary: 14G25; Secondary: 37F10; 37P55

Optimal ambiguity functions and Weil's exponential sum bound

Authors: John J. Benedetto, Robert L. Benedetto, Joseph T. Woodworth

Abstract: Complex-valued periodic sequences, u, constructed by Goran Bjorck, are analyzed with regard to the behavior of their discrete periodic narrow-band ambiguity functions A_p(u). The Bjorck sequences, which are defined on Z/pZ for p>2 prime, are unimodular and have zero autocorrelation on (Z/pZ)\{0}. These two properties give rise to the acronym, CAZAC, to refer to constant amplitude zero autocorrelat… ▽ More Complex-valued periodic sequences, u, constructed by Goran Bjorck, are analyzed with regard to the behavior of their discrete periodic narrow-band ambiguity functions A_p(u). The Bjorck sequences, which are defined on Z/pZ for p>2 prime, are unimodular and have zero autocorrelation on (Z/pZ)\{0}. These two properties give rise to the acronym, CAZAC, to refer to constant amplitude zero autocorrelation sequences. The bound proven is |A_p(u)| \leq 2/\sqrt{p} + 4/p outside of (0,0), and this is of optimal magnitude given the constraint that u is a CAZAC sequence. The proof requires the full power of Weil's exponential sum bound, which, in turn, is a consequence of his proof of the Riemann hypothesis for finite fields. Such bounds are not only of mathematical interest, but they have direct applications as sequences in communications and radar, as well as when the sequences are used as coefficients of phase-coded waveforms. △ Less

Submitted 10 July, 2011; originally announced July 2011.

Comments: 15 pages

MSC Class: 42A99 (Primary); 11T23; 11T24; 94A12 (Secondary)

A gap principle for dynamics

Authors: Robert L. Benedetto, Dragos Ghioca, Par Kurlberg, Thomas J. Tucker

Abstract: Let $f_1,...,f_g\in {\mathbb C}(z)$ be rational functions, let $Φ=(f_1,...,f_g)$ denote their coordinatewise action on $({\mathbb P}^1)^g$, let $V\subset ({\mathbb P}^1)^g$ be a proper subvariety, and let $P=(x_1,...,x_g)\in ({\mathbb P}^1)^g({\mathbb C})$ be a nonpreperiodic point for $Φ$. We show that if $V$ does not contain any periodic subvarieties of positive dimension, then the set of $n$… ▽ More Let $f_1,...,f_g\in {\mathbb C}(z)$ be rational functions, let $Φ=(f_1,...,f_g)$ denote their coordinatewise action on $({\mathbb P}^1)^g$, let $V\subset ({\mathbb P}^1)^g$ be a proper subvariety, and let $P=(x_1,...,x_g)\in ({\mathbb P}^1)^g({\mathbb C})$ be a nonpreperiodic point for $Φ$. We show that if $V$ does not contain any periodic subvarieties of positive dimension, then the set of $n$ such that $Φ^n(P) \in V({\mathbb C})$ must be very sparse. In particular, for any $k$ and any sufficiently large $N$, the number of $n \leq N$ such that $Φ^n(P) \in V({\mathbb C})$ is less than $\log^k N$, where $\log^k$ denotes the $k$-th iterate of the $\log$ function. This can be interpreted as an analog of the gap principle of Davenport-Roth and Mumford. △ Less

Submitted 6 October, 2008; originally announced October 2008.

Comments: 21 pages

MSC Class: 14G25; 37F10

Journal ref: Compositio Math. 146 (2010) 1056-1072

Computing points of small height for cubic polynomials

Authors: Robert L. Benedetto, Benjamin Dickman, Sasha Joseph, Benjamin Krause, Daniel Rubin, Xinwen Zhou

Abstract: 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, \ha… ▽ More 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 of small height points for several billion cubic polynomials. △ Less

Submitted 3 December, 2008; v1 submitted 2 July, 2008; originally announced July 2008.

Comments: Final version, to appear in Involve. 20 pages

MSC Class: 11G50; 11S99; 37F10

The Dynamical Mordell-Lang Conjecture

Authors: Robert L. Benedetto, Dragos Ghioca, Par Kurlberg, Thomas J. Tucker

Abstract: We prove a special case of a dynamical analogue of the classical Mordell-Lang conjecture. In particular, let $φ$ be a rational function with no superattracting periodic points other than exceptional points. If the coefficients of $φ$ are algebraic, we show that the orbit of a point outside the union of proper preperiodic subvarieties of $(\bP^1)^g$ has only finite intersection with any curve con… ▽ More We prove a special case of a dynamical analogue of the classical Mordell-Lang conjecture. In particular, let $φ$ be a rational function with no superattracting periodic points other than exceptional points. If the coefficients of $φ$ are algebraic, we show that the orbit of a point outside the union of proper preperiodic subvarieties of $(\bP^1)^g$ has only finite intersection with any curve contained in $(\bP^1)^g$. We also show that our result holds for indecomposable polynomials $φ$ with coefficients in $\bC$. Our proof uses results from $p$-adic dynamics together with an integrality argument. The extension to polynomials defined over $\bC$ uses the method of specializations coupled with some new results of Medvedev and Scanlon for describing the periodic plane curves under the action of $(φ,φ)$ on $\bA^2$. △ Less

Submitted 6 February, 2009; v1 submitted 14 December, 2007; originally announced December 2007.

Comments: 25 pages. Results strengthened to include the case of indecomposable polynomials with complex coefficients (using some recent results of Medvedev and Scanlon.)

MSC Class: 14G25; 37F10

Heights and preperiodic points of polynomials over function fields

Authors: Robert L. Benedetto

Abstract: 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 in… ▽ More 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 exist only if f is defined over the constant field of K after a K-rational change of coordinates. △ Less

Submitted 13 December, 2005; v1 submitted 20 October, 2005; originally announced October 2005.

Comments: 9 pages; added references, corrected minor typos, updated definition of isotrivial for dynamical systems, added Proposition 5.1 to clarify the main proof

MSC Class: 11G50 (Primary); 11D45; 37F10 (Secondary)

Journal ref: IMRN 2005:62, 3855-3866

Preperiodic points of polynomials over global fields

Authors: Robert L. Benedetto

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

Submitted 23 June, 2005; originally announced June 2005.

Comments: 28 pages

MSC Class: 11G99 (Primary); 11D45; 37F10 (Secondary)

An Ahlfors Islands Theorem for non-archimedean meromorphic functions

Authors: Robert L. Benedetto

Abstract: We present a p-adic and non-archimdean version of the Five Islands Theorem for meromorphic functions from Ahlfors' theory of covering surfaces. In the non-archimedean setting, the theorem requires only four islands, with explicit constants. We present examples to show that the constants are sharp and that other hypotheses of the theorem cannot be removed. This paper extends an earlier theorem of… ▽ More We present a p-adic and non-archimdean version of the Five Islands Theorem for meromorphic functions from Ahlfors' theory of covering surfaces. In the non-archimedean setting, the theorem requires only four islands, with explicit constants. We present examples to show that the constants are sharp and that other hypotheses of the theorem cannot be removed. This paper extends an earlier theorem of the author for holomorphic functions. △ Less

Submitted 8 July, 2004; originally announced July 2004.

Comments: 26 pages

MSC Class: 30G06

Examples of wavelets for local fields

Authors: Robert L. Benedetto

Abstract: Using the wavelet theory introduced by the author and J. Benedetto, we present examples of wavelets on p-adic fields and other locally compact abelian groups with compact open subgroups. We observe that in this setting, the Haar and Shannon wavelets (which are at opposite extremes over the real numbers) coincide and are localized both in time and in frequency. We also study the behavior of the t… ▽ More Using the wavelet theory introduced by the author and J. Benedetto, we present examples of wavelets on p-adic fields and other locally compact abelian groups with compact open subgroups. We observe that in this setting, the Haar and Shannon wavelets (which are at opposite extremes over the real numbers) coincide and are localized both in time and in frequency. We also study the behavior of the translation operators required in the theory. △ Less

Submitted 1 December, 2003; originally announced December 2003.

Comments: 21 pages; LaTeX2e; to appear in the proceedings of the AMS Special Session on Wavelets, Frames, and Operator Theory held at Baltimore, January 2003

MSC Class: 11S85 (Primary) 42C40 (Secondary)

Journal ref: Wavelets, frames and operator theory, 27--47, Contemp. Math., 345, Amer. Math. Soc., Providence, RI, 2004.

A wavelet theory for local fields and related groups

Authors: John J. Benedetto, Robert L. Benedetto

Abstract: Let G be a locally compact abelian group with compact open subgroup H. The best known example of such a group is G=Q_p, the field of p-adic rational numbers (as a group under addition), which has compact open subgroup H=Z_p, the ring of p-adic integers. Classical wavelet theories, which require a non-trivial discrete subgroup for translations, do not apply to G, which may not have such a subgrou… ▽ More Let G be a locally compact abelian group with compact open subgroup H. The best known example of such a group is G=Q_p, the field of p-adic rational numbers (as a group under addition), which has compact open subgroup H=Z_p, the ring of p-adic integers. Classical wavelet theories, which require a non-trivial discrete subgroup for translations, do not apply to G, which may not have such a subgroup. A wavelet theory is developed on G using coset representatives of a quotient of the dual group of G. Wavelet bases are constructed by means of an iterative method giving rise to so-called wavelet sets in the dual group. △ Less

Submitted 15 September, 2005; v1 submitted 1 December, 2003; originally announced December 2003.

Comments: 38 pages; 8 figures; only minor changes from original version

MSC Class: 11S85 (Primary) 42C40 (Secondary)

Journal ref: J. Geom. Anal. 14 (2004), no. 3, 423--456

Wandering domains and nontrivial reduction in non-archimedean dynamics

Authors: Robert L. Benedetto

Abstract: Let K be a non-archimedean field with residue field k, and suppose that k is not an algebraic extension of a finite field. We prove two results concerning wandering domains of rational functions f in K(z) and Rivera-Letelier's notion of nontrivial reduction. First, if f has nontrivial reduction, then assuming some simple hypotheses, we show that the Fatou set of f has wandering components by any… ▽ More Let K be a non-archimedean field with residue field k, and suppose that k is not an algebraic extension of a finite field. We prove two results concerning wandering domains of rational functions f in K(z) and Rivera-Letelier's notion of nontrivial reduction. First, if f has nontrivial reduction, then assuming some simple hypotheses, we show that the Fatou set of f has wandering components by any of the usual definitions of such components. Second, we show that if k has characteristic zero and K is discretely valued, then the converse holds; that is, the existence of a wandering domain implies that some iterate has nontrivial reduction in some coordinate. △ Less

Submitted 6 December, 2004; v1 submitted 1 December, 2003; originally announced December 2003.

Comments: 22 pages; to appear in Ill. J. Math.; added appendix and some more examples; a few other minor changes

MSC Class: 11S80 (Primary) 37F10; 54H20 (Secondary)

Journal ref: Ill. J. Math. 49 (2005), no. 1, pp. 167--193

Wandering domains in non-archimedean polynomial dynamics

Authors: Robert L. Benedetto

Abstract: We extend a recent result on the existence of wandering domains of polynomial functions defined over the p-adic field C_p to any algebraically closed complete non-archimedean field C_K with residue characteristic p>0. We also prove that polynomials with wandering domains form a dense subset of a certain one-dimensional family of degree p+1 polynomials in C_K[z]. We extend a recent result on the existence of wandering domains of polynomial functions defined over the p-adic field C_p to any algebraically closed complete non-archimedean field C_K with residue characteristic p>0. We also prove that polynomials with wandering domains form a dense subset of a certain one-dimensional family of degree p+1 polynomials in C_K[z]. △ Less

Submitted 15 February, 2006; v1 submitted 1 December, 2003; originally announced December 2003.

Comments: minor changes, incorporating referee comments. Also added Figure 1 to clarify Lemma 3.1

MSC Class: 12J25 (Primary); 37F99 (Secondary)