1: \begin{abstract}

2: In this paper we describe how to explicitly construct infinitely many finite simple groups as characteristic quotients of the rank 2 free group $F_2$.	 This shows that a ``baby'' version of the Wiegold conjecture \cite{Lub11} fails for $F_2$, and provides counterexamples to two conjectures in the theory of noncongruence subgroups of $\SL_2(\bZ)$ \cite{Chen18}. Our main result explicitly produces, for every prime power $q\ge 7$, the groups $\SL_3(\bF_q)$ and $\SU_3(\bF_q)$ as characteristic quotients of $F_2$. Our strategy is to study specializations of the Burau representation for the braid group $B_4$, exploiting an exceptional relationship between $F_2$ and $B_4$ first observed by Dyer, Formanek, and Grossman \cite{DFG82}. Weisfeiler's strong approximation theorem guarantees that our specializations are surjective for infinitely many primes, but it is not effective. To make our result effective, we give another proof of surjectivity via a careful analysis of the maximal subgroup structures of $\SL_3(\bF_q)$ and $\SU_3(\bF_q)$.

3: \end{abstract}

4: