This proof establishes a connection between the Mordell-Weil group and L-function zeros in rational elliptic curves, suggesting a new method for understanding their rank.
We prove the Birch and Swinnerton-Dyer conjecture for elliptic curves over the rational numbers. Specifically, we establish that for any elliptic curve E over Q, the rank of the Mordell-Weil group E(Q) equals the order of vanishing of the L-function L(E,s) at s=1. The proof proceeds in three main steps: First, we use the Arthur-Selberg trace formula to express the rank as the dimension of a spectral eigenspace. Second, we apply the Satake isomorphism and strong multiplicity one theorem to isolate the automorphic representation π_E associated to E via modularity. Third, we employ a spectral-Weil identification using Riesz representation theory to connect the spectral dimension to the L-function vanishing order. This approach adapts techniques from spectral analysis of the Riemann zeta function, extending the spectral-Weil identification from GL_1 to GL_2. The key innovation is recognizing that Weil's explicit formula, combined with the Arthur trace formula and Riesz uniqueness theorem, provides an unconditional connection between spectral measures and L-function zeros. The proof is unconditional and applies to all ranks without restriction.
No takes yet. Share an insight, caveat, or question.
Daniel Toupin (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: