[論文レビュー] Tame ramification and group cohomology

Chandan Singh Dalawat, Jung-Jo Lee|arXiv (Cornell University)|May 12, 2013

Algebraic Geometry and Number Theory参考文献 6被引用数 3

ひとこと要約

本稿は、有限残渣体をもつ局所体のねじれ的分岐ガロア拡大について、群コホホロジーを用いて内在的なパラメトライゼーションを提供し、その拡大のコホモロジー類の2つの自然な定義が一致することを示している。また、ねじれ的分岐の場合のセールの質量公式の初等的証明を与え、素数 $ l \neq p $ に対して $ l^3 $ 次のすべてのガロア拡大を、特に二面体型およびクaternion型を含めて分類している。

ABSTRACT

We give an intrinsic parametrisation of the set of tamely ramified extensions of a local field with finite residue field and bring to the fore the role played by group cohomology. We show that two natural definitions of the cohomology class of a tamely ramified finite galoisian extension coincide, and can be recovered from the parameter. We also give an elementary proof of Serre's mass formula in the tame case and in the simplest wild case, and we classify tame galoisian extensions of degree the cube of a prime.

研究の動機と目的

• 有限残渣体をもつ局所体のねじれ的分岐拡大について、群コホモロジーを用いて内在的なパラメトライゼーションを提供すること。
• ねじれ的分岐ガロア拡大のコホモロジー類の2つの自然な定義が一致することを示すこと。
• コホモロジー的パrameterから、ガロア閉包、拡大塔の分解性、ガロア群の構造といった主要な不変量を回復できること。
• ねじれ的分岐の場合および次数が $ p $ で割り切れるが $ p^2 $ で割り切れない場合に、セールの質量公式の初等的証明を与えること。
• $ l \neq p $ である素数 $ l $ に対して、$ l^3 $ 次のすべてのガロア拡大を、二面体型およびクォータニオン型を含めて分類すること。

提案手法

• 群コホモロジーを用いて、分岐指数 $ e $ および残渣次数 $ f $ をもつ局所体 $ K $ のねじれ的分岐拡大の集合 $ \mathcal{T}_{e,f}(K) $ をパラメトライズすること。
• 「分岐する直線」を、正規化された付値写像 $ \bar{w}_f: K_f^\times / K_f^{\times e} \to \mathbb{Z}/e\mathbb{Z} $ の切断の像として定義し、これにより $ \mathcal{T}_{e,f}(K) $ の拡大が分類されることを示すこと。
• $ G_f = \mathrm{Gal}(K_f/K) $ とおくとき、$ \mathcal{T}_{e,f}(K) $ と分岐する直線の集合上の $ G_f $-軌道の集合との間に自然な双対性を確立すること。
• クーマー双対性およびその $ G_f $-不変性を用いて、コホモロジー的不変量と分岐データを関連させること。
• $ G_f $ が $ k_f^\times / k_f^{\times e} $ に作用することを用いて、ガロア拡大の数を計算し、それらのガロア群を特定すること。
• 特定の状況で $ H^2(G_f, k_f^\times / k_f^{\times e}) $ が消えることを利用して、拡大塔が分解することを示すこと。

実験結果

リサーチクエスチョン

• RQ1 局所体のねじれ的分岐拡大は、群コホモロジーを用いてどのように内在的にパラメトライズできるか？
• RQ2 ねじれ的分岐ガロア拡大のコホモロジー類の2つの標準的定義は一致するか？
• RQ3 ねじれ的分岐の場合および次数が $ p $ で割り切れるが $ p^2 $ で割り切れない場合に、セールの質量公式を初等的に証明できるか？
• RQ4 残渣特性が $ p \neq l $ である局所体上での $ l^3 $ 次拡大の可能なガロア群は何か？
• RQ5 非アーベル的ガロア拡大が $ l^3 $ 次で現れる条件は何か、そしてそれらはどのように分類できるか？

主な発見

• $ K $ の分岐指数 $ e $、残渣次数 $ f $ をもつねじれ的分岐拡大の集合 $ \mathcal{T}_{e,f}(K) $ は、$ K_f^\times / K_f^{\times e} $ 内の分岐する直線の集合上の $ G_f $-軌道の集合と自然な双対性をもつ。
• ねじれ的分岐ガロア拡大のコホモロジー類の2つの自然な定義は一致し、分岐する直線パラメータから回復可能である。
• ねじれ的分岐の場合および次数が $ p $ で割り切れるが $ p^2 $ で割り切れない場合に、セールの質量公式の初等的証明が与えられ、素数次数の証明と類似している。
• $ l \neq p $ に対して、$ v_l(q-1) = 1 $ ならば、$ K $ 上で $ D_{l^2,l} $ に同型な非アーベル的 $ l^3 $ 次ガロア拡大が $ l $ 個存在する。
• ヘイゼンベルク群 $ H_{l^3} $ は、残渣特性 $ p \neq l $ である局所体上の $ l^3 $ 次ねじれ的分岐拡大のガロア群として現れない。
• $ v_2(q-1) = m-1 $ ならば、$ \mathcal{T}_{2^m,2}(K) $ に $ 2^{m-1} $ 個の非アーベル的ガロア拡大が存在し、関連するコホモロジー群の消えることにより、それらの拡大塔は分解する。