On the bounded derived category of \(\mathsf{IGr}(3, 7)\) (Q2120889)

This paper is on the derived category of isotropic \(3\)-dimensional subspaces of a vector space of dimension \(7\), \(IGr(3,7)\). It is shown that this space admits a full exceptional collection in the derived category, \(D^b(IGr(3,7))\). It is also conjectured that the bounded derived category of an odd isotropic Grassmannian, \(IGr(n,2n+1)\), admits a full rectangular Lefschetz exceptional collection. Let \(V\) be a vector space of odd dimension, \(2n+1\), on a field \(k\) with a skew-symmetric form \(\omega\in \bigwedge^2V^*\) which has maximal rank. Then isotropic Grassmannian is \(k\)-dimansional isotropic subspaces with respect to \(\omega\). Definition [\textit{A. Fonarev}, Transform. Groups 27, No. 1, 89--112 (2022; Zbl 07501835)]: An object \(E\) in a \(k\)-linear triangulated category \(\tau\) is called exceptional if \[ \mathrm{Ext}^i(E,E)=\begin{cases} k & \text{when} i=0,\\ 0 & \text{otherwise}. \end{cases} \] Definition (Zbl 07501835): A collection of objects \(E_0,E_1,\ldots,E_n\in \tau\) is called exceptional if for all \(0\leq i\leq n\) the objects \(E_i\) are exceptional, and for all \(0\leq i<j\leq n\) one has \(\mathrm{Ext}^\bullet(E_j,E_i) = 0\). An exceptional collection is called full if \(\tau\) is the smallest triangulated subcategory, containing all \(E_i\), that is, \(\tau = \left<E_0,E_1,\ldots,E_n\right>\). Definition [\textit{A. Fonarev}, Transform. Groups 27, No. 1, 89--112 (2022; Zbl 07501835)]: A rectangular Lefschetz decomposition of \(D^b(X)\) with respect to the canonical line bundle \(\mathcal{O}(1)\) is a semiorthogonal decomposition of the form \[ D^b(X)=\left<\mathcal{A},\mathcal{A}(1),\mathcal{A}(2),\ldots,\mathcal{A}(p-1) \right> \] In case \(\mathcal{A}=\left<E_0,E_1,\ldots,E_n\right>\), then \(D^b(X)\) admits a full exceptional collection \[ D^b(X)=\begin{pmatrix} E_n & E_n(1) & \ldots & E_n(p-1)\\ \vdots & \vdots & \ddots & \vdots\\ E_1 & E_1(1) & \ldots & E_1(p-1)\\ E_0 & E_0(1) & \ldots & E_0(p-1) \end{pmatrix}, \] where the elements are ordered bottom to top, left to right. Let \(\mathcal{U}\) and \(\mathcal{Q}\) be the universal sub and quotient bundles on \(IGr(k,V)\), for a vector space \(V\) of dimension \(n\). Denote the bounded category of coherent sheaves on \(IGr(k,V)\) by \(D^b(IGr(k,V))\). Theorem (Zbl 07501835): The rectangular Lefschetz exceptional collection with the basis \(\left<\mathcal{U},\mathcal{O},\mathcal{U}^*,\wedge^2\mathcal{Q}\right>\) is full in \(D^b(IGr(3; 7))\). Namely, \[ D^b(X)=\begin{pmatrix} \wedge^2\mathcal{Q} & \wedge^2\mathcal{Q}(1) & \wedge^2\mathcal{Q}(2) & \wedge^2\mathcal{Q}(3) & \wedge^2\mathcal{Q}(4)\\ \mathcal{U}^* & \mathcal{U}^*(1) & \mathcal{U}^*(2) & \mathcal{U}^*(3) & \mathcal{U}^*(4)\\ \mathcal{O}(3) & \mathcal{O}(4)\\ \mathcal{U} & \mathcal{U}(1) & \mathcal{U}(2) & \mathcal{U}(3) & \mathcal{U}(4) \end{pmatrix}, \] where the exceptional objects are ordered bottom to top, left to right.