We show that the standard proof of the Springer correspondence in positive characteristic (via Deligne-Fourier transform) works verbatim in characteristic zero, up to replacing Deligne-Fourier transform by another etale Fourier transform introduced by the author in a previous work. The construction of this Fourier transform uses methods from p-adic analytic geometry.
Let G = Sp (2n) be the symplectic group over Z. We present a certain kind of deformation of the nilpotent cone of G with G-action. This enables us to make direct links between the Springer correspondence of sp_{2n} over C, that over characteristic two, and our exotic Springer correspondence. As a by-product, we obtain a complete description of our exotic Springer correspondence.
The Springer resolution of the nilpotent cone is used to give a geometric construction of the irreducible representations of Weyl groups. Borho and MacPherson obtain the Springer correspondence by applying the decomposition theorem to the Springer resolution, establishing an injective map from the set of irreducible Weyl group representations to simple equivariant perverse sheaves on the nilpotent cone. In this manuscript, we consider a generalization of the Springer resolution using a variety defined by the first author. Our main result shows that in the type A case, applying the decompositio…
In this paper we compute the cohomology of the Fano varieties of $k$-planes in the smooth complete intersection of two quadrics in $\mathbb{P}^{2g+1}$, using Springer theory for symmetric spaces.
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$.
In \cite{CVX3}, we have established a Springer theory for the symmetric pair $(\operatorname{SL}(N),\operatorname{SO}(N))$. In this setting we obtain representations of (the Tits extension) of the braid group rather than just Weyl group representations. These representations arise from cohomology of families of certain (Hessenberg) varieties. In this paper we determine the Springer correspondence explicitly for IC sheaves supported on order 2 nilpotent orbits. In this process we encounter universal families of hyperelliptic curves. As an application we calculate the cohomolgy of Fano varieties…
In this paper we introduce a certain class of families of Hessenberg varieties arising from Springer theory for symmetric spaces. We study the geometry of those Hessenberg varieties and investigate their monodromy representations in detail using the geometry of complete intersections of quadrics. We obtain decompositions of these monodromy representations into irreducibles and compute the Fourier transforms of the IC complexes associated to these irreducible representations. The results of the paper refine (part of) the Springer correspondece for the split symmetric pair (SL(N),SO(N)) in [CVX2…
This is a survey article on the Springer correspondence for symmetric spaces. We discuss various generalization of the theory of the Springer correspondence for reductive groups to symmetric spaces and exotic symmetric spaces associated to classical groups.
This paper is a sequel to math.RT/0601155. Let G be a complex symplectic group. In math.RT/0601155, we constructed a certain G-variety N = N_1, which we call the (1-) exotic nilpotent cone. In this paper, we study the set of G-orbits of the variety N. It turns out that the variety N gives a variant of the Springer correspondence for the Weyl group of type C, but shares a similar flavor with that of type A case. (I.e. there appears no non-trivial local system and the correspondence is bijective.) As an application, we present one sufficient condition for the bijectivity of our exotic Deligne-La…
We complete the determination of the generalised Springer correspondence for connected reductive algebraic groups, by proving a conjecture of Lusztig on the last open cases which occur for groups of type $E_8$.
We give a common framework for the classification of projective spin irreducible representations of a Weyl group, modeled after the Springer correspondence for ordinary representations.
We establish a relation between the known parametrization of a family of irreducible representations of a Weyl group and Springer's correspondence. We outline a parametrization of unipotent character sheaves on a connected reductive group in terms of restrictions to various conjugacy classes.
We describe the Springer correspondence explicitly for exceptional Lie algebras of type $G_2$ and $F_4$ and their duals in bad characteristics, i.e. in characteristics 2 and 3.
Recall that the Springer correspondence relates representations of the Weyl group to perverse sheaves on the nilpotent cone. We explain how to extend this to an equivalence between the triangulated category generated by the Springer perverse sheaves and the derived category of differential graded modules over a dg-ring related to the Weyl group.
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\neq 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 …
We give a combinatorial description of the Springer correspondence for classical Lie algebras $\mathfrak{g}$ of type $B,C$ or $D$ and their duals $\mathfrak{g}^*$ in characteristic 2. The combinatorics used here is of the same kind as those appearing in the description of (generalized) Springer correspondence for unipotent case of classical groups $G$ by Lusztig in odd characteristic and by Lusztig and Spaltentstein in characteristic 2. It is very nice that this combinatorics gives a unified description for (generalized) Springer correspondences of classical groups in all cases, namely, in $G$…
In 1976, Springer defined a correspondence making a link between the irreducible ordinary (characteristic zero) representations of a Weyl group and the geometry of the associated nilpotent variety. In this thesis, we define a modular Springer correspondence (in positive characteristic), and we show that the decomposition numbers of a Weyl group (for example the symmetric group) are particular cases of decomposition numbers for equivariant perverse sheaves on the nilpotent variety. We calculate explicitly the decomposition numbers associated to the regular and subregular classes, and to the min…
Let $\mathbf{G}$ be a connected split reductive group over a field of characteristic zero or sufficiently large characteristic, $γ_0\in(\operatorname{Lie}\mathbf{G})((t))$ be any topologically nilpotent regular semisimple element, and $γ=tγ_0$. Using methods from $p$-adic orbital integrals, we show that the number of components of the Iwahori affine Springer fiber over $γ$ modulo $Z_{\mathbf{G}((t))}(γ)$ is equal to the order of the Weyl group.
We prove a derived equivalence between each block of the derived category of sheaves on the nilpotent cone and the category of differential graded modules over a degeneration of Lusztig's graded Hecke algebra. Along the way, we construct and study a mixed version of the geometric category. This work can be viewed as giving a derived version of the generalized Springer correspondence.
We give the number of nilpotent orbits in the Lie algebras of orthogonal groups under the adjoint action of the groups over $\tF_{2^n}$. Let $G$ be an adjoint algebraic group of type $B,C$ or $D$ defined over an algebraically closed field of characteristic 2. We construct the Springer correspondence for the nilpotent variety in the Lie algebra of $G$.
Let $G$ be an adjoint algebraic group of type $B$, $C$, or $D$ over an algebraically closed field of characteristic 2. We construct a Springer correspondence for the Lie algebra of $G$. In particular, for orthogonal Lie algebras in characteristic 2, the structure of component groups of nilpotent centralizers is determined and the number of nilpotent orbits over finite fields is obtained.
Let G be a reductive algebraic group over the algebraic closure of a finite field F_q of good characteristic. In this paper, we demonstrate a remarkable compatibility between the Springer correspondence for G and the parametrization of unipotent characters of G(F_q). In particular, we show that in a suitable sense, "large" portions of these two assignments in fact coincide. This extends earlier work of Lusztig on Springer representations within special pieces of the unipotent variety.
We define a generalized Springer correspondence for the group GL(n) over any field. We also determine the cuspidal pairs, and compute the correspondence explicitly. Finally we define a stratification of the category of equivariant perverse sheaves on the nilpotent cone of GL(n) satisfying the `recollement' properties, and with subquotients equivalent to categories of representations of a product of symmetric groups.
Let $G$ be a simply connected algebraic group of type $B,C$ or $D$ over an algebraically closed field of characteristic 2. We construct a Springer correspondence for the dual vector space of the Lie algebra of $G$. In particular, we classify the nilpotent orbits in the duals of symplectic and orthogonal Lie algebras over algebraically closed or finite fields of characteristic 2.
Let $G = GL_N$ over an algebraically closed field of odd characteristic, and $θ$ an involutive automorphism on $G$ such that $H = (G^θ)^0$ is isomorphic to $SO_N$. Then $G^{ιθ} = \{ g \in G \mid θ(g) = g^{-1} \}$ is regarded as a symmetric space $G/G^θ$. Let $G^{ιθ}_{uni}$ be the set of unipotent elements in $G^{ιθ}$. $H$ acts on $G^{ιθ}_{uni}$ by the conjugation. As an analogue of the generalized Springer correspondence in the case of reductive groups, we establish in this paper the generalized Springer correspondence between $H$-orbits in $G^{ιθ}_{uni}$ and irreducible representations of var…
In this note, we consider perverse sheaves on the nilpotent cone. We prove orthogonality relations for the equivariant category of sheaves on the nilpotent cone in a method similar to Lusztig's for character sheaves. We also consider cleanness for cuspidal perverse sheaves and the generalized Lusztig--Shoji algorithm.
For a simply-connected simple algebraic group $G$ over $\C$, we exhibit a subvariety of its affine Grassmannian that is closely related to the nilpotent cone of $G$, generalizing a well-known fact about $GL_n$. Using this variety, we construct a sheaf-theoretic functor that, when combined with the geometric Satake equivalence and the Springer correspondence, leads to a geometric explanation for a number of known facts (mostly due to Broer and Reeder) about small representations of the dual group.
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 equival…
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.
This paper is a survey on the topics concerning the Springer correspondence related to the varieties such as the enhanced variety or the exotic symmetric space. We explain in the case of exotic symmetric space of higher level, the complex reflection group $S_n \ltimes (\BZ/r\BZ)^n$ appears naturally in the framework of the Springer correspondence.
The goal of this work is to construct a perverse t-structure on the infinity-category of l-adic LG-equivariant sheaves on the loop Lie algebra Lg and to show that the affine Grothendieck-Springer sheaf S is perverse. Moreover, S is an intermediate extension of its restriction to the locus of ``compact" elements with regular semi-simple reduction. Note that classical methods do not apply in our situation because LG and Lg are infinite-dimensional ind-schemes.
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 complete the construction of the modular generalized Springer correspondence for an arbitrary connected reductive group, with a uniform proof of the disjointness of induction series that avoids the case-by-case arguments for classical groups used in previous papers in the series. We show that the induction series containing the trivial local system on the regular nilpotent orbit is determined by the Sylow subgroups of the Weyl group. Under some assumptions, we give an algorithm for determining the induction series associated to the minimal cuspidal datum with a given central character. We a…
For a split reductive group scheme $G$ over a commutative ring $k$ with Weyl group $W$, there is an important functor $Rep(G,k) \to Rep(W,k)$ defined by taking the zero weight space. We prove that the restriction of this functor to the subcategory of small representations has an alternative geometric description, in terms of the affine Grassmannian and the nilpotent cone of the Langlands dual group to $G$. The translation from representation theory to geometry is via the Satake equivalence and the Springer correspondence. This generalizes the result for the $k=\mathbb{C}$ case proved by the fi…
Let V be an 2n-dimensional vector space over an algebraically closed field of odd characteristic. Let G = GL(V), and H = Sp(V) the symplectic group contained in G. For a positive integer r > 1, we conisder the variety X = G/H \times V^{r-1}, on which H acts diagonally. X is called the exotic symmetric space of level r. Let W_{n,r} be the complex reflection group G(r,1,n). In this paper, generalizing the result for the case where r = 2, we show that there exists a natural bijective correspondence (Springer correspondence) between the set of irreducible representations of W_{n,r} and a certain s…
In this paper we prove a direct geometric relation between Deligne--Lusztig varieties and Springer fibres in type $\mathsf{A}$: For any rational unipotent element, the Springer fibre cuts out a unique component of a specific Deligne--Lusztig variety; moreover, this component forms an open dense subset of a component of the Springer fibre. This boils down to a map from the unipotent variety to the Weyl group, and combines several constructions with a combinatorial flavour (like Weyr normal forms, Robinson--Schensted correspondence, and Spaltenstein's and Steinberg's labellings); it also provide…
In \cite{Lusztig}, Lusztig gives an explicit formula for the bijection between the set of bipartitions and the set $\mathcal{N}$ of unipotent classes in a spin group which carry irreducible local systems equivariant for the spin group but not equivariant for the special orthogonal group. The set $\mathcal{N}$ has a natural partial order and therefore induces a partial order on bipartitions. We use the explicit formula given in \cite{Lusztig} to prove that this partial order on bipartitions is the same as the dominance order appeared in Dipper-James-Murphy's work.
One can associate an invariant to a large class of regular codimension two defects of the six dimensional $(0,2)$ SCFT $\mathscr{X}[j]$ using the classical Springer correspondence. Such an association allows a simple description of S-duality of associated Gaiotto-Witten boundary conditions in $\mathcal{N}=4$ SYM for arbitrary gauge group and by extension, a determination of certain local aspects of class $\mathcal{S}$ constructions. I point out that the problem of \textit{classifying} the corresponding boundary conditions in $\mathcal{N}=4$ SYM is intimately tied to possible symmetry breaking …
We show that two Weyl group actions on the Springer sheaf with arbitrary coefficients, one defined by Fourier transform and one by restriction, agree up to a twist by the sign character. This generalizes a familiar result from the setting of l-adic cohomology, making it applicable to modular representation theory. We use the Weyl group actions to define a Springer correspondence in this generality, and identify the zero weight spaces of small representations in terms of this Springer correspondence.
Recent work by a number of people has shown that complex reflection groups give rise to many representation-theoretic structures (e.g., generic degrees and families of characters), as though they were Weyl groups of algebraic groups. Conjecturally, these structures are actually describing the representation theory of as-yet undescribed objects called ''spetses'', of which reductive algebraic groups ought to be a special case. In this paper, we carry out the Lusztig--Shoji algorithm for calculating Green functions for the dihedral groups. With a suitable set-up, the output of this algorithm tur…
We describe two candidates for a local p-adic Jacquet-Langlands correspondence and using patching we show that they are in fact isomorphic. We then study locally algebraic vectors of the given correspondence.
Let $G$ be a simple simply connected complex algebraic group and let $\mathfrak{g}_*$ be a $\mathbf{Z}/m$-grading on its Lie algebra $\mathfrak{g}$. In a recent series of articles, G. Lusztig and Z. Yun, studied the classification of simple $G_0$-equivariant perverse sheaves on the nilpotent cone of $\mathfrak{g}_i$ for $i\in \mathbf{Z}/m$, where $G_0$ is the exponentiation of the degree zero piece $\mathfrak{g}_0$. They proved a decomposition of the equivariant derived category of $\ell$-adic sheaves on the nilpotent cone of $\mathfrak{g}_i$ into blocks, each generated by a certain cuspidal l…
We reprove the Local Langlands Correspondence for $\GL_n$ over $p$-adic fields as well as the existence of $\ell$-adic Galois representations attached to (most) regular algebraic conjugate self-dual cuspidal automorphic representations, for which we prove a local-global compatibility statement as in the book of Harris-Taylor. In contrast to the proofs of the Local Langlands Correspondence given by Henniart and Harris-Taylor our proof completely by-passes the numerical Local Langlands Correspondence of Henniart. Instead, we make use of a previous result describing the inertia-invariant nearby c…
We establish several new properties of the $p$-adic Jacquet-Langlands functor defined by Scholze in terms of the cohomology of the Lubin-Tate tower. In particular, we reprove Scholze's basic finiteness theorems, prove a duality theorem, and show a kind of partial Künneth formula. Using these results, we deduce bounds on Gelfand-Kirillov dimension, together with some new vanishing and nonvanishing results. Our key new tool is the six functor formalism with solid almost $\mathcal{O}^+/p$-coefficients developed recently by the second author [Man22]. One major point of this paper is to extend the …
Let $G = GL(V)$ for an N-dimensional vector space $V$ over an algebraically closed field k, and $G^θ$ the fixed point subgroup of $G$ under an involution $θ$ on $G$. In the case where $G^θ = O(V)$, the generalized Springer correspondence for the unipotent variety of the symmetric space $G/G^θ$ was studied by last two authors, under the assumption that ch k is odd. The definition of $θ$, and of the associated symmetric space given there make sense even if ch k = 2. In this paper, we discuss the Springer correspondence for those symmetric spaces of even characteristic. We show that if N is even,…