[論文レビュー] Ramification of local fields and Fontaine's property (Pm)

Manabu Yoshida|arXiv (Cornell University)|May 8, 2009

History and Theory of Mathematics参考文献 2被引用数 8

ひとこと要約

本稿は、p進局所体の完全な残渣体をもつガロア拡張の分岐の性質を特徴づけるために、フォンテーヌの性質 (P_m) と古典的な上付き番号付け分岐フィルトレーションとの間の明確な関係を確立する。著者らは、性質 (P_m) の臨界閾値 $ m_{L/K} $ が、最大の上付き分岐ブレーク $ u_{L/K} $ に等しいことを示し、(P_m) による定義されたフィルトレーションが、標準的な上付き番号付けフィルトレーションと完全に一致することを示している。これにより、完全な残渣体をもつp進局所体のガロア拡張の分岐が、明確に特徴づけられる。

ABSTRACT

We prove that the ramification filtration of the absolute Galois group of a comlete discrete valuation field with perfect residue field is characterized in terms of Fontaine's property (Pm).

研究の動機と目的

• 完全な残渣体をもつ完備離散付値体の絶対ガロア群の分岐フィルトレーションを特徴づけること。
• フォンテーヌの性質 (P_m) と局所クラス理論における古典的な上付き番号付け分岐フィルトレーションとの明確な関係を確立すること。
• 性質 (P_m) を用いて定義される分岐閾値 $ m_{L/K} $ が、ガロア拡張 $ L/K $ の最大の上付き分岐ブレーク $ u_{L/K} $ に一致することを証明し、両方のフィルトレーションが同一であることを示すこと。

提案手法

• 有限ガロア拡張 $ L/K $ に対してフォンテーヌの性質 (P_m) が成り立つような実数 $ m $ の下限として $ m_{L/K} $ を定義する。
• $ \bar{K}_{<m} $ および $ \bar{K}_{\leq m} $ をそれぞれ $ m_{L/K} < m $ および $ m_{L/K} \leq m $ を満たす拡張の合成とし、$ G_K^{\text{geq} m} = \mathrm{Gal}(\bar{K}/\bar{K}_{<m}) $ および $ G_K^{>m} = \mathrm{Gal}(\bar{K}/\bar{K}_{\leq m}) $ とすることで、$ G_K $ の2つのフィルトレーションを構成する。
• フォンテーヌとセールの上付き番号付け分岐ブレーク $ u_{L/K} $ の理論を用いて $ m_{L/K} $ と比較し、ガロア理論的整合性と極限の議論により $ m_{L/K} = u_{L/K} $ を示す。
• 評価不等式のキーレムマとガロア拡張の構造を用いて、得られたフィルトレーション $ G_K^{\geq m} $ が古典的な上付き番号付けフィルトレーション $ G_K^{(m)} $ と一致し、$ G_K^{>m} $ が $ G_K^{(m+)} $（$ m' > m $ に対する $ G_K^{(m')} $ の和集合の閉包）と一致することを証明する。
• 結果を用いて、ガロア表現および有限平坦群スキームの分岐境界を精緻化し、特にフォンテーヌおよびハットリの研究の文脈で応用する。
• アブスとセイトの枠組みを用いて、不完全な残渣体へと一般化し、(P_m) を対応する対数的分岐の言語に翻訳する。

実験結果

リサーチクエスチョン

• RQ1 完全な残渣体をもつ局所体に対して、フォンテーヌの性質 (P_m) は、古典的な上付き番号付け分岐フィルトレーションを特徴づけるか？
• RQ2 性質 (P_m) を用いて定義される閾値 $ m_{L/K} $ とガロア拡張 $ L/K $ の最大の上付き分岐ブレーク $ u_{L/K} $ の間の正確な関係は何か？
• RQ3 性質 (P_m) を用いて定義されるフィルトレーションは、標準的な上付き番号付けフィルトレーション $ G_K^{(m)} $ と同一視できるか？
• RQ4 拡張の合成に関して性質 (P_m) はどのように振る舞い、これにより分岐フィルトレーションの構造にどのような含意があるか？
• RQ5 結果は、不完全な残渣体をもつ局所体へとどの程度一般化可能か？

主な発見

• フォンテーヌの性質 (P_m) の臨界閾値 $ m_{L/K} $ は、拡張 $ L/K $ の最大の上付き分岐ブレーク $ u_{L/K} $ に等しく、すなわち $ m_{L/K} = u_{L/K} $ が成り立つ。
• 性質 (P_m) を用いて定義されたフィルトレーション $ G_K^{\geq m} $ は、古典的な上付き番号付けフィルトレーション $ G_K^{(m)} $ と完全に一致する。すなわち、$ G_K^{\geq m} = G_K^{(m)} $ が成り立つ。
• 性質 (P_m) を用いて定義された $ G_K^{>m} $ は、$ G_K^{(m+)} $ と一致する。ここで $ G_K^{(m+)} $ は $ m' > m $ に対する $ G_K^{(m')} $ の和集合の閉包である。
• フィルトレーション $ (G_K^{\geq m})_{m \in \mathbb{R}} $ は、$ \bigcap_m G_K^{\geq m} = 1 $ および $ G_K^{\geq 0} = G_K $ を満たし、$ G_K^{\geq 1} $ はインertial部分群、$ G_K^{>1} $ は野生的インテンション部分群である。
• 結果により、フォンテーヌの有限平坦群スキームの分岐境界が精緻化され、$ e $ を絶対的分岐指数、$ n $ を $ p $- torsion の指数とするとき、$ m > e(n + 1/(p-1)) $ ならば $ G_K^{(m)} $ が $ \mathscr{G}(\bar{K}) $ に自明に作用することが示される。
• 等式 $ \bar{K}_{<m} = \bar{K}_{(m)} $ および $ \bar{K}_{\leq m} = \bar{K}_{(m+)} $ が成り立つ。これは、完全な残渣体の場合に、2つのフィルトレーションが同一であることを確認する。