This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Frey–Ribet | |
|---|---|
| Name | Frey–Ribet |
| Area | Number theory |
| Introduced | 1980s–1990s |
| Related | Modularity theorem, Fermat's Last Theorem, Taniyama–Shimura–Weil conjecture |
Frey–Ribet
The Frey–Ribet result links the arithmetic of elliptic curves to modular forms and Galois representations, forming a bridge between the problems studied by Kummer, Galois, Shimura, Taniyama, Weil, Serre, and Ribet that culminated in the proof of Fermat's Last Theorem. The name evokes contributions by Gerhard Frey and Ken Ribet and connects to work by Andrew Wiles and Richard Taylor on the Modularity theorem and the Taniyama–Shimura–Weil conjecture. It is a cornerstone in the interaction among elliptic curves, modular forms, Galois representations, Iwasawa theory, and class field theory.
Ribet's theorem, often presented together with Frey's construction, asserts that a nontrivial solution to the Fermat's Last Theorem equation would give rise to a semistable elliptic curve with prescribed conductor and reducible mod p Galois representation properties that contradict the modularity predictions. In modern language: given a proposed nontrivial primitive solution to x^n+y^n=z^n, Frey's curve yields an elliptic curve E whose mod p representation would violate level-lowering results established by Ribet using techniques from modular forms and Hecke algebras, contradicting the Taniyama–Shimura–Weil conjecture as proved by Wiles and Taylor–Wiles patching.
The genesis traces to correspondence between Frey and Serre, where Frey suggested constructing an elliptic curve from a putative Fermat counterexample; Serre formulated a conjectural irreducibility and modularity criterion later refined by Ribet. Ribet proved a level-lowering theorem building on work of Mazur on Eisenstein ideal, Tate on Galois cohomology, and methods inspired by Langlands program insights. The confluence of these developments influenced Wiles and Taylor in their proof of modularity for semistable elliptic curves, closing the loop with Fermat's Last Theorem.
The argument combines Frey's explicit construction of an elliptic curve from a putative Fermat solution with Ribet's level-lowering theorem for modular Galois representations. One starts with a triple (a,b,c) and exponent p to form Frey’s curve E, studies the residual representation rho_{E,p}: Gal(Qbar/Q) -> GL_2(F_p), and applies Ribet's theorem to lower the conductor of the corresponding modular form until reaching an impossibility given constraints from Atkin–Lehner theory and newform classification. Crucial inputs include Serre's conjecture formulations, Eichler–Shimura relations, Deligne's work on l-adic representations, and deformation-theoretic techniques later formalized by Mazur and exploited in Taylor–Wiles methods.
The Frey–Ribet link directly implies that establishing modularity for semistable elliptic curves yields Fermat's Last Theorem, a milestone realized by Wiles and Taylor. The theorem has further repercussions in the study of modularity lifting theorems, the structure of Hecke algebras, and the arithmetic of elliptic curves over Q. It also shaped progress on Serre's modularity conjecture, informed research on potential modularity of higher-dimensional abelian varieties, and influenced work in automorphic forms, p-adic Hodge theory, and motivic frameworks pursued by mathematicians such as Fontaine, Coleman, Kisin, and Khare.
Frey’s original explicit model associates to integers a, b, c and exponent p the curve with equation y^2 = x(x - a^p)(x + b^p), whose discriminant and conductor can be computed to display atypical ramification: these calculations invoke results of Ogg and Tate on conductor exponents and the Néron model to analyze reduction types at primes dividing abc. Ribet's level-lowering provides concrete instances where a modular form of level Np gives rise to one of level N, a procedure exemplified in classical studies of newforms and Atkin–Lehner operators on spaces S_2(Gamma_0(N)). Worked computations by Frey, Ribet, and subsequent expositors illustrate the incompatibility between the predicted mod p representation and known classification results such as those of Mazur on rational torsion.
The Frey–Ribet paradigm underlies generalizations like Serre's conjecture (now a theorem), conjectural modularity of abelian varieties over totally real fields, and instances of the Langlands reciprocity principle connecting Galois representations to automorphic representations. Extensions include the Modularity theorem for elliptic curves over Q, potential modularity results for higher-dimensional motives by Taylor, and explorations of level-raising and level-lowering phenomena in the context of Shimura varieties and Hilbert modular forms. The ideas also persist in modern approaches to problems influenced by Iwasawa theory, Bloch–Kato conjecture, and research programs led by Wiles, Kisin, Calegari, and Geraghty.