Representations of semisimple Lie algebras in prime characteristic and the noncommutative Springer resolution

We prove most of Lusztig’s conjectures on the canonical basis in homology of a Springer fiber. The conjectures predict that this basis controls numerics of representations of the Lie algebra of a semisimple algebraic group over an algebraically closed field of positive characteristic. We check this for almost all characteristics. To this end we construct a noncommutative resolution of the nilpotent cone which is derived equivalent to the Springer resolution. On the one hand, this noncommutative resolution is closely related to the positive characteristic derived localization equivalences obtained earlier by the present authors and Rumynin. On the other hand, it is compatible with the t-structure arising from an equivalence with the derived category of perverse sheaves on the affine flag variety of the Langlands dual group. This equivalence established by Arkhipov and the first author fits the framework of local geometric Langlands duality. The latter compatibility allows one to apply Frobenius purity theorem to deduce the desired properties of the basis. We expect the noncommutative counterpart of the Springer resolution to be of independent interest from the perspectives of algebraic geometry and geometric Langlands duality.United States. Air Force Office of Scientific Research (Grant FA9550-08-1-0315)National Science Foundation (U.S.) (Grant DMS-0854764)National Science Foundation (U.S.) (Grant DMS-1102434