Perverse sheaves on affine flags and Langlands dual group (Q839911)

Let \(G\) be a split simple linear algebraic group over an algebraically closed field \(k\) (usually assumed to have positive characteristic), \(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\) and \(\tilde{\mathcal{N}}\) denote the cotangent bundle on \(G^{\vee}/B^{\vee}\). The authors construct a monoidal functor from the bounded derived category \(D^{G^{\vee}}(\tilde{\mathcal N})\) of \(G^{\vee}\)-equivariant coherent sheaves on \(\tilde{\mathcal N}\) to the Iwahori equivariant derived category \(D_{I}({\mathcal F}\ell)\) of \(l\)-adic sheaves on \({\mathcal F}\ell\) (\(l\) different from the characteristic of \(k\)). Let \({\mathcal P}_{I} \subset D_{I}({\mathcal F}\ell)\) denote the full subcategory of perverse sheaves. The aforementioned functor is used to construct a categorical equivalence between \(D^{G^{\vee}}(\tilde{\mathcal N})\) and the bounded derived category of a Serre quotient of \({\mathcal P}_{I}\). This is proved by using a related Iwahori-Whittaker category. The paper relies on ideas introduced by \textit{D. Gaitsgory} [Invent. Math. 144, 253--280 (2001; Zbl 1072.14055)], and the authors obtain some new results on central sheaves introduced therein. The paper also contains an appendix with some proofs by the second author and I. Mirković.