Birch and Swinnerton-Dyer conjecture

Birch and Swinnerton-Dyer conjecture
Name	Birch and Swinnerton-Dyer conjecture
Field	Number theory
Conjectured	1960s
Named after	Bryan Birch; Peter Swinnerton-Dyer

Birch and Swinnerton-Dyer conjecture The Birch and Swinnerton-Dyer conjecture posits a deep relationship between arithmetic invariants of elliptic curves and analytic behavior of associated L-functions. Formulated in the 1960s, it connects work of Bryan Birch, Peter Swinnerton-Dyer, computational investigations at Cambridge University with broader developments linked to André Weil, Jean-Pierre Serre, Goro Shimura, and Harold Davenport.

Overview and historical background

The conjecture emerged from numerical experiments by Bryan Birch and Peter Swinnerton-Dyer conducted partly at Cambridge University and reported in seminars influenced by talks at International Congress of Mathematicians, interactions with John Tate, Louis Mordell, Yuri Manin, and correspondence with Alexander Grothendieck. Early computations relied on electronic machinery developed by teams at University of Cambridge Computer Lab and were informed by heuristics from Heegner’s work, precedents in Mordell's theorem, and conjectural frameworks proposed by André Weil and Goro Shimura. The conjecture influenced later breakthroughs such as Andrew Wiles’s proof of Fermat's Last Theorem which used techniques from Iwasawa theory and modular forms studied by Jean-Pierre Serre and Nicholas Katz.

Mathematical statement

The conjecture relates the order of vanishing at s = 1 of the L-function of an elliptic curve E defined over Q to the rank of the abelian group E(Q), invoking invariants like the regulator, the Tate–Shafarevich group, and local Tamagawa numbers. The precise formulation references the Hasse–Weil L-function introduced by Hasse, analytic continuation conjectures related to Selberg, and modularity statements proved by Andrew Wiles, Richard Taylor, and Fred Diamond which link E to newforms on Modular group congruence subgroups studied by Hecke. The statement uses objects from Galois cohomology as in work by John Tate and Serre, and relates to conjectures of Bloch and Kato about special values of L-functions. The Birch and Swinnerton-Dyer framework invokes the Tamagawa number conjecture of Bloch and Kato and has formal ties to the conjectures of Beilinson and Deligne on special values.

Evidence and computational results

Empirical support came from extensive tables compiled by Birch and Swinnerton-Dyer and later projects at Cremona’s database initiatives and computational packages developed by teams at MAGMA and SageMath inspired by work at University of Warwick and University of Oxford. Numerical verifications for many elliptic curves of small conductor used techniques from Modularity theorem proofs by Andrew Wiles and Brian Conrad and algorithms involving L-functions and Modular Forms Database collaborators including John Cremona and William Stein. Results confirming rank predictions have been obtained for families studied by Noam Elkies, Barry Mazur, and Kolyvagin; Kolyvagin’s Euler system methods provided finite evidence used in computations by researchers at Princeton University, Harvard University, and Institut des Hautes Études Scientifiques. Computational evidence also ties to conjectures of Goldfeld on average ranks and to heuristics of Poonen and Rains on distribution of Tate–Shafarevich groups.

Related theorems and partial proofs

Significant partial results include Kolyvagin’s theorem on finiteness of the Tate–Shafarevich group for analytic rank 0 and 1, using Euler systems developed in collaboration with ideas of Vladimir Dokchitser and Victor Kolyvagin, and Gross–Zagier formulae proved by Gross and Zagier connecting derivatives of L-functions to heights of Heegner points. The modularity theorem completed by Andrew Wiles, Richard Taylor, Fred Diamond, and Brian Conrad ensures that many elliptic curves correspond to modular forms, enabling analytic techniques from Petersson inner product theory and Atkin–Lehner operators. Other advances draw on Iwasawa theory work by Ken Ribet, John Coates, and Ruochuan Liu, and on reciprocity laws originating in Class field theory and developments by Emil Artin and Alexander Grothendieck.

Applications and significance

The conjecture sits at the crossroads of arithmetic geometry, analytic number theory, and algebraic topology, influencing research at institutions such as Institute for Advanced Study, Mathematical Sciences Research Institute, and Clay Mathematics Institute. It underpins progress on rational points relevant to explicit Diophantine problems studied since Diophantus and impacts computational number theory programs by researchers like Noam Elkies and John Cremona. Connections span from Langlands program ideas explored by Robert Langlands and Pierre Deligne to explicit class field constructions reminiscent of work by Carl Friedrich Gauss and David Hilbert.

Open problems and current research directions

Open questions include proving the full conjecture for all elliptic curves, understanding the structure and distribution of the Tate–Shafarevich group explored by Bhargava, Shankar, and Poonen, and extending results to higher-dimensional abelian varieties as envisaged by Mordell–Weil theorem generalizations and conjectures of Bloch and Kato. Current research connects to advances in p-adic Hodge theory by Peter Scholze and Jean-Marc Fontaine, progress in the Langlands correspondence by Michael Harris and Taylor, and computational projects coordinated by L-Functions and Modular Forms Database collaborators including William Stein and John Cremona. New methods from Derived algebraic geometry inspired by Jacob Lurie and connections to Motivic cohomology studied by Vladimir Voevodsky are shaping approaches toward proof strategies and refined conjectural formulations.

Category:Conjectures in number theory