geometry-topology / Algebraic geometry: rationality, derived categories, cubic fourfolds

Kuznetsov's rationality conjecture for cubic fourfolds

Claims that for every sufficiently large admissible Hassett discriminant dd a very general cubic fourfold of discriminant dd is irrational although its Kuznetsov component is the derived category of a K3 surface and it has an associated polarized K3 in Hassett's Hodge-theoretic sense. This disproves Kuznetsov's conjecture and the sufficiency of the associated-K3 criterion (and of Fano variety birational to a K3 Hilbert square). The threshold is ineffective; no specific discriminant is shown irrational, the necessity direction is untouched, and stable rationality is not decided. These are not the first irrational cubic fourfolds: the paper cites Katzarkov-Kontsevich-Pantev-Yu (very general cubic) and Fay (some special divisors).

45Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologySep 24, 2026Significance 45/100Registry: unreviewed

Kuznetsov's rationality conjecture for cubic fourfolds

Prior state unknown→disproved

Claims that for every sufficiently large admissible Hassett discriminant dd a very general cubic fourfold of discriminant dd is irrational although its Kuznetsov component is the derived category of a K3 surface and it has an associated polarized K3 in Hassett's Hodge-theoretic sense. This disproves Kuznetsov's conjecture and the sufficiency of the associated-K3 criterion (and of Fano variety birational to a K3 Hi…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Claims that for every sufficiently large admissible Hassett discriminant dd a very general cubic fourfold of discriminant dd is irrational although its Kuznetsov component is the derived category of a K3 surface and it has an associated polarized K3 in Hassett's Hodge-theoretic sense. This disproves Kuznetsov's conjecture and the sufficiency of the associated-K3 criterion (and of Fano variety birational to a K3 Hilbert square). The threshold is ineffective; no specific discriminant is shown irrational, the necessity direction is untouched, and stable rationality is not decided. These are not the first irrational cubic fourfolds: the paper cites Katzarkov-Kontsevich-Pantev-Yu (very general cubic) and Fay (some special divisors).

Claims that for every sufficiently large admissible Hassett discriminant dd a very general cubic fourfold of discriminant dd is irrational although its Kuznetsov component is the derived category of a K3 surface and it has an associated polarized K3 in Hassett's Hodge-theoretic sense. This disproves Kuznetsov's conjecture and the sufficiency of the associated-K3 criterion (and of Fano variety birational to a K3 Hilbert square). The threshold is ineffective; no specific discriminant is shown irrational, the necessity direction is untouched, and stable rationality is not decided. These are not the first irrational cubic fourfolds: the paper cites Katzarkov-Kontsevich-Pantev-Yu (very general cubic) and Fay (some special divisors).

Recorded attempts

Evidence graph

Connected research record

Kuznetsov's rationality conjecture for cubic fourfolds — Mathematical Frontier Network