The derived Torelli conjecture for K3 categories of cubic fourfolds

Let X,XP5X,X'\subset\mathbb{P}^5 be smooth cubic fourfolds, let AX\mathcal{A}_X and AX\mathcal{A}_{X'} be their K3 categories, and let H~(X,Z)\widetilde H(X,\mathbb{Z}) and H~(X,Z)\widetilde H(X',\mathbb{Z}) be their extended Hodge structures with the relevant orientation. Derived Torelli conjecture. There exists an exact linear equivalence

AXAX\mathcal{A}_X\simeq\mathcal{A}_{X'}

if and only if there exists an orientation-preserving Hodge isometry

H~(X,Z)H~(X,Z).\widetilde H(X,\mathbb{Z})\simeq\widetilde H(X',\mathbb{Z}).

The source places this among the results needed to establish the full K3-surface-like picture and explicitly says that the corresponding statement is not known in the required generality.

Sources & referencesView supporting material

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.