An equivariant isomorphism theorem for mod p reductions of arboreal Galois representations
Let ϕ be a quadratic, monic polynomial with coefficients in OF,D[t], where OF,D is a localization of a number ring OF. In this paper, we first prove that if ϕ is non-square and non-isotrivial, then there exists an absolute, effective constant Nϕ with the following property: for all primes p⊆OF,D such that the reduced polynomial ϕp∈(OF,D/p)[t][x] is non-square and non-isotrivial, the squarefree Zsigmondy set of ϕp is bounded by Nϕ. Using this result, we prove that if ϕ is non-isotrivial and geometrically stable then outside a finite, effective set of primes of OF,D the geometric part of the arboreal representation of ϕp is isomorphic to that of ϕ. As an application of our results we prove R. Jones' conjecture on the arboreal Galois representation attached to the polynomial x2+t.