The twisted K3 categorical rationality conjecture for cubic fourfolds

About 3 years old · traced to

Let X⊂P5X\subset\mathbb{P}^5 be a smooth cubic fourfold, let AX\mathcal{A}_X be its K3 category, and let (S,α)(S,\alpha) be a twisted K3 surface, with α∈Br⁡(S)\alpha\in\operatorname{Br}(S). Twisted K3 rationality conjecture. XX is rational if and only if there exists an exact linear equivalence

AX≃DbCoh⁡(S,α).\mathcal{A}_X\simeq D^b\operatorname{Coh}(S,\alpha).

The source calls this a more provocative speculation intended to allow more cubic fourfolds to be rational; it notes that the conjecture would predict rationality for every cubic fourfold containing a plane, while the absence of such a result is presented as evidence against it. No resolution is stated.

References

Primary source

Daniel Huybrechts, “The K3 category of a cubic fourfold – an update”, arXiv:2303.03820 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.