The K3-type category conjecture for Küchle's fivefold hyperplane section

Let WW be a 77-dimensional vector space, let XGr(3,W)X\subset\operatorname{Gr}(3,W) be the 55-dimensional zero locus of a section of Λ2U3Λ3(W/U3)\Lambda^2\mathcal{U}_3^\vee\oplus\Lambda^3(W/\mathcal{U}_3), and let YY be a hyperplane section of XX. A rectangular Lefschetz decomposition is a semiorthogonal decomposition of the form DbCoh(X)=B,B(1)D^b\operatorname{Coh}(X)=\langle\mathcal{B},\mathcal{B}(1)\rangle. K3-type category conjecture. The variety XX has a rectangular Lefschetz decomposition DbCoh(X)=B,B(1)D^b\operatorname{Coh}(X)=\langle\mathcal{B},\mathcal{B}(1)\rangle with B\mathcal{B} generated by 66 exceptional objects. Consequently, YY has a semiorthogonal decomposition DbCoh(Y)=AY,BD^b\operatorname{Coh}(Y)=\langle\mathcal{A}_Y,\mathcal{B}\rangle with AY\mathcal{A}_Y a category of K3 type. The claim predicts a K3-type residual category for this Küchle hyperplane section; the source gives no resolution.

Sources & referencesView supporting material

Primary source

Alexander Kuznetsov, “Semiorthogonal decompositions in algebraic geometry”, arXiv:1404.3143 (2015).

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.