On the Hodge conjecture for Fermat varieties

LaTeX source (amsart, figures as PNG), compiled PDF and verification code for the paper On the Hodge conjecture for Fermat varieties by Deep Bhattacharjee. The paper proves the Hodge conjecture for the Fermat varieties of degrees 44 and 114 in every dimension, and more generally of every degree 2a11b and every degree 2a3b19c with a ≤ 1, together with their products and the abelian varieties of Fermat type of these degrees. For degrees divisible by 44 the theorem had not been proved before: the 2026 preprint of Miranda, Movasati, Rufino and Villaflor treats every degree below 65 except 44, 51 and 52. For degrees divisible by 57 it is the first proof that does not rest on a statement of Kang whose proof has a gap; for 114, 171, 342, 513 and the other multiples of 57 other than 57 itself, the theorem had not been stated before. Aoki's reduction leaves one class in each of the degrees 114 and 44. In degree 114 it is the join of two characters of the Fermat threefold; in degree 44 it is the join of a character of the Fermat threefold and one of the Fermat curve, a multiset of eight residues with one residue of order 11, and no balanced multiset of four or six residues modulo 44 has this property. The relevant pieces of H3 are shown to be carried by curves, through families of curves on the threefold and a residue formula for the derivative of their Abel–Jacobi maps, extending Peterson's method for degree 35. One residue is computed by hand; the other two, for families of degrees 24 and 11, are certified to be nonzero by interval arithmetic (Arb), the only computer-assisted steps of the paper. The paper also proves the Hodge conjecture for Fermat fourfolds of every odd degree, determines which combinations of the standard statements around the Hodge conjecture imply it, proves the conjecture for every Fermat variety under the recently claimed Hodge conjecture for CM abelian varieties, and extracts from Schoen's cycles one subvariety whose semiregularity would settle the split Weil families over Q(√−3) in every dimension. The Hodge conjecture itself is not proved. paper/ holds the source and paper/main.pdf; scripts/build_paper.sh builds the PDF, a tex.zip and an arXiv tarball that compiles with pdflatex alone. verification/ re-checks the finite steps in Python, Julia, C, Lean 4 (core and Mathlib) and Macaulay2, holds the interval certificates for the families of degrees 114 and 44 (python-flint), and checks every reference online. Author contact: [email protected], [email protected]. Affiliation: Formerly, Electro-Gravitational Space Propulsion Laboratory (EGSPL), Bhubaneswar, Odisha 751030, India.