In this paper we prove equivalences of categories relating the derived category of a block of the category of representations of a connected reductive algebraic group over an algebraically closed field of characteristic p bigger than the Coxeter number and a derived category of equivariant coherent sheaves on the Springer resolution (or a parabolic counterpart). In the case of the principal block, combined with previous results, this provides a modular version of celebrated constructions due to Arkhipov–Bezrukavnikov–Ginzburg for Lusztig’s quantum groups at a root of unity. As an application, we prove a “graded version” of a conjecture of Finkelberg–Mirković describing the principal block in terms of mixed perverse sheaves on the dual affine Grassmannian, and deduce a new proof of Lusztig’s conjecture in large characteristic.
Publication Source (Journal or Book title)
Achar, P., & Riche, S. (2018). Reductive groups, the loop Grassmannian, and the Springer resolution. Inventiones Mathematicae, 214 (1), 289-436. https://doi.org/10.1007/s00222-018-0805-1