Overview

The Hodge conjecture asserts that for certain "nice" spaces called non-singular complex algebraic varieties, all Hodge classes (special cohomology classes) can be expressed as combinations of algebraic cycles (subvarieties). This conjecture bridges topology, algebraic geometry, and complex geometry, aiming to unify abstract cohomological data with concrete geometric objects. For example, in a complex projective space, hyperplane sections generate all Hodge classes, but in more complicated varieties, it is unclear whether such algebraic "building blocks" exist.

At its core, the conjecture hinges on the Hodge decomposition, a structure in cohomology that splits complex cohomology groups into subspaces $ H^{p,q} $. A Hodge class lies in $ H^{k,k} $ for some $ k $, and the conjecture states that these classes should correspond to algebraic subvarieties when the variety is projective. While the Lefschetz (1,1) theorem confirms this for $ k=1 $, the general case remains unproven.

History/Background

Proposed in 1950 by British mathematician William Vallance Douglas Hodge, the conjecture emerged from his work on harmonic forms and cohomology. Hodge presented it as a natural generalization of the Lefschetz theorem, which links divisors (codimension-1 subvarieties) to cohomology. The conjecture gained prominence in the 1960s as part of the broader effort to classify algebraic varieties using cohomological tools.

In 2000, the Clay Mathematics Institute designated the Hodge conjecture as one of its Millennium Prize Problems, offering a $1 million reward for its resolution. Over decades, partial progress has been made, such as Chad Schoen’s 1980 proof for abelian varieties with complex multiplication and Pierre Deligne’s work on absolute Hodge classes. However, the general case remains elusive, with no consensus on whether counterexamples might exist.

Key Information

- Statement: Every Hodge class on a non-singular complex projective variety is a rational linear combination of classes of algebraic cycles. - Mathematical Formulation: For a projective variety $ X $, the Hodge conjecture claims $ H^{2k}(X, \mathbb{Q}) \cap H^{k,k}(X) = \text{CH}^k(X) \otimes \mathbb{Q} $, where $ \text{CH}^k(X) $ is the Chow group of codimension-$ k $ cycles. - Partial Results: - Proven for $ \dim X \leq 3 $ (Lefschetz, Grothendieck). - Valid for abelian varieties of CM type (Schoen, 1980). - Challenges: Constructing explicit algebraic cycles or proving their nonexistence for specific Hodge classes.

Significance

The Hodge conjecture is foundational for understanding the interplay between topology and algebraic structure in complex geometry. A proof would revolutionize fields like string theory (where Calabi–Yau manifolds are studied) and motivic cohomology, while a counterexample would force a reevaluation of Hodge theory’s limits. It also influences the study of moduli spaces and mirror symmetry, connecting pure mathematics to theoretical physics.