Kuznetsov–Polishchuk fullness conjecture for isotropic Grassmannians

From papers

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),,A2nk(2nk){\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.

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

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

Solutions 0

No solutions have been posted yet.