Taniyama–Shimura–Weil conjecture

Taniyama–Shimura–Weil conjecture

The Taniyama–Shimura–Weil conjecture asserted a deep correspondence between elliptic curves over number fields and modular forms, proposing that every elliptic curve over the rational numbers is modular. Originating from conversations and letters among Yutaka Taniyama, Goro Shimura, and André Weil, the conjecture inspired major advances in Andrew Wiles's proof of Fermat's Last Theorem and contributed to the development of the Langlands program, linking arithmetic geometry, Galois representations, and the theory of modular forms.

History

The conjecture emerged in the 1950s and 1960s through correspondence between Yutaka Taniyama and Goro Shimura, with later refinement by André Weil; preliminary public statements appeared in lectures at Kyoto University and Princeton University. Early computational evidence came from tables of elliptic curves computed by John Cremona and theoretical impetus derived from work of Jean-Pierre Serre, Jean-Marc Fontaine, and Barry Mazur. In the 1980s, the conjecture gained prominence when Gerhard Frey observed a bridge between counterexamples to Fermat's Last Theorem and non-modular elliptic curves, an idea further developed by Jean-Pierre Serre and Ken Ribet, culminating in Ribet's theorem which linked the epsilon conjecture to the modularity of semistable elliptic curves and set the stage for Andrew Wiles's efforts at Princeton University and Cambridge University.

Statement

In its classical formulation for rational coefficients, the conjecture posited that every elliptic curve E defined over Q corresponds to a cuspidal newform f of weight 2 and level N such that the L-series L(E, s) equals L(f, s). Concretely, the statement asserts an isomorphism between the two-dimensional l-adic representation of the absolute Galois group Gal(Q̄/Q) attached to E, constructed by Alexander Grothendieck's theory of etale cohomology and Jean-Pierre Serre's modularity conjectures, and the Galois representation arising from the Hecke eigenvalues of a Hecke eigenform f associated to Atkin–Lehner operators. The level N equals the conductor of E as defined by Tim Dokchitser's and John Tate's conductor formalism, and the matching of Fourier coefficients with trace of Frobenius elements furnishes the arithmetic equivalence.

Proof and developments

Progress toward a proof combined techniques from Iwasawa theory, deformation theory of Galois representations, and the __________________ program initiated by Robert Langlands. Breakthroughs by Andrew Wiles and Richard Taylor in the 1990s established modularity for semistable elliptic curves over Q using the Taylor–Wiles method, patching deformation rings and Hecke algebras inspired by Barry Mazur's ideas and cohomology results of Kenneth Ribet. Subsequent contributions by Christophe Breuil, Brian Conrad, Fred Diamond, and Richard Taylor extended modularity to all elliptic curves over Q, relying on results in p-adic Hodge theory from Jean-Marc Fontaine and crystalline representation techniques influenced by Pierre Colmez and Gerd Faltings. The cumulative effort is now commonly referred to as the Modularity Theorem, with major inputs from computational verification by Noam Elkies and databases compiled by John Cremona.

Applications and consequences

The primary historical consequence was enabling Andrew Wiles's proof of Fermat's Last Theorem via the Ribet–Frey link, turning a centuries-old problem into a consequence of modularity. Beyond that, the theorem provides explicit connections between arithmetic invariants of elliptic curves—such as the BSD conjecture quantities—and coefficients of modular forms, influencing computational number theory projects by William Stein and Benedict Gross. The modularity theorem informed progress on Iwasawa theory conjectures for elliptic curves studied by Kenkichi Iwasawa and Mazur–Tate–Teitelbaum-type results, impacted the proof of potential automorphy theorems used by Richard Taylor and collaborators, and guided explicit class field theory computations associated with Shimura varieties and Hilbert modular forms studied by Ellen Eischen and Harris–Taylor teams.

Generalizations and related conjectures

Generalizations include the full scope of the Langlands program, which posits correspondences between n-dimensional Galois representations and automorphic representations on GL_n over number fields, as formulated by Robert Langlands. The Fontaine–Mazur conjecture predicts which p-adic Galois representations arise from geometry or automorphic forms, linking to work by Pierre Colmez, Richard Taylor, and Mark Kisin. Other related directions are Modularity lifting theorems by Mark Kisin and Taylor–Wiles refinements, the Serre modularity conjecture proved by Khare–Wintenberger, and modularity results for elliptic curves over real quadratic fields investigated by Samir Siksek and Tommaso Peruzzi. The interaction with Shimura varieties and potential automorphy results continues to influence contemporary research agendas at institutions such as Institute for Advanced Study and Clay Mathematics Institute.

Category:Conjectures resolved