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

At least 11 years old · documented by

Let WW be a 77-dimensional vector space, let X⊂Gr⁡(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,B⟩D^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.

References

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.