[論文レビュー] On parahoric subgroups

Thomas J. Haines, Michael Rapoport|ArXiv.org|Apr 23, 2008

Advanced Topics in Algebra参考文献 8被引用数 49

ひとこと要約

本稿は、局所体上の再帰的群におけるパラホリック部分群の2つの定義の同値性を確立する。1つはコットヴィッツ準同型とブリュアット＝ティッツのビルディングにおける固定点を介した定義であり、もう1つはブリュアット＝ティッツ群スキームを介した定義である。主な結果は、$ K_F = \text{Fix}(F) \cap \text{Ker}\thinspace\theta_G $ で定義されるパラホリック部分群が、$ \frak{G}_F^\bullet(O_L) $ に一致することであり、再帰的群スキームおよびイワハリ＝ワイル群の理論における基礎的問題を解決する。

ABSTRACT

We prove some basic facts on parahoric subgroups and on Iwahori-Weyl groups.

研究の動機と目的

• コットヴィッツ準同型 $ \kappa_G $ とブリュアット＝ティッツのビルディングにおけるファセット $ F $ の安定化子を介して定義されるパラホリック部分群が、$ \mathcal{G}_F^\circ(O_L) $ に一致することを証明すること。
• アルコーブを介したイワハリ部分群の定義と群スキーム構成との間の同値性を確立すること。
• イワハリ＝ワイル群の構造と、アフィンワイル群およびコットヴィッツ準同型との関係を明確にすること。
• z-拡大とlftネロンモデルを用いて、一般の場合に $ P_F^\circ = K_F $ を完全に一般化して証明することで、パラホリック部分群の理論における基礎的問題を解決すること。

提案手法

• コットヴィッツ準同型 $ \kappa_G: G(L) \to X^*(\hat{Z}(G)^I) $ を用いて $ K_F = \text{Fix}(F) \cap \text{Ker}\thinspace\kappa_G $ を定義し、これによりパラホリック部分群を特徴付ける。
• 既知の結果が成り立つトーラスおよび単連結群の場合に還元するため、$ G_{\text{der}} $ が単連結であることを利用する。
• $ G_{\text{der}} $、$ G $、および $ D = G/G_{\text{der}} $ のlftネロンモデルを含む可換図式を構成し、正確な行と整合性のある写像を備える。
• ネロンモデルの形式的枠組みと $ \mathcal{G}_F^\circ(O_L) = \mathcal{T}^\circ(O_L) \cdot \mathfrak{U}_F(O_L) $ の構造を用いて、写像 $ \mathcal{G}_F^\circ(O_L) \to \mathcal{D}^\circ(O_L) $ の上への性質を示す。
• $ \widetilde{G}_{\text{der}} $ が単連結となるようなz-拡大 $ \widetilde{G} \to G $ を用いて、一般の場合を既知の状況に還元する。
• 正確な系列における図式引きの技法を用いて、$ \mathcal{G}_F^\circ(O_L) \to K_F $ が同型であることを示し、$ P_F^\circ = K_F $ を証明する。

実験結果

リサーチクエスチョン

• RQ1 2つのパラホリック部分群の定義——コットヴィッツ準同型を介した定義とブリュアット＝ティッツ群スキームを介した定義——は一致するか？
• RQ2 アルコーブに付随するパラホリック部分群として定義されるイワハリ部分群は、イワハリ分解を介した標準的定義と同値か？
• RQ3 コットヴィッツ準同型 $ \kappa_G $ の核は $ G(L)_1 $ と一致するか？ そしてこれはパラホリック部分群の構造とどのように関係するか？
• RQ4 コットヴィッツ準同型およびビルディングへの作用を考慮したとき、イワハリ＝ワイル群とアフィンワイル群の関係は何か？
• RQ5 すべてのパラホリック部分群が生成する部分群 $ G(L)^\prime $ に対して $ G(L)^\prime = G(L)_1 $ が成り立つか？

主な発見

• パラホリック部分群 $ K_F = \text{Fix}(F) \cap \text{Ker}\thinspace\kappa_G $ はブリュアット＝ティッツ群スキーム $ \mathcal{G}_F^\circ(O_L) $ に同型であり、$ P_F^\circ = K_F $ が成り立つ。これは基礎的問題を解決する。
• すべてのイワハリ部分群は $ G(L) $ 内で共役である。なぜなら $ G(L) $ がブリュアット＝ティッツのビルディングにおけるアローブの集合に推移的に作用するからである。
• イワハリ＝ワイル群 $ \widetilde{W} $ は正確な系列 $ 1 \to W_a \to \widetilde{W} \to X^*(\hat{Z}(G)^I) \to 1 $ に含まれ、$ \Omega \subset \widetilde{W} $ は $ X^*(\hat{Z}(G)^I) $ に同型に写像する。
• すべてのパラホリック部分群が生成する部分群 $ G(L)^\prime $ は、$ \kappa_G $ の核 $ G(L)_1 $ に等しく、$ G(L)^\prime = G(L)_1 $ が証明される。
• 自然な写像 $ W^\prime = N(L)^\prime / T(L)_1 \to W_a $ は同型であり、$ W^\prime $ が $ S $ に付随する根系のアフィンワイル群であることを示す。
• アパートへの作用における $ \nu^\prime(T(L)) $ の像は $ X_*(T_{\text{ad}})_I \subset P^\vee $ に含まれ、$ X_*(T_{\text{sc}})_I = Q^\vee $ である。これはガロア作用下でのコキャラクタ群の構造を確認する。