38
$\begingroup$

There is a definition of Iwahori-Hecke algebras for Coxeter groups in terms of generators and relations and there is a definition of Hecke algebras involving functions on locally compact groups. Are these two concepts somehow related? I think I read somewhere that the Hecke algebra with functions includes Iwahori-Hecke algebras, is that correct? Is there a good motivation for introducing and studying either type of algebras? How much is known about their representations?

$\endgroup$

5 Answers 5

67
$\begingroup$

A Hecke algebra describes the most reasonable way to convolve functions or measures on a homogeneous space. Suppose that you have seen the definition of convolution of functions on a vector space, or on a discrete group --- the latter is just the group algebra of the group or some completion. Then how could you reasonably define convolution on a sphere? There is no rotationally invariant way to convolve a general $f$ with a general $g$. However, if $f$ is symmetric around a reference point, say the north pole, then you can define the convolution $f * g$, even if $g$ is arbitrary.

This is the basic idea of the Hecke algebra. The $(n-1)$-sphere is the homogeneous space $SO(n)/SO(n-1)$. A function $g$ on the sphere is a function on left cosets. A function $f$ on the sphere which is symmetric about a reference point is a function on double cosets. If $H \subseteq G$ is any pair of compact groups, if $f$ is any continuous function on $H\backslash G/H$, and if $g$ is any continuous function on $G/H$, then their product in the continuous group algebra is well-defined on $G/H$. The functions on double cosets make an algebra, the Hecke algebra, and the functions on left cosets are a bimodule of the Hecke algebra and the parental group $G$.

It is important for the same reasons that any other kind of convolution is important.

A particular case studied by Hecke Iwahori and others from before quantum algebra was the finite group $GL(n,q)$ and the upper triangular subgroup $B$. This is "the" Hecke algebra; it turns out that it is one algebra with a parameter $q$. Or as Ben says, this generalizes to the Iwahori-Hecke algebra of an algebraic group $G$ with a Borel subgroup $B$.


The other place that the Hecke algebra arises is as an interesting deformation of the symmetric group, or rather as a deformation of its group algebra. It has a parameter $q$ and you obtain the symmetric group when $q=1$. As I said, it is also the Hecke algebra of $GL(n,q)/GL(n,q)^+$, where $B = GL(n,q)^+$ is the Borel subgroup of upper-triangular matrices (all of them, not just the unipotent ones). There is a second motivation for the Hecke algebra that I should have mentioned: It immediately gives you a representation of the braid group, and this representation reasonably quickly leads to the Jones polynomial and even the HOMFLY polynomial.

When the Jones and HOMFLY were first discovered, it was simply a remark that the braid group representation was through the same Hecke algebra as the convolutional Hecke algebra for $GL(n,q)/B$ (or equivalently $SL(n,q)/B$). Even so, it's a really good question to confirm this "coincidence", as Arminius asks in the comment. Particularly because it is now a fundamental and useful relation and not a coincidence at all. As Ben explains in his blog post, the first model of the Hecke algebra is important for the categorification of the second model.

The coset space of $GL(n,q)/B$ consists of flags in $\mathbb{F}_q^n$, and you can see these more easily using projective geometry. When $n=2$, there is an identity double coset 1 and another double coset $T$. A flag is just a point in $\mathbb{P}^1$, and the action of $T$ is to replace the point by the formal sum of the other $q$ points. Thus you immediately get $T^2 = (q-1)T + q.$ When $n=3$, a flag is a point and a line containing it in $\mathbb{P}^2$. The two smallest double cosets other than the identity are $T_1$ and $T_2$. $T_1$ acts by moving the point in the line; $T_2$ acts by moving the line containing the point. A little geometry then gives you that $T_1T_2T_1$ and $T_2T_1T_2$ both yield one copy of the largest double coset and nothing else. Thus they are equal; this is the braid relation of the Hecke algebra. When $n \ge 3$, the Hecke algebra is given by these same local relations, which must still hold.

$\endgroup$
6
  • $\begingroup$ Thanks for this nice motivation! Somehow, I still don't get it how Iwahori-Hecke algebras (specialized to a q perhaps?) can be viewed as Hecke algebras in terms of functions. Can I look this up somewhere? $\endgroup$
    – user717
    Nov 8, 2009 at 13:41
  • 2
    $\begingroup$ Historical comment (since you say "a particular case studied by Hecke...") : I doubt that Hecke studied the particular algebra you mention; he was studying the convolution algebra corresponding to classical "Hecke operators" in the theory of modular forms. Incidentally, these were in fact introduced by Mordell. $\endgroup$
    – moonface
    Nov 10, 2009 at 18:07
  • $\begingroup$ Oh! In any case, a particular case that was studied before quantum algebra existed. $\endgroup$ Nov 10, 2009 at 18:33
  • 2
    $\begingroup$ Which is the case where $G=GL_2(\mathbb{Q}_p)$ and $H=GL_2(\mathbb{Z}_p)$ in the schema above. $\endgroup$
    – Ben Webster
    Nov 10, 2009 at 19:09
  • $\begingroup$ Nice answer! Btw, do you know of any good references for Hecke algebras? $\endgroup$
    – GMRA
    Nov 10, 2009 at 21:23
12
$\begingroup$

A few more words to explain how (Iwahori–)Hecke algebras arise as spaces of functions. The key point in identifying the Hecke algebra with an algebra of functions on a group is the presence of a Tits system, or BN-pair. You can find the proof for example in Bourbaki, Lie Groups and Algebras, Chap. IV §2, Exercises 22 to 24 if I remember correctly. (The exercises are doable.) You can also find it in the book of Davis on Coxeter groups, and probably in many other places.

The Bruhat decomposition tells you that $B\backslash G/B$ is in bijection with a Coxeter group $W$ (e.g., a finite group for an algebraic group over any field, or an affine group for an algebraic group over a local field), for some suitable subgroup $B$. A BN-pair is, roughly, a way to express the Bruhat decomposition, together with the behavior of double cosets.

Now, consider the algebra $L(G,B)$ of functions $G$ to $\mathbb C$ which are bi-$B$-invariant. If $W$ is infinite, you may want to restrict yourself to "compactly" supported functions, in the case when $B$ is compact (e.g., for a group over a local field). More generally, there is a "bornology" on $G$ which makes $B$ bounded, and $L(G,B)$ is the space of functions bi-$B$-invariant with bounded support.

Then a basis of $L(G,B)$ (as a vector space) consists in characteristic functions of double cosets, so it is obviously parametrized by elements of $w$. Then you have to calculate the convolution product of two such functions. Then the convolution product can be expressed as the cardinality of some intersection of double cosets, and this is the Bourbaki exercises. If the double coset $BsB$ has cardinality $q$ for every generator $s$ of $W$, then you will get the relations you expect.

$\endgroup$
2
  • $\begingroup$ Great, thanks a lot! I will also take a look at Bourbaki now that I have a guide line. $\endgroup$
    – user717
    Nov 10, 2009 at 22:35
  • 2
    $\begingroup$ It may be worth mentioning (since I can never get used to the notation) that, in the local-field case, $B$ is not a Borel subgroup, but rather an Iwahori subgroup. $\endgroup$
    – LSpice
    Feb 21, 2015 at 20:49
8
$\begingroup$

The Hecke algebra for a Coxeter group in the generators and relations sense specialized at a prime p is the Hecke algebra in the functions sense for the corresponding split algebraic group over a finite field with p elements with respect to its Borel.

I wrote a blog post about this you might want to read.

$\endgroup$
0
5
$\begingroup$

The motivation for studying Iwahori-Hecke algebras (the convolution type) is the study of the unramified principal series representations. The details can get lengthy, but it is all in a paper of Borel's (Armand Borel. Admissible representations of a semi-simple group over a local field with vectors fixed under an Iwahori subgroup. Invent. Math., 35:233–259, 1976.)

The relationship between the convolution algebra and the algebra using Coxeter groups was due to Iwahori and Matsumoto (N. Iwahori and H. Matsumoto. On some Bruhat decomposition and the structure of the Hecke rings of p-adic Chevalley groups. Inst. Hautes Etudes Sci. Publ. Math., (25):5–48, 1965.)

$\endgroup$
4
$\begingroup$

If you have an arbitrary (i.e. possibly non-split) reductive group $G$ and an Iwahori $I$ and you want to write the function-theoretic Hecke algebra $\mathcal{H}(G;I)$ as one of these other combinatorial Hecke algebras, you should do the following: take $W$ to be the abstract extended affine Weyl group, take $S$ to be a base of the affine Weyl group $W_{aff} \subset W$ and form the combinatorial Hecke algebra in the usual way (e.g. chapter 7 in Humphreys's little grey book), except that when you are choosing the parameters $a_s$ and $b_s$ for the relations, you should replace $q$ with the index $[IsI:I]$.

I believe this non-split situation was done by Macdonald, but I'm not sure.

Edit - I realized that "usual way" above requires some clarification:

First, you write $W$ as the internal semidirect product $W_{aff} \rtimes \Omega$ where $\Omega$ is the subset of elements stabilizing the base alcove. The length function $\ell$ extends from $W_{aff}$ to $W$ by simply taking the length of the projections of elements in $W_{aff}$ (so now there are non-zero but zero length elements). The Bruhat order also extends but that's not necessary now. Then the "usual way" means:

  • label your basis using all elements of $W$ (not just $W_{aff}$),
  • interpret the relation "$T_{w_1 w_2}=T_{w_1}T_{w_2}$ whenever $\ell(w_1 w_2)=\ell(w_1)+\ell(w_2)$ for all $w_1, w_2 \in W$" verbatim, but using the extended length function, and
  • interpret the relation "$(T_s)^2=\ldots$ for all $s\in S$" verbatim, not worrying that $S$ does not generate $W$.
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.