No Arabic abstract
In this paper we establish Springer correspondence for the symmetric pair $(mathrm{SL}(N),mathrm{SO}(N))$ using Fourier transform, parabolic induction functor, and a nearby cycle sheaves construction due to Grinberg. As applications, we obtain results on cohomology of Hessenberg varieties and geometric constructions of irreducible representations of Hecke algebras of symmetric groups at $q=-1$.
Let H be any reductive p-adic group. We introduce a notion of cuspidality for enhanced Langlands parameters for H, which conjecturally puts supercuspidal H-representations in bijection with such L-parameters. We also define a cuspidal support map and Bernstein components for enhanced L-parameters, in analogy with Bernsteins theory of representations of p-adic groups. We check that for several well-known reductive groups these analogies are actually precise. Furthermore we reveal a new structure in the space of enhanced L-parameters for H, that of a disjoint union of twisted extended quotients. This is an analogue of the ABPS conjecture (about irreducible H-representations) on the Galois side of the local Langlands correspondence. Only, on the Galois side it is no longer conjectural. These results will be useful to reduce the problem of finding a local Langlands correspondence for H-representations to the corresponding problem for supercuspidal representations of Levi subgroups of H. The main machinery behind this comes from perverse sheaves on algebraic groups. We extend Lusztigs generalized Springer correspondence to disconnected complex reductive groups G. It provides a bijection between, on the one hand, pairs consisting of a unipotent element u in G and an irreducible representation of the component group of the centralizer of u in G, and, on the other hand, irreducible representations of a set of twisted group algebras of certain finite groups. Each of these twisted group algebras contains the group algebra of a Weyl group, which comes from the neutral component of G.
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.
This is an overview of our series of papers on the modular generalized Springer correspondence. It is an expansion of a lecture given by the second author in the Fifth Conference of the Tsinghua Sanya International Mathematics Forum, Sanya, December 2014, as part of the Master Lecture `Algebraic Groups and their Representations Workshop honouring G. Lusztig. The material that has not appeared in print before includes some discussion of the motivating idea of modular character sheaves, and heuristic remarks about geometric functors of parabolic induction and restriction.
We construct a modular generalized Springer correspondence for any classical group, by generalizing to the modular setting various results of Lusztig in the case of characteristic-$0$ coefficients. We determine the cuspidal pairs in all classical types, and compute the correspondence explicitly for $mathrm{SL}(n)$ with coefficients of arbitrary characteristic and for $mathrm{SO}(n)$ and $mathrm{Sp}(2n)$ with characteristic-$2$ coefficients.
We study the exotic t-structure on the derived category of coherent sheaves on two-block Springer fibre (i.e. for a nilpotent matrix of type (m+n,n) in type A). The exotic t-structure has been defined by Bezrukavnikov and Mirkovic for Springer theoretic varieties in order to study representations of Lie algebras in positive characteristic. Using work of Cautis and Kamnitzer, we construct functors indexed by affine tangles, between categories of coherent sheaves on different two-block Springer fibres (i.e. for different values of n). After checking some exactness properties of these functors, we describe the irreducible objects in the heart of the exotic t-structure, and enumerate them by crossingless (m,m+2n) matchings. We compute the Exts between the irreducible objects, and show that the resulting algebras are an annular variant of Khovanovs arc algebras. In subsequent work we will make a link with annular Khovanov homology, and use these results to give a positive characteristic analogue of some categorification results using two-block parabolic category O (by Bernstein-Frenkel-Khovanov, Brundan, Stroppel, et al).