Full exceptional collections on the Lagrangian Grassmannians \(LG(4,8)\) and \(LG(5,10)\) (Q719411): Difference between revisions

The description of the bounded derived category \(D^{b}(X)\) of coherent sheaves on a homogeneous variety \(X\) is a widely open problem. It is conjectured that if \(X\) is the projective homogeneous variety of a semisimple algebraic group, then \(D^{b}(X)\) admits a full exceptional collection (of vector bundles). This is known in very few cases: the isotropic Grassmannian of \(2-\)dimensional planes in a symplectic \(2n-\)dimensional space (resp. in an orthogonal \((2n+1)-\)dimensional space) as shown by \textit{A. Kuznetsov} in [Proc. Lond. Math. Soc. (3) 97, No. 1, 155--182 (2008; Zbl 1168.14032)]; the full flag variety for symplectic and for orthogonal groups, an the isotropic Grassmannians of a symplectic space of dimension 6, as shown by \textit{A. Samokhin} in [J. Lond. Math. Soc., II. Ser. 76, No. 1, 122--134 (2007; Zbl 1140.18009)]; the isotropic Grassmannian of \(5-\)dimensional planes in a orthogonal space of dimension 10, and a certain Grassmannian for type \(G_{2}\), as shown by \textit{A. Kuznetsov} in [Izv. Math. 70, No. 3, 447--547 (2006); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 70, No. 3, 23--128 (2006; Zbl 1133.14016)]. Another candidate is the minimal homogeneous variety for \(E_{6}\), over which an exceptional collection of 27 vector bundles is conjectured to be full by \textit{L. Manivel} in [J. Algebra 330, No. 1, 177--187 (2011; Zbl 1221.14019)]. In the paper under review, the authors construct full exceptional collections of vector bundles for \(D^{b}(X)\), where \(X\) is either the Lagrangian Grassmannian \(LG(4,8)\), or the Lagrangian Grassmannian \(LG(5,10)\). The construction presented in the paper is generalized to the case of \(X\) being a compact homogeneous space of any semisimple algebraic group by \textit{A. Kuznetsov} and \textit{A. Polishchuk} [J. Eur. Math. Soc. (JEMS) 18, No. 3, 507--574 (2016; Zbl 1338.14021)]. This may lead to obtain full exceptional collections on all isotropic Grassmannians. To construct exceptional collections on the Lagrangiang Grassmannian \(LG(V)=LG(n,2n)\) of a symplectic vector space \(V\) of dimension \(2n\), the authors use the tautological quotient bundle \(Q\) and several bundles they can produce from it: write \(\mathcal{O}(1)=\wedge^{n}Q\in Pic(LG(V))\), and let \(\mathcal{F}(i):=\mathcal{F}\otimes\mathcal{O}(i)\); if \(\lambda\) is a dominant weight of \(GL(n)\), one writes \(S^{(\lambda)}\) for the corresponding Schur functor, and for every \(p\) one writes \(R_{k}:=S^{(2,(1)^{k})}Q\). Write \(S_{k}\) for the kernel of the natural surjective map \(V\otimes\wedge^{k+1}Q\longrightarrow R_{k}\), and \(E_{k}\) for the quotient of \(S_{k}\) by \(\wedge^{k}Q\); write \(F_{k}\) for the extension of \(R_{k}\) via \(\wedge^{k}Q\). Sections 2 and 3 are devoted to compute cohomologies of these bundles, and \(Hom\) and \(Ext\) groups between them. Using these computations, in section 4 the authors show that \(\{\mathcal{A},\mathcal{A}(1),\mathcal{A}(2),\mathcal{A}(3),\mathcal{A}(4),E_{1}\}\) is a full exceptional collection on \(LG(4,8)\), where \(\mathcal{A}=\{\mathcal{O},Q,\wedge^{2}Q\}\) (Theorem 4.3): this is done by choosing a semiorthogonal decomposition of \(D^{b}(F_{1,4,8})\), where \(F_{1,4,8}\) is the partial flag variety of pairs \((l\subseteq U)\), where \(l\) is a line in a Lagrangian subspace \(U\) of \(V\). Choosing a different semiorthogonal decomposition, the authors provide a different proof of Theorem 4.3. The case of \(LG(5,10)\) is studied in section 5, and it is more involved as it requires more bundles then those used for \(LG(4,8)\). Namely, write \(T:=S^{(3,1,1)}Q\), \(P\) for the extension of \(T\) via \(R_{1}\), and \(G\) for the extension of \(P\) via \(\wedge^{3}Q\). In Theorem 5.5 the authors show that the collection \(\{\mathcal{A},\mathcal{B}(1),\mathcal{B}(2),\mathcal{A}(3),\mathcal{B}(4),\mathcal{B}(5)\}\) is full and exceptional on \(LG(5,10)\), where \(\mathcal{A}=\{\mathcal{O},Q,\wedge^{2}Q,F_{1},\wedge^{3}Q,G\}\) and \(\mathcal{B}=\mathcal{A}\setminus\{G\}\).