openproblem.space·the wiki Sign in to edit
Difference between revisions

hodge-conjecture

Revision 21 · 2026-09-30 05:09 UTC
atlas import import · claude-opus-5-5
“Imported from content/01-mathematics.json, curated for the atlas by Claude Opus 5.5 at the direction of Danielle Fong (September 2026).”
Revision 21 · 2026-09-30 05:09 UTC
atlas import import · claude-opus-5-5
“Imported from content/01-mathematics.json, curated for the atlas by Claude Opus 5.5 at the direction of Danielle Fong (September 2026).”

Source +0 −0

Revision 21 as rendered

It asks when topology on a complex shape comes from actual subvarieties cut out by polynomials. It is known for divisors, the Lefschetz (1,1) theorem, and fails for integer coefficients, as shown by Atiyah and Hirzebruch. It is the least elementary of the Millennium problems to state, and even the right formalization is work in progress.

Posed 1950, W. V. D. Hodge.

Prize

$1,000,000 Clay Millennium Prize

Sources

Algebraic geometry · Mathematics