Fact-checked by Grok 2 weeks ago

Birch and Swinnerton-Dyer conjecture

The Birch and Swinnerton-Dyer conjecture is a fundamental unsolved problem in number theory that posits a precise relationship between the arithmetic of elliptic curves over the rational numbers and the analytic properties of their associated L-functions.^[1] Specifically, for a non-singular elliptic curve E defined by an equation of the form y^2 = x^3 + ax + b with rational coefficients a and b, the conjecture asserts that the order of the zero of the L-function L(E, s) at s = 1 equals the rank r of the finitely generated abelian group E(\mathbb{Q}) of rational points on E.^[2] This rank r, established as finite by Mordell's theorem in 1922, determines whether E(\mathbb{Q}) is finite or infinite, with r = 0 implying only finitely many rational points.^[2] The L-function L(E, s) is constructed as an Euler product over primes, initially converging for \operatorname{Re}(s) > 3/2, and possesses an analytic continuation to the entire complex plane as a consequence of the modularity theorem for elliptic curves.^[2] The conjecture further specifies that the leading term in the Taylor expansion of L(E, s) around s = 1 is c (s - 1)^r for some non-zero constant c, which incorporates additional arithmetic invariants such as the order of the Tate-Shafarevich group and the Tamagawa numbers.^[2] A weaker form states that L(E, 1) = 0 if and only if E(\mathbb{Q}) is infinite, linking the vanishing of the L-value directly to the existence of infinitely many rational solutions.^[2] Formulated in the 1960s by British mathematicians Bryan Birch and Henry Swinnerton-Dyer through extensive computations on the EDSAC computer at the University of Cambridge, the conjecture arose from observed patterns in the ranks of elliptic curves and their L-functions.^[2] These empirical insights built on earlier work tracing back to Diophantus and Fermat on rational points on curves, with modern foundations laid by Poincaré in 1901 and advanced by Mordell and others.^[2] Although partial results support aspects of the conjecture—such as the equality of the analytic and algebraic ranks up to 1 for many curves, proven in cases via the Gross-Zagier formula and Kolyvagin's Euler systems—it remains fully unproven and was designated one of the seven Millennium Prize Problems by the Clay Mathematics Institute in 2000, offering a $1 million prize for its resolution.^[1]^[2] The conjecture's significance extends beyond elliptic curves, influencing applications in cryptography (e.g., elliptic curve cryptography), prime factorization algorithms, and the proof of Fermat's Last Theorem by Andrew Wiles, which relied on properties of modular forms closely tied to elliptic curve L-functions.^[1] Its resolution would deepen understanding of the distribution of rational points and the interplay between algebraic geometry and analytic number theory, potentially unlocking progress on related problems like the Cohen-Lenstra heuristics.^[2]

Background

Elliptic Curves over the Rationals

An elliptic curve E over the rational numbers \mathbb{Q} is a smooth projective algebraic curve of genus 1 equipped with a specified base point O, known as the point at infinity, which serves as the identity element. Such curves can be represented by a Weierstrass equation of the form

y^2 = x^3 + a x + b,

where a, b \in \mathbb{Q} and the discriminant \Delta = -16(4a^3 + 27b^2) \neq 0 ensures the curve is nonsingular.^[3] This equation defines the affine points (x, y) \in \mathbb{A}^2(\mathbb{Q}) satisfying it, and the full projective curve includes the point O at infinity, making E isomorphic to its Jacobian as an abelian variety. The choice of Weierstrass model is not unique, but any two models for the same curve differ by a rational change of variables, preserving the arithmetic properties over \mathbb{Q}.^[3] The set E(\mathbb{Q}) of \mathbb{Q}-rational points on E, including O, forms an abelian group under the elliptic curve group law, defined geometrically by the chord-and-tangent process. To add two distinct points P = (x_1, y_1) and Q = (x_2, y_2) with x_1 \neq x_2, draw the line through them, which intersects E at a third point -R; then P + Q = R. The slope of the line is \lambda = (y_2 - y_1)/(x_2 - x_1), and the coordinates of R are given by

x_3 = \lambda^2 - x_1 - x_2, \quad y_3 = \lambda(x_1 - x_3) - y_1.

Doubling a point P = (x_1, y_1) uses the tangent slope \lambda = (3x_1^2 + a)/(2y_1), with analogous formulas; the inverse of P is (x_1, -y_1). This law is well-defined over \mathbb{Q} and satisfies associativity, commutativity, and the identity property with inverses.^[3] The Mordell-Weil theorem asserts that E(\mathbb{Q}) is a finitely generated abelian group, isomorphic to \mathbb{Z}^r \oplus E_{\tors}(\mathbb{Q}), where r \geq 0 is the algebraic rank of E (the number of independent generators of infinite order) and E_{\tors}(\mathbb{Q}) is the finite torsion subgroup consisting of points of finite order.^[3] Computing rational points involves finding generators for the free part and identifying the torsion. For example, consider the curve E: y^2 = x^3 - x. The rational points include the torsion points O, ( -1, 0 ), (0, 0), and (1, 0), forming the torsion subgroup \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}, and the rank is 0, so these are all the rational points on E.^[4] Mazur's theorem provides a complete classification of possible torsion subgroups for elliptic curves over \mathbb{Q}, proving that E_{\tors}(\mathbb{Q}) must be isomorphic to one of the following 15 groups: \mathbb{Z}/n\mathbb{Z} for n = 1 to $10 or n=12, or \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2^k\mathbb{Z} for k = 1 to $4. This finiteness result bounds the possible torsion structures and aids in explicit computations of E(\mathbb{Q}).^[5]

L-functions of Elliptic Curves

The Hasse-Weil L-function associated to an elliptic curve E defined over the rational numbers \mathbb{Q} is constructed as an Euler product over the primes. Specifically, L(E, s) = \prod_p L_p(E, s)^{-1}, where the local factor at a prime p is given by L_p(E, s) = 1 - a_p p^{-s} + p^{1-2s} for primes p of good reduction, with a_p = p + 1 - \#E(\mathbb{F}_p).^[6] For primes of bad reduction, the local factors are adjusted accordingly: $1 - a_p p^{-s} for split or nonsplit multiplicative reduction, and 1 for additive reduction.^[6] This product converges for \Re(s) > 3/2 and encodes arithmetic information about the curve through the coefficients a_p, which satisfy the Hasse bound |a_p| \leq 2\sqrt{p}.^[6] The L-function L(E, s) admits an analytic continuation to a meromorphic function on the entire complex plane \mathbb{C}.^[6] It further satisfies a functional equation of the form \Lambda(E, s) = \epsilon \Lambda(E, 2 - s), where \Lambda(E, s) = N^{s/2} (2\pi)^{-s} \Gamma(s) L(E, s) with N the conductor of E and \epsilon = \pm 1 the root number, relating values at s and $2 - s.^[6] This continuation and functional equation were conjectured by Hasse and Weil in the 1950s and rigorously established for elliptic curves over \mathbb{Q} through the modularity theorem.^[6] The modularity theorem, proven between 1999 and 2001 by Breuil, Conrad, Diamond, and Taylor, asserts that every elliptic curve E over \mathbb{Q} is modular: its L-function coincides with the L-function of a cuspidal newform f of weight 2 and level equal to the conductor of E.^[7] This identification implies that L(E, s) inherits the analytic properties of modular form L-functions, including holomorphy everywhere except possibly at s=1 and the functional equation.^[7] At the central point s=1, the behavior of L(E, s) is tied to the rank of E. If L(E, 1) \neq 0, then the Mordell-Weil rank r of E(\mathbb{Q}) is conjecturally 0; otherwise, the order of vanishing \mathrm{ord}_{s=1} L(E, s) is conjecturally equal to r.^[8] Near s=1, the Taylor expansion takes the form L(E, s) \sim c (s-1)^r as s \to 1, where the leading coefficient c is conjectured to involve arithmetic invariants of E.^[9] This analytic rank, defined as the order of vanishing, always satisfies \mathrm{analytic\ rank} \geq r, with equality expected by the Birch and Swinnerton-Dyer conjecture.^[9]

History

Computational Origins

In the late 1950s and early 1960s, Bryan Birch and Peter Swinnerton-Dyer at the University of Cambridge utilized the EDSAC-2 computer to perform extensive numerical investigations into the arithmetic properties of elliptic curves over the rational numbers. These computations marked one of the earliest applications of electronic computers to advanced number theory problems, focusing on determining the ranks of the Mordell-Weil groups and evaluating the L-functions associated with these curves at s = 1. The EDSAC-2, operational from 1958, enabled them to process data that would have been infeasible by hand, generating tables of points and zeta-function values for numerous curves.^[2]^[10] Their experiments uncovered striking patterns that suggested a profound link between algebraic and analytic invariants. For elliptic curves with computed rank 0—those possessing only torsion points over the rationals—the value L(E, 1) was consistently nonzero. In contrast, for curves with positive rank, L(E, 1) appeared to vanish, and further analysis indicated that the order of this vanishing at s = 1 aligned with the rank, a phenomenon observed reliably up to ranks of 3 or 4 in the examples studied. Representative cases included curves like y^2 = x^3 + k for small integers k, where the numerical evidence for rank 1 showed a simple zero, while higher-rank instances, such as certain twists, exhibited multiple zeros matching the generator count. These findings were reported in their joint work and Birch's contemporaneous lectures.^[10]^[11] Birch's 1963 lecture at the Pasadena symposium explicitly highlighted these computational results, positing that the observed correlations pointed to a general principle connecting the rank to the analytic order of vanishing, thereby motivating the conjecture's development. Although the EDSAC-2's limited speed and memory—operating at around 0.5 MHz with 1024-word core storage—restricted analyses to curves with small conductors (typically below 1000), the consistency of the patterns across dozens of examples provided compelling empirical support for the emerging theory. This computational approach exemplified how numerical experimentation could illuminate deep arithmetic conjectures long before formal proofs.^[10]

Formulation of the Conjecture

The Birch and Swinnerton-Dyer conjecture originated from theoretical insights inspired by extensive computational evidence in the early 1960s. In his 1963 lecture at the Pasadena symposium, Bryan Birch proposed that for an elliptic curve E defined over the rationals \mathbb{Q}, the order of vanishing of the associated L-function at s=1, denoted \mathrm{ord}_{s=1} L(E,s), equals the rank r of the Mordell-Weil group E(\mathbb{Q}).^[12] This initial formulation posited a direct link between the analytic behavior of L(E,s) near the central point and the algebraic structure of rational points on E. Building on this, H. P. F. Swinnerton-Dyer, in collaboration with Birch, extended the conjecture through further analysis in their 1965 publication. They refined the statement to include not only the equality of the analytic and algebraic ranks but also a prediction for the leading coefficient in the Taylor expansion of L(E,s) at s=1. Specifically, the conjecture suggested that L^{(r)}(E, 1) / r! = \frac{ \# \Sha(E/\mathbb{Q}) \cdot \Omega(E) \cdot \Reg(E/\mathbb{Q}) \cdot \prod_v c_v(E) }{ \# E(\mathbb{Q})_{\tors}^2 }, where \Sha(E/\mathbb{Q}) is the Tate-Shafarevich group, \Omega(E) is the real period, \Reg(E/\mathbb{Q}) is the regulator of E(\mathbb{Q}), the c_v are the local Tamagawa numbers at places of bad reduction, and E(\mathbb{Q})_{\tors} is the torsion subgroup of E(\mathbb{Q}).^[13] These early refinements emerged from numerical experiments using early computers like the EDSAC-2 at Cambridge, which revealed patterns in the ranks and L-values for numerous elliptic curves. During the 1970s, the conjecture underwent significant theoretical development within the framework of Iwasawa theory and p-adic L-functions. John Coates and Andrew Wiles, in their influential 1977 paper, provided partial proofs for specific cases—particularly elliptic curves with complex multiplication—and proposed a more precise version of the refined conjecture. Their work utilized Euler systems and p-adic methods to connect the leading coefficient more rigorously to arithmetic invariants, solidifying the conjecture's role in broader efforts to unify analytic and algebraic number theory.^[14] This period marked the conjecture's evolution from empirical observation to a cornerstone of modern arithmetic geometry.

Statement of the Conjecture

The Refined BSD Formula

The refined Birch and Swinnerton-Dyer conjecture posits a precise relationship between the Taylor expansion of the L-function of an elliptic curve at s=1 and key arithmetic invariants of the curve. For an elliptic curve E defined over the rational numbers \mathbb{Q}, the conjecture assumes that the L-function L(E, s) admits an analytic continuation to the entire complex plane and satisfies a functional equation relating its values at s and $2-s; these properties have been established for all such E by the modularity theorem.^[2] The weak form of the conjecture states that the order of vanishing of L(E, s) at s=1, denoted r = \ord_{s=1} L(E, s), equals the Mordell-Weil rank of E(\mathbb{Q}), the group of rational points on E. This asserts that L(E, 1) = 0 if and only if E(\mathbb{Q}) is infinite.^[2] The full refined version extends this by specifying the leading coefficient in the Taylor expansion of L(E, s) around s=1. Specifically, if r = \ord_{s=1} L(E, s), then

\lim_{s \to 1} \frac{L(E, s)}{(s-1)^r} = \frac{|\Sha(E/\mathbb{Q})| \cdot \Omega_E \cdot \Reg_{E/\mathbb{Q}} \cdot \prod_p c_p(E)}{|E(\mathbb{Q})_{\tors}|^2},

where \Omega_E denotes the real period of E, \Reg_{E/\mathbb{Q}} is the regulator of E(\mathbb{Q}), the product runs over Tamagawa numbers at primes of bad reduction, and the other terms are arithmetic invariants. This equality bridges the analytic rank with the algebraic structure of the curve.^[2] Proving the refined conjecture in full generality for all elliptic curves over \mathbb{Q} is one of the seven Millennium Prize Problems designated by the Clay Mathematics Institute, offering a prize of one million U.S. dollars for a complete solution.^[2]

Arithmetic Invariants Involved

The arithmetic invariants in the Birch and Swinnerton-Dyer conjecture appear in the conjectural formula relating the order of vanishing of the L-function of an elliptic curve E/\mathbb{Q} at s=1 to the rank of E(\mathbb{Q}), with the leading coefficient expressed in terms of these invariants.^[2] The regulator \Reg_{E/\mathbb{Q}} of E(\mathbb{Q}) is the determinant of the matrix representing the Néron-Tate height pairing on a basis for the free part of the Mordell-Weil group E(\mathbb{Q})/E_{\tors}(\mathbb{Q}). It measures the "volume" of the lattice formed by the generators of the infinite-order rational points and appears in the numerator of the leading coefficient.^[2] The torsion subgroup E_{\mathrm{tors}}(\mathbb{Q}) consists of all points in E(\mathbb{Q}) of finite order, forming a finite abelian group whose structure is classified by Mazur's theorem into one of 15 possible isomorphism types. In the refined BSD formula, the order \#E_{\mathrm{tors}}(\mathbb{Q}) appears in the denominator as its square, reflecting the contribution of these rational points of bounded order to the analytic side of the conjecture.^[2] The Tate-Shafarevich group \Sha(E) is defined as the kernel of the map H^1(\mathbb{Q}, E) \to \prod_v H^1(\mathbb{Q}_v, E), where the product runs over all places v of \mathbb{Q}; it is conjectured to be finite and measures the extent to which principal homogeneous spaces under E are locally trivial but globally non-trivial. In the BSD formula, the order \#\Sha(E) enters the numerator of the leading coefficient, capturing obstructions to the Hasse principle for the curve.^[2] For each prime p of bad reduction, the local Tamagawa number is given by c_p(E) = |E(\mathbb{Q}_p)/E^0(\mathbb{Q}_p)|, where E^0(\mathbb{Q}_p) denotes the subgroup of points that reduce to the identity component of the Néron model over \mathbb{Z}_p. The global Tamagawa product \prod c_p(E), taken over all primes p of bad reduction, appears in the numerator of the leading coefficient, accounting for local arithmetic data at the finitely many primes where the curve has singular reduction.^[2] The real period \Omega(E) is defined as the integral \Omega(E) = \int_{E^0(\mathbb{R})} \left| \frac{dx}{y} \right| over the identity component of the real points E(\mathbb{R}), where \frac{dx}{y} is the invariant holomorphic differential on E. It contributes to the numerator of the leading coefficient, linking the analytic continuation of the L-function to the geometry of the curve over the reals.^[2] The full leading coefficient c in the refined BSD formula is thus

c = \frac{\Omega(E) \cdot \Reg_{E/\mathbb{Q}} \cdot \prod_p c_p(E) \cdot \#\Sha(E)}{\#E_{\mathrm{tors}}(\mathbb{Q})^2},

where the product is over primes p of bad reduction.^[2]

Current Status

Proven Cases and Partial Results

The Birch and Swinnerton-Dyer (BSD) conjecture has been proven in full, including the refined version, for elliptic curves over \mathbb{Q} with analytic rank at most 1. For the case of analytic rank 0, where L(E,1) \neq 0, Kolyvagin established that the algebraic rank is 0 and the Tate--Shafarevich group \Sha(E/\mathbb{Q}) is finite.^[2] This result relies on Euler systems constructed from Heegner points and applies to all modular elliptic curves, which encompass all elliptic curves over \mathbb{Q} by the modularity theorem. For analytic rank 1, where L(E,1) = 0 but L'(E,1) \neq 0, Gross and Zagier proved that the algebraic rank is exactly 1 by showing that Heegner points generate a subgroup of full rank in E(\mathbb{Q}).^[15] Kolyvagin then extended this using Euler systems to confirm that \Sha(E/\mathbb{Q}) is finite, thereby verifying the refined BSD formula in this case.^[16] These theorems together imply that the weak and refined BSD hold for all elliptic curves over \mathbb{Q} with analytic rank at most 1.^[2] Since all elliptic curves over \mathbb{Q} are modular, as proven by Breuil, Conrad, Diamond, and Taylor, the above results apply universally to this setting for ranks up to 1, but the full weak BSD remains unproven for individual curves of higher rank. Partial progress toward the weak BSD includes bounds on average ranks: Bhargava and Shankar showed that the average rank of all elliptic curves over \mathbb{Q}, ordered by height, is bounded above by 0.885.^[17] Subsequent works have refined these bounds further, supporting the conjecture's predictions. In special families, the full BSD conjecture has been verified for all quadratic twists of certain elliptic curves. For instance, Coates and Wiles proved it for elliptic curves with complex multiplication when L(E,1) \neq 0.^[18] More recently, the 2-primary part of BSD has been established for quadratic twists of specific modular elliptic curves, such as those arising from X_0(49).^[19]

Open Challenges and Numerical Evidence

One major open challenge in the Birch and Swinnerton-Dyer (BSD) conjecture is the finiteness of the Tate-Shafarevich group \Sha(E), which is predicted to be finite for any elliptic curve E over \mathbb{Q}, but remains unproven in general.^[2] The conjecture also implies that the order of \Sha(E) can be computed from the leading term of the L-function at s=1, yet there is no general algorithm to compute \# \Sha(E) exactly, as current methods provide only upper bounds based on Selmer groups and assumptions like the finiteness itself.^[20] For elliptic curves of rank r \geq 2, no general method exists to prove the full BSD formula, as partial results cover only low-rank cases, leaving higher ranks unresolved despite progress in bounding average ranks.^[21] Additionally, although the analytic continuation and functional equation of the L-function are guaranteed by the modularity theorem, full verification of the analytic rank matching the algebraic rank, particularly for high-rank curves, often relies on the generalized Riemann hypothesis (GRH) to confirm the precise order of vanishing at s=1.^[22] Extensive numerical evidence supports the BSD conjecture through large-scale computations of elliptic curves. The L-functions and Modular Forms Database (LMFDB) contains data on millions of elliptic curves over \mathbb{Q} with conductors up to approximately $10^7 for complete isogeny classes (and higher in searches), where the predicted rank from the L-function order of vanishing matches the computed Mordell-Weil rank for all cases up to conductor $10^6, with ranks reaching at least 3 unconditionally and higher under GRH.^[23] Further verifications in LMFDB and related datasets confirm the conjecture for curves of ranks up to 5 or higher, including examples with rank 28 where the analytic rank bound aligns under GRH.^[24] These computations demonstrate consistent agreement between the algebraic invariants (rank, regulator, Tamagawa numbers) and the leading coefficient of the L-function, providing strong empirical support without counterexamples as of 2025. The parity conjecture, a consequence of BSD stating that the rank r is even if and only if L(E,1) \neq 0 (or more precisely, the root number is +1 for even rank), holds numerically in all searched cases under GRH, with extensive evidence from families of quadratic twists and high-conductor curves showing no violations.^[25] Computational searches across thousands of elliptic curves confirm this parity match, bolstering the weak BSD for rank determination. Post-2020 computations have not yielded major theoretical breakthroughs for the full conjecture but have refined numerical verifications, confirming the leading coefficient formula in cases where \Sha(E) is computable (e.g., via explicit Selmer computations or known triviality). For instance, high-precision evaluations for selected curves in LMFDB complement earlier data, verifying the formula where \# \Sha(E) = 1 or small finite values are established.^[26] A key limitation in full verification is the obstruction posed by \Sha(E), as its unknown size prevents exact matching of the BSD formula for many curves, even when ranks and regulators are computed; only upper bounds on \# \Sha(E) allow partial checks, restricting complete confirmation to special cases like rank 0 or 1.^[27]

Implications

Arithmetic and Geometric Consequences

The Birch and Swinnerton-Dyer (BSD) conjecture provides a framework for determining the Mordell-Weil rank of an elliptic curve E over \mathbb{Q} by linking it to the analytic rank, defined as the order of vanishing of the L-function L(E, s) at s=1. Specifically, the conjecture asserts that the algebraic rank r = \rank_{\mathbb{Z}} E(\mathbb{Q}) equals the order of this zero, allowing effective computation of the rank through higher-order derivatives of L(E, s) when the vanishing order exceeds zero. For instance, if L(E, 1) \neq 0, then r = 0, implying E(\mathbb{Q}) is finite and generated by torsion points; this has been verified computationally for numerous curves using modular symbols to approximate these derivatives.^[28]^[29] A prominent arithmetic application arises in the congruent number problem, which asks for which positive integers n there exists a right triangle with rational sides and area n. This is equivalent to the elliptic curve E_n: y^2 = x^3 - n^2 x having positive rank over \mathbb{Q}, as infinite rational points on E_n correspond to such triangles. Under BSD, the non-vanishing of L(E_n, 1) implies r = 0 and thus n is not congruent, while vanishing to odd order suggests r \geq 1; combined with Tunnell's criterion, this resolves the problem affirmatively for all odd square-free n \equiv 5, 6, 7 \pmod{8}, yielding infinitely many congruent numbers. Numerical evidence supports this for small n, such as n=5 where L(E_5, 1) = 0 and r=1.^[2] The refined BSD formula further implies the finiteness of the Tate-Shafarevich group \Sha(E/\mathbb{Q}), whose order divides the leading Taylor coefficient of L(E, s) at s=1. This finiteness has profound geometric consequences, such as aiding the study of descent maps and the distribution of rational points across moduli spaces in families of elliptic curves, including quadratic twists. For example, in the family of quadratic twists of a fixed E, finite \Sha ensures that Selmer group coranks align with ranks without unbounded torsion obstructions, facilitating bounds on point counts in arithmetic progressions.^[2]^[28] Illustrative examples include curves of the form E_k: y^2 = x^3 + k for integer k \neq [0](/page/0). These curves have complex multiplication since their j-invariant is 0. For k = -1, L(E_{-1}, 1) \neq [0](/page/0), so BSD predicts r = [0](/page/0) and E_{-1}(\mathbb{Q}) consists solely of the point at infinity and (1,0), with no further rational solutions; this aligns with explicit computations showing the Mordell-Weil group is \mathbb{Z}/2\mathbb{Z}. Similarly, for k = 1, L(E_1, 1) \neq [0](/page/0) implies r=[0](/page/0), and E_1(\mathbb{Q}) \cong \mathbb{Z}/6\mathbb{Z} generated by torsion points such as (-1,0), (0, \pm 1), and (2, \pm 3). These cases underscore how L-values directly inform the existence and generation of rational points on such cubics.^[2]^[30]^[31]

Connections to Broader Number Theory

The Birch and Swinnerton-Dyer (BSD) conjecture exhibits deep compatibility with Iwasawa theory, particularly through its refined formulation involving p-adic L-functions. In the context of elliptic curves, the Iwasawa main conjecture posits a relationship between the characteristic ideal of the Selmer group and the p-adic L-function, which aligns closely with the p-part of the BSD formula. Specifically, for an elliptic curve over the rationals, the leading term in the refined BSD conjecture corresponds to the algebraic structure predicted by Iwasawa theory, providing a bridge between the analytic rank and the growth of p-adic Selmer groups in cyclotomic towers.^[32]^[33] This compatibility has been leveraged to prove partial cases of the p-part of BSD using Iwasawa-theoretic methods, such as control theorems for Selmer groups.^[29] The BSD conjecture specializes as a key instance of the Bloch-Kato conjecture, which formulates the Tamagawa number conjecture for motives in terms of Galois cohomology. For elliptic curves, the Bloch-Kato conjecture at s=1 implies the refined BSD formula, particularly the equality between the algebraic and analytic ranks and the precise leading coefficient involving the Tamagawa numbers and the order of the Shafarevich-Tate group. This specialization underscores how BSD encodes the Tamagawa-Shafarevich relations, where the global Tamagawa number product relates to local factors and the size of the Shafarevich-Tate group via cohomological interpretations.^[34]^[35] Proving Bloch-Kato in this setting would thus resolve BSD for elliptic curves, highlighting their intertwined roles in arithmetic geometry.^[36] Within the Langlands program, the BSD conjecture emerges as a manifestation of broader predictions for L-functions of motives, facilitated by the modularity theorem for elliptic curves. The modularity lifting results associate the L-function of an elliptic curve to that of a modular form, embedding BSD into the Artin conjecture framework for motives, where the special value at the central point determines arithmetic invariants like the rank. This connection posits that the analytic continuation and functional equation of motive L-functions, as conjectured in Langlands correspondences, underpin the BSD leading term, linking Galois representations to automorphic forms.^[37] Birch's original heuristic, which inspired the BSD conjecture through computational exploration of L-function zeros, extends naturally to Jacobians of higher-genus curves, paralleling the Cohen-Lenstra heuristics for class groups. In this extension, the distribution of ranks for Jacobians over number fields is modeled probabilistically, analogous to how Cohen-Lenstra predicts the structure of ideal class groups via random abelian groups weighted by their orders. This linkage arises from the shared analogy between the Shafarevich-Tate group of curves and class groups of number fields, with Birch's method providing a template for predicting the frequency of low-rank cases in higher dimensions.^[38]^[39] Resolving the BSD conjecture could influence elliptic curve cryptography by enabling more efficient computation of ranks and Shafarevich-Tate group orders, potentially affecting the security analysis of cryptosystems reliant on the discrete logarithm problem over elliptic curves. If the conjecture yields practical algorithms for these invariants, it might facilitate attacks on curves with unexpectedly high ranks or non-trivial Shafarevich-Tate groups, though current systems select curves with verified low-rank structures to mitigate such risks.^[40]^[41]

Generalizations

Extensions to Abelian Varieties

The Birch and Swinnerton-Dyer conjecture generalizes to abelian varieties A over the rational numbers \mathbb{Q}. The weak form states that the rank r of the Mordell-Weil group A(\mathbb{Q}) (more precisely, the dimension of A(\mathbb{Q}) \otimes \mathbb{R}) equals the order of vanishing \ord_{s=1} L(A, s) of the Hasse-Weil L-function of A at s=1.^[42] The refined version predicts a precise formula for the leading coefficient in the Taylor expansion of L(A, s) around s=1:

\lim_{s \to 1} \frac{L(A, s)}{(s-1)^r} = \frac{|\Sha(A/\mathbb{Q})| \cdot \Reg(A(\mathbb{Q})) \cdot \Omega_A \cdot \prod_v c_v(A)}{|A(\mathbb{Q})_{\tors}|^2},

where \Sha(A/\mathbb{Q}) is the Tate-Shafarevich group, \Reg(A(\mathbb{Q})) is the regulator of A(\mathbb{Q}), \Omega_A is the real Néron period of A, the c_v(A) are the Tamagawa numbers at places v of \mathbb{Q}, and A(\mathbb{Q})_{\tors} is the torsion subgroup of A(\mathbb{Q}).^[42] This formula incorporates arithmetic invariants analogous to those in the elliptic curve case, with the squared torsion accounting for the dual abelian variety in the pairing structure.^[42] Partial results toward the conjecture have been established for low ranks using techniques from algebraic K-theory and Euler systems on motives. For ranks 0 and 1, the weak BSD holds for modular abelian varieties over \mathbb{Q} associated to newforms, building on Euler system constructions that bound Selmer groups and establish the finiteness of \Sha. These results extend the original proofs for elliptic curves by Kolyvagin (1989) via generalized Kolyvagin classes on motives, as developed by Flach in the 1990s for higher-weight modular forms corresponding to abelian varieties.^[43] Specifically, if the analytic rank is at most 1, the algebraic rank matches, and \Sha is finite.^[43] For abelian varieties with complex multiplication (CM), stronger results are available. The full weak BSD conjecture is proven for CM elliptic curves over \mathbb{Q} (dimension-1 CM abelian varieties) in many cases, particularly when the endomorphism ring provides additional Galois structure to control the Selmer groups via Iwasawa theory. Rubin (1991) established the refined BSD for rank-0 CM elliptic curves, showing that the leading term matches the formula involving \Sha and the regulator. These methods extend to higher-dimensional CM abelian varieties using Heegner points and equivariant Euler systems, confirming the rank parity and finiteness of \Sha under Heegner hypothesis assumptions.^[44] As of 2025, the full conjecture remains open for general abelian varieties over \mathbb{Q}. Despite these advances, significant challenges persist. The conjecture remains open for non-modular abelian varieties, where the lack of modularity obstructs the use of L-functions from automorphic forms to construct points or bound \Sha.^[28] Moreover, in higher dimensions, controlling the size and structure of \Sha—which can have non-trivial higher-rank components—is particularly difficult, as numerical evidence suggests \Sha may not always be finite without additional hypotheses. In the 1990s, Poonen and Rubin contributed to refined aspects for certain Jacobians of modular curves by developing criteria for the Cassels-Tate pairing on Selmer groups, aiding verifications of the leading term formula in low-genus cases.^[45]

Variants over Function Fields

The Birch and Swinnerton-Dyer (BSD) conjecture admits natural analogues over global function fields, such as k(t) where k = \mathbb{F}_q is a finite field, benefiting from powerful geometric tools unavailable in the number field setting. For an elliptic curve E over k(t), the associated L-function L(E, s) is the Hasse-Weil zeta function, constructed from the eigenvalues of Frobenius acting on the étale cohomology of the associated elliptic surface over the projective line. The conjecture posits that the order of the zero of L(E, s) at s=1 equals the rank of the Mordell-Weil group E(k(t)).^[2] This formulation mirrors the number field case but leverages the geometry of the curve's minimal model to define the L-function explicitly. A key result is due to Artin and Tate, who proved that the order of the zero at s=1 equals the Mordell-Weil rank, establishing the weak BSD over function fields.^[2] For the refined BSD, which predicts the precise leading coefficient involving the regulator, Tamagawa numbers, and the order of the Tate-Shafarevich group \Sha(E/k(t)), progress has been made using analogues of the Bloch-Kato conjecture on special L-values. In particular, for certain families of elliptic curves over function fields, the prime-to-p part (where p = \mathrm{char}(k)) of the refined BSD holds, connecting Galois cohomology and étale cohomology via geometric methods.^[46] Over function fields, \Sha(E/k(t)) is always finite, avoiding the finiteness issues central to the number field conjecture.^[28] Drinfeld modules provide a characteristic-p analogue of elliptic curves over \mathbb{F}_q(t), with their own L-functions derived from Frobenius actions on associated motives or Galois representations. For a rank-2 Drinfeld module E over a ring R \subset \mathbb{F}_q(t), the BSD analogue provides a formula for the special value L(E/R) involving the exponential map and a finite module H(E/R) analogous to \Sha, yielding function field versions of both the class number formula and the full BSD.^[47] This has been established in explicit forms. In this setting, the geometric analogue of the Tate-Shafarevich group is often captured by the Brauer-Manin obstruction on the Néron model or related varieties, which provides a computable obstruction to rational points using the Brauer group of the function field. This obstruction frequently explains the structure of \Sha and is amenable to explicit calculation via descent theory over finite fields.^[48] These variants have applications in arithmetic geometry over finite fields, such as determining rational points on curves arising from dynamical systems like iterations of quadratic polynomials, where BSD for the Jacobian yields bounds on orbit sizes and periodic points.^[49] Recent advances, including post-2020 developments in the geometric Langlands program via the geometric Satake equivalence, connect these BSD analogues to automorphic forms over function fields, potentially enabling proofs for broader families through shtuka cohomology.^[50] Parallel developments extend these ideas to abelian varieties over function fields, where refined BSD formulations incorporate higher-dimensional regulators. As of 2025, full proofs remain limited to specific cases.^[51]

References

[1]
Birch and Swinnerton-Dyer Conjecture - Clay Mathematics Institute
Supported by much experimental evidence, this conjecture relates the number of points on an elliptic curve mod p to the rank of the group of rational points.
[2]
[PDF] THE BIRCH AND SWINNERTON-DYER CONJECTURE
A polynomial relation f(x, y) = 0 in two variables defines a curve C0. If the coefficients of the polynomial are rational numbers, then one can ask for ...
[3]
[PDF] Joseph H. Silverman - The Arithmetic of Elliptic Curves
In the preface to the first edition of this book I remarked on the paucity of intro- ductory texts devoted to the arithmetic of elliptic curves. That ...
[4]
[PDF] Joseph H. Silverman John T. Tate Second Edition
Chapter 5 deals with integer points on elliptic curves. Section 5.2 is loosely based on an IAP undergraduate lecture given by the first author at MIT in 1983.<|separator|>
[5]
[PDF] Rational isogenies of prime degree - Columbia Math Department
Mazur. 18. Mazur, B.: Rational points on modular curves. Proceedings of a conference on modular functions held in Bonn 1976. Lecture Notes in Math., 601 ...
[6]
[PDF] LECTURE 24: FROM ZETA TO L-FUNCTIONS - Vanderbilt University
We've shown that modular forms have an Euler product if and only if they're eigenforms, and elliptic curve L-functions are defined as Euler prod- ucts. So ...
[7]
[PDF] on the modularity of elliptic curves over q: wild 3-adic exercises.
ON THE MODULARITY OF ELLIPTIC CURVES OVER Q: WILD 3-ADIC EXERCISES. CHRISTOPHE BREUIL, BRIAN CONRAD, FRED DIAMOND, AND RICHARD TAYLOR. Introduction. In this ...
[8]
Elliptic curves and modular forms by Benedict H. Gross
Dyer conjectured that the order of vanishing of L(E, s) at the point s 1 is equal to the rank r. Aided by Cassels and Tate, they also gave an arithmetic.
[9]
[PDF] RANK OF ELLIPTIC CURVES AND THE BIRCH SWINNERTON ...
Thus we can speak of the behaviour of the function at s = 1. If the order of vanishing3 of L(E, 1) is r, then we say the elliptic curve E has analytic rank r ...
[10]
[PDF] The Birch and Swinnerton-Dyer Conjecture, a Computational ...
“I want to describe some computations undertaken by my- self and Swinnerton-Dyer on EDSAC by which we have calculated the zeta-functions of certain elliptic ...Missing: origins | Show results with:origins
[11]
Notes on elliptic curves. I. - EuDML
Swinnerton-Dyer, H.P.F., and Birch, B.J.. "Notes on elliptic curves. ... John Tate, On the conjectures of Birch and Swinnerton-Dyer and a geometric analog ...Missing: 1961 EDSAC
[12]
[PDF] Birch-Conjectures_Concerning_Elliptic_Curves.pdf
1. B. J. Birch and H. P. F. Swinnerton-Dyer, Notes on elliptic curves. I, J. Reine Angew. Math. 212(1963), 7 ...
[13]
Notes on elliptic curves. II. - EuDML
Swinnerton-Dyer, H.P.F., and Birch, B.J.. "Notes on elliptic curves. II.." Journal für die reine und angewandte Mathematik 218 (1965): 79-108.Missing: 1961 EDSAC
[14]
On the conjecture of Birch and Swinnerton-Dyer
In this section, we prove a number of results on fields of division points on E, which seem to be fairly welt known, but for which we have been unable to find ...
[15]
[PDF] A Survey of Results Concerning the Birch and Swinnerton-Dyer ...
Feb 23, 2004 · Conjecture 3.2 (Refined BSD). the leading coefficient in the expansion of L(E/F, s) about s = 1 is equal to. 1 r. L(r)(E/F,1) = |Ш|Rτ. |E(F) ...<|control11|><|separator|>
[16]
[PDF] Elliptic Curves over Q - Hyperelliptic org
Sep 16, 2008 · The set of all points with finite order is a subgroup of the group of points. It is called the torsion subgroup of E. Similarly, the group of ...
[17]
Structure of Tate-Shafarevich groups of elliptic curves over global ...
Feb 5, 2016 · The definition of the Tate–Shafarevich groups provides a commutative diagram with exact rows: 0 → Ш(E/F. )Gal(F. /F ) → H1(F. ,E)Gal(F. /F ) ...
[18]
[PDF] Small Tamagawa numbers of elliptic curves with isogenies or torsion
May 26, 2025 · We define the (global) Tamagawa number of E/Q as c(E) := Qp cp(E), where the product is taken over all the primes of bad reduction of E/Q.
[19]
[PDF] Heegner points and derivatives of <Emphasis Type="Italic">L ...
computations in this paper, will be given in a later paper; the simplest case, ... Gross, B., Zagier, D.: On singular moduli. J. Reine Angew. Math. 355, 19l ...Missing: URL | Show results with:URL
[20]
https://www.maths.nottingham.ac.uk/plp/pmzcw/download/shark.pdf
[21]
[PDF] Binary quartic forms having bounded invariants, and the ...
Dec 22, 2013 · We use these counting results to prove that the average rank of elliptic curves over Q, when ordered by their heights, is bounded. In particular ...
[22]
https://mathweb.ucsd.edu/~kedlaya/ants10/bober/paper.pdf
[23]
[PDF] on the 2-part of the birch and swinnerton-dyer conjecture for ...
In this section, we will prove that the 2-part of the Birch–Swinnerton-Dyer conjecture holds for some certain families of the quadratic twists of elliptic ...
[24]
[PDF] Computing Tate-Shafarevich Groups of Elliptic Curves Using ...
May 3, 2011 · The computability of the upper bound on #Ш(E/Q)(p) relies on several conjectures, such as the finiteness of Ш(E/Q)(p) and Conjectures 4.1 and ...
[25]
Recent progress toward Birch and Swinnerton-Dyer conjecture
May 26, 2017 · No, the conjecture is still wide open for rank r≥2. The closest thing to progress is the work of Bhargava and Shankar that quantifies the rank 0 case.Proven results for the refined Birch Swinnerton-Dyer conjecture over ...The current status of the Birch & Swinnerton-Dyer ConjectureMore results from mathoverflow.net
[26]
[PDF] conditionally bounding analytic ranks of elliptic curves - UCSD Math
Assuming BSD and GRH, En has rank exactly n for n = 20, 21, 22,. 23, and 24, while E28 has rank 28 or 30. Remark 1.2. Around the time that I was writing this ...
[27]
[PDF] Numerical evidence for the Birch–Swinnerton-Dyer conjecture
May 4, 2011 · Introduction and statement of the Birch–Swinnerton-Dyer (BSD) ... (The statement is more precise, as we will see later.) For no curve ...<|control11|><|separator|>
[28]
The Elkies curve has rank 28 subject only to GRH
This provides new evidence that the rank portion of the BSD conjecture holds for elliptic curves over of very high rank.Missing: implications continuation
[29]
[PDF] Numerical Investigations of The Sign Parity Conjecture for Elliptic ...
Feb 2, 2002 · Abstract. It is conjectured that in a family of elliptic curves, in the limit, the sign of the functional equation of a curve in the family ...
[30]
High-Precision Numeric Evaluation of the Birch and Swinnerton ...
Sep 18, 2025 · Description: This project provides a high-precision numeric evaluation of the Birch and Swinnerton-Dyer (BSD) Conjecture for selected elliptic ...Missing: post- 2020 leading coefficient
[31]
Computational verification of the Birch and Swinnerton-Dyer ...
We describe theorems and computational methods for verifying the Birch and Swinnerton-Dyer conjecture for specific elliptic curves over Q. We apply our ...Missing: BSD Sha computable cases 2020-2025
[32]
[PDF] Lectures on the Conjecture of Birch and Swinnerton-Dyer
In these lectures, I will present the conjecture of Birch and Swinnerton-Dyer, for an elliptic curve E over a global field k. The first lecture studies various ...Missing: 1961 EDSAC
[33]
[PDF] arXiv:2203.12159v6 [math.NT] 14 May 2025
May 14, 2025 · The celebrated Birch and Swinnerton-Dyer (BSD) conjecture predicts that the rank of an elliptic curve E equals the vanishing order of the ...
[34]
From the Birch and Swinnerton-Dyer Conjecture to non-commutative ...
Apr 20, 2010 · There we had pointed out that the Iwasawa main conjecture for an elliptic curve is morally the same as the (refined) Birch and Swinnerton Dyer ( ...
[35]
[PDF] ON THE p-PART OF THE BIRCH–SWINNERTON-DYER FORMULA ...
In this note, following a slight modification of the methods of [JSW15], we use Iwasawa theory to establish the p-part of the Birch and Swinnerton-Dyer formula ...Missing: connection | Show results with:connection
[36]
[PDF] An introduction to the conjecture of Bloch and Kato
This result is an important part of the global Langlands program, and it has required an incredible amount of work along a sketch by Langlands, including the ...
[37]
[PDF] The Equivariant Tamagawa Number Conjecture: A survey
We give a survey of the equivariant Tamagawa number (a.k.a.. Bloch-Kato) conjecture with particular emphasis on proven cases. The only new result is a proof of ...
[38]
[PDF] An introduction to the equivariant Tamagawa number conjecture
In this last lecture we show that the equivariant Tamagawa number conjecture for the motive M = h1(E)(1) is equivalent to the Birch-Swinnerton-Dyer conjec- ture ...
[39]
[PDF] Elliptic Curves and Modularity - DPMMS
The modularity conjecture for elliptic curves over Q was stated with increasing degrees of precision by Taniyama, Shimura, and Weil in the 1950's and 60's.
[40]
[PDF] Heuristics on class groups and on Tate-Shafarevich groups
This paper sketches the Cohen-Lenstra philosophy in both cases of class groups and of Tate-Shafarevich groups. It is organized as follows: In the first section, ...Missing: original | Show results with:original
[41]
[PDF] heuristics for the arithmetic of elliptic curves - MIT Mathematics
Nov 30, 2017 · This is an introduction to a probabilistic model for the arithmetic of elliptic curves, a model developed in a series of articles of the author ...Missing: original | Show results with:original
[42]
[PDF] The Birch and Swinnerton-Dyer conjecture 1 Project description
For example, we can consider the solutions modulo 2 to the curve y2 = x3 − x: the only solutions are (x, y) = (0,0) and (1,0): (0,1) and (1,1) do not ...<|separator|>
[43]
[PDF] Elliptic Curve Cryptography: Invention and Impact
May 24, 2007 · Long history. Birch and Swinnerton-Dyer formulated their important conjecture ... Security dependent upon difficulty of solving: DHP: Given ...Missing: implications | Show results with:implications
[44]
[PDF] The Birch and Swinnerton-Dyer conjecture explained
These are notes for a hybrid course I taught as part of the Taught Course Centre (TCC). Com- ments, questions and suggestions for correction and clarification ...Missing: 1961 EDSAC
[45]
[PDF] EMPIRICAL EVIDENCE FOR THE BIRCH AND SWINNERTON ...
For modular abelian varieties associated to newforms whose L-series have analytic rank 0 or 1, the first Birch and Swinnerton-Dyer conjecture has been proven. ...
[46]
The conjecture of Birch and Swinnerton-Dyer for certain elliptic ...
We give a complete proof of the conjecture of Birch and Swinnerton-Dyer for E/F, as well as its equivariant refinement formulated by Gross, under the assumption ...
[47]
[PDF] On the Birch-Swinnerton-Dyer quotients modulo squares
Jul 1, 2010 · Based on this, we develop a method for determining the parity of various combinations of ranks of A over extensions of K. As one of the ...
[48]
On an Analogue of the Conjecture of Birch and Swinnerton-Dyer for ...
Jan 5, 2023 · Abstract. We formulate an analogue of the conjecture of Birch and. Swinnerton-Dyer for Abelian schemes with everywhere good reduc-.
[49]
https://www.ams.org/mcom/0000-000-00/S0025-5718-2023-03883-2/S0025-5718-2023-03883-2.pdf
[50]
[PDF] The Brauer-Manin obstruction for subvarieties of abelian varieties ...
Jul 20, 2008 · We prove that for a large class of subvarieties of abelian varieties over global function fields, the Brauer-Manin condition on adelic points ...Missing: BSD | Show results with:BSD
[51]
Dynamics of quadratic polynomials and rational points on a curve of ...
Jul 20, 2023 · We finally combine the information obtained from both proofs to provide a numerical verification of the strong BSD conjecture for J. 1.<|separator|>
[52]
Monumental Proof Settles Geometric Langlands Conjecture
Jul 19, 2024 · The Langlands program holds sway in three separate areas of mathematics: number theory, geometry and something called function fields. These ...Missing: Satake BSD
[53]
On a refinement of the Birch and Swinnerton-Dyer Conjecture ... - arXiv
May 9, 2018 · We formulate a refined version of the Birch and Swinnerton-Dyer conjecture for abelian varieties over global function fields.