The action of the absolute Galois group $\text{ Gal}(K^{ \text{ ksep}}/K)$ of a global field $K$ on a tree $T(\phi, \alpha)$ of iterated preimages of $\alpha \in \mathbb{ P}^1(K)$ under $\phi \in K(x)$ with $\text{ deg}(\phi) \geq 2$ induces a homomorphism $\rho: \text{ Gal}(K^{ \text{ ksep}}/K) \to \text{ Aut}(T(\phi, \alpha))$, which is called an arboreal Galois representation. In this paper, we address a number of questions posed by Jones and Manes about the size of the group $G(\phi,\alpha) := \text{ im} \rho = \underset{ \leftarrow n}\lim\text{ Gal}(K(\phi^{ -n}(\alpha))/K)$. Specifically, we consider two cases for the pair $(\phi, \alpha)$: (1) $\phi$ is such that the sequence $\{ a_n\}$ defined by $a_0 = \alpha$ and $a_n = \phi(a_{ n-1})$ is periodic, and (2) $\phi$ commutes with a nontrivial Mobius transformation that fixes $\alpha$. In the first case, we resolve a question posed by Jones about the size of $G(\phi, \alpha)$, and taking $K = \mathbb{ Q}$, we describe the Galois groups of iterates of polynomials $\phi \in \mathbb{ Z}[x]$ that have the form $\phi(x) = x^2 + kx$ or $\phi(x) = x^2 - (k+1)x + k$. When $K = \mathbb{ Q}$ and $\phi \in \mathbb{ Z}[x]$, arboreal Galois representations are a useful tool for studying the arithmetic dynamics of $\phi$. In the case of $\phi(x) = x^2 + kx$ for $k \in \mathbb{ Z}$, we employ a result of Jones regarding the size of the group $G(\psi, 0)$, where $\psi(x) = x^2 - kx + k$, to obtain a zero-density result for primes dividing terms of the sequence $\{ a_n\}$ defined by $a_0 \in \mathbb{ Z}$ and $a_n = \phi(a_{ n-1})$. In the second case, we resolve a conjecture of Jones about the size of a certain subgroup $C(\phi, \alpha) \subset \text{ Aut}(T(\phi, \alpha))$ that contains $G(\phi, \alpha)$, and we present progress toward the proof of a conjecture of Jones and Manes concerning the size of $G(\phi, \alpha)$ as a subgroup of $C(\phi, \alpha)$.
Categories: math.NT math.GR math.RT