(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...
(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...
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.
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
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.
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.