1: \begin{abstract}

2:   Let $K$ be a number field or a function field. Let $f\in K(x)$ be a

3:   rational function of degree $d\geq 2$, and let

4:   $\beta\in \P^1(\Kbar)$. For all $n\in\mathbb{N}\cup\{\infty\}$, the

5:   Galois groups $G_n(\beta)=\Gal(K(f^{-n}(\beta))/K(\beta))$ embed

6:   into $\Aut(T_n)$, the automorphism group of the $d$-ary rooted tree

7:   of level $n$. A major problem in arithmetic dynamics is the arboreal

8:   finite index problem: determining when

9:   $[\Aut(T_\infty):G_\infty(\beta)]<\infty$.  When $f$ is a cubic

10:   polynomial and $K$ is a function field of transcendence degree $1$

11:   over an algebraic extension of $\Q$, we resolve this problem by

12:   proving a list of necessary and sufficient conditions for finite

13:   index. This is the first result that gives necessary and sufficient

14:   conditions for finite index, and can be seen as a dynamical analog

15:   of the Serre Open Image Theorem. When $K$ is a number field, our

16:   proof is conditional on both the $abc$ conjecture for $K$ and

17:   Vojta's conjecture for blowups of $\P^1 \times\P^1$. We also use our

18:   approach to solve some natural variants of the finite index problem

19:   for modified trees.

20: \end{abstract}

21: