On Serre's uniformity conjecture for semistable elliptic curves over totally real fields

Abstract

Let $K$ be a totally real field, and let $S$ be a finite set of non-archimedean places of $K$. It follows from the work of Merel, Momose and David that there is a constant $B_{K,S}$ so that if $E$ is an elliptic curve defined over $K$, semistable outside $S$, then for all $p>B_{K,S}$, the representation ${\bar{\rho }}_{E,p}$ is irreducible. We combine this with modularity and level lowering to show the existence of an effectively computable constant $C_{K,S}$, and an effectively computable set of elliptic curves over $K$ with CM $E_1,\dots ,E_n$ such that the following holds. If $E$ is an elliptic curve over $K$ semistable outside $S$, and $p>C_{K,S}$ is prime, then either ${\bar{\rho }}_{E,p}$ is surjective, or ${\bar{\rho }}_{E,p}\sim {\bar{\rho }}_{E_i,p}$ for some $i=1,\dots ,n$.

7 pages. Improved version incorporating referee's comments

References in corpus (3)

• The Asymptotic Fermat's Last Theorem for Five-Sixths of Real Quadratic Fields
• Formes modulaires de Hilbert modulo p et valeurs d'extensions galoisiennes
• Congruences between Hilbert modular forms: constructing ordinary lifts