の対角行列全体からなる部分群の指標が,の指標に伸びるための必要十分条件は,成分ごとにを考えたとき全て同じ値となること,またはコルートの像での値が一致することである.命題自身はという感じに群の同型としてかけるので(はの交換子群)表現の係数には寄らない.たとえば体でなくても良い.一般の簡約群でも同じようなことがいえる.
これのaffine Hecke環版(というかより一般にプロp岩堀Hecke環版)って何かしられているんだろうか.標数,つまりの時に以前必要で考えたんだけど.いや,もちろん探して見つからなかったので考えたわけで,おそらく書かれているものはないのではないかと思っているのだが.誰かやってくれないかなぁ(他力本願)Steinber表現の構成にこれを使うので,Steinberg表現に対して何か主張すると必ずを仮定しなければならないのがもどかしい.まぁ,が本当に必要なケースもあるのだが,特に必要なさそうなこともあるので.
0 件のコメント:
コメントを投稿
コメントの追加にはサードパーティーCookieの許可が必要です