The canonical basis of the quantum adjoint representation
We identify the canonical basis of the quantum adjoint representation of a quantized enveloping algebra with a basis that we defined before the theory of canonical bases was available.
arXiv subjects
Publications and source records attributed to G. Lusztig.
We identify the canonical basis of the quantum adjoint representation of a quantized enveloping algebra with a basis that we defined before the theory of canonical bases was available.
We define an imbedding of the Hecke algebra module carried by the involutions in a Weyl group W (defined by the author and Vogan) into a completion of the Hecke algebra. An analogous result is proved for any Coxeter group. A variant of the construction gives an imbedding of the biregular representation of a Hecke algebra of W in a completion of the Hecke algebra of W^2.
We define the almost characters of G(F_q) where G is a reductive connected group over a finite field F_q as explicit linear combinations of irreducible characters. Previously these were defined assuming that the centre of G is connected.
Let $G$ be a connected reductive group over $\kk$, an algebraic closure of a finite field. For an integer $r\ge 1$ let $G_r=G(\kk[\e]/(\e^r))$ viewed as an algebraic group of dimension $r\dim G$ over $\kk$. We show that the character of the generic principal series representation of $G_r(F_q)$ can be realized by a simple perverse sheaf on $G_r$ provided that $r=2$ or $r=4$ and we give a strategy to prove the same statement for any even $r$. (The case where $r=1$ is already known.)
We show that each Weyl group which enters in the generalized Springer correspondence carries a natural weight function.
By a result of Mathas, the basis element T_{w_0} of the Hecke algebra of a finite Coxeter group acts in the canonical basis of a cell module as a permutation matrix times plus or minus a power of v. We generalize this result to the unequal parameter case,. We also show that the image of T_{w_0} in the corresponding asymptotic Hecke algebra is given by a simple formula.
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.
Let W be a Coxeter group. We show that a certain power series involving a sum over all involutions in W can be expressed in terms of the Poincare series of W. (The case where W is finite is already known,)
Let G be a simple adjoint group and let K=k((ε)) where k is an algebraic closure of a finite field F_q. In this paper we define some geometric objects on G(K) which are similar to the (cohomology sheaves of) the unipotent character sheaves on G(k). Using these geometric objects we define the unipotent almost characters of G(K_0) where K_0=F_q((ε)) and state some conjectures relating them to the characters of unipotent representations of G(K_0).
This is an expanded version of my Shaw Prize Lecture delivered at the Chinese University of Hong Kong.
Let G be an almost simple, simply connected algebraic group over an algebraically closed field of characteristic p>0. In this paper we restate our conjecture from 1979 on the characters of irreducible modular representations of G so that it is now directly applicable to any dominant highest weight.
These are notes for the Aisenstadt lectures given in may/june 2002 at CRM, Montreal, enlarged and updated in 2014 by taking into account the recent results of Elias and Williamson on Soergel bimodules. The main object is the study of Iwahori-Hecke algebras arising from reductive groups over finite or p-adic fields. We try to extend various results known in the equal parameter case to the case of not necessarily equal parameters.
Let $W$ be a Coxeter group and let $M$ be the free $Z[v,v^{-1}]$-module with basis indexed by the involutions of $W$. We show how recent results of Elias and Williamson on Soergel bimodules can be used to give an alternative definition of an action of the Hecke algebra of $W$ on $M$.
Let G be a connected reductive group over an algebraically closed field. We define a decomposition of G into finitely many strata such that each stratum is a union of conjugacy classes of fixed dimension; the strata are indexed by a set defined in terms of the Weyl group which is independent of the characteristic. In the case where $G$ is replaced by the corresponding loop group we define an analogous decomposition of the set of regular semisimple compact elements into countably many strata.
We examine various consequences of the existence of exceptional representations of an irreducible Weyl group. (These are notes from a talk in the MIT Lie groups seminar.)
This paper contains some conjectures about the unipotent almost characters of a simple p-adic group in terms of a matrix which generalizes the nonabelian Fourier transform matrix introduced by the author in 1979.
Let G be a reductive connected group over an algebraic closure of a finite field. I define a tensor structure on the category of perverse sheaves on G which are direct sums of unipotent character sheaves in a fixed two-sided cell, in accordance with a conjecture I have made in 2004. I also show that that the resulting monoidal category is equivalent to the centre of a monoidal category which I defined in 1997 (a categorical version of the J-ring attached to the same two-sided cell), thus verifying a conjecture of Bezrukavnikov, Finkelberg, Ostrik. A possible interpretation of unipotent characters associated to a finite noncrystallographic Coxeter group is given.
Let G(F_q) be the group of rational points of a split connected reductive group G defined over the finite field F_q. In this paper we show that the category of representations of G(F_q) which are finite direct sums of unipotent representations in a fixed two-sided cell is equivalent to the centre of a certain monoidal category of sheaves on the product of two copies of the flag manifold of G. We also consider a version of this for nonsplit groups.