Kuznetsov–Polishchuk fullness conjecture for isotropic Grassmannians

About 2 years old · traced to

Let VV be a 2n2n-dimensional symplectic vector space, let IGr(k,V){\mathsf{IGr}}(k,V) be the isotropic Grassmannian, and let At{\mathcal{A}}_t be the admissible subcategories defined by the Kuznetsov–Polishchuk exceptional blocks. Theorem~9.2 gives semiorthogonal subcategories

A0, A1(1),…,A2n−k(2n−k){\mathcal{A}}_0,\ {\mathcal{A}}_1(1),\ldots,{\mathcal{A}}_{2n-k}(2n-k)

and hence an exceptional collection of length 2k(nk)2^k\binom{n}{k} in D(IGr(k,V))D({\mathsf{IGr}}(k,V)). Kuznetsov–Polishchuk's fullness conjecture. The exceptional collections in Theorem~9.2 are full, i.e. they generate D(IGr(k,V))D({\mathsf{IGr}}(k,V)). The collection has the expected length, equal to rkK0(IGr(k,V))\mathop{\mathsf{rk}} K_0({\mathsf{IGr}}(k,V)), so fullness would provide a complete exceptional collection for the isotropic Grassmannian. The supplied text does not indicate whether this assertion has been proved or disproved.

References

Primary source

Anton Fonarev, “Derived Categories of Grassmannians: a Survey”, arXiv:2407.07455 (2024).

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.