Galois representations from pre-image trees: an arboreal survey

Abstract

— Given a global fieldK and a rational function φ ∈ K(x), one may take pre-images of 0 under successive iterates of φ, and thus obtain an infinite rooted tree T∞ by assigning edges according to the action of φ. The absolute Galois group of K acts on T∞ by tree automorphisms, giving a subgroup G∞(φ) 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 size and structure of this Galois representation. These inquiries arose in part because knowledge of G∞(φ) allows one to prove density results on the set of primes of K that divide at least one element of a given orbit of φ. Following an overview of the history of the subject and two of its fundamental questions, we survey in Section 2 cases where G∞(φ) is known to have finite index in Aut(T∞). While it is tempting to conjecture that such behavior should hold in general, we exhibit in Section 3 four classes of rational functions where it does not, illustrating the difficulties in formulating the proper conjecture. Fortunately, one can achieve the aforementioned density results with comparatively little information about G∞(φ), thanks in part to a surprising application of probability theory, as we discuss in Section 4. Underlying all of this analysis are results on the factorization into irreducibles of the numerators of iterates of φ, which we survey briefly in Section 5. We find that for each of these matters, the arithmetic of the forward orbits of the critical points of φ proves decisive, just as the topology of these orbits is decisive in complex dynamics. 2010 Mathematics Subject Classification. — 11R32, 37P15, 11F80.