The twisted K3 categorical rationality conjecture for cubic fourfolds

From papers

Let XP5X\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

AXDbCoh(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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.