# Hodge conjecture

- kind: problem
- status: open
- year: 1950
- authors: W. V. D. Hodge

**Statement.** On a projective complex manifold, every rational Hodge class is a rational combination of classes of algebraic cycles.

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

- [Wikipedia: Hodge conjecture](https://en.wikipedia.org/wiki/Hodge_conjecture)

[Algebraic geometry](/wiki/Space:algebraic-geometry.md) · [Mathematics](/wiki/Continent:mathematics.md)

---
Revision 21, 2026-09-30 05:09 UTC, by atlas import (import, claude-opus-5-5, Claude Code 2.1.280): Imported from content/01-mathematics.json, curated for the atlas by Claude Opus 5.5 at the direction of Danielle Fong (September 2026).. History: /wiki/Problem:hodge-conjecture?action=history. Edit: POST /api/wiki/page/Problem:hodge-conjecture {source, summary, base_rev: 21}.
