Constructible sheaves on nilpotent cones in rather good characteristic

We study some aspects of modular generalized Springer theory for a complex reductive group $G$ with coefficients in a field $mathbb k$ under the assumption that the characteristic $ell$ of $mathbb k$ is rather good for $G$, i.e., $ell$ is good and does not divide the order of the component group of the centre of $G$. We prove a comparison theorem relating the characteristic-$ell$ generalized Springer correspondence to the characteristic-$0$ version. We also consider Mautners characteristic-$ell$ `cleanness conjecture; we prove it in some cases; and we deduce several consequences, including a classification of supercuspidal sheaves and an orthogonal decomposition of the equivariant derived category of the nilpotent cone.

Springer basic sets and modular Springer correspondence for classical types

We define the notion of basic set data for finite groups (building on the notion of basic set, but including an order on the irreducible characters as part of the structure), and we prove that the Springer correspondence provides basic set data for Weyl groups. Then we use this to determine explicitly the modular Springer correspondence for classical types (defined over a base field of odd characteristic $p$, and with coefficients in a field of odd characteristic $ell eq p$): the modular case is obtained as a restriction of the ordinary case to a basic set. In order to do so, we compare the order on bipartitions introduced by Dipper and James with the order induced by the Springer correspondence. We also provide a quicker proof, by sorting characters according to the dimension of the corresponding Springer fiber, an invariant which is directly computable from symbols.

Modular Springer correspondence, decomposition matrices and basic sets

The Springer correspondence makes a link between the characters of a Weyl group and the geometry of the nilpotent cone of the corresponding semisimple Lie algebra. In this article, we consider a modular version of the theory, and show that the decomposition numbers of a Weyl group are particular cases of decomposition numbers for equivariant perverse sheaves on the nilpotent cone. We give some decomposition numbers which can be obtained geometrically. In the case of the symmetric group, we show that James row and column removal rule for the symmetric group can be derived from a smooth equivalence between nilpotent singularities proved by Kraft and Procesi. We give the complete structure of the Springer and Grothendieck sheaves in the case of $SL_2$. Finally, we determine explicitly the modular Springer correspondence for exceptional types.