On the bounded derived category of IGr(3, 7)
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.
- ASYMPTOTIC INVARIANTS OF SMOOTH MANIFOLDS
- Coherent sheaves on \({\mathbb{P}}^n\) and problems of linear algebra
- Exceptional collections for Grassmannians of isotropic lines
- Exceptional collections on isotropic Grassmannians
- Geometric realizations of quiver algebras
- Gluing of categories and Krull-Schmidt partners
- scientific article; zbMATH DE number 1983902 (Why is no real title available?)
- Integral Chow motives of threefolds with K-motives of unit type
- Küchle fivefolds of type c5
- Lefschetz decompositions and categorical resolutions of singularities
- Odd symplectic flag manifolds
- On Fano 4-folds of index 1 and homogeneous vector bundles over Grassmannians
- On Küchle varieties with Picard number greater than 1
- On some smooth projective two-orbit varieties with Picard number 1
- On the derived categories of coherent sheaves on some homogeneous spaces
- On the Kuznetsov-Polishchuk conjecture
- Quantum cohomology of the odd symplectic Grassmannian of lines
- REPRESENTABLE FUNCTORS, SERRE FUNCTORS, AND MUTATIONS
- REPRESENTATION OF ASSOCIATIVE ALGEBRAS AND COHERENT SHEAVES
- Semi-orthogonal decomposability of the derived category of a curve
- Smooth and proper noncommutative schemes and gluing of dg categories
- The derived category of coherent sheaves on $ LG_3^{\mathbf C}$
This page was built for publication: On the bounded derived category of \(\mathsf{IGr}(3, 7)\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2120889)
