2016年5月3日

GLn\mathrm{GL}_nの対角行列全体からなる部分群TTの指標χ\chiが,GLn\mathrm{GL}_nの指標に伸びるための必要十分条件は,成分ごとにχ\chiを考えたとき全て同じ値となること,またはコルートの像での値が一致することである.命題自身はGLn/SLnT/Imα\mathrm{GL}_n/\mathrm{SL}_n\simeq T/\langle \mathrm{Im}\alpha^\vee\rangleという感じに群の同型としてかけるので(SLn\mathrm{SL}_nGLn\mathrm{GL}_nの交換子群)表現の係数には寄らない.たとえば体でなくても良い.一般の簡約群でも同じようなことがいえる.

これのaffine Hecke環版(というかより一般にプロp岩堀Hecke環版)って何かしられているんだろうか.標数pp,つまりq=0q = 0の時に以前必要で考えたんだけど.いや,もちろん探して見つからなかったので考えたわけで,おそらく書かれているものはないのではないかと思っているのだが.誰かやってくれないかなぁ(他力本願)Steinber表現の構成にこれを使うので,Steinberg表現に対して何か主張すると必ずq=0q = 0を仮定しなければならないのがもどかしい.まぁ,q=0q = 0が本当に必要なケースもあるのだが,特に必要なさそうなこともあるので.

0 件のコメント:

コメントを投稿

コメントの追加にはサードパーティーCookieの許可が必要です