なぜだか今更ながらBezrukavnikov-Kazhdanを印刷して眺めている．複素数体上であることをどこで使っているんだろうと思って眺めていたんだけど，Hecke環が有限生成とかいうところかな？