1: \begin{abstract}

2: We study the Selmer varieties of smooth projective curves of genus at least two defined over $\Q$ which geometrically dominate a curve with CM Jacobian. We extend a result of Coates and Kim to show that Kim's non-abelian Chabauty method applies to such a curve. By combining this with results of Bogomolov--Tschinkel and Poonen on unramified correspondences, we deduce that any cover of $\proj^1$ with solvable Galois group, and in particular any superelliptic curve over $\Q$, has only finitely many rational points over $\Q$.

3: \end{abstract}

4: