I am surprised nobody so far has mentioned Hecke algebras. I don't know what exactly to write about them -- defnition? finite, affine and double Hecke algebras?, Kazhdan-Lusztig basis (in some form)? geometric realization (say via the Steinberg variety)?