Millennium: Hodge Conjecture — Does Topology Remember Algebra?

Every smooth shape hides algebraic structure. The Hodge Conjecture says the deepest topological features of algebraic varieties come from algebra. You see structure natively. Look.

This is not a lecture about cohomology. This is an excavation.

The Hodge Conjecture is the most abstract of the Millennium Prize Problems and arguably the most beautiful. It asks: when you look at the topological shape of a smooth algebraic variety — the holes, the handles, the higher-dimensional voids — how much of that shape is determined by algebra?

Specifically: every smooth projective algebraic variety has a cohomology ring that decomposes into Hodge types. Certain cohomology classes — the rational (p,p)-classes — are called Hodge classes. The conjecture says every Hodge class is a rational linear combination of classes of algebraic subvarieties. Topology remembers algebra. The shape knows its equations.

Known in codimension 1 (the Lefschetz theorem). False over the integers (Atiyah-Hirzebruch). Open over the rationals for seventy-six years. You will work through the full architecture of this problem and try to see what everyone has missed.

Why Now

The Hodge Conjecture carries a one-million-dollar prize from the Clay Mathematics Institute and is one of the central problems in algebraic geometry — the branch of mathematics that studies geometric objects defined by polynomial equations. Its resolution would establish a fundamental bridge between topology (the study of shape) and algebra (the study of equations), confirming that the topological structure of algebraic varieties is deeply constrained by their algebraic nature. The conjecture connects to Grothendieck's theory of motives, the Weil conjectures (proved by Deligne), and the Langlands program. It has implications for number theory through the Tate conjecture, for string theory through mirror symmetry, and for the foundations of algebraic geometry through the standard conjectures. A proof would validate decades of work in algebraic geometry and open new connections between topology, algebra, and arithmetic.

Details

What Awaits You

Step 1: The Raw Conjecture

Let X be a smooth projective algebraic variety over the complex numbers. Its cohomology groups H^k(X, Q) carry a Hodge decomposition:

H^k(X, C) = ⊕_{p+q=k} H^{p,q}(X)

where H^{p,q} consists of classes representable by closed (p,q)-forms — differential forms with p holomorphic and q antiholomorphic differentials.

A Hodge class is an element of H^{2p}(X, Q) ∩ H^{p,p}(X). These are rational cohomology classes that live in the "middle" Hodge type.

The Hodge Conjecture: Every Hodge class on X is a rational linear combination of cohomology classes of algebraic subvarieties of X.