The Hodge Conjecture
$1,000,000 USD
1950
William Vallance Douglas Hodge
Open
TL;DR
The Hodge Conjecture is the most technical of the Millennium Problems — hard even to state without prerequisites. In essence, it's about which shapes inside a complex geometric object can be described using polynomial equations.
Complex projective varieties — the study space of algebraic geometry — carry both algebraic structure (they're defined by polynomials) and geometric structure (they're smooth spaces with cohomology). Hodge theory decomposes their cohomology into pieces indexed by two integers. A specific piece, the "Hodge classes," ought morally to correspond to actual geometric subshapes cut out by polynomials — called algebraic cycles.
The conjecture: every Hodge class on a smooth complex projective variety is a rational linear combination of the cohomology classes of algebraic cycles.
If true, it would say the algebraic and topological pictures of these varieties align in the deepest possible way — geometric invariants "know" about algebraic structure. If false, it would reveal a fundamental separation between two pillars of modern geometry.
Formal statement
On a smooth complex projective variety, every Hodge class is a rational linear combination of cohomology classes of algebraic cycles.
Why it matters
The Hodge Conjecture sits at the intersection of algebraic geometry, complex analysis, and topology. A proof would validate the deepest connections between algebraic and topological methods and settle dozens of open questions across arithmetic geometry, string theory, and mirror symmetry.
History
W.V.D. Hodge developed the theory of harmonic integrals in the 1930s and 1940s, culminating in the Hodge decomposition theorem for compact Kähler manifolds. He stated the conjecture in his 1950 address to the International Congress of Mathematicians in Cambridge, Massachusetts.
Solomon Lefschetz had proved the conjecture for cohomology classes of type (1,1) — the "Lefschetz (1,1) theorem" — in the 1920s, which handles the case of divisors (codimension 1 subvarieties). This remains the strongest general result.
Alexander Grothendieck reformulated the conjecture in the language of motives and introduced generalizations. The Hodge Conjecture is now understood as one of several closely related conjectures about the interaction between algebraic and transcendental invariants — including the Tate Conjecture and the standard conjectures on algebraic cycles.
Current status of research
Proven in restricted cases:
- Divisors (Lefschetz, 1920s).
- Abelian varieties of low dimension.
- Certain classes of varieties with lots of symmetry.
Otherwise open. The general case has resisted every attack. Attiyah–Hirzebruch showed in 1962 that a natural integral (rather than rational) refinement fails — the conjecture must be stated rationally to have any chance.
Deligne developed the theory of mixed Hodge structures in the 1970s, extending Hodge theory beyond the projective case and providing tools that have been essential for progress on related conjectures, if not the main one.
Notable attempts
The Hodge Conjecture has attracted fewer public "proof attempts" than P vs NP or Riemann — the required background is prohibitive. Serious progress happens in small increments, often on specific classes of varieties, and typically at the level of PhD theses and specialised research papers rather than dramatic announcements.
What a resolution would mean
A proof would confirm that the Hodge decomposition is fundamentally algebraic in nature — a stunning bridge between topology and algebra. It would immediately imply parts of the Tate Conjecture (an arithmetic analog) and settle questions in mirror symmetry that are currently formulated conditionally.
A counterexample would force a re-examination of the boundary between algebraic and transcendental phenomena, potentially reshaping algebraic geometry.