Hecke algebra of a locally compact group

In mathematics, a Hecke algebra of a locally compact group is an algebra of bi-invariant measures under convolution.

Definition

Let (G,K) be a pair consisting of a unimodular locally compact topological group G and a closed subgroup K of G. Then the space of bi-K-invariant continuous functions of compact support

C[K\G/K]

can be endowed with a structure of an associative algebra under the operation of convolution. This algebra is denoted

H(G//K)

and called the Hecke ring of the pair (G,K). If we start with a Gelfand pair then the resulting algebra turns out to be commutative.

SL(2)

In particular, this holds when

G = SL_n(Q_p) and K = SL_n(Z_p)

and the representations of the corresponding commutative Hecke ring were studied by Ian G. Macdonald.

GL(2)

On the other hand, in the case

G = GL₂(Q) and K = GL₂(Z)

we have the classical Hecke algebra, which is the commutative ring of Hecke operators in the theory of modular forms.

Iwahori

The case leading to the Iwahori–Hecke algebra of a finite Weyl group is when G is the finite Chevalley group over a finite field with p^k elements, and B is its Borel subgroup. Iwahori showed that the Hecke ring

H(G//B)

is obtained from the generic Hecke algebra H_q of the Weyl group W of G by specializing the indeterminate q of the latter algebra to p^k, the cardinality of the finite field. George Lusztig remarked in 1984 (Characters of reductive groups over a finite field, xi, footnote):

I think it would be most appropriate to call it the Iwahori algebra, but the name Hecke ring (or algebra) given by Iwahori himself has been in use for almost 20 years and it is probably too late to change it now.

Iwahori and Matsumoto (1965) considered the case when G is a group of points of a reductive algebraic group over a non-archimedean local field F, such as Q_p, and K is what is now called an Iwahori subgroup of G. The resulting Hecke ring is isomorphic to the Hecke algebra of the affine Weyl group of G, or the affine Hecke algebra, where the indeterminate q has been specialized to the cardinality of the residue field of F.

gollark: Except the dictator(s).

gollark: I find it hard to assume that any government actually has a coherent plan in mind, but somehow it seems to me unlikely that this sort of system of "let's monitor everything everyone says and does and have no transparency about it" is actually for anyone else's good.

gollark: i.e. "put security holes in your products but they're not actually allowed to be 'systemic weaknesses' and also you're not allowed to tell anyone".

gollark: No, they passed that stupid "Assistance and Access" law.

gollark: Well, the whole thing of "let's GET RID OF ENCRYPTION we're so smart TERRORISTS" is really a political issue.

References

Shimura (1971). Introduction to the Arithmetic Theory of Automorphic Functions (Paperback ed.). Princeton University Press. ISBN 978-0-691-08092-5.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.