🔢 mathematics

The Hodge conjecture for Fermat fourfolds of odd degree at most 199

This paper presents a computer-assisted proof establishing the Hodge conjecture for Fermat fourfolds of odd degree up to 199 by combining three geometric criteria with an exhaustive machine census of Hodge orbits that verifies algebraicity for all cases, including thirteen previously unresolved exceptional orbits.

Original authors: Rifat Jumagulov

Published 2026-08-20

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Rifat Jumagulov

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the vast landscape of modern mathematics, there is a deep and enduring puzzle concerning the hidden shapes that exist within complex geometric spaces. Imagine a space defined by a simple equation, yet containing a universe of intricate patterns and symmetries. Mathematicians have long suspected that certain special features within these spaces, known as Hodge classes, are not just abstract mathematical shadows but are actually built from tangible, geometric pieces called algebraic cycles. This idea, known as the Hodge conjecture, proposes a bridge between the smooth, continuous world of calculus and the discrete, countable world of algebra. While the conjecture has been proven for many simple cases, it remains one of the most difficult unsolved problems in mathematics for more complicated shapes. The specific shapes at the heart of this new work are called Fermat fourfolds, which are high-dimensional surfaces defined by a sum of powers. For decades, mathematicians have known the answer for shapes with even degrees or small odd degrees, but a large gap of odd-numbered degrees remained uncharted territory, leaving the truth of the conjecture uncertain for these specific forms.

The author has now filled this gap for a significant range of these shapes, proving that the conjecture holds true for every Fermat fourfold with an odd degree up to 199. To achieve this, the author did not rely on a single, sweeping theoretical argument. Instead, they combined three distinct geometric strategies with a massive, computer-assisted survey of the mathematical landscape. The first strategy involves looking at how a complex shape can be broken down into simpler parts, specifically checking if a pattern can be split into two groups that balance each other out perfectly. If such a split exists, the author showed that the hidden feature is guaranteed to be algebraic. The second strategy looks at shapes that can be understood by adding two specific, vanishing pairs of numbers to them, which then allows the shape to be recognized as a combination of known, standard building blocks. The third strategy is a clever workaround for a stubborn exception that appeared at the number 33; by lifting the problem to a higher level of complexity and then bringing the solution back down, they were able to prove its algebraic nature.

The core of this achievement is a comprehensive census of nearly 80,000 distinct mathematical patterns, or orbits, that appear across 89 different levels of complexity. The author wrote computer programs to examine every single one of these patterns to see if they fit into the known categories of algebraic shapes. They found that almost all of them were already known to be algebraic through previous methods. However, there were thirteen stubborn patterns that did not fit the old rules. For six of these, the new "split" strategy worked, revealing their algebraic nature. For the remaining seven, the "two-pair" or "level-lift" strategies provided the missing link. This included a famous, long-standing mystery at the number 33, which had resisted solution for years. By proving that these thirteen difficult cases are indeed algebraic, the author confirmed that the Hodge conjecture is true for all odd degrees up to 199.

The work also addressed a specific question about the nature of the solution for the number 33. A previous mathematician had proposed a specific geometric shape that might solve the problem, but this new research proved that such a shape cannot exist if it is defined over a specific, standard field of numbers. The author demonstrated that any valid solution for this case must involve a more complex field of numbers, effectively ruling out the simpler candidate that had been suggested. This was not just a theoretical exclusion; it was backed by precise calculations of how these shapes behave under specific mathematical operations, showing that the required properties simply do not exist in the simpler setting.

To ensure the results were beyond doubt, the author employed a rigorous system of verification. They did not just run one program; they built two completely different computer systems to perform the same census, and they also used a third, brute-force method to check the results for the smaller numbers. Every single one of the 78,299 patterns was assigned a certificate, a digital record that proves exactly why it is algebraic. For the thirteen difficult cases, these certificates were re-verified live during the writing of the paper, confirming that no hidden errors slipped through. The result is a complete and verified map of this mathematical territory, showing that for every odd degree up to 199, the hidden geometric features are indeed built from algebraic pieces. This work does not solve the entire Hodge conjecture for all possible shapes, but it closes a significant chapter, turning a large area of uncertainty into a confirmed fact and providing a clear, reproducible path for how these complex geometric truths can be discovered.

Technical Summary: The Hodge Conjecture for Fermat Fourfolds of Odd Degree at Most 199

Problem Statement
The paper addresses the Hodge conjecture for Fermat fourfolds $X^4_m = \{x_0^m + \dots + x_5^m = 0\} \subset \mathbb{P}^5$ where $m$ is an odd integer. Specifically, it seeks to prove that every rational Hodge $(2,2)$ -class on $X^4_m$ is algebraic (i.e., spanned by algebraic cycle classes). While the conjecture is known for small degrees ( $m \le 20$ ), prime degrees, and specific composite cases via the work of Shioda, Katsura, Aoki, and da Silva, a significant gap remained for composite non-square degrees divisible by 3 (e.g., $m=33, 39, 45, \dots$ ) up to $m=199$ . The primary challenge lies in identifying algebraic cycles for "gap classes"—Hodge characters that are neither decomposable, quasi-decomposable, nor standard (in the sense of Aoki's lattice calculus).

Methodology
The author employs a computer-assisted proof strategy combining exhaustive enumeration with three distinct geometric closure mechanisms. The methodology proceeds as follows:

Exhaustive Census: A machine census enumerates all Galois-orbit representatives of grade-3 Hodge $(2,2)$ characters for every odd $m$ in the range $21 \le m \le 199$ (excluding $m=23$ , which is classical). The census classifies 78,299 representatives, filtering them through known algebraicity criteria (decomposability, quasi-decomposability, and standard cycles).
Three Closure Mechanisms: For the orbits that survive the known criteria, the paper introduces and verifies three new algebraicity mechanisms:
- The $\ast$ -Split Criterion (Theorem 1.2): If a Hodge character's multiset splits into two zero-sum triples, the corresponding rational Hodge block is shown to be the image of a $(1,1)$ -substructure of a product of Fermat curves ( $X^1_m \times X^1_m$ ) under the Shioda–Katsura structure map. This transports algebraicity from divisors on the surface to the fourfold.
- The Two-Pair Standard Closure (Theorem 1.3): If a character, after adjoining two vanishing pairs, decomposes into an Aoki standard sextuple and a grade-2 Hodge quadruple, its algebraicity follows from Aoki's lattice calculus and the properties of linear cycles.
- Level-Lifted Closure (Theorem 1.4): For the exceptional case at $m=33$ , the unique non-quasi-decomposable, non-standard witness is lifted to level $m=66$ . At level 66, the lifted class admits a decomposition (via a self-paired element) that satisfies the conditions of Theorem 1.3. Algebraicity is then descended back to $m=33$ via the finite morphism $X^4_{66} \to X^4_{33}$ .
Verification and Reproducibility: The census is verified by three independent implementations:
- The primary algorithmic census.
- An algorithmically independent second implementation using a structured-array meet-in-the-middle approach.
- A direct brute-force enumeration (generating all sorted zero-sum sextuples) for $m \le 143$ .
- Per-orbit certificates are provided, including modular kernel witnesses and re-verifiable negative screenings for terminal orbits.

Key Results

Main Theorem (Theorem 1.1): The Hodge conjecture holds for the Fermat fourfold $X^4_m$ for every odd degree $3 \le m \le 199$ .
Classification of Gap Classes: The census identifies 13 orbits beyond the standard machinery.
- Six are closed by the $\ast$ -split criterion (including the first orbit at $m=39$ ).
- Three are closed by the two-pair standard closure (including $m=45$ and the $Q(\zeta_{21})$ orbit at $m=105$ ).
- One primitive orbit at $m=33$ (and its inflations at 99, 165) is closed via the level-lifted mechanism.
- The remaining orbits are shown to be inflations of these primitives.
Field of Definition Obstructions (Theorem 1.6 & Corollary 1.7): The paper provides an exact obstruction for the field of definition of the $m=33$ class. It proves that no algebraic cycle defined over $\mathbb{Q}(\zeta_{33})$ projects nontrivially onto the exceptional $m=33$ block. Specifically, the geometric Frobenius at primes above 67 acts by a primitive sixth root of unity. Consequently, any field $L$ over which a certifying cycle is defined must have a residue degree divisible by 6 at every prime above 67. This answers da Silva's Question 1 negatively: the candidate cycle defined over $\mathbb{Q}$ does not project onto this specific Hodge class.
Standard Cycles Identification: The paper establishes that Aoki's standard characters correspond exactly to the "AP family" (padded arithmetic-progression characters) for odd $m$ (Proposition 1.9).

Significance and Claims
The paper claims to provide the first complete proof of the Hodge conjecture for Fermat fourfolds of odd degree up to 199, a range previously containing unresolved composite cases.

New Mechanisms: The $\ast$ -split criterion and the level-lifted closure for the $m=33$ witness are presented as new mechanisms not derivable from previous literature (Shioda, Katsura, Aoki, da Silva).
Explicit Presentations: For the seven "gap classes" outside Aoki's standard lattice calculus (specifically $m=33, 39, 105$ ), the paper provides explicit presentations and certificates of algebraicity.
Computational Rigor: The significance is underscored by the reproducibility of the census via independent algorithms and the provision of machine-checked witnesses for every orbit, ensuring that no "black box" assumptions are made regarding the classification of the 78,299 representatives.
Limitations: The author explicitly states that while algebraicity is proven, explicit defining equations for the cycles on $X^4_{33}$ are not provided; the cycles are constructed at level 66 and transported. Furthermore, the computational observations regarding the orders of Frobenius at $m=45$ and $m=105$ are noted as observations rather than theorems, though they suggest these cycles are also not rational over $\mathbb{Q}(\zeta_m)$ .

The work effectively closes the gap in the known algebraicity machinery for odd-degree Fermat fourfolds up to the specified bound, relying on a combination of refined geometric correspondences and exhaustive computational verification.

More like this