This paper is an introduction, in a simplified setting, to Lusztig's theory of character sheaves. It develops a notion of character sheaves on reductive Lie algebras which is more general then such notion of Lusztig, and closer to Lusztig's theory of character sheaves on groups. The development is self contained and independent of the characteristic $p$ of the ground field. The results for Lie algebras are then used to give simple and uniform proofs for some of Lusztig's results on groups.
We prove an analog of the Gauss-Bonnet formula for constructible sheaves on reductive groups. As a corollary from this formula we get that if a perverse sheaf on a reductive group is equivariant under the adjoint action, then its Euler characteristic is nonnegative.
The purpose of this paper is to introduce and study certain irreducible perverse l-adic sheaves on a reductive group G over a finite field (we call them gamma-sheaves). One can construct such a sheaf starting with (almost) every finite-dimensional representation of the Langlands dual group. We present conjecture connecting the above sheaves with generalized gamma-functions introduced in our previous paper. We also conjecture that the convolution functor with the above sheaves enjoys certain nice properties (in particular, we compute the convolution of a gamma-sheaf with a character sheaf). We …
In this paper we propose a construction of generic character sheaves on reductive groups over finite local rings at even levels, whose characteristic functions are higher Deligne--Lusztig characters when the parameters are generic. We formulate a conjecture on the simple perversity of these complexes, and we prove it in the level two case (thus generalised a result of Lusztig from the function field case). We then discuss the induction and restriction functors, as well as the Frobenius reciprocity, based on the perversity.
Deligne constructed a remarkable local system on $\bP^1-\{0,\infty\}$ attached to a family of Kloosterman sums. Katz calculated its monodromy and asked whether there are Kloosterman sheaves for general reductive groups and which automorphic forms should be attached to these local systems under the Langlands correspondence. Motivated by work of Gross and Frenkel-Gross we find an explicit family of such automorphic forms and even a simple family of automorphic sheaves in the framework of the geometric Langlands program. We use these automorphic sheaves to construct l-adic Kloosterman sheaves for…
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…
This paper concerns character sheaves of connected reductive algebraic groups defined over non-Archimedean local fields and their relation with characters of smooth representations. Although character sheaves were devised with characters of representations of finite groups of Lie type in mind, character sheaves are perfectly well defined for reductive algebraic groups over any algebraically closed field. Nevertheless, the relation between character sheaves of an algebraic group $G$ over an algebraic closure of a field $K$ and characters of representations of $G(K)$ is well understood only when…
This paper contains an exposition of the theory of character sheaves for reductive groups and some attempts to extend it to other cases: unipotent groups, reductive groups modulo the unipotent radical of a parabolic.
In math.RT/0205144 we observed that, on the level of derived categories, representations of the Lie algebra of a semisimple algebraic group over a field of finite characteristic with a given (generalized) regular central character can be identified with coherent sheaves on the formal neighborhood of the corresponding (generalized) Springer fiber. In the present paper we treat singular central characters. The basic step is the Beilinson-Bernstein localization of modules with a fixed (generalized) central character as sheaves on the partial flag variety corresponding to the singularity of the ch…
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…
We prove exactness of parabolic restriction and induction functors for conjugation equivariant sheaves on a reductive group generalizing a well known result of Lusztig who established this property for character sheaves. We propose a conjectural (but known for character sheaves) t-exactness property of the Harish-Chandra transform and provide an evidence for that conjecture. We also present two applications generalizing some results of Gabber and Loeser on perverse sheaves on an algebraic torus to an arbitrary reductive group.
Let $G$ be a reductive group over a finite field with a maximal unipotent subgroup $U$, we consider certain sheaves on $G/U$ defined by Kazhdan and Laumon and show that their cohomology produces the cohomology of the Deligne-Lusztig varieties. We then use this comparison to give a new proof of a result of Dudas.
We prove that cuspidal automorphic D-modules have non-vanishing Whittaker coefficients, generalizing known results in the geometric Langlands program from GL_n to general reductive groups. The key tool is a microlocal interpretation of Whittaker coefficients. We establish various exactness properties in the geometric Langlands context that may be of independent interest. Specifically, we show Hecke functors are t-exact on the category of tempered D-modules, strengthening a classical result of Gaitsgory (with different hypotheses) for GL_n. We also show that Whittaker coefficient functors are t…
In geometric representation theory, one often wishes to describe representations realized on spaces of invariant functions as trace functions of equivariant perverse sheaves. In the case of principal series representations of a connected split reductive group G over a local field, there is a description of families of these representations realized on spaces of functions on G invariant under the translation action of the Iwahori subgroup, or a suitable smaller compact open subgroup, studied by Howe, Bushnell and Kutzko, Roche, and others. In this paper, we construct categories of perverse shea…
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$.
We relate the category of sheaves on alcoves that was constructed in "Sheaves on the alcoves and modular representations I" to the representation theory of reductive algebraic groups. In particular, we show that its indecomposable projective objects encode the simple rational characters of a reductive algebraic group in all characteristics above the Coxeter number.
We continue the study of character sheaves on a not necessarily connected reductive group. We prove orthogonality formulas for certain characteristic functions.
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.
With a view to determining character values of finite reductive groups at unipotent elements, we prove a number of results concerning inner products of generalised Gelfand-Graev characters with characteristic functions of character sheaves, here called Lusztig functions. These are used to determine projections of generalised Gelfand-Graev characters to the space of unipo- tent characters, and to the space of characters with a given wave front set. Such projections are expressed largely in terms of Weyl group data. We show how the values of characters at their unipotent support or wave front se…
We classify the unipotent character sheaves on a fixed connected component of a reductive algebraic group under a mild hypothesis on the characteristic of the ground field.
The theory of character sheaves on a reductive group is extended to a class of varieties which includes the strata of the De Concini-Procesi completion of an adjoint group.
We define the notion of character sheaf on a possibly disconnected reductive group. We show that the restriction functor carries a character sheaf to a direct sum of character sheaves.
We continue the attempt to develop a theory of character sheaves on a not necessarily connected reductive algebraic group. In this paper we introduce and study the generalized Green functions.
The main theme of this paper is establishing the "generalized Springer correspondence" in complete generality that is, for not necessarily connected reductive algebraic groups.
We study a class of perverse sheaves on the variety of pairs (P,gU_P) where P runs through a conjugacy class of parabolics in a connected reductive group G and gU_P runs through G/U_P. This is a generalization of the theory of character sheaves.
The purpose of this article is to set foundations for decomposition numbers of perverse sheaves, to give some methods to calculate them in simple cases, and to compute them concretely in two situations: for a simple (Kleinian) surface singularity, and for the closure of the minimal non-trivial orbit in a simple Lie algebra. This work has applications to modular representation theory, for Weyl groups using the nilpotent cone of the corresponding semisimple Lie algebra, and for reductive algebraic group schemes using the affine Grassmannian of the Langlands dual group.
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…
We relate a generic character sheaf on a disconnected reductive group with a character of a representation of the rational points of the group over a finite field extending a result known in the connected case.
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 introduce a class of perverse sheaves on a partial flag manifold of a connected reductive group G defined over a finite field which are equivariant under the action of the group of rational points of G. The definition of this class is similar to the definition of parabolic character sheaves.
In this paper we continue the study of character sheaves on a reductive group G. To each subset of the set of simple reflections in the Weyl group we associate an algebra of the same kind as an Iwahori-Hecke algebra with unequal parameters in terms of parabolic character sheaves. We also prove a Mackey type formula for character sheaves. We define a duality operation for character sheaves. We also prove a quasi-rationality property for character sheaves.
Let G be a reductive connected group over the algebraic closure of a finite field. In this paper we give the classification of character sheaves on G in categorical terms (as a categorical centre). Previously such a classification was known for unipotent character sheaves and also in the case where the ground field is replaced by the complex numbers.
In this paper we prove that the category of parity complexes on the flag variety of a complex connected reductive group is a "graded version" of the category of tilting perverse sheaves on the flag variety of the dual group, for any field of coefficients whose characteristic is good. We derive some consequences on Soergel's modular category O, and on multiplicities and decomposition numbers in the category of perverse sheaves.
A certain "condition (S)" on reductive algebraic groups was introduced in [GT2], in which a slightly stronger condition (S+) was shown to have very strong consequences. We show that a wide class of Kloosterman and hypergeometric sheaves satisfy (S+). For this class of sheaves, we determine possible structure of their monodromy groups.
Let G be a possibly disconnected reductive group over a finite field with Frobenius map F. The main result of this paper is that the characteristic functions af "admissible complexes" A on G such that F^*A is isomorphic to A form a basis of the space of functions on G^F that are constant on G^{0F}-conjugacy classes.
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}$.
In this article we prove a conjecture of Braverman and Kazhdan in \cite{BK1} on acyclicity of $ρ$-Bessel sheaves on reductive groups in both $\ell$-adic and de Rham settings. We do so by establishing a vanishing conjecture proposed in \cite{C1}. As a corollary, we obtain a geometric construction of the non-linear Fourier kernels for finite reductive groups as conjectured by Braverman and Kazhdan. The proof of the vanishing conjecture relies on the techniques developed in \cite{BFO} on Drinfeld center of Harish-Chandra bimodules and character D-modules, and a construction of a class of characte…
We study the intermediate extension of the character sheaves on an adjoint group to the semi-stable locus of its wonderful compactification. We show that the intermediate extension can be described by a direct image construction. As a consequence, we show that the ``ordinary'' restriction of a character sheaf on the compactification to a boundary piece inside the semi-stable locus is a shift of semisimple perverse sheaf and is closely related to Lusztig's restriction functor (from a character sheaf on a reductive group to a direct sum of character sheaves on a Levi subgroup). We also provide a…
In this paper we investigate the representations of reductive groups over a finite field, introduced in 1987 by D.Kazhdan and G.Laumon. We show that generically these representations are irreducible and that their character is equal to the function obtained by traces of Frobenius morphism on the stalks of the corresponding Lusztig's character sheaf. This, together with the corresponding result by G.Lusztig, implies that generic Kazhdan-Laumon representations are isomorphic to the corresponding Deligne-Lusztig representations. In the second half of the paper we give a direct geometric construct…
For a split reductive group $G$ over a finite field, we show that the neutral block of its mixed Hecke category with a fixed monodromy under the torus action is monoidally equivalent to the mixed Hecke category of the corresponding endoscopic group $H$ with trivial monodromy. We also extend this equivalence to all blocks. We give two applications. One is a relationship between character sheaves on $G$ with a fixed semisimple parameter and unipotent character sheaves on the endoscopic group $H$, after passing to asymptotic versions. The other is a similar relationship between representations of…
These are notes for my Takagi lecture at the University of Tokyo in November, 2016. I survey what is known about simple modules for reductive algebraic groups. The emphasis is on characteristic p>0 and Lusztig's character formula. I explain ideas connecting representations and constructible sheaves (Finkelberg-Mirkovic conjecture) in the spirit of the Kazhdan-Lusztig conjecture. I also discuss a conjecture with S. Riche (a theorem for GL_n) which should eventually make computations more feasible.
Let G be a reductive algebraic group, with nilpotent cone N and flag variety G/B. We construct an exact functor from perverse sheaves on N to locally constant sheaves on G/B, and we use it to study Ext-groups of simple perverse sheaves on N in terms of the cohomology of G/B. As an application, we give new proofs of some known results on stalks of perverse sheaves on N.
Given the nilpotent cone of a complex reductive Lie algebra, we consider its equivariant constructible derived category of sheaves with coefficients in an arbitrary field. This category and its subcategory of perverse sheaves play an important role in Springer theory and the theory of character sheaves. We show that the composition of the Fourier--Sato transform on the Lie algebra followed by restriction to the nilpotent cone restricts to an autoequivalence of the derived category of the nilpotent cone. In the case of $GL_n$, we show that this autoequivalence can be regarded as a geometric ver…
Let G be a reductive algebraic group over a field k. When k=C, R.K.Brylinski constructed a filtration of weight spaces of a G module, using the action of a principal nilpotent element of the Lie algebra, and proved that this filtration corresponds to Lusztig's q-analogue of the weight multiplicity. Later, Ginzburg discovered that this filtration has an interesting geometric interpretation via the geometric Satake correspondence. The goal of this article is to generalize these results to positive characteristics.
