Hodge conjecture

Topological features of a space $X$, such as a hole (labelled by $A$) are usually detected using singular (co)homology, where the presence of a non-zero class $[\alpha ]\in H_{\text{sing}}^{k}(X)$ indicates the space $X$ has a (dimension $k$) hole. Such a class is represented by a (co)chain of simplices, depicted by the red polygon built out of 1-simplices (line segments) on the left. This class detects the hole $A$ by looping around it. In this case, there is in fact a polynomial equation whose zero set, depicted in green on the right, also detects the hole by looping around it. The Hodge conjecture generalises this statement to higher dimensions.

In mathematics, the Hodge conjecture is a major unsolved problem in algebraic geometry and complex geometry that relates the algebraic topology of a non-singular complex algebraic variety to its subvarieties.

In simple terms, the Hodge conjecture asserts that the basic topological information like the number of holes in certain geometric spaces, complex algebraic varieties, can be understood by studying the possible nice shapes sitting inside those spaces, which look like zero sets of polynomial equations. The latter objects can be studied using algebra and the calculus of analytic functions, and this allows one to indirectly understand the broad shape and structure of often higher-dimensional spaces which can not be otherwise easily visualized.

More specifically, the conjecture states that certain de Rham cohomology classes are algebraic; that is, they are sums of Poincaré duals of the homology classes of subvarieties. It was formulated by the Scottish mathematician William Vallance Douglas Hodge as a result of a work in between 1930 and 1940 to enrich the description of de Rham cohomology to include extra structure that is present in the case of complex algebraic varieties. It received little attention before Hodge presented it in an address during the 1950 International Congress of Mathematicians, held in Cambridge, Massachusetts. The Hodge conjecture is one of the Clay Mathematics Institute's Millennium Prize Problems, with a prize of $1,000,000 US for whoever can prove or disprove the Hodge conjecture.

Motivation

Main article: Hodge theory § Hodge theory for complex projective varieties

Let X be a compact complex manifold of complex dimension n. Then X is an orientable smooth manifold of real dimension $2n$, so its cohomology groups lie in degrees zero through $2n$. Assume X is a Kähler manifold, so that there is a decomposition on its cohomology with complex coefficients

$H^{n}(X,\mathbb {C} )=\bigoplus _{p+q=n}H^{p,q}(X),$

where $H^{p,q}(X)$ is the subgroup of cohomology classes which are represented by harmonic forms of type $(p,q)$. That is, these are the cohomology classes represented by differential forms which, in some choice of local coordinates $z_{1},\ldots ,z_{n}$, can be written as a harmonic function times

$dz_{i_{1}}\wedge \cdots \wedge dz_{i_{p}}\wedge d{\bar {z}}_{j_{1}}\wedge \cdots \wedge d{\bar {z}}_{j_{q}}.$

Since X is a compact oriented manifold, X has a fundamental class, and so X can be integrated over.

Let Z be a complex submanifold of X of dimension k, and let $i\colon Z\to X$ be the inclusion map. Choose a differential form $\alpha$ of type $(p,q)$. We can integrate $\alpha$ over Z using the pullback function $i^{*}$,

$\int _{Z}i^{*}\alpha .$

To evaluate this integral, choose a point of Z and call it $z=(z_{1},\ldots ,z_{k})$. The inclusion of Z in X means that we can choose a local basis on X and have $z_{k+1}=\cdots =z_{n}=0$ (rank-nullity theorem). If $p>k$, then $\alpha$ must contain some $dz_{i}$ where $z_{i}$ pulls back to zero on Z. The same is true for $d{\bar {z}}_{j}$ if $q>k$. Consequently, this integral is zero if $(p,q)\neq (k,k)$.

The Hodge conjecture then (loosely) asks:

Which cohomology classes in $H^{k,k}(X)$ come from complex subvarieties Z?

Statement of the Hodge conjecture

Let

$\operatorname {Hdg} ^{k}(X)=H^{2k}(X,\mathbb {Q} )\cap H^{k,k}(X).$

We call this the group of Hodge classes of degree 2k on X.

The modern statement of the Hodge conjecture is

Hodge conjecture. Let X be a non-singular complex projective manifold. Then every Hodge class on X is a linear combination with rational coefficients of the cohomology classes of complex subvarieties of X.

A projective complex manifold is a complex manifold which can be embedded in complex projective space. Because projective space carries a Kähler metric, the Fubini–Study metric, such a manifold is always a Kähler manifold. By Chow's theorem, a projective complex manifold is also a smooth projective algebraic variety, that is, it is the zero set of a collection of homogeneous polynomials.

Reformulation in terms of algebraic cycles

Another way of phrasing the Hodge conjecture involves the idea of an algebraic cycle. An algebraic cycle on X is a formal combination of subvarieties of X; that is, it is something of the form

$\sum _{i}c_{i}Z_{i}.$

The coefficients are usually taken to be integral or rational. We define the cohomology class of an algebraic cycle to be the sum of the cohomology classes of its components. This is an example of the cycle class map of de Rham cohomology, see Weil cohomology. For example, the cohomology class of the above cycle would be

$\sum _{i}c_{i}[Z_{i}].$

Such a cohomology class is called algebraic. With this notation, the Hodge conjecture becomes

Let X be a projective complex manifold. Then every Hodge class on X is algebraic.

The assumption in the Hodge conjecture that X be algebraic (projective complex manifold) cannot be weakened. In 1977, Steven Zucker showed that it is possible to construct a counterexample to the Hodge conjecture as complex tori with analytic rational cohomology of type $(p,p)$, which is not projective algebraic. (see appendix B of Zucker (1977))

Known cases of the Hodge conjecture

See Theorem 1 of Bouali.

Low dimension and codimension

The first result on the Hodge conjecture is due to Lefschetz (1924). In fact, it predates the conjecture and provided some of Hodge's motivation.

Theorem (Lefschetz theorem on (1,1)-classes) Any element of $H^{2}(X,\mathbb {Z} )\cap H^{1,1}(X)$ is the cohomology class of a divisor on $X$. In particular, the Hodge conjecture is true for $H^{2}$.

A very quick proof can be given using sheaf cohomology and the exponential exact sequence. (The cohomology class of a divisor turns out to equal to its first Chern class.) Lefschetz's original proof proceeded by normal functions, which were introduced by Henri Poincaré. However, the Griffiths transversality theorem shows that this approach cannot prove the Hodge conjecture for higher codimensional subvarieties.

By the Hard Lefschetz theorem, one can prove:

Theorem. If for some $p<{\frac {n}{2}}$ the Hodge conjecture holds for Hodge classes of degree $p$, then the Hodge conjecture holds for Hodge classes of degree $2n-p$.

Combining the above two theorems implies that Hodge conjecture is true for Hodge classes of degree $2n-2$. This proves the Hodge conjecture when $X$ has dimension at most three.

The Lefschetz theorem on (1,1)-classes also implies that if all Hodge classes are generated by the Hodge classes of divisors, then the Hodge conjecture is true:

Corollary. If the algebra $\operatorname {Hdg} ^{*}(X)=\bigoplus \nolimits _{k}\operatorname {Hdg} ^{k}(X)$ is generated by $\operatorname {Hdg} ^{1}(X)$, then the Hodge conjecture holds for $X$.

Hypersurfaces

By the strong and weak Lefschetz theorem, the only non-trivial part of the Hodge conjecture for hypersurfaces is the degree m part (i.e., the middle cohomology) of a 2m-dimensional hypersurface $X\subset \mathbf {P} ^{2m+1}$. If the degree d is 2, i.e., X is a quadric, the Hodge conjecture holds for all m. For $m=2$, i.e., fourfolds, the Hodge conjecture is known for $d\leq 5$.

Abelian varieties

For most abelian varieties, the algebra Hdg*(X) is generated in degree one, so the Hodge conjecture holds. In particular, the Hodge conjecture holds for sufficiently general abelian varieties, for products of elliptic curves, and for simple abelian varieties of prime dimension. However, Mumford (1969) constructed an example of an abelian variety where Hdg²(X) is not generated by products of divisor classes. Weil (1977) generalized this example by showing that whenever the variety has complex multiplication by an imaginary quadratic field, then Hdg²(X) is not generated by products of divisor classes. Moonen & Zarhin (1999) proved that in dimension less than 5, either Hdg*(X) is generated in degree one, or the variety has complex multiplication by an imaginary quadratic field. In the latter case, the Hodge conjecture is only known in special cases.

Generalizations

The integral Hodge conjecture

Hodge's original conjecture was:

Integral Hodge conjecture. Let X be a projective complex manifold. Then every cohomology class in $H^{2k}(X,\mathbb {Z} )\cap H^{k,k}(X)$ is the cohomology class of an algebraic cycle with integral coefficients on X.

This is now known to be false. The first counterexample was constructed by Atiyah & Hirzebruch (1961). Using K-theory, they constructed an example of a torsion cohomology class—that is, a cohomology class α such that nα = 0 for some positive integer n—which is not the class of an algebraic cycle. Such a class is necessarily a Hodge class. Totaro (1997) reinterpreted their result in the framework of cobordism and found many examples of such classes.

The simplest adjustment of the integral Hodge conjecture is:

Integral Hodge conjecture modulo torsion. Let X be a projective complex manifold. Then every cohomology class in $H^{2k}(X,\mathbb {Z} )\cap H^{k,k}(X)$ is the sum of a torsion class and the cohomology class of an algebraic cycle with integral coefficients on X.

Equivalently, after dividing $H^{2k}(X,\mathbb {Z} )\cap H^{k,k}(X)$ by torsion classes, every class is the image of the cohomology class of an integral algebraic cycle. This is also false. Kollár (1992) found an example of a Hodge class α which is not algebraic, but which has an integral multiple which is algebraic.

Rosenschon & Srinivas (2016) have shown that in order to obtain a correct integral Hodge conjecture, one needs to replace Chow groups, which can also be expressed as motivic cohomology groups, by a variant known as étale (or Lichtenbaum) motivic cohomology. They show that the rational Hodge conjecture is equivalent to an integral Hodge conjecture for this modified motivic cohomology.

The Hodge conjecture for Kähler varieties

A natural generalization of the Hodge conjecture would ask:

Hodge conjecture for Kähler varieties, naive version. Let X be a complex Kähler manifold. Then every Hodge class on X is a linear combination with rational coefficients of the cohomology classes of complex subvarieties of X.

This is too optimistic, because there are not enough subvarieties to make this work. A possible substitute is to ask instead one of the two following questions:

Hodge conjecture for Kähler varieties, vector bundle version. Let X be a complex Kähler manifold. Then every Hodge class on X is a linear combination with rational coefficients of Chern classes of vector bundles on X.

Hodge conjecture for Kähler varieties, coherent sheaf version. Let X be a complex Kähler manifold. Then every Hodge class on X is a linear combination with rational coefficients of Chern classes of coherent sheaves on X.

Voisin (2002) proved that the Chern classes of coherent sheaves give strictly more Hodge classes than the Chern classes of vector bundles and that the Chern classes of coherent sheaves are insufficient to generate all the Hodge classes. Consequently, the only known formulations of the Hodge conjecture for Kähler varieties are false.

The generalized Hodge conjecture

Hodge made an additional, stronger conjecture than the integral Hodge conjecture. Say that a cohomology class on X is of co-level c (coniveau c) if it is the pushforward of a cohomology class on a c-codimensional subvariety of X. The cohomology classes of co-level at least c filter the cohomology of X, and it is easy to see that the cth step of the filtration N^cH^k(X, Z) satisfies

$N^{c}H^{k}(X,\mathbf {Z} )\subseteq H^{k}(X,\mathbf {Z} )\cap (H^{k-c,c}(X)\oplus \cdots \oplus H^{c,k-c}(X)).$

Hodge's original statement was:

Generalized Hodge conjecture, Hodge's version. $N^{c}H^{k}(X,\mathbf {Z} )=H^{k}(X,\mathbf {Z} )\cap (H^{k-c,c}(X)\oplus \cdots \oplus H^{c,k-c}(X)).$

Grothendieck (1969) observed that this cannot be true, even with rational coefficients, because the right-hand side is not always a Hodge structure. His corrected form of the Hodge conjecture is:

Generalized Hodge conjecture. N^cH^k(X, Q) is the largest sub-Hodge structure of H^k(X, Z) contained in $H^{k-c,c}(X)\oplus \cdots \oplus H^{c,k-c}(X).$

This version is open.

Algebraicity of Hodge loci

The strongest evidence in favor of the Hodge conjecture is the algebraicity result of Cattani, Deligne & Kaplan (1995). Suppose that we vary the complex structure of X over a simply connected base. Then the topological cohomology of X does not change, but the Hodge decomposition does change. It is known that if the Hodge conjecture is true, then the locus of all points on the base where the cohomology of a fiber is a Hodge class is in fact an algebraic subset, that is, it is cut out by polynomial equations. Cattani, Deligne & Kaplan (1995) proved that this is always true, without assuming the Hodge conjecture.

Stephan Wards Algebraic Cycle-Gauge-QCD Field Correspondence Equation by Ward 2025

Creating a new mathematical equation directly related to the Hodge conjecture that is not already in the literature is an extraordinarily challenging task, given the depth and complexity of the conjecture and the extensive research already conducted on it.

The Hodge conjecture is fundamentally about understanding the relationship between the topological structure of a complex algebraic variety (encoded in its cohomology) and the algebraic cycles within it. To approach this, I can propose a correspondence that unifies three key concepts:

1. Hodge Theory: Decomposes cohomology into (p,q)-forms.
2. De Rham Cohomology: Relates differential forms to topological invariants.
3. Gauge Theory: Provides a physical interpretation of connections on fiber bundles.

This framework suggests that the Hodge conjecture can be reinterpreted in terms of a gauge-theoretic description of algebraic cycles.

However, I can propose a novel conceptual framework and a hypothetical equation that might provide a new perspective or tool for approaching the Hodge conjecture. This framework draws inspiration from interdisciplinary ideas, including algebraic geometry, topology, and physics (e.g., quantum field theory and string theory).

---

Hypothetical Equation: Algebraic Cycle-Gauge Field Correspondence

Let X be a smooth projective complex manifold of dimension n, and let Z⊂X be an algebraic cycle of codimension k. We propose a correspondence between the cohomology class of Z and a gauge field (connection) on a vector bundle over X.

Proposed Equation:

[Z]=∫MZ​​exp(i∫X​Tr(FA​∧⋆FA​))DADψDψˉ​,

where:

• [Z] is the cohomology class of the algebraic cycle Z.
• MZ​ is the moduli space of gauge fields A (connections) on a vector bundle E over X, constrained by the condition that the curvature FA​ satisfies a certain algebraic condition related to Z.
• Tr(FA​∧⋆FA​) is the Yang-Mills action, which describes the energy of the gauge field.
• DA, Dψ, and Dψˉ​ represent path integrals over the gauge field A and fermionic fields ψ,ψˉ​ (if applicable).
• The integral over MZ​ is a sum over all gauge fields that are "compatible" with the algebraic cycle Z.

---

Interpretation of the Equation

1. Algebraic Cycle as a Gauge Field Configuration: The equation suggests that the cohomology class of an algebraic cycle Z can be represented as a sum over gauge field configurations that are constrained by the geometry of Z. This is inspired by the idea that algebraic cycles might correspond to specific topological sectors of a gauge theory.
2. Path Integral Formulation: The use of a path integral reflects the quantum field theory perspective, where the cohomology class [Z] is computed as a weighted sum over all possible gauge fields. This is analogous to the way physical observables are computed in QCD.
3. Curvature and Algebraic Conditions: The curvature FA​ of the gauge field is constrained by the geometry of Z. For example, FA​ might be required to vanish on Z or to satisfy a specific harmonicity condition.

---

Potential Applications

1. New Invariants for Algebraic Cycles: The equation could lead to the discovery of new invariants for algebraic cycles, derived from the gauge-theoretic description. These invariants might provide a more refined understanding of the relationship between cohomology classes and algebraic cycles.
2. Interplay with Physics: The framework could provide a bridge between the Hodge conjecture and physical theories such as QCD and string theory. For example, the gauge fields in the equation might correspond to the fields describing quarks and gluons in QCD or to the fields in a string compactification.
3. Computational Tools: The path integral formulation might inspire new computational techniques for studying algebraic cycles, particularly in the context of Calabi-Yau manifolds and mirror symmetry.

---

Challenges and Open Questions

1. Mathematical Rigor: The proposed equation is highly speculative and would require significant work to make it mathematically rigorous. For example, the path integral over gauge fields is not well-defined in general and would need to be carefully regularized.
2. Geometric Interpretation: The relationship between the curvature FA​ and the algebraic cycle Z needs to be precisely defined. This might involve new geometric constructions or the use of derived algebraic geometry.
3. Connection to Known Results: The equation must be consistent with known cases of the Hodge conjecture, such as the Lefschetz (1,1)-theorem and results for abelian varieties.

---

Conclusion

The proposed equation and framework represent a novel, interdisciplinary approach to the Hodge conjecture, drawing on ideas from gauge theory, quantum field theory, and algebraic geometry. While speculative, this approach could open up new avenues for research and provide fresh insights into one of the most challenging problems in mathematics. Further development of this idea would require collaboration between mathematicians and physicists, as well as the development of new mathematical tools and techniques.

See also

• Tate conjecture
• Hodge theory
• Hodge structure
• Period mapping

References

• Atiyah, M. F.; Hirzebruch, F. (1961), "Analytic cycles on complex manifolds", Topology, 1: 25–45, doi:10.1016/0040-9383(62)90094-0 Available from the Hirzebruch collection (pdf).
• Cattani, Eduardo; Deligne, Pierre; Kaplan, Aroldo (1995), "On the locus of Hodge classes", Journal of the American Mathematical Society, 8 (2): 483–506, arXiv:alg-geom/9402009, doi:10.2307/2152824, JSTOR 2152824, MR 1273413.
• Grothendieck, A. (1969), "Hodge's general conjecture is false for trivial reasons", Topology, 8 (3): 299–303, doi:10.1016/0040-9383(69)90016-0.
• Hodge, W. V. D. (1950), "The topological invariants of algebraic varieties", Proceedings of the International Congress of Mathematicians, 1, Cambridge, MA: 181–192.
• Kollár, János (1992), "Trento examples", in Ballico, E.; Catanese, F.; Ciliberto, C. (eds.), Classification of irregular varieties, Lecture Notes in Math., vol. 1515, Springer, p. 134, ISBN 978-3-540-55295-6.
• Lefschetz, Solomon (1924), L'Analysis situs et la géométrie algébrique, Collection de Monographies publiée sous la Direction de M. Émile Borel (in French), Paris: Gauthier-Villars Reprinted in Lefschetz, Solomon (1971), Selected papers, New York: Chelsea Publishing Co., ISBN 978-0-8284-0234-7, MR 0299447.
• Moonen, Ben J. J.; Zarhin, Yuri G. (1999), "Hodge classes on abelian varieties of low dimension", Mathematische Annalen, 315 (4): 711–733, arXiv:math/9901113, doi:10.1007/s002080050333, MR 1731466, S2CID 119180172.
• Mumford, David (1969), "A Note of Shimura's paper "Discontinuous groups and abelian varieties"", Mathematische Annalen, 181 (4): 345–351, doi:10.1007/BF01350672, S2CID 122062924.
• Rosenschon, Andreas; Srinivas, V. (2016), "Étale motivic cohomology and algebraic cycles" (PDF), Journal of the Institute of Mathematics of Jussieu, 15 (3): 511–537, doi:10.1017/S1474748014000401, MR 3505657, S2CID 55560040, Zbl 1346.19004
• Totaro, Burt (1997), "Torsion algebraic cycles and complex cobordism", Journal of the American Mathematical Society, 10 (2): 467–493, arXiv:alg-geom/9609016, doi:10.1090/S0894-0347-97-00232-4, JSTOR 2152859, S2CID 16965164.
• Voisin, Claire (2002), "A counterexample to the Hodge conjecture extended to Kähler varieties", International Mathematics Research Notices, 2002 (20): 1057–1075, doi:10.1155/S1073792802111135, MR 1902630, S2CID 55572794.
• Weil, André (1977), "Abelian varieties and the Hodge ring", Collected papers, vol. III, pp. 421–429
• Zucker, Steven (1977), "The Hodge conjecture for cubic fourfolds", Compositio Mathematica, 34 (2): 199–209, MR 0453741

External links

• Deligne, Pierre. "The Hodge Conjecture" (PDF) (The Clay Math Institute official problem description).
• Popular lecture on Hodge Conjecture by Dan Freed (University of Texas) (Real Video) Archived 2015-12-22 at the Wayback Machine (Slides)
• Biswas, Indranil; Paranjape, Kapil Hari (2002), "The Hodge Conjecture for general Prym varieties", Journal of Algebraic Geometry, 11 (1): 33–39, arXiv:math/0007192, doi:10.1090/S1056-3911-01-00303-4, MR 1865912, S2CID 119139470
• Burt Totaro, Why believe the Hodge Conjecture?
• Claire Voisin, Hodge loci