In mathematics, Serre's modularity conjecture, introduced by Jean-Pierre Serre (Serre 1975, 1987), states that an odd, irreducible, two-dimensional Galois representation over a finite field arises from a modular form, and a stronger version of his conjecture specifies the weight and level of the modular form. It was proved by Chandrashekhar Khare in the level 1 case, in 2005 and later in 2008 a proof of the full conjecture was worked out jointly by Khare and Jean-Pierre Wintenberger.
Contents
Formulation
The conjecture concerns the absolute Galois group
Let
Additionally, assume
To any normalized modular eigenform
of level
a theorem due to Shimura, Deligne, and Serre-Deligne attaches to
where
and
Reducing this representation modulo the maximal ideal of
Serre's conjecture asserts that for any
The level and weight of the conjectural form
Optimal level and weight
The strong form of Serre's conjecture describes the level and weight of the modular form.
The optimal level is the Artin conductor of the representation, with the power of l removed.
Proof
A proof of the level 1 and small weight cases of the conjecture was obtained during 2004 by Chandrashekhar Khare and Jean-Pierre Wintenberger, and by Luis Dieulefait, independently.
In 2005, Chandrashekhar Khare obtained a proof of the level 1 case of Serre conjecture, and in 2008 a proof of the full conjecture in collaboration with Jean-Pierre Wintenberger.