×

Equivariant K-theory and representations of Hecke algebras. II. (English) Zbl 0613.22003

In this paper, the authors construct some representation of the Hecke algebra of an affine Weyl group using equivariant K-theory and prove theorems close to the conjecture given by the second author in part I [Proc. Am. Math. Soc. 94, 337-342 (1985; Zbl 0571.22014)]. Let G be a reductive, simply connected complex Lie group; \(\alpha_ 0: \pi \to Z\) a locally trivial principal fibration with group G acting on \(\pi\) over the locally compact space Z; \(\alpha\) : \(G\to Z\) the associated bundle of groups, the fiber \({\mathbb{G}}_ z=\alpha^{-1}(z)\) is the quotient of \(\alpha_ 0^{-1}(z)\times G\) by the free G-action g: (p,g\({}_ 1)\to (gp,gg_ 1,g^{-1})\). Then, for any \(z\in Z\), \({\mathbb{G}}_ z\) is a complex Lie group isomorphic to G; the Weyl group \(({\mathbb{W}}_ z,{\mathbb{S}}_ z)\) of \({\mathbb{G}}_ z\) is canonically isomorphic to the Weyl group (W,S) of G.
Let \({\mathbb{B}}\) be the space of all Borel subgroups of the various \({\mathbb{G}}_ z\). Assume given a continuous section u of \(\alpha\) such that \(u_ z\) is a unipotent element of \({\mathbb{G}}_ z\) for all \(z\in Z\); a compact subgroup M of \(G\times {\mathbb{C}}^{\times}\) and \(\lambda\) : \(M\to {\mathbb{C}}^{\times}\) the character defined by \(\lambda ((g,a))=a\); continuous actions of M on \(\pi\), Z which are compatible with \(\alpha_ 0\) and the operation of G on \(\pi\), and for each \(m\in M\), \(z\in Z\), \(mu_ z=u_{mz}^{\lambda (m)}\). Then M acts naturally on \({\mathbb{B}}\) and it leaves stable the closed subspace \({\mathbb{B}}_ u\) of \({\mathbb{B}}\) consisting of all Borel subgroups of \({\mathbb{G}}_ z\) containing \(u_ z\) for various \(z\in Z\). One can define the equivariant K-theory with compact support \(K_ M({\mathbb{B}}_ u)\) which is an R(M)-module, R(M) being the representation ring of M.
Let P be an abelian group consisting of isomorphism classes of G- equivariant holomorphic line bundles on the variety of Borel subgroups of G. Now assume that G has no factors of type \(G_ 2\). For any \(s\in S\) and \(L\in P\), the authors define the endomorphisms \(T_ s\) and \(\theta_ L\) of \(K_ M({\mathbb{B}}_ u)\) and verify a modified form of the Iwahori-Matsumoto relations between them which make \(K_ M({\mathbb{B}}_ u)\) an \({\mathbb{H}}\otimes R(M)\)-module, where \({\mathbb{H}}\) is the abstract Hecke algebra over \({\mathbb{Z}}[q]\) (q an indeterminate). The construction provides a large number of square integrable representations of the Hecke algebra or of the algebraic group.
Reviewer: E.Abe

MSC:

22E50 Representations of Lie and linear algebraic groups over local fields
18F25 Algebraic \(K\)-theory and \(L\)-theory (category-theoretic aspects)
11F33 Congruences for modular and \(p\)-adic modular forms
57S25 Groups acting on specific manifolds
14G20 Local ground fields in algebraic geometry

Citations:

Zbl 0571.22014

References:

[1] [A] Atiyah, M.F.:K-theory. New York-Amsterdam: Benjamin 1967 · Zbl 0159.53401
[2] [AH] Atiyah, M.F., Hirzebruch, F.: The Riemann-Roch theorem for analytic embeddings. Topology1, 151-166 (1962) · Zbl 0108.36402 · doi:10.1016/0040-9383(65)90023-6
[3] [AS1] Atiyah, M.F., Singer, I.M.: The index of elliptic operators, I. Ann. Math.87, 484-530 (1968) · Zbl 0164.24001 · doi:10.2307/1970715
[4] [AS2] Atiyah, M.F., Singer, I.M.: The index of elliptic operators, IV. Ann. Math.93, 119-138 (1971) · Zbl 0212.28603 · doi:10.2307/1970756
[5] [BFM] Baum, P., Fulton, W., MacPherson, R.: Riemann Roch and topologicalK-theory for singular varieties. Acta Math.143, 155-192 (1979) · Zbl 0474.14004 · doi:10.1007/BF02392091
[6] [BZ] Bernstein, I.N., Zelevinskii, A.V.: Representations of the groupsGL(n,F) whereF is a local nonarchimedean field. Usp. Mat. Nauk31, 5-70 (1976)
[7] [Kt] Kato, S.: A realization of the irreducible representations of affine Weyl groups. Proc. K. Ned. Akad. A86, 193-201 (1983) · Zbl 0531.20020
[8] [KL] Kazhdan, D., Lusztig, G.: A topological approach to Springer’s representations. Adv. Math.38, 222-228 (1980) · Zbl 0458.20035 · doi:10.1016/0001-8708(80)90005-5
[9] [La] Langlands, R.P.: Problems in the theory of automorphic forms. Lect. Modern Anal. Appl., Lect. Notes Math.170, 18-86 (1970). New York: Springer
[10] [L1] Lusztig, G.: Some examples of square integrable representations of semisimplep-adic groups. Trans. Am. Math. Soc.277, 623-653 (1983) · Zbl 0526.22015
[11] [L2] Lusztig, G.: EquivariantK-theory and representations of Hecke algebras. Proc. Am. Math. Soc. (To appear)
[12] [R] Rogawski, J.D.: On modules over the Hecke algebra of aP-adic group. (To appear) · Zbl 0579.20037
[13] [S] Segal, G.: EquivariantK-theory. Publ. Math. IHES34, 129-151 (1968) · Zbl 0199.26202
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.