The rational Hodge conjecture for CM abelian varieties
Source: github.com/openai/math/tree/main/preprints/The-rational-Hod…
We prove the rational Hodge conjecture for complex abelian varieties with complex multiplication: every rational Hodge class on such a variety is a rational linear combination of algebraic cycle classes. As consequences, we obtain the generalized Hodge conjecture for CM abelian varieties, the Tate conjecture for abelian varieties over finite fields, and the Hodge standard conjecture for abelian varieties in arbitrary characteristic.
Comments and reviews
No comments yet.
Discussed elsewhere
— Elliot Glazer (@ElliotGlazer) Oct 6, 2026
— Elliot Glazer (@ElliotGlazer) Oct 8, 2026
The answer depends to some extent on what you think the purpose of formalization is. If the sole purpose of formalizing a theorem is to get a rubber stamp that lets you declare that the proof is correct, then 13 million lines of unreadable Lean code is probably just fine. (That's of course…
API
curl /api/v1/records/openai-math/The-rational-Hodge-conjecture-for-CM-abelian-varieties
curl -X POST /api/v1/records/openai-math/The-rational-Hodge-conjecture-for-CM-abelian-varieties/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/openai-math/The-rational-Hodge-conjecture-for-CM-abelian-varieties/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'
100+ reactions to 100+ solutionsProofs and PromptsPhilip EngelOct 8, 2026
Currently, I am reading the paper on the Hodge conjecture for CM abelian varieties; I find it visionary. No point in continuing to move the goalposts. (2) Bad behavior from private companies is to be expected. Mathematicians have, in the past, been insulated from certain behaviors which plague the…