On Serre's conjecture for mod l Galois representations over totally real fields

Kevin Buzzard, Fred Diamond, Frazer Jarvis

In 1987 Serre conjectured that any mod l ("ell", not "1") two-dimensional irreducible odd representation of the absolute Galois group of the rationals came from a modular form in a…