Perverse sheaves on affine flags and nilpotent cone of the Langlands dual group (Q839912): Difference between revisions

Let \(G\) be a split simple linear algebraic group over an algebraically closed field \(k\), \(B\) be a Borel subgroup, \({\mathcal{F}}\ell\) denote the associated affine flag variety, and \(I\) be an associated Iwahori subgroup. Let \(G^{\vee}\) denote the Langlands dual group of \(G\), \(\tilde{\mathcal{N}}\) denote the cotangent bundle on \(G^{\vee}/B^{\vee}\), and \(\mathcal{N}\) denote the nilpotent cone on the Lie algebra of \(G^{\vee}\). Let \(D^{G^{\vee}}(\tilde{\mathcal N})\) and \(D^{G^{\vee}}({\mathcal N})\) denote the bounded derived categories of \(G^{\vee}\)-equivariant coherent sheaves on \(\tilde{\mathcal N}\) and \({\mathcal N}\) respectively. Let \({\mathcal P}_{I}\) denote the full subcategory of perverse sheaves in the Iwahori equivariant derived category of \(l\)-adic sheaves on \({\mathcal F}\ell\) (\(l\) different from the characteristic of \(k\)). This work is a continuation of previous work of the author and \textit{S. Arkhipov} [Isr. J. Math. 170, 135--183 (2009; Zbl 1214.14011)]. In that work, the authors constructed a categorical equivalence between \(D^{G^{\vee}}(\tilde{\mathcal N})\) and the bounded derived category of a Serre quotient of \({\mathcal P}_{I}\). In this work, it is shown that there is an equivalence of categories \(\Phi\) between \(D^{G^{\vee}}({\mathcal N})\) and the bounded derived category \(D\) of another Serre quotient on \({\mathcal P}_I\). These equivalences are used to define a \(t\)-structure on \(D^{G^{\vee}}({\mathcal N})\) which is explicitly described. Further, the author considers the composite \(D^{G^{\vee}}({\mathcal N}) \to D \to D\) where the first map is \(\Phi\) and the second map is Verdier duality (an auto-equivalence). It is shown that this is isomorphic to a composition \(D^{G^{\vee}}({\mathcal N}) \to D^{G^{\vee}}({\mathcal N}) \to D\) where the second map is \(\Phi\) and the first map is explicitly given. The author uses these ideas to verify some conjectures of \textit{G. Lusztig} [J. Fac. Sci., Univ. Tokyo, Sect. IA 36, 297--328 (1989; Zbl 0688.20020); Adv. Math. 129, 85--98 (1997; Zbl 0884.20026)] and \textit{V. Ostrik} [Represent. Theory 4, 296--305 (2000; Zbl 0986.20045)] related to two-sided cells in the associated affine Weyl group and coherent perverse sheaves.