13
$\begingroup$

(How) do Hecke-algebras arise naturally in your field of mathematics and why are they important?

How would you define them and how do you think about them? e.g. generators and relations, functions on some space, grothendieck group...

$\endgroup$
4
  • 2
    $\begingroup$ They don't, yet. Perhaps you should delete the first word of your (interesting) question? $\endgroup$
    – Yemon Choi
    Oct 11, 2010 at 9:40
  • $\begingroup$ I put it in brackets as a compromise. If you don't like it feel free to edit my post and change it to what you see fit. $\endgroup$ Oct 11, 2010 at 11:28
  • 6
    $\begingroup$ For some, the answer must be "What the heck are they?" Or we might find, like M. Jourdain, that we have been using them for years without knowing it. $\endgroup$ Oct 11, 2010 at 18:38
  • 17
    $\begingroup$ You mean "What the hecke are they?" $\endgroup$ Oct 11, 2010 at 19:40

4 Answers 4

9
$\begingroup$

Mine is pretty elementary:

Let $X$ be a $G$-set (for simplicity, let $X$ be a finite set, and $G$ be a finite group). Then the space $\mathbf C[X]$ of complex-valued functions on $X$ is a representation of $G$. The associated Hecke algebra is $\mathrm{End}_G \mathbf C[X]$.

For example, if $X$ is the variety of complete flags over a finite field, you end up with the usual finite dimensional Hecke algebra of type $A_n$. If $H$ is a subgroup of $G$ and $X=G/H$ then you end up with $\mathrm{End}_G \mathrm{Ind}_H^G 1$.

A basis of this Hecke algebra is indexed by relative positions of pairs of objects in $X$. What this means is that each linear endomorphism of $\mathbf C[X]$ is an integral operator $T_k$ with respect to some kernel $k:X\times X$ to $\mathbf C$. The kernels which give rise to $G$-endomorphisms are the ones which are constant on the orbits of the diagonal action of $G$ on $X\times X$ (which may be thought of as the set of relative positions of pairs in $X$).

I use these algebras to understand the permutation representations $\mathbf C[X]$. One may try, for example to compute the primitive central idempotents in this algebra. Often the set $X$ is a geometric object over a finite field of order $q$. In many such situations, $q$ enters the picture as a parameter which can then be replaced by an arbitrary complex number of a transcendental variable. Putting $q=1$ usually gives rise to some purely combinatorial object.

$\endgroup$
2
  • $\begingroup$ This may be elementary, but it's still a fantastic answer. I'd seen this perspective before now (maybe in a blog post by Qiaochu?), and it completely changed my thinking then; but, if I hadn't seen it, then this would have been the post that changed my thinking about Hecke algebras. :-) $\endgroup$
    – LSpice
    Jun 10, 2019 at 3:11
  • $\begingroup$ @LSpice This approach is fleshed out in my book (imsc.res.in/~amri/rtcv) in the $q=1$ case to recover many classical results about representations of $S_n$, such as the classification of irreducibles, Young's rule, and twisting by the sign character. You'll also find a beautiful exposition in Howe and Moy to representations induced from tensor powers of a single cuspidal representation. $\endgroup$ Jun 11, 2019 at 5:04
4
$\begingroup$

Here is an interesting paper by Bost and Connes that combines Hecke algebras with type III factors (i.e., von Neumann algebras) and number theory: http://dx.doi.org/10.1007/BF01589495

$\endgroup$
4
$\begingroup$

One very interesting application is the proof by Kuhn and Priddy of the Whitehead Conjecture in stable homotopy theory (MR):

\bib{MR803606}{article}{
   author={Kuhn, Nicholas J.},
   author={Priddy, Stewart B.},
   title={The transfer and Whitehead's conjecture},
   journal={Math. Proc. Cambridge Philos. Soc.},
   volume={98},
   date={1985},
   number={3},
   pages={459--480},
   issn={0305-0041},
   review={\MR{803606 (87g:55030)}},
   doi={10.1017/S0305004100063672},
}

The point of contact is that the proof involves classifying spaces of elementary abelian groups $(\mathbb{Z}/p)^r$ and their suspension spectra. The $p$-local group ring $\mathbb{Z}_{(p)}[GL_r(\mathbb{Z}/p)]$ acts on this spectrum, and one can use the Steinberg idempotent to give a splitting. The relationship between the Steinberg idempotent and Hecke operators is pure algebra.

There is also a relationship between Hecke operators and power operations in elliptic cohomology (MR):

\bib{MR1637129}{article}{
   author={Ando, Matthew},
   title={Power operations in elliptic cohomology and representations of
   loop groups},
   journal={Trans. Amer. Math. Soc.},
   volume={352},
   date={2000},
   number={12},
   pages={5619--5666},
   issn={0002-9947},
   review={\MR{1637129 (2001b:55016)}},
   doi={10.1090/S0002-9947-00-02412-0},
}

This actually generalises to give a relationship between power operations in Morava $E$-theory (at the prime $p$ and height $n$) and a kind of Hecke algebra for the monoid of $n\times n$ matrices over $\mathbb{Z}_p$ with nonzero determinant.

$\endgroup$
3
$\begingroup$

Mine is pretty standard. Denoting $\mathcal{U} = \mathcal{U}_q(\mathfrak{sl}_N)$ and $V$ the fundamental representation of $\mathcal{U}$, the braiding $\hat{R} : V \otimes V \to V \otimes V$ gives rise to a representation of the Hecke algebra $H_m(q)$ on $V^{\otimes m}$, which is the commutant of the representation of $\mathcal{U}$ on $V^{\otimes m}$. This gives a $q$-analogue of Schur-Weyl duality and tells you how to decompose $V^{\otimes m}$ as a direct sum of irreps of $\mathcal{U}$. For this perspective, one defines the Hecke algebra via generators and relations.

$\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.