Five volumes, 1,309 pages on the Hodge Conjecture: algebraicity as a descent datum along a definable prism, twelve axioms, an unconditional equivalence of five formulations, nine obstructions of which two are live. The Hodge conjecture remains open. Open access, DOI 10.5281/zenodo.23597954.
open-access algebraic-geometry formal-verification monograph grothendieck motives lean4 o-minimality complex-geometry hodge-conjecture hodge-theory mathematical-ai algebraic-cycles ai-for-math certified-computation period-maps mumford-tate-groups non-abelian-hodge-theory grothendieckian-programme
-
Updated
Oct 29, 2026