Four volumes, 571 pages on the Birch and Swinnerton-Dyer conjecture: Frobenius–Arakelov–Prismatic spaces, the Master Identity as one determinant line with two trivialisations, a proved conditional descent, twelve conjectures and fourteen obstructions. BSD remains open. Open access, DOI 10.5281/zenodo.23585887.
open-access elliptic-curves formal-verification number-theory monograph grothendieck arithmetic-geometry lean4 condensed-mathematics l-functions prismatic-cohomology birch-swinnerton-dyer mathematical-ai iwasawa-theory selmer-groups ai-for-math certified-computation euler-systems shtukas grothendieckian-programme
-
Updated
Oct 29, 2026 - Python