Abstract

The action of the absolute Galois group Gal(Ksep/K) of a global field K on a tree T(ϕ,α) of iterated preimages of α∈P1(K) under ϕ∈K(x) with deg⁡(ϕ)≥2 induces a homomorphism ρ:Gal(Ksep/K)→Aut(T(ϕ,α)), which is called an arboreal Galois representation. In this paper, we address a number of questions posed by Jones and Manes [5,6] about the size of the group G(ϕ,α):=imρ=lim←n⁡Gal(K(ϕ−n(α))/K). Specifically, we consider two cases for the pair (ϕ,α): (1) ϕ is such that the sequence {an} defined by a0=α and an=ϕ(an−1) is periodic, and (2) ϕ commutes with a nontrivial Möbius transformation that fixes α.In the first case, we resolve a question posed by Jones [5] about the size of G(ϕ,α), and taking K=Q, we describe the Galois groups of iterates of polynomials ϕ∈Z[x] that have the form ϕ(x)=x2+kx or ϕ(x)=x2−(k+1)x+k. When K=Q and ϕ∈Z[x], arboreal Galois representations are a useful tool for studying the arithmetic dynamics of ϕ. In the case of ϕ(x)=x2+kx for k∈Z, we employ a result of Jones [4] regarding the size of the group G(ψ,0), where ψ(x)=x2−kx+k, to obtain a zero-density result for primes dividing terms of the sequence {an} defined by a0∈Z and an=ϕ(an−1).In the second case, we resolve a conjecture of Jones [5] about the size of a certain subgroup C(ϕ,α)⊂Aut(T(ϕ,α)) that contains G(ϕ,α), and we present progress toward the proof of a conjecture of Jones and Manes [6] concerning the size of G(ϕ,α) as a subgroup of C(ϕ,α).

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call