授業.一時間半話すなんてもしかしてかなり久しぶりなんじゃなかろうか.セミナーとかで話してもだいたい一時間だし.まぁJussieuのは一時間から一時間半の間で適当にって感じだったけど(でも一時間で済ませていたように思う).ともかく疲れた.
Jacquet加群と放物型誘導表現の合成は幾何的補題により計算されるけど,これをZ上で考えてみた.G=GL2とし,B=TUをBorel部分群とする.Cを可換環とする.もしCが標数0の体ならば,(IndBGC)U=Cχ⊕Cとなる.ただし単にCと書いたら自明表現,χはモジュラー指標かその−1乗か何か.Cの部分はG/B≃P1の原点から来ていて,χの部分は残りのCc∞(B\BsU)から来る(sはWeyl群の非自明な元のリフト).より正確には積分∫:Cc∞(B\BsU)U→Cが同型を与える.
C=Zとする.原点からの寄与は変わらない.積分の方は,測度が整数でない集合があったりするので,値は当然Zとは限らない.なんか具体的に像がどうなるかよくわからないのだが((1/p)Zで良い?)ともかく今度は(IndBGZ)U=Im(∫)χ⊕Zとなるようだ.
ちなみにIndBGは右随伴RBを常に持つのだが,RB(IndBGZχ)=Zχとなるような気がする.なんか一瞬
0=HomT(Z,Zχ)=HomG(Z,RB(IndBG(Zχ))=HomG((IndBGZ)U,Zχ)=HomT(Im(∫)χ⊕Z,Zχ)
とかして矛盾すると思ったんだけど,Hom(Im(∫),Z)=0だから特に矛盾はしなかった.
0 件のコメント:
コメントを投稿
コメントの追加にはサードパーティーCookieの許可が必要です