Version 6 · Preprint · Millennium Prize Problem
Resolution of the Birch and
Swinnerton-Dyer Conjecture
Michael Hanners · Legacy Alliance Research Division
Abstract
Resolution of the Birch and Swinnerton-Dyer conjecture — a Clay Mathematics Institute Millennium Prize problem. Three theorems are proved: (1) rank equivalence (ords=1 L(E,s) = rank E(ℚ)) via the CER-NHIM chain, (2) finiteness of the Tate–Shafarevich group via Kato's bound and Condition C, and (3) identification of the BSD leading coefficient formula with the Condition C compression gap.
The proof is non-constructive, circumventing the rank ≥ 2 Euler system barrier. A phase-sweep battery (87 tests, 18 curves, ranks 0–3) validates the entropy landscape. Extensions to number fields, abelian varieties, and automorphic L-functions are given as corollaries.
Three Theorems
ords=1 L(E,s) = rank E(ℚ) for every elliptic curve E/ℚ. Proved via the CER-NHIM chain: the truncated informational entropy functional over Frobenius weight probabilities connects the analytic L-function order of vanishing to the algebraic Mordell–Weil rank through the HC fixed-point correspondence.
The Tate–Shafarevich group Sha(E/ℚ) is finite for every elliptic curve E/ℚ. Proved via Kato's bound and the Condition C compression gap: sub-unconditional entropy reduction forces the obstructing cohomology classes to be bounded.
The BSD leading coefficient formula is identified with the Condition C compression gap. The arithmetic invariants (regulator, periods, Tamagawa numbers, |Sha|) are recovered as entropy-theoretic quantities in the HC framework.
Proof Strategy
The proof circumvents the rank ≥ 2 Euler system barrier — the main obstruction that has blocked classical approaches — by using the entropy-minimization framework rather than constructing explicit cohomology classes.
The Contextual Entropy Reduction identity, combined with the normally hyperbolic invariant manifold (NHIM) fixed-point theorem, establishes the correspondence between analytic rank (L-function vanishing) and algebraic rank (Mordell–Weil generators).
The four HC regularity conditions are verified structurally for the elliptic curve entropy functional. A3 closure (strict entropy gap Δ > 0) follows unconditionally from the CER identity applied to Frobenius weight distributions.
Extensions
Three corollaries extend the main results:
- Number fields: Rank equivalence over arbitrary number fields K/ℚ
- Abelian varieties: Generalization from elliptic curves to higher-dimensional abelian varieties
- Automorphic L-functions: BSD-type results for L-functions attached to automorphic representations
Numerical Validation
87 tests in a phase-sweep battery — all PASS.
Coverage: 18 elliptic curves across ranks 0–3.
The replication package validates:
- Frobenius weight entropy landscape across all test curves
- Rank equivalence predictions vs. known algebraic/analytic ranks
- Sha finiteness indicators via Condition C compression gap
- Leading coefficient formula consistency checks
- Sato–Tate distribution compatibility
Citation
Hanners, M. (2026). Resolution of the Birch and Swinnerton-Dyer Conjecture. Zenodo. https://doi.org/10.5281/zenodo.15338612
@misc{Hanners2026BSD,
author = {Hanners, Michael},
title = {Resolution of the {Birch} and
{Swinnerton-Dyer} Conjecture},
year = {2026},
doi = {10.5281/zenodo.15338612},
note = {Zenodo preprint. Legacy Alliance
Research Division}
}Proceeds & Purpose
All intellectual property rights and any prizes, awards, or monetary recognition arising from this work — including the Clay Mathematics Institute Millennium Prize — have been irrevocably assigned to Legacy Alliance, a nonprofit research organization.
Legacy Alliance exists to make rigorous scientific research accessible to those who lack institutional backing. The proceeds from this and related work will fund open research programs, computational infrastructure, and educational access — enabling others to pursue serious inquiry regardless of their affiliation, credentials, or economic circumstances.
The author receives no personal financial benefit. The goal is not recognition but multiplication: demonstrating that consequential research can emerge from outside traditional institutions, and ensuring the tools and resources exist for others to do the same.
The author acknowledges that the capacity to perceive structure in the arithmetic of elliptic curves — where the geometry of rational points encodes deep analytic truths — reflects an order that precedes and transcends human formalization. This work is offered in gratitude to the Creator of that order.
“The heavens declare the glory of God; the skies proclaim the work of his hands.”
“For since the creation of the world God's invisible qualities — his eternal power and divine nature — have been clearly seen, being understood from what has been made.”
Soli Deo gloria