Mathematics
The Hodge Conjecture for Smooth Projective Varieties
Quick fact
The Hodge conjecture is one of the Clay Millennium Prize Problems, yet it remains unproven even after decades of effort. It asserts that every Hodge class on a smooth projective variety can be expressed as a rational linear combination of algebraic cycles.
Why this is interesting
You might think that the shape of a geometric object is fully captured by its holes and tunnels. But what if some hidden structure, invisible to topology, could be traced back to something as tangible as curves and surfaces? That is the mystery at the heart of the Hodge conjecture.
Read the full explanation
Understanding The Hodge Conjecture for Smooth Projective Varieties
Imagine you have a smooth, compact shape, like a sphere or a donut, but in higher dimensions. These are called smooth projective varieties—they are defined by polynomial equations and have a rich geometric structure. To study such shapes, mathematicians use cohomology, a tool that assigns vector spaces to the shape, encoding information about its holes of various dimensions. For complex manifolds, these cohomology groups carry an extra structure called a Hodge decomposition, which splits them into components labeled by pairs of numbers (p,q). Certain combinations of these components give rise to what are called Hodge classes. Now, the conjecture says that every Hodge class must be a rational combination of classes coming from algebraic subvarieties—pieces of the shape that are themselves defined by polynomial equations. In other words, all such 'special' cohomology classes should have a geometric origin.
A deeper explanation
The Hodge conjecture is a statement about the boundary between what can be described by purely topological invariants and what has an underlying algebraic structure. To understand it, we must recognize that cohomology with complex coefficients decomposes into Hodge components, and the Hodge classes are those that live in the middle degree of this decomposition. The conjecture claims that these classes are generated by fundamental classes of algebraic subvarieties. This is known to be true for some classes, like divisors (codimension 1 subvarieties), which are captured by the Lefschetz (1,1)-theorem. But for higher codimensions, the conjecture is wide open. Its truth would imply deep connections between the algebraic and analytic worlds, and has implications for number theory, such as the existence of rational points on varieties. The conjecture is known to fail if we allow non-projective varieties or if we use integral combinations, which highlights its delicate nature. Thus, it marks a precise boundary between what is achievable and what remains mysterious.