For every sufficiently large admissible Hassett discriminant, a very general smooth cubic fourfold in that divisor is irrational although its Kuznetsov component is equivalent to the ordinary derived category of a projective K3 surface.
For every sufficiently large admissible Hassett discriminant, a very general smooth cubic fourfold in that divisor is irrational although its Kuznetsov component is equivalent to the ordinary derived category of a projective K3 surface.
For every sufficiently large admissible Hassett discriminant, a very general smooth cubic fourfold in that divisor is irrational although its Kuznetsov component is equivalent to the ordinary derived category of a projective K3 surface.
If correct, disproves the sufficiency direction of Kuznetsov’s rationality conjecture across all sufficiently large admissible discriminants.
Can a cubic fourfold have a geometric K3 Kuznetsov component and still be irrational?
Publication dates and editorial changes.
OpenAI reports irrational cubic fourfolds with geometric K3 categories
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.
