Hodge conjecture

Hodge conjecture
Tazerenix · CC BY-SA 4.0 · source
Name	Hodge conjecture
Field	Algebraic geometry, Complex geometry, Topology
Proposed by	William Vallance Douglas Hodge
Year	1950
Status	Open problem
Related	Poincaré conjecture, Riemann hypothesis, Birch and Swinnerton-Dyer conjecture, Tate conjecture

Hodge conjecture is a major unsolved problem in Algebraic geometry and Topology concerning the relationship between analytic and algebraic cycles on complex projective varieties. Formulated in the mid-20th century by William Vallance Douglas Hodge following work on Hodge theory and Hodge decomposition, the conjecture predicts that certain topological cohomology classes arise from algebraic subvarieties. It is one of the seven Millennium Prize Problems posed by the Clay Mathematics Institute.

Statement

The conjecture asserts that for a smooth projective variety X over the complex numbers and for each integer p the rational Hodge classes in H^{2p}(X, Q) are linear combinations with rational coefficients of classes of algebraic cycles of codimension p. This statement connects the Hodge decomposition on singular cohomology, the notion of Hodge classes coming from the decomposition H^{k}(X, C) = ⊕_{p+q=k} H^{p,q}(X), and the cycle class map from the Chow group to cohomology. Equivalent formulations involve the comparison between the image of the cycle class map and the subspace H^{p,p}(X) ∩ H^{2p}(X, Q). The conjecture is independent of the choice of projective embedding and is formulated for complex projective manifolds such as K3 surface, Abelian variety, and Calabi–Yau manifold.

Historical development

The origins trace to work by Hodge theory initiated by William Vallance Douglas Hodge in the 1930s and 1940s, building on earlier contributions by Élie Cartan and Kunihiko Kodaira. Important milestones include the formulation by Hodge in his 1950 book and subsequent clarifications by Phillip Griffiths and Pierre Deligne. Partial verifications and counterexamples in related environments were developed by Alexander Grothendieck, whose language of schemes and motives reframed the problem, and by John Tate, who proposed the Tate conjecture over finite fields. Work by Claire Voisin in the late 20th and early 21st centuries produced notable conditional results and constructed examples that limit naive strengthenings. The conjecture’s status as a Millennium Prize Problems item since 2000, promoted by the Clay Mathematics Institute, has focused attention across communities including researchers at Institut des Hautes Études Scientifiques, Harvard University, University of Cambridge, and Princeton University.

Key concepts and background

Key inputs include Hodge decomposition, the theory of Kähler manifolds developed by Kodaira and Shafarevich, and intersection theory on projective varieties formalized by Jean-Pierre Serre and Samuel Eilenberg. Algebraic cycles are organized by Chow groups and higher K-theory as advanced by Alexander Grothendieck and Daniel Quillen. The comparison between singular cohomology and algebraic de Rham cohomology was clarified through work of Pierre Deligne and the development of mixed Hodge structures. The notion of rational Hodge classes requires interplay with Galois group actions and with conjectural categories of motives envisioned by Grothendieck and developed further by Jannsen and André. Examples where the conjecture is tractable include complex projective space, certain Abelian varietys treated via theorems of Lefschetz and Mumford–Tate group theory, and low-dimensional varieties like K3 surfaces.

Known results and partial progress

The conjecture is known in several special cases: for divisors (codimension 1) by the Lefschetz (1,1) theorem and for degree-2 cohomology via work of Hodge and Lefschetz; for certain classes of Abelian varietys by results of A. Weil and R. P. Langlands-related approaches; for some low-dimensional families such as surfaces with specific Picard numbers studied by Shioda and Inose; and for some product varieties and complete intersections by techniques due to Griffiths and Green. Deligne’s results on Hodge cycles and absolute Hodge classes provide conditional advances using l-adic cohomology and comparison theorems with etale cohomology. Voisin produced significant progress and crucial negative evidence for stronger integral or variational versions by constructing examples on hyperkähler manifolds and threefolds where naive generalizations fail.

Counterexamples in related settings

While the conjecture remains open for complex projective varieties, counterexamples exist when hypotheses are weakened. For nonprojective Kähler manifolds, Zucker and others produced examples violating the predicted algebraicity of Hodge classes. Voisin provided explicit families of compact Kähler manifolds and hyperkähler varieties where integral Hodge classes are not algebraic, and she showed failures of naive extensions to higher codimension in certain degenerations. Over finite fields the analogous Tate conjecture has distinct behavior with both positive results and deep open cases; Grothendieck’s standard conjectures and known failures in naive analogues illustrate delicate arithmetic differences.

Approaches and techniques

Techniques span transcendental and arithmetic methods: Hodge theory, variations of Hodge structure studied by Phillip Griffiths, degenerations examined via Schmid’s nilpotent orbit theorem, and mixed Hodge structures developed by Deligne. Algebraic cycle techniques use Chow groups, intersection theory from Fulton’s formalism, and higher regulators from Beilinson and Bloch. Arithmetic approaches invoke l-adic cohomology, the Shimura variety machinery of Deligne and Mumford, and motivic frameworks proposed by Grothendieck and pursued by Voevodsky and Jannsen. Analytic and differential-geometric methods draw on results about Kähler metrics, moduli spaces studied at Institut des Hautes Études Scientifiques and Centre national de la recherche scientifique, and techniques from mirror symmetry developed by Kontsevich.

Open problems and implications

Central open problems include establishing the conjecture for threefolds and higher-dimensional Calabi–Yau manifolds, clarifying the relationship with the Tate conjecture over number fields, and constructing a satisfactory theory of motives that would imply or reframe the conjecture. A proof or disproof would have deep consequences across Algebraic geometry, Number theory, and complex geometry, impacting the understanding of moduli spaces, periods of algebraic varieties, and the structure of cohomology theories. The problem continues to motivate work at institutions such as Institute for Advanced Study, University of Paris, Massachusetts Institute of Technology, and international collaborations reflected at conferences like the International Congress of Mathematicians.

Category:Algebraic geometry conjectures