# Galois representations from pre-image trees: an arboreal survey

@article{Jones2014GaloisRF, title={Galois representations from pre-image trees: an arboreal survey}, author={Rafe Jones}, journal={arXiv: Number Theory}, year={2014} }

Given a global field K and a rational function phi defined over K, one may take pre-images of 0 under successive iterates of phi, and thus obtain an infinite rooted tree T by assigning edges according to the action of phi. The absolute Galois group of K acts on T by tree automorphisms, giving a subgroup G(phi) of the group Aut(T) of all tree automorphisms. Beginning in the 1980s with work of Odoni, and developing especially over the past decade, a significant body of work has emerged on the… Expand

#### 63 Citations

Large arboreal Galois representations

- Mathematics
- 2020

Abstract Given a field K, a polynomial f ∈ K [ x ] of degree d, and a suitable element t ∈ K , the set of preimages of t under the iterates f ∘ n carries a natural structure of a d-ary tree. We study… Expand

The inverse problem for arboreal Galois representations of index two

- Mathematics
- 2019

This paper introduces a systematic approach towards the inverse problem for arboreal Galois representations of finite index attached to quadratic polynomials. Let $F$ be a field of characteristic… Expand

Galois groups and prime divisors in random quadratic sequences

- Mathematics
- 2021

Given a set S = {x + c1, . . . , x + cs} with ci ∈ Z and an infinite sequence γ of elements of S, one can associate an arboreal representation to γ, analogous to the case of iterating a single… Expand

The Arithmetic of Curves Defined by Iteration

- Mathematics
- 2013

We show how the size of the Galois groups of iterates of a quadratic polynomial $f(x)$ can be parametrized by certain rational points on the curves $C_n:y^2=f^n(x)$ and their quadratic twists. To… Expand

Settled elements in profinite groups

- Mathematics
- 2021

An automorphism of a rooted spherically homogeneous tree is settled if it satisfies certain conditions on the growth of cycles at finite levels of the tree. In this paper, we consider a conjecture by… Expand

The size of arboreal images, I: exponential lower bounds for PCF and unicritical polynomials

- Mathematics
- 2021

Let f be a polynomial over a global field K. For each α in K and N in Z≥0 denote by KN(f, α) the arboreal field K(f (α)) and by DN (f, α) its degree over K. It is conjectured that DN (f, α) should… Expand

Galois uniformity in arithmetic dynamics

- Mathematics
- 2015

of “Galois uniformity in arithmetic dynamics” by Wade Hindes, Ph.D., Brown University, May 2015 Abstract In this thesis, we study the large image uniformity of Galois representations in arithmetic… Expand

On iterated extensions of number fields arising from quadratic polynomial maps

- Mathematics
- 2020

Abstract A post-critically finite rational map ϕ of prime degree p and a base point β yield a tower of finitely ramified iterated extensions of number fields, and sometimes provide an arboreal Galois… Expand

A large arboreal Galois representation for a cubic postcritically finite polynomial

- Mathematics
- 2016

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… Expand

N ov 2 01 9 THE IMAGE SIZE OF ITERATED RATIONAL MAPS OVER FINITE FIELDS

- 2019

Let φ : P1(Fq) → P1(Fq) be a rational map of degree d > 1 on a fixed finite field. We give asymptotic formulas for the size of image sets φn(P1(Fq)) as a function of n. This is done using properties… Expand

#### References

SHOWING 1-10 OF 62 REFERENCES

Galois theory of quadratic rational functions

- Mathematics
- 2011

For a number field K with absolute Galois group G_K, we consider the action of G_K on the infinite tree of preimages of a point in K under a degree-two rational function phi, with particular… Expand

Iterated Galois towers, their associated martingales, and the $p$-adic Mandelbrot set

- Mathematics
- Compositio Mathematica
- 2007

We study the Galois tower generated by iterates of a quadratic polynomial $f$ defined over an arbitrary field. One question of interest is to find the proportion $a_n$ of elements at level $n$ that… Expand

The Density of Primes in Orbits of zd+c

- Mathematics
- 2013

Given a polynomial f(z) = z^d + c over a global field K and a_0 in K, we study the density of prime ideals of K dividing at least one element of the orbit of a_0 under f. The density of such sets for… Expand

Fixed-point-free elements of iterated monodromy groups

- Mathematics
- 2012

The iterated monodromy group of a post-critically finite complex polynomial of degree d \geq 2 acts naturally on the complete d-ary rooted tree T of preimages of a generic point. This group, as well… Expand

Profinite iterated monodromy groups arising from quadratic morphisms with infinite postcritical orbits

- Mathematics
- 2013

We study in detail the profinite group G arising as geometric \'etale iterated monodromy group of an arbitrary quadratic morphism f with an infinite postcritical orbit over a field of characteristic… Expand

Profinite iterated monodromy groups arising from quadratic polynomials

- Mathematics
- 2013

We study in detail the profinite group G arising as geometric \'etale iterated monodromy group of an arbitrary quadratic polynomial over a field of characteristic different from two. This is a… Expand

Eventually stable rational functions

- Mathematics
- 2016

For a field K, rational function phi in K(z) of degree at least two, and alpha in P^1(K), we study the polynomials in K[z] whose roots are given by the solutions to phi^n(z) = alpha, where phi^n… Expand

Finitely ramified iterated extensions

- Mathematics
- 2004

Let K be a number field, t a parameter, F = K(t), and '(x) ∈ K(x) a polyno- mial of degree d ≥ 2. The polynomialn(x, t) = ' ◦n (x)−t ∈ F(x), where ' ◦n = '◦'◦� � �◦ ' is the n-fold iterate of ', is… Expand

Arboreal Galois representations and uniformization of polynomial dynamics

- Mathematics
- 2013

Given a polynomial f of degree d defined over a complete local field, we construct a biholomorphic change of variables defined in a neighbourhood of infinity which transforms the action z->f(z) to… Expand

Primitive Divisors, Dynamical Zsigmondy Sets, and Vojta's Conjecture

- Mathematics
- 2012

A primitive prime divisor of an element a_n of a sequence (a_1,a_2,a_3,...) is a prime P that divides a_n, but does not divide a_m for all m X be a self-morphism of a variety, let D be an effective… Expand