Result 054, Algebraic and complex geometry

Irrational cubic fourfolds with Hodge-theoretic and categorical K3 associations

For every sufficiently large admissible Hassett discriminant, a very general smooth complex cubic fourfold is irrational despite having both an untwisted geometric K3 category and an integral Hodge-theoretic K3 association. This disproves Kuznetsov's rationality conjecture and the sufficiency of the associated-K3 criterion for rationality; the discriminant threshold is ineffective.

Disproof or counterexample

The bigger picture

Why it matters

A cubic fourfold is a four-dimensional shape defined by a cubic polynomial. The manuscript reports that two links to K3 surfaces, a special class of algebraic surfaces, can both fail to guarantee a one-to-one rational parametrization.

What changes?

For every sufficiently large admissible Hassett discriminant, an integer indexing special families, the manuscript claims that a very general smooth complex cubic fourfold is irrational. Its Kuznetsov component, a category encoding geometric information, is nevertheless equivalent to the ordinary derived category of a projective K3 surface. It also has an integral Hodge-theoretic association with an untwisted polarized K3 surface, linking their cohomological information. "Very general" excludes a countable union of proper algebraic subsets. The threshold is ineffective: no explicit discriminant cutoff is supplied.

What does that help mathematicians do?

These claimed counterexamples would disprove Kuznetsov's rationality conjecture and show that the associated-K3 criterion is not sufficient for rationality. Researchers could no longer infer rationality from either the stated categorical equivalence or the integral Hodge association alone. This separates two ways of detecting K3 structure from the existence of rational coordinates. It does not settle rationality for every cubic fourfold, or every member of these families.

Are there practical applications?

The immediate value is foundational, sharpening the search for criteria that distinguish rational from irrational cubic fourfolds. These examples would show precisely why the two K3 associations cannot suffice on their own. The ineffective threshold limits explicit use: the statement provides no numerical discriminant beyond which researchers can directly apply its conclusion.

This section was generated by GPT-6 Astra Medium. This explanation is based on the result summary and manuscript abstracts below. This context is separate from OpenAI's source text.

Manuscript

Irrational cubic fourfolds with geometric K3 categories

September 24, 2026 62 pages

For every sufficiently large admissible Hassett discriminant, we prove that a very general cubic fourfold of that discriminant is irrational, although its Kuznetsov component is equivalent to the ordinary derived category of a projective K3 surface. The discriminant threshold is ineffective. This disproves Kuznetsov's rationality conjecture. The same cubics have associated untwisted polarized K3 surfaces in the Hodge-theoretic sense, so they also disprove the sufficiency direction of the associated-K3 rationality prediction.

PDF LaTeX source
Cite (BibTeX) 
@misc{OAI:Irrational-cubic-fourfolds-with-geometric-K3-categories-September-24-2026,
  author = {{OpenAI}},
  title = {{Irrational cubic fourfolds with geometric K3 categories}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Irrational-cubic-fourfolds-with-geometric-K3-categories-September-24-2026/Irrational-cubic-fourfolds-with-geometric-K3-categories-September-24-2026.pdf}{OAI:Irrational-cubic-fourfolds-with-geometric-K3-categories-September-24-2026}},
  year = {2026}
}

Data from github.com/openai/math at commit adc7f12, committed October 6, 2026 at 21:58 UTC, last checked for changes about 7 hours ago. Titles, subjects, summaries, abstracts and Lean notes are OpenAI's; page counts are read from the PDFs. The map, related results, search, kinds of results and the named-problem index are Emergent Mind's, built with text embeddings and an LLM, and may contain errors.

An Emergent Mind Labs project. Emergent Mind is not affiliated with OpenAI. None of these results has been peer reviewed. Cite the manuscripts themselves, using the BibTeX on each result's page.