Irrational cubic fourfolds with Hodge-theoretic and categorical K3 associations

Very general cubic fourfolds of large admissible discriminant are irrational despite a K3 derived category.

1 paper September 24, 2026 Explained by AI

A cubic fourfold is a four-dimensional shape cut out by one cubic equation. Two well-known predictions link its rationality to K3 surfaces, through Hodge theory and through derived categories. This paper claims many cubic fourfolds have both K3 links and still are not rational. That would disprove Kuznetsov’s rationality conjecture and one direction of the associated-K3 prediction. The size threshold for the discriminant is not computed.

First step

2010

A. Kuznetsov, who stated the categorical rationality conjecture

Significance

Major

If correct, it disproves Kuznetsov’s conjecture and the sufficiency of the associated-K3 prediction for cubic fourfolds.

Trust

Claimed, not checked

Field

Algebraic and complex geometry

1 paper

The explanation

A cubic fourfold is the set of solutions of one degree-three equation in six variables, viewed in projective space. An example is x₀³ + x₁³ + x₂³ + x₃³ + x₄³ + x₅³ = 0. A general cubic equation in six variables has 56 coefficients. Changes of coordinates use 36 numbers. So cubic fourfolds form a family with 20 free parameters. Each one is a four-dimensional complex shape.

The big question is rationality. A cubic fourfold is rational when it can be matched with ordinary four-dimensional projective space. The match is allowed to fail on smaller pieces. Algebraically, its field of rational functions is then a pure field in four variablesSource 1. Some cubic fourfolds are known to be rational. Beauville and Donagi proved this for sufficiently general Pfaffian cubics, a special kindSource 2. Their proof linked the cubic to a K3 surface, a special type of complex surface.

Two predictions grew from such links. Hassett described special families of cubics, called Hassett divisors, labelled by a whole number d called the discriminantSource 3. For admissible values of d, each such cubic has an associated K3 surface in a precise Hodge-theoretic sense. Admissible means d > 6 and d leaves remainder 0 or 2 on division by 6. A few divisibility rules must also hold. The admissible values below 100 are 14, 26, 38, 42, 62, 74, 78, 86 and 98. Kuznetsov gave a second prediction using the Kuznetsov component, a piece of the cubic’s derived categorySource 4. A derived category is an algebraic record of all sheaves on a space. His conjecture says the cubic is rational exactly when that piece matches the derived category of a K3 surfaceSource 4.

Earlier work showed these two links agree on most of each admissible familySource 5. Later work showed every cubic with an associated K3 has the K3 derived categorySource 6. Russo and Staglianò proved that whole divisors are rational for d = 26, 38 and 42Source 7. So the predictions fit every known rational cubic.

This paper claims that both predictions fail. There is a threshold d₀ with the following propertySource 8. For every admissible d above it, a very general cubic in that family is not rational. Yet its Kuznetsov component matches the derived category of a K3 surfaceSource 8. The same cubics also have an associated K3 surface in the Hodge-theoretic senseSource 9. Very general means outside a countable union of smaller subfamiliesSource 10. The threshold d₀ is ineffective: the paper does not compute itSource 10.

A second consequence uses the variety of lines on the cubic. Take d = 2n² + 2n + 2. Then the lines on a very general cubic form a shape matched to a K3 Hilbert squareSource 11. The Hilbert square parametrizes pairs of points on the surface. The first values are 14, 26, 42, 62 and 86, for n = 2 to 6. The paper claims this match also fails to force rationality once d is above the thresholdSource 11.

How can one prove a shape is not rational? Suppose a matching map from projective space existed. The paper attaches one number to such a map. It counts certain K3 surfaces gained or lost along the waySource 12. The same number is computed in two ways. Breaking the map into blowups along smooth centres gives the value 1. Breaking it into Sarkisov links, a different standard set of elementary steps, gives 0Source 13. Both cannot hold, so no such map exists. The hard part is recognising the same K3 piece when it is later removedSource 14.

The paper also notes what this does not detect. These cubics pass the integral decomposition-of-the-diagonal test, a standard obstruction to rationalitySource 15. So that test cannot see their irrationality. The paper makes no claim about stable rationality, a weaker propertySource 16. Work by Katzarkov, Kontsevich, Pantev and Yu proved a very general cubic irrational in the full family. Their hypothesis does not cover a prescribed Hassett divisorSource 17.

How sure is this? No Lean formalization is listed for this paper in the openai/math release. So no computer proof checker has checked it. No specialist review has been published.

What it doesn't show. This does not compute the threshold, decide any specific discriminant, or settle stable rationality of these cubics.

Where it came from

This result comes from an unreleased OpenAI model, published in the openai/math release on 6 October 2026.

Hype check

Major only if the proof holds. No Lean formalization is listed and no specialist review is published. The threshold is ineffective, so no specific irrational discriminant is named.

Words used

Cubic fourfold: The four-dimensional set of solutions of one degree-three equation in six projective variables.
Rational: Matchable with ordinary projective space of the same dimension, except on smaller pieces.
K3 surface: A special type of compact complex surface that appears throughout this subject.
Hassett divisor: A family of special cubic fourfolds labelled by a whole number called the discriminant.
Derived category: An algebraic record of all sheaves on a space and the maps between them.
Kuznetsov component: The piece of a cubic fourfold's derived category left after removing three standard line bundles.
Very general: Lying outside a countable union of smaller subfamilies.
Ineffective: Shown to exist without any computed value.

The original paper

Irrational cubic fourfolds with geometric K3 categories (PDF, opens in a new tab)
September 24, 2026

All quoted lines (17)

A smooth cubic fourfold $X\subset\mathbf P^5_{\C}$ is rational if its field of rational functions is a purely transcendental extension of $\C$ of transcendence degree four.
Irrational cubic fourfolds with geometric K3 categories Back to text
For sufficiently general Pfaffian cubics they identified $F(X)$ with $S^{[2]}$ , the variety of length-two subschemes of a K3 surface $S$ , and proved that the cubic is rational.
Irrational cubic fourfolds with geometric K3 categories Back to text
Hassett's period and lattice theorems make $\mathcal C_d$ a nonempty irreducible divisor for these discriminants and give its associated polarized K3 surfaces.
Irrational cubic fourfolds with geometric K3 categories Back to text
Kuznetsov's rationality conjecture asserts that $X$ is rational if and only if $\Ku(X)$ is equivalent to the derived category of a projective K3 surface.
Irrational cubic fourfolds with geometric K3 categories Back to text
Addington and Thomas proved that the Hodge-theoretic and categorical K3 associations agree on a dense open subset of each admissible divisor.
Irrational cubic fourfolds with geometric K3 categories Back to text
The construction of stability conditions by Bayer, Lahoz, Macr\‘i and Stellari, together with the theory in families of Bayer, Lahoz, Macr\‘i, Nuer, Perry and Stellari, gives an ordinary K3 derived category for every cubic having an associated K3 surface.
Irrational cubic fourfolds with geometric K3 categories Back to text
Some Hassett divisors consist entirely of rational cubics: Russo and Staglian\‘o proved rationality throughout $\mathcal C_{26}$ and $\mathcal C_{38}$ using congruences of five-secant conics, and throughout $\mathcal C_{42}$ using trisecant flops.
Irrational cubic fourfolds with geometric K3 categories Back to text
There is an integer $d_0$ such that, for every admissible $d>d_0$ , a very general cubic fourfold $X$ in $\mathcal C_d$ is irrational and admits an exact $\C$ -linear equivalence $\Ku(X)\simeq D^b(\operatorname{Coh}S)$ for a smooth projective K3 surface $S$ .
Irrational cubic fourfolds with geometric K3 categories Back to text
Thus an associated untwisted polarized K3 surface in this Hodge-theoretic sense is not sufficient for rationality.
Irrational cubic fourfolds with geometric K3 categories Back to text
The threshold $d_0$ is ineffective. Some Hassett divisors consist entirely of rational cubics: Russo and Staglian\‘o proved rationality throughout $\mathcal C_{26}$ and $\mathcal C_{38}$ using congruences of five-secant conics, and throughout $\mathcal C_{42}$ using trisecant flops.
Irrational cubic fourfolds with geometric K3 categories Back to text
There are infinitely many such discriminants. Thus birationality of $F(X)$ to a K3 Hilbert square is not sufficient for rationality of $X$ .
Irrational cubic fourfolds with geometric K3 categories Back to text
Section … defines $c_u(f)$ by counting the prime divisors acquired by the target with positive sign and those lost from the source with negative sign, each weighted by $u$ .
Irrational cubic fourfolds with geometric K3 categories Back to text
The contradiction proves the irrationality criterion with one threshold for all the lattice data in its statement.
Irrational cubic fourfolds with geometric K3 categories Back to text
The difficulty is to recognize that same summand on blowdown.
Irrational cubic fourfolds with geometric K3 categories Back to text
The asserted identity is an integral Chow-theoretic decomposition, not merely a rational cohomological decomposition; thus the decomposition-of-the-diagonal obstruction does not detect the irrationality of these examples.
Irrational cubic fourfolds with geometric K3 categories Back to text
No assertion about stable rationality is made.
Irrational cubic fourfolds with geometric K3 categories Back to text
Their very-general hypothesis does not cover a prescribed Hassett divisor.
Irrational cubic fourfolds with geometric K3 categories Back to text

Other sources

053A counterexample to Pixton completeness in ChowAlgebraic and complex geometry
055Gepner symmetry and large-volume stability on threefoldsAlgebraic and complex geometry
051Kobayashi’s canonical-ampleness conjectureAlgebraic and complex geometry
058Semialgebraic universal covers and bounded domainsAlgebraic and complex geometry
044The equivariant cohomological Hikita conjectureAlgebraic and complex geometry

Browse Algebraic and complex geometry Open since the 2010s Claimed, not yet checked