Source author record

Andrew Bridy

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT math.DS

Catalog footprint

Research overview

6works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Iterated monodromy groups of rational functions and periodic points over finite fields

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 exceptional maps. We also show that $a_n$ has limit $0$ when $ϕ$ is a non-Chebyshev quadratic polynomial with strictly preperiodic finite critical point and $q$ is an odd square. Our methods yield additional results on periodic points for reductions of post-critically finite (PCF) rational functions defined over number fields. The difficulty of understanding $a_n$ in general is that $\mathbb{P}^1(\F_{q^n})$ is a finite set with no ambient geometry. In fact, $ϕ$ can be lifted to a PCF rational map on the Riemann sphere, where we show that $a_n$ is given by counting elements of the iterated monodromy group (IMG) that act with fixed points at all levels of the tree of preimages. Using a martingale convergence theorem, we translate the problem to determining whether certain IMG elements exist. This in turn can be decisively addressed using the expansion of PCF rational maps in the orbifold metric.

preprint2021arXiv

The Arakelov-Zhang pairing and Julia sets

The Arakelov-Zhang pairing $\langleψ,ϕ\rangle$ is a measure of the "dynamical distance" between two rational maps $ψ$ and $ϕ$ defined over a number field $K$ . It is defined in terms of local integrals on Berkovich space at each completion of $K$ . We obtain a simple expression for the important case of the pairing with a power map, written in terms of integrals over Julia sets. Under certain disjointness conditions on Julia sets, our expression simplifies to a single canonical height term; in general, this term is a lower bound. As applications of our method, we give bounds on the difference between the canonical height $h_ϕ$ and the standard Weil height $h$ , and we prove a rigidity statement about polynomials that satisfy a strong form of good reduction.

preprint2015arXiv

Finite ramification for preimage fields of postcritically finite morphisms

Given a finite endomorphism $φ$ of a variety $X$ defined over the field of fractions $K$ of a Dedekind domain, we study the extension $K(φ^{-\infty}(α)) : = \bigcup_{n \geq 1} K(φ^{-n}(α))$ generated by the preimages of $α$ under all iterates of $φ$ . In particular when $φ$ is post-critically finite, i.e., there exists a non-empty, Zariski-open $W \subseteq X$ such that $φ^{-1}(W) \subseteq W$ and $φ: W \to X$ is étale, we prove that $K(φ^{-\infty}(α))$ is ramified over only finitely many primes of $K$ . This provides a large supply of infinite extensions with restricted ramification, and generalizes results of Aitken-Hajir-Maire in the case $X = \mathbb{A}^1$ and Cullinan-Hajir, Jones-Manes in the case $X = \mathbb{P}^1$ . Moreover, we conjecture that this finite ramification condition characterizes post-critically finite morphisms, and we give an entirely new result showing this for $X = \mathbb{P}^1$ . The proof relies on Faltings' theorem and a local argument.

preprint2014arXiv

The Artin-Mazur Zeta Function of a Dynamically Affine Rational Map in Positive Characteristic

A dynamically affine map is a finite quotient of an affine morphism of an algebraic group. We determine the rationality or transcendence of the Artin-Mazur zeta function of a dynamically affine self-map of $\mathbb{P}^1(k)$ for $k$ an algebraically closed field of positive characteristic.

preprint2013arXiv

On the Number of Distinct Functional Graphs of Affine-Linear Transformations over Finite Fields

We study the number of non-isomorphic functional graphs of affine-linear transformations from (\F_q)^n to itself, and we prove upper and lower bounds on this quantity for n large. As a corollary to our result, we prove bounds on the number of conjugacy classes in the symmetric group S_{q^n} that intersect AGL_n(q).

preprint2012arXiv

Transcendence of the Artin-Mazur Zeta Function for Polynomial Maps of A^1(F_p)

We study the rationality of the Artin-Mazur zeta function of a dynamical system defined by a polynomial self-map of A^1(k), where k is the algebraic closure of the finite field F_p. The zeta functions of the maps f(x)=x^m for (p,m)=1 and f(x)=x^{p^m}+ax for nonzero a in F_{p^m}, p odd, are shown to be transcendental.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.