Ribet's theorem
Ribet's theorem is part of number theory. It concerns properties of Galois representations associated with modular forms. It was proposed by Jean-Pierre Serre and proven by Ken Ribet. The proof was a significant step towards the proof of Fermat's Last Theorem. As shown by Serre and Ribet, the Taniyama–Shimura conjecture and the epsilon conjecture together imply that FLT is true.
In mathematical terms, Ribet's theorem shows that if the Galois representation associated with an elliptic curve has certain properties, then that curve cannot be modular.
Statement
Let be a weight 2 newform on - i.e. of level where does not divide - with absolutely irreducible 2-dimensional mod Galois representation unramified at if and finite flat at. Then there exists a weight 2 newform of level such thatIn particular, if is an elliptic curve over with conductor, then the modularity theorem guarantees that there exists a weight 2 newform of level such that the 2-dimensional mod Galois representation of is isomorphic to the 2-dimensional mod Galois representation of. To apply Ribet's Theorem to, it suffices to check the irreducibility and ramification of. Using the theory of the Tate curve, one can prove that is unramified at and finite flat at if divides the power to which appears in the minimal discriminant. Then Ribet's theorem implies that there exists a weight 2 newform of level such that.
Level lowering
Ribet's theorem states that beginning with an elliptic curve of conductor does not guarantee the existence of an elliptic curve of level such that. The newform of level may not have rational Fourier coefficients, and hence may be associated to a higher-dimensional abelian variety, not an elliptic curve. For example, elliptic curve 4171a1 in the Cremona database given by the equationwith conductor and discriminant does not level-lower mod 7 to an elliptic curve of conductor 97. Rather, the mod Galois representation is isomorphic to the mod Galois representation of an irrational newform of level 97.
However, for large enough compared to the level of the level-lowered newform, a rational newform must level-lower to another rational newform. In particular for, the mod Galois representation of a rational newform cannot be isomorphic to an irrational newform of level.
Similarly, the Frey-Mazur conjecture predicts that for large enough, elliptic curves with isomorphic mod Galois representations are in fact isogenous, and hence have the same conductor. Thus non-trivial level-lowering between rational newforms is not predicted to occur for large.
History
In his thesis, originated the idea of associating solutions of Fermat's equation with a different mathematical object: an elliptic curve. If p is an odd prime and a, b, and c are positive integers such thatthen a corresponding Frey curve is an algebraic curve given by the equation
This is a nonsingular algebraic curve of genus one defined over, and its projective completion is an elliptic curve over.
In 1982 Gerhard Frey called attention to the unusual properties of the same curve, now called a Frey curve. This provided a bridge between Fermat and Taniyama by showing that a counterexample to FLT would create a curve that would not be modular. The conjecture attracted considerable interest when Frey suggested that the Taniyama–Shimura conjecture implies FLT. However, his argument was not complete. In 1985 Jean-Pierre Serre proposed that a Frey curve could not be modular and provided a partial proof. This showed that a proof of the semistable case of the Taniyama–Shimura conjecture would imply FLT. Serre did not provide a complete proof and the missing bit became known as the epsilon conjecture or ε-conjecture. In the summer of 1986, Kenneth Alan Ribet proved the epsilon conjecture, thereby proving that the Modularity theorem implied FLT.
The origin of the name is from the ε part of "Taniyama-Shimura conjecture + ε ⇒ Fermat's last theorem".