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 @math . Finally, we determine explicitly the modular Springer correspondence for exceptional types.
In @cite_26 , Mautner proves that, for @math , the category of @math -equivariant perverse sheaves with @math coefficients on the nilpotent cone of @math is equivalent to the category of polynomial representations of @math over @math of degree @math , using Lusztig's embedding of the nilpotent cone in the affine Grassmannian @cite_40 , a map in the other direction at the level of stacks, and the geometric Satake correspondence @cite_32 . Using the modular Springer correspondence, he then provides a geometric proof of Schur-Weyl duality, the Schur functor being described by homomorphisms from the Springer sheaf.
@cite_40 @cite_26 @cite_32
2037099729 2950339729 2056647821
We give geometric descriptions of the category C_k(n,d) of rational polynomial representations of GL_n over a field k of degree d for d less than or equal to n, the Schur functor and Schur-Weyl duality. The descriptions and proofs use a modular version of Springer theory and relationships between the equivariant geometry of the affine Grassmannian and the nilpotent cone for the general linear groups. Motivated by this description, we propose generalizations for an arbitrary connected complex reductive group of the category C_k(n,d) and the Schur functor. As such, it can be viewed as a first step in the geometric Langlands program. The connected complex reductive groups have a combinatorial classification by their root data. In the root datum the roots and the co-roots appear in a symmetric manner and so the connected reductive algebraic groups come in pairs. If G is a reductive group, we write G for its companion and call it the dual group G. The notion of the dual group itself does not appear in Satake's paper, but was introduced by Langlands, together with its various elaborations, in [LI], [L2] and is a cornerstone of the Langlands program. It also appeared later in physics [MO], [GNO]. In this paper we discuss the basic relationship between G and G. We begin with a reductive G and consider the affine Grassmannian Qx, the Grassmannian for the loop group of G. For technical reasons we work with formal algebraic loops. The affine Grassmannian is an infinite dimen sional complex space. We consider a certain category of sheaves, the spherical perverse sheaves, on ?r. These sheaves can be multiplied using a convolution product and this leads to a rather explicit construction of a Hopf algebra, by what has come to be known as Tannakian formalism. The resulting Hopf algebra turns out to be the ring of functions on G. In this interpretation, the spherical perverse sheaves on the affine Grassman nian correspond to finite dimensional complex representations of G. Thus, instead of defining G in terms of the classification of reductive groups, we pro vide a canonical construction of G, starting from G. We can carry out our construction over the integers. The spherical perverse sheaves are then those with integral coefficients, but the Grassmannian remains a complex algebraic object.