1 · The essentials
The manuscript studies whether certain geometric shapes called cubic fourfolds can be described using rational formulas. It reports that, in a specified range of families, a very general member cannot be described this way. These same shapes nevertheless have two kinds of mathematical connections to K3 surfaces, connections that had been predicted to ensure such a description. One connection concerns structures attached to the shapes, while the other concerns their Hodge-theoretic data. The conclusion applies when a numerical label for the family is admissible and sufficiently large, but the manuscript gives no usable numerical cutoff. The reported result challenges both rationality predictions, rather than claiming that every cubic fourfold has this behavior. It has not been formalized in Lean or formally verified.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine an object passing two different compatibility checks, both expected to guarantee that it can be assembled in a particular way. The manuscript reports objects that pass both checks but still cannot be assembled that way: the K3 connections are the checks, and rationality is the expected outcome.
Why it matters
The result shown in the manuscript would mean that neither of these K3 connections is sufficient to guarantee rationality. In particular, the manuscript presents it as a counterexample to Kuznetsov’s rationality conjecture and to the sufficiency direction of the associated-K3 rationality prediction. The point is that both connections are present in the same irrational examples.
2 · Going further
The precise claim concerns smooth complex cubic fourfolds with Hassett discriminant . For every sufficiently large admissible , the manuscript states that a very general cubic fourfold of discriminant is irrational. Both the admissibility condition and the sufficiently-large restriction are part of the statement; it is not a claim about all discriminants or all members of a family.
Despite this irrationality, the cubic’s Kuznetsov component is equivalent to the ordinary derived category of a projective K3 surface. This is the untwisted geometric K3 association in the title. The same cubics also have associated untwisted polarized K3 surfaces in the Hodge-theoretic sense, described in the repository summary as an integral Hodge-theoretic association. Thus the reported examples simultaneously possess the categorical and Hodge-theoretic connections whose sufficiency for rationality is at issue.
The abstract states the result and its consequences but does not describe the argument establishing irrationality. Its central contrast is the coexistence of irrationality with both K3 associations, not a supplied account of how that coexistence is established. The discriminant threshold is ineffective, so no usable numerical bound is provided. Only the main manuscript is supplied here; there are no companion abstracts from which to describe further arguments or relationships.
Useful notions
- Rationality and irrationality of algebraic varieties
- Smooth complex cubic fourfolds
- K3 surfaces
- Derived categories and Kuznetsov components
- Hodge-theoretic associations
- Hassett discriminants and very general members
What was known before / what is new
Before
The source identifies Kuznetsov’s rationality conjecture and an associated-K3 rationality prediction as the relevant context. It describes the latter as predicting, in its sufficiency direction, that an associated K3 surface ensures rationality. No further history or earlier results are supplied.
New
The manuscript reports irrationality for a very general cubic fourfold of every sufficiently large admissible Hassett discriminant, even though its Kuznetsov component is equivalent to the ordinary derived category of a projective K3 surface. The same examples also have untwisted polarized K3 associations in the Hodge-theoretic sense. The manuscript therefore claims counterexamples to both stated rationality predictions.
Limits and assumptions
The scope is very general smooth complex cubic fourfolds of sufficiently large admissible Hassett discriminant, not every cubic fourfold. The threshold is ineffective, and the supplied abstract gives neither a numerical cutoff nor details of the argument. It does not settle the behavior at smaller admissible discriminants or for other members of these families. The main result is not formalized in Lean and has not been formally verified.
Mini glossary
- Irrationality —
- Failure of the rational description whose existence is at issue in the stated rationality predictions.
- Geometric K3 category —
- Here, a Kuznetsov component equivalent to the ordinary derived category of a projective K3 surface.
- Hodge-theoretic K3 association —
- The connection through Hodge-theoretic data to an untwisted polarized K3 surface that the source asserts for these same cubics.
- Hassett discriminant —
- The numerical label used in the source to specify the families of cubic fourfolds under consideration.
- Ineffective threshold —
- A sufficiently-large cutoff for which the stated result provides no usable numerical bound.
Keywords : Cubic fourfolds · K3 associations · Irrationality
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
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.
To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.
Manuscripts in this family
Irrational cubic fourfolds with geometric K3 categories
24/09/2026For 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.