Coherent sheaves and categorical sl₂ actions

From MaRDI portal
Publication:986633



Abstract: We introduce the concept of a geometric categorical sl(2) action and relate it to that of a strong categorical sl(2) action. The latter is a special kind of 2-representation in the sense of Rouquier. The main result is that a geometric categorical sl(2) action induces a strong categorical sl(2) action. This allows one to apply the theory of strong sl(2) actions to various geometric situations. Our main example is the construction of a geometric categorical sl(2) action on the derived category of coherent sheaves on cotangent bundles of Grassmannians.


This paper is about categorification of \(sl(2)\)-actions. First, the authors introduce the notion of strong categorical actions of \(sl(2)\), a modification of definitions due to [\textit{J. Chuang} and \textit{R. Rouquier}, Ann. Math. (2) 167, No. 1, 245--298 (2008; Zbl 1144.20001)], [\textit{R. Rouquier} 2-Kac-Moody algebras, preprint (2008)] and [\textit{A. D. Lauda}, Adv. Math. 225, No. 6, 3327--3424 (2010; Zbl 1219.17012)]. Second, they introduce the notion of geometric categorical actions of \(sl(2)\). This means to have a sequence of varieties \(Y(\lambda)\), \(\lambda\) a weight, and Fourier-Mukai kernels \(\mathcal E(\lambda)\), \(\mathcal F(\lambda)\), which are objects in the derived categories of \(Y(\lambda - 1)\times Y(\lambda + 1)\). These represent the actions of the standard generators \(E\) and \(F\) of \(sl(2)\) between weight spaces, and therefore they should satisfy some commutation relations; concretely, these commutation relations are asked to hold at the level of cohomology. A key technical point of this definition is the requirement of the existence of certain deformations \(\widetilde{Y}(\lambda) \to \mathbb A^1\) of \(Y(\lambda)\), imposition inspired by \textit{D. Huybrechts} and \textit{R. Thomas} [Math. Res. Lett. 13, No. 1, 87--98 (2006; Zbl 1094.14012)]. The main theorem says that a geometric categorical \(sl(2)\)-action gives rise to a strong categorical \(sl(2)\)-action. The main examples are cotangent bundles of Grassmannians, giving as a corollary an explicit equivalence between certain triangular categories of coherent sheaves on cotangent bundles of Grassmannians.




Cited in
(26)








This page was built for publication: Coherent sheaves and categorical \(\mathfrak{sl}_2\) actions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q986633)