June 8, 2020
For a complex reductive Lie group G with Lie algebra g, Cartan subalgebra h and Weyl group W, we describe the category of perverse sheaves on h/W smooth w.r.t the natural stratification. The answer is given in terms of mixed Bruhat sheaves, which are certain mixed sheaf-cosheaf data on cells of a natural cell decomposition of h/W. Using the parabolic Bruhat decomposition, we relate mixed Bruhat sheaves with the properties of various procedures of parabolic induction and restr...
May 7, 2006
We study a class of perverse sheaves on some spherical varieties which include the strata of the De Concini-Procesi completion of a symmetric variety. This is a generalization of the theory of (parabolic) character sheaves.
January 29, 2015
Let H be a Hecke algebra arising as an endomorphism algebra of the representation of a Chevalley group G over F_q induced by a unipotent cuspidal representation of a Levi quotient L of a parabolic subgroup. We assume that L is not a torus. In this paper we outline a geometric interpretation of the coefficients of the canonical basis of H in terms of perverse sheaves. We illustrate this in detail in the case where the Weyl group of G is of type B_4 and that of L is of type B_2...
June 7, 2004
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.
December 31, 2012
These are slides for a talk given by the authors at the conference "Current developments and directions in the Langlands program" held in honor of Robert Langlands at the Northwestern University in May of 2008. The slides can be used as a short introduction to the theory of characters and character sheaves for unipotent groups in positive characteristic, developed by the authors in a series of articles written between 2006 and 2011. We give an overview of the main results of ...
September 5, 2001
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...
January 28, 2014
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.
July 24, 2020
Let $G$ be a complex, connected, reductive, algebraic group, and $\chi:\mathbb{C}^\times \to G$ be a fixed cocharacter that defines a grading on $\mathfrak{g}$, the Lie algebra of $G$. Let $G_0$ be the centralizer of $\chi(\mathbb{C}^\times)$. In this paper, we study $G_0$-equivariant parity sheaves on $\mathfrak{g}_n$, under some assumptions on the field $\Bbbk$ and the group $G$. The assumption on $G$ holds for $GL_n$ and for any $G$, it recovers results of Lusztig in chara...
April 30, 2024
We prove a microlocal characterisation of character sheaves on a reductive Lie algebra over an algebraically closed field of sufficiently large positive characteristic: a perverse irreducible G-equivariant sheaf is a character sheaf if and only if it has nilpotent singular support and is quasi-admissible. We also present geometric proofs, in positive characteristic, of the equivalence between being admissible and being a character sheaf, and various characterisations of cuspi...
December 17, 2003
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.