Coherent sheaves and categorical \(\mathfrak{sl}_2\) actions (Q986633): Difference between revisions

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.