This is an expository article on the \(K\)-theoretic approach to affine Hecke algebras. In the first half of this paper the author describes two kinds of methods to construct representations of the affine Hecke algebra using equivariant \(K\)-theory and in the other half discusses the results in the author's previous paper [Can. J. Math. 51, No. 6, 1194-1225 (1999; Zbl 0976.19002)]. These are outlined as follows: Let \(M\) be a linear algebraic group and let \(Z\) be a closed \(M\)-stable subvariety of a smooth algebraic variety with an algebraic action of \(M\). (All algebraic varieties are assumed to be over \(\mathbb{C}\).) Let \(\text{Coh}_M(Z)\) denote the category of coherent \(M\)-equivariant sheaves on \(Z\) and let \(K_M(Z)\) denote the Grothendieck group of \(\text{Coh}_M(Z)\). Let \(G\) and \(\mathfrak g\) denote a connected reductive algebraic group over \(\mathbb{C}\) and its Lie algebra. And let \(\mathcal B\) be the variety consisting of all Borel subalgebras of \(\mathfrak g\) on which \(G\) acts by the adjoint action. By considering parabolic subalgebras of \(\mathfrak g\) and algebraic \(G\)-equivariant line bundles on \(\mathcal B\), one can obtain an affine Hecke algebra \(\mathcal H\) with a parameter \(v\) such that it can be interpreted as the standard generator of the representation ring \({\mathbf C}^*\). If one puts \({\mathcal G}=G\times{\mathbf C}^*\), then \(\mathcal B\) and \(\mathfrak g\) become \(\mathcal G\)-varieties with \(\mathcal G\)-action induced by the adjoint action. Specifically one now considers the following subgroup of \(\mathcal G\) to be \(M\) above. Let \(e,h,f\) be an \(\mathfrak{sl}_2\)-triple of \(\mathfrak g\) and let \(C\) be a maximal torus of the intersection of their stabilizers in \(G\). Here one takes \(M=C\times{\mathbf C}^*\) and defines \({\mathcal B}_e=\{{\mathfrak b}\in{\mathcal B}\mid e\in{\mathfrak b}\}\) which becomes an \(M\)-stable subvariety of \(\mathcal B\). Then it is seen that under some further conditions one can define \(\mathcal H\)-module structures on \(K_M({\mathcal B}_e)\) by two kinds of methods. In fact, however, it is proved that these two structures coincide. Next, one assumes that \(G\) is simply connected and \(\mathfrak g\) is simple, and also that \(e\) is `subregular'. Secondarily, the author considers an \(\mathcal A\)-basis of \(K_M({\mathcal B}_e)\) where \({\mathcal A}={\mathbf Z}[v,v^{-1}]\). There are an involution \(\widetilde\beta\colon K_M({\mathcal B}_e)\to K_M({\mathcal B}_e)\) and a pairing \((\mid)\colon K_M({\mathcal B}_e)\times K_M(\Lambda_e)\to R_M=K_M(\text{point})\) where \(\Lambda_e\) denotes a smooth variety containing \({\mathcal B}_e\) as a closed subvariety. Using these maps one defines \({\mathbf B}^\pm_{{\mathcal B}_e}=\{F\in K_M({\mathcal B}_e)\mid\widetilde\beta(F)=F,\;(F| k_*F)\in 1+R_C[v^{-1}]\}\) where \(k\colon{\mathcal B}_e\to\Lambda_e\) is the inclusion. By specifying the elements of this set the author shows that \({\mathbf B}^\pm_{{\mathcal B}_e}\) becomes a signed basis for the \(\mathcal A\)-module \(K_M({\mathcal B}_e)\). This is carried out by dividing up into two cases according as \(G\) is of type \(A\) or of the other five types. The bibliography consists of fifteen references to the author's work. Especially it contains eight papers by the author himself. The arguments above in fact are based on the results of these papers. Hence it seems that the lecture in this paper will be very helpful to the readers interested in pursuing this line of reseach. For the entire collection see [Zbl 1005.00030].
- Equivariant K-theory and representations of Hecke algebras. II
- Residue construction of Hecke algebras
- Formulae relating the Bernstein and Iwahori-Matsumoto presentations of an affine Hecke algebra.
- Geometric representations of the formal affine Hecke algebra
- Geometric braid group action on derived categories of coherent sheaves
- Diagram algebras, Hecke algebras and decomposition numbers at roots of unity
- Affine Hecke algebras, cyclotomic Hecke algebras and Clifford theory.
- Subregular representations of ๐ฐ๐ฉ_{๐ซ} and simple singularities of type ๐_{๐ซ-1}. II
- A Note on the Spectral Transfer Morphisms for Affine Hecke Algebras
- Discretization of Springer fibres
This page was built for publication: Notes on affine Hecke algebras.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4736641)
