1: \begin{abstract}

2: Let $K$ be a number field. We present several new finiteness results

3: for isomorphism classes of abelian varieties over $K$ whose

4: $\ell$-power torsion fields are arithmetically constrained for some

5: rational prime $\ell$. Such arithmetic constraints are related to an

6: unresolved question of Ihara regarding the kernel of the canonical

7: outer Galois representation on the pro-$\ell$ fundamental group of

8: $\P^1-\{0,1,\infty\}$.

9: 

10: Under GRH, we demonstrate the set of classes is finite for any fixed

11: $K$ and any fixed dimension. Without GRH, we prove a semistable

12: version of the result. In addition, several unconditional results are

13: obtained when the degree of $K/\Q$ and the dimension of abelian

14: varieties are not too large, through a careful analysis of the special

15: fiber of such abelian varieties. In some cases, the results (viewed as

16: a bound on the possible values of $\ell$) are uniform in the degree of

17: the extension $K/\Q$.

18: \end{abstract}

19: