In this paper we prove equivalences of categories relating the derived category of a block of the category of representations of a connected reductive algebraic group over an algebraically closed field of characteristic $p$ bigger than the Coxeter number and a derived category of equivariant coherent sheaves on the Springer resolution (or a parabolic counterpart). In the case of the principal block, combined with previous results, this provides a modular version of celebrated constructions due to Arkhipov-Bezrukavnikov-Ginzburg for Lusztig's quantum groups at a root of unity. As an application, we prove a "graded version" of a conjecture of Finkelberg-Mirković describing the principal block in terms of mixed perverse sheaves on the dual affine Grassmannian.
An important result of Arkhipov-Bezrukavnikov-Ginzburg relates constructible sheaves on the affine Grassmannian to coherent sheaves on the dual Springer resolution. In this paper, we prove a positive-characteristic analogue of this statement, using the framework of "mixed modular sheaves" recently developed by the first author and Riche. As an application, we deduce a relationship between parity sheaves on the affine Grassmannian and Bezrukavnikov's "exotic t-structure" on the Springer resolution.
We give an apriori description of a set of irreducible representations of a Weyl group which parametrize the nilpotent orbits in the Lie algebra of a connected reductive group in arbitrary characteristic. We also answer a question of Serre concerning the conjugacy class of a power of a unipotent element in a connected reductive group.
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.
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 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.
In this paper we discuss some of Springer's work on unipotent elements in a reductive groups and on representations of Weyl groups. Among the topics considered are Springer's bijection from the unipotent variety to the nilpotent variety, Springer's example of nonrationality of certain representations of the Hecke algebras associated to a Weyl group and the Springer representation of the Weyl group associated to a unipotent element.
For a fixed parabolic subalgebra p of gl(n,C) we prove that the centre of the principal block O(p) of the parabolic category O is naturally isomorphic to the cohomology ring of the corresponding Springer fibre. We give a diagrammatic description of O(p) for maximal parabolic p and give an explicit isomorphism to Braden's description of the category Perv_B(G(n,n)) of perverse sheaves on Grassmannians. As a consequence Khovanov's algebra H^n is realised as the endomorphism ring of some object from Perv_B(G(n,n)) which corresponds under localisation and the Riemann-Hilbert correspondence to a ful…
Let G be a simple reductive group over the complex numbers. Let W be the Weyl group of G. We propose a description of the Springer representations of W associated to various unipotent classes of G by a purely algebraic method involving the families of various reflection subgroups of W and which is suitable to computer calculations.
We give a self-contained account of a construction due to Rossmann which lifts Springer's action of a Weyl group on the cohomology of a Springer fiber to an action on its homotopy type. We use this construction to produce a generalization of an "induction theorem" of Alvis and Lusztig, which relates the Springer representations attached to a reductive group to those attached to a Levi subgroup. Our generalization applies to more general centralizers and to representations of Weyl groups on mod p cohomology.
By the geometric Satake isomorphism of Mirkovic and Vilonen, decomposition numbers for reductive groups can be interpreted as decomposition numbers for equivariant perverse sheaves on the complex affine Grassmannian of the Langlands dual group. Using a description of the minimal degenerations of the affine Grassmannian obtained by Malkin, Ostrik and Vybornov, we are able to recover geometrically some decomposition numbers for reductive groups. In the other direction, we can use some decomposition numbers for reductive groups to prove geometric results, such as a new proof of non-smoothness res…
In this paper we study the derived category of sheaves on the affine Grassmannian of a complex reductive group G, contructible with respect to the stratification by G(C[[x]])-orbits. Following ideas of Ginzburg and Arkhipov-Bezrukavnikov-Ginzburg, we describe this category (and a mixed version) in terms of coherent sheaves on the nilpotent cone of its Langlands dual reductive group. We also show, in the mixed case, that restriction to the nilpotent cone of a Levi subgroup corresponds to hyperbolic localization on affine Grassmannians.
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.
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.
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…
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…
The main theme of this paper is establishing the "generalized Springer correspondence" in complete generality that is, for not necessarily connected reductive algebraic groups.
The geometric conjecture developed by the authors in [1,2,3,4] applies to the smooth dual Irr(G) of any reductive p-adic group G. It predicts a definite geometric structure - the structure of an extended quotient - for each component in the Bernstein decomposition of Irr(G). In this article, we prove the geometric conjecture for the principal series in any split connected reductive p-adic group G. The proof proceeds via Springer parameters and Langlands parameters. As a consequence of this approach, we establish strong links with the local Langlands correspondence. One important feature of our…
The aim of this paper is to identify a certain tensor category of perverse sheaves on the real loop Grassmannian of a real form $G_{\mathbb R}$ of a connected reductive complex algebraic group $G$ with the category of finite-dimensional representations of a connected reductive complex algebraic subgroup $\check H$ of the dual group $\check G$. The root system of $\check H$ is closely related to the restricted root system of the real form $G_{\mathbb R}$. The fact that $\check H$ is reductive implies that an interesting family of real algebraic maps satisfies the conclusion of the Decomposition…
A classical and beautiful story in geometric representation theory is the construction by Springer of an action of the Weyl group on the cohomology of the fibres of the Springer resolution of the nilpotent cone. We establish a natural extension of Springer's theory to arbitrary symplectic resolutions of conical symplectic singularities. We analyse features of the action in the case of affine quiver varieties, constructing Weyl group actions on the cohomology of $ADE$ quiver varieties, and also consider "symplectically dual" examples arising from slices in the affine Grassmannian. Along the way…
We establish equivalences of derived categories of the following 3 categories: (1) Principal block of representations of the quantum at a root of 1; (2) G-equivariant coherent sheaves on the Springer resolution; (3) Perverse sheaves on the loop Grassmannian for the Langlands dual group. The equivalence (1)-(2) is an `enhancement' of the known expression for quantum group cohomology in terms of nilpotent variety, due to Ginzburg-Kumar. The equivalence (2)-(3) is a step towards resolving an old mystery surrounding the existense of two completely different realizations of the affine Hecke algebra…
Let $\mathbf{G}$ be a connected reductive group over an algebraically closed field $\mathbb{F}$ of good characteristic, satisfying some mild conditions. In this paper we relate tilting objects in the heart of Bezrukavnikov's exotic t-structure on the derived category of equivariant coherent sheaves on the Springer resolution of $\mathbf{G}$, and Iwahori-constructible $\mathbb{F}$-parity sheaves on the affine Grassmannian of the Langlands dual group. As applications we deduce in particular the missing piece for the proof of the Mirkovic-Vilonen conjecture in full generality (i.e. for good chara…
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.
This paper defines and studies a stratification of the adjoint quotient of the Lie algebra of a reductive group over a Laurent power series field. The stratification arises naturally in the context of affine Springer fibers.
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…
The wavefront set is a fundamental invariant of an admissible representation arising from the Harish-Chandra-Howe local character expansion. In this paper, we give a precise formula for the wavefront set of an irreducible representation of real infinitesimal character in Lusztig's category of unipotent representations in terms of the Deligne-Langlands-Lusztig correspondence. Our formula generalizes the main result of arXiv:2112.14354, where this formula was obtained in the Iwahori-spherical case. We deduce that for any irreducible unipotent representation with real infinitesimal character, the…
For $G$ a connected reductive group, $γ\in \kg(F)$ semisimple regular integral, we introduce a fundamental domain $F_γ$ for the affine Springer fibers $\xx_γ$. There is a beautiful way to reduce the purity conjecture of $\xx_γ$ to that of $F_γ$, we call it the Arthur-Kottwitz reduction. When restricted to the unramified case, it turns out that these fundamental domains behave well in family. We formulate a rationality conjecture about a generating series of their Poincaré polynomials. We then study them in detail for the group $\gl_{3}$. In particular, we pave them in affine spaces and we prov…
The global nilpotent cone N is a singular stack associated to the choice of an algebraic group G, a smooth projective curve X, and a line bundle L on X, which is of fundamental importance to the Geometric Langlands Program, and which is of emerging importance to the Classical Langlands Program. In analogy with the ordinary Springer resolution, we construct and study a resolution of singularities of N in the special case where G=SL_2. As an immediate application, we prove that N is equidimensional and also provide an enumeration of its irreducible components. We hope this is the first step in c…
We study basic geometric properties of some group analogue of affine Springer fibers and compare with the classical Lie algebra affine Springer fibers. The main purpose is to formulate a conjecture that relates the number of irreducible components of such varieties for a reductive group $G$ to certain weight multiplicities defined by the Langlands dual group $\hat{G}$. We prove our conjecture in the case of unramified conjugacy class.
We prove an isomorphism for simple perverse sheaves on the affine Grassmannian of a connected reductive algebraic group that is a geometric counterpart (in light of the Finkelberg-Mirković conjecture) of the Steinberg tensor product formula for simple representations of reductive groups over fields of positive characteristic.
We describe the equivariant cohomology of cofibers of spherical perverse sheaves on the affine Grassmannian of a reductive algebraic group in terms of the geometry of the Langlands dual group. In fact we give two equivalent descriptions: one in terms of D-modules of the basic affine space, and one in terms of intertwining operators for universal Verma modules. We also construct natural collections of isomorphisms parametrized by the Weyl group in these three contexts, and prove that they are compatible with our isomorphisms. As applications we reprove some results of the first author and of Br…
We give an overview of some of the main results in geometric representation theory that have been proved by means of the Steinberg variety. Steinberg's insight was to use such a variety of triples in order to prove a conjectured formula by Grothendieck. The Steinberg variety was later used to give an alternative approach to Springer's representations and played a central role in the proof of the Deligne-Langlands conjecture for Hecke algebras by Kazhdan and Lusztig.
Let g be a complex semisimple Lie algebra, and f : g --> g/G the adjoint quotient map. Springer theory of Weyl group representations can be seen as the study of the singularities of f. We give a generalization of Springer theory to visible, polar representations. It is a class of rational representations of complex reductive groups, for which the invariant theory works by analogy with the adjoint representations. Let G|V be such a representation, f : V --> V/G the quotient map, and P the sheaf of nearby cycles of f. We show that the Fourier transform of P is an intersection homology sheaf on V…
Let $G$ be a connected reductive algebraic group over $\mathbb{C}$. Let $Λ^{+}_{G}$ be the monoid of dominant weights of $G$. We construct the integrable crystals $\mathbf{B}^{G}(λ),\ λ\inΛ^{+}_{G}$, using the geometry of generalized transversal slices in the affine Grassmannian of the Langlands dual group. We construct the tensor product maps $\mathbf{p}_{λ_{1},λ_{2}}\colon \mathbf{B}^{G}(λ_{1}) \otimes \mathbf{B}^{G}(λ_{2}) \rightarrow \mathbf{B}^{G}(λ_{1}+λ_{2})\cup\{0\}$ in terms of multiplication of generalized transversal slices. Let $L \subset G$ be a Levi subgroup of $G$. We describe t…
For a reductive group $G$ we equip the category of $G_\mathcal{O}$-equivariant polarizable pure Hodge modules on the affine Grassmannian $\mathrm{Gr}_G$ with a structure of neutral Tannakian category. We show that it is equivalent to a twisted tensor product of the category of representations of the Langlands dual group and the category of pure polarizable Hodge structures.
The category of perverse sheaves on the affine Grassmannian of a complex reductive group $G$ gives a canonical geometric construction of the split form of the Langlands dual group $\check G_\bZ$ over the integers. Given a field $k$, we give a Tannakian construction of the quasi-split forms of $\check G_k$, as well as a construction of the gerbe associated to an inner form of $\check G_k$.
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 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 Mautner's characteristic-$\ell$ `cleanness conjecture'; we prove it in some cases; and we deduce several consequences, inclu…
We study the Newton stratification of the adjoint quotient of a connected split reductive group G with simply connected derived group over the field F of formal Laurent series in one variable over the field of complex numbers. Our main result describes the centralizer of a regular semisimple element in G(F) whose image in the adjoint quotient lies in a certain generic subset of a given Newton stratum. Other noteworthy results include analogues of some results of Springer on regular elements of finite reflection groups, as well as a geometric construction of a well known homomorphism from the f…
Let $X$ be a smooth scheme with an action of a reductive algebraic group $G$ over an algebraically closed field $k$ of characteristic zero. We construct an action of the extended affine Braid group on the $G$-equivariant absolute derived category of matrix factorizations on the Grothendieck variety times $T^*X$ with potential given by the Grothendieck-Springer resolution times the moment map composed with the natural pairing.
Let G be a connected reductive algebraic group over an algebraically closed field k. We consider the strata in G defined by Lusztig as fibers of a map given in terms truncated induction of Springer representations. We extend to arbitrary characteristic the following two results: Lusztig's strata are locally closed and the irreducible components of a stratum X are those sheets for the G-action on itself that are contained in X.
This is an expanded version of the text ``Perverse Sheaves on Loop Grassmannians and Langlands Duality'', AG/9703010. The main new result is a topological realization of algebraic representations of reductive groups over arbitrary rings. We outline a proof of a geometric version of the Satake isomorphism. Given a connected, complex algebraic reductive group G we show that the tensor category of representations of the Langlands dual group is naturally equivalent to a certain category of perverse sheaves on the loop Grassmannian of G. The above result has been announced by Ginsburg in and some o…
Let G be a reductive group; in this note we give an interpretation of the dynamical Weyl group of of the Langlands dual group $\check{G}$ defined by Etingof and Varchenko in terms of the geometry of the affine Grassmannian Gr of G. In this interpretation the dynamical parameters of Etingof and Varchenko correspond to equivariant parameters with respect to certain natural torus acting on Gr. We also present a conjectural generalization of our results to the case of affine Kac-Moody groups.
We present a version of the Matsuki correspondence for the affine Grassmannian $Gr=G(C((t)))/G(C[[t]])$ of a connected reductive complex algebraic group $G$. The main statement is an anti-isomorphism between the orbit posets of two subgroups of $G(C((t)))$ acting on $Gr$. The first is the polynomial loop group $LG_R$ of a real form $G_R$ of $G$; the second is the loop group $K(C((t)))$ of the complexification $K$ of a maximal compact subgroup $K_c$ of $G_R$. The orbit poset itself turns out to be simple to describe.
We give a block decomposition of the dg category of character sheaves on a simple and simply-connected complex reductive group $G$, similar to the one in generalized Springer correspondence. As a corollary, we identify the category of character sheaves on $G$ as the category of quasi-coherent sheaves on an explicitly defined derived stack $\widehat{G}$.
