Mathematics
The Hodge Conjecture and Its Relevance to Algebraic Geometry
Quick fact
The Hodge conjecture is one of the seven Millennium Prize Problems for which a correct solution would earn a one-million-dollar award, yet it remains unproven since it was formulated in 1941.
Why this is interesting
You've probably heard of the Poincaré conjecture, but there's another famous unsolved problem that asks a deceptively simple question: when can we describe the holes in a shape using equations? This is the Hodge conjecture, and it's been puzzling mathematicians for over seventy years.
Read the full explanation
Understanding The Hodge Conjecture and Its Relevance to Algebraic Geometry
To understand the Hodge conjecture, start with a smooth, complex, projective variety—think of it as a higher-dimensional shape defined by polynomial equations, like a curve or a surface. Such shapes have 'holes' of various dimensions, which are measured by a topological invariant called cohomology. The conjecture concerns a special type of these holes, called Hodge classes. These are cohomology classes that come from the complex structure, satisfying a certain symmetry condition. The conjecture says that every Hodge class can be obtained by intersecting algebraic subvarieties—that is, by taking intersections of lower-dimensional pieces that are themselves defined by polynomial equations. In other words, it asserts that the 'analytic' geometry of the space is fully captured by its 'algebraic' geometry.
A deeper explanation
The underlying principle is that algebraic cycles—formal sums of subvarieties—produce cohomology classes via their fundamental classes. The Hodge conjecture claims that on a smooth projective complex variety, the cohomology classes that are of Hodge type (p,p) are exactly the linear combinations of such fundamental classes. This is known to be false for arbitrary complex manifolds, and the conjecture has been proven only for certain cases, such as for divisors (classes of codimension one) and for some special varieties. The conjecture is deeply related to the algebraicity of cohomology, and it connects to arithmetic questions, mirror symmetry, and the geometry of motives. Despite extensive efforts, a full proof remains elusive, making it a central open problem in mathematics.