Arithmetic monodromy actions on pro-metabelian fundamental groups of once-punctured elliptic curves

We prove structure theorems for the moduli stack of elliptic curves equipped with $G$-structures, where $G$ is a finite 2-generated metabelian group. In particular, we show that if $G$ has exponent $e$, then there is a subgroup $H\le GL_2(\mathbb{Z}/e)$ such that $G$-structures on elliptic curves $E$ are equivalent to "congruence structures of level $H$". Our methods are almost entirely group theoretic. Let $\widehat{M}$ denote the free profinite metabelian group of rank 2, then along the way we prove a decomposition of $Out(\widehat{M})$ as an internal semi-direct product of the subgroup of "braid-like outer automorphisms" with the subgroup of "IA" outer automorphisms which induce the identity on the abelianization. We also show a surprising result that all IA-automorphisms leave every open normal subgroup stable.