Uniform bounds on the image of the arboreal Galois representations attached to non-CM elliptic curves

Abstract: Let $\ell$ be a prime number and let $F$ be a number field and $E/F$ a non-CM elliptic curve with a point $\alpha \in E(F)$ of infinite order. Attached to the pair $(E,\alpha)$ is the $\ell$-adic arboreal Galois representation $\omega_{E,\alpha,\ell^{\infty}} : {\rm Gal}(\overline{F}/F) \to \mathbb{Z}{\ell}^{2} \rtimes {\rm GL}{2}(\mathbb{Z}{\ell})$ describing the action of ${\rm Gal}(\overline{F}/F)$ on points $\beta{n}$ so that $\ell^{n} \beta_{n} = \alpha$. We give an explicit bound on the index of the image of $\omega_{E,\alpha,\ell^{\infty}}$ depending on how $\ell$-divisible the point $\alpha$ is, and the image of the ordinary $\ell$-adic Galois representation. The image of $\omega_{E,\alpha,\ell^{\infty}}$ is connected with the density of primes $\mathfrak{p}$ for which $\alpha \in E(\mathbb{F}_{\mathfrak{p}})$ has order coprime to $\ell$.