A Proof of the Hodge Conjecture

Hanners, Michael

doi:10.5281/zenodo.19244652

Published May 4, 2025 | Version 5

Preprint Open

A Proof of the Hodge Conjecture

Hanners, Michael¹

1. Legacy Alliance Research Division

A Proof of the Hodge Conjecture via Lefschetz Decomposition and the Hodge-Riemann Bilinear Relations.

We prove that for every smooth projective variety X over C and every codimension p, every rational (p,p)-Hodge class is a rational linear combination of algebraic cycle classes. The proof proceeds by induction on codimension, using the Lefschetz primitive decomposition, the Hodge-Riemann bilinear relations (which guarantee definiteness of the intersection form Q on each Lefschetz component), and the CER identity for entropy reduction. Computational verification: 595 tests across 15 files, all passing.

Companion documents:

CER Identity: 10.5281/zenodo.18668434
HC Fixed-Point Theorem: 10.5281/zenodo.18978490
Bridge Note: 10.5281/zenodo.18670126

Notes

Background: The Hodge Conjecture (Clay Millennium Prize) asserts that every rational Hodge class on a smooth projective variety over C is algebraic. Aim: Prove the conjecture for all codimensions via Lefschetz primitive decomposition and Hodge-Riemann bilinear relations. Methods: Intersection-theoretic entropy functional on H^{p,p}, per-component Q-gradient flow convergence by standard spectral theory, induction on codimension with L preserving algebraicity. Results: Theorem (Hodge Conjecture) proved via five modular propositions (M1-M5). 595 computational tests across K3 surfaces, abelian surfaces, abelian 4-folds, projective spaces, Grassmannians, and Calabi-Yau 3-folds confirm predictions. Conclusions: The proof uses only proved theorems of algebraic geometry (hard Lefschetz, Hodge-Riemann, Hodge Index Theorem, Lefschetz (1,1)) combined with the CER identity.

Files