Five volumes, 2,001 pages on the Langlands programme: a global arithmetic curve over Z, a geometry with a primitive trace, and a Main Conjecture of three equivalences and eight corollaries; 1,609 status-marked statements, 17 falsification tests, aletheia, a Lean 4 skeleton. Not a proof of the Langlands correspondence. DOI 10.5281/zenodo.23629681.
python open-access category-theory formal-verification number-theory monograph grothendieck arithmetic-geometry langlands-program lean4 condensed-mathematics prismatic-cohomology mathematical-ai galois-representations automorphic-forms ai-for-math six-functor-formalism categorical-trace fargues-fontaine-curve grothendieckian-programme
-
Updated
Oct 29, 2026 - Python