[論文レビュー] Almost-Commuting-Liftable Subgroups of Galois Groups

Adam Topaz|arXiv (Cornell University)|Feb 8, 2012

Algebraic Geometry and Number Theory参考文献 18被引用数 4

ひとこと要約

本稿は、μₗ^∞ ⊂ K であるという仮定のもとで、(Z/ℓ)-アーベル的・中心的およびpro-ℓ-アーベル的・中心的ガロア群の群論的構造を用いて、体のpro-ℓガロア群における慣性群および分解群の検出を統一的な枠組みで行う。この枠組みは、ほぼ可換に持ち上げ可能な部分群の理論を用い、可換に持ち上げ可能な対および剛性のある元の理論を拡張することで、体 K に μₗ^∞ を含む場合、最大の (Z/ℓ)-アーベル的・中心的およびpro-ℓ-アーベル的・中心的ガロア群の群論的構造が、標数 ≠ ℓ である残留体を持つ valuation の局所ガロア理論的データを完全に回復できることを証明する。

ABSTRACT

Let K be a field and \ell be a prime such that char K eq \ell. In the presence of sufficiently many roots of unity in K, we show how to recover some of the inertia/decomposition structure of valuations inside the maximal (\Z/\ell)-abelian resp. pro-\ell-abelian Galois group of K using its (Z/\ell)-central resp. pro-\ell-central extensions.

研究の動機と目的

• pro-ℓガロア理論における2つの異なる手法、すなわち剛性のある元と可換に持ち上げ可能な対を統一する枠組みを構築すること。
• 従来の分解群および慣性群の検出結果を、代数的に閉じた部分体を必要としない、μₗ^∞ ⊂ K の設定に一般化すること。
• (Z/ℓ)-アーベル的・中心的およびpro-ℓ-アーベル的・中心的ガロア群における分解群および慣性部分群を特定する群論的技法を提供すること。
• 最大の (Z/ℓ)-アーベル的・中心的ガロア群の構造を用いて、残留体の標数が ℓ である valuation の検出基準を確立すること。
• 正標数および零標数における、pro-ℓガロア群における可換な持ち上げとその小さな商群（特に 𝒢_K^m や 𝒢_K^c）における持ち上げの関係を明確にすること。

提案手法

• (Z/ℓ)-アーベル的・中心的およびpro-ℓ-アーベル的・中心的ガロア群の文脈において、ほぼ可換に持ち上げ可能な部分群の概念を導入する。
• 基本体 K に μₗ^∞ が存在することを仮定することで、持ち上げ性質に必要な十分な分岐およびコホモロジー的制御を保証する。
• 群論的基準を用いて、慣性群および分解群に対応する ℤₗ ⋊ ℤₗ 型部分群を検出する。
• 標数 ≠ ℓ である残留体を持つ valuation v ∈ 𝒱_K と、(Z/ℓ)-アーベル的・中心的商群 𝒢_K^m に属する特定の部分群の間の自然な全単射を確立する。
• ガロアコホモロジーおよび ℓ-進コホモロジーの性質を用いて、分解群が慣性群に作用する様子を分析する。
• 最大の pro-ℓ ガロア群の構造および pro-ℓ 中心拡大の理論を応用し、可換な要素の持ち上げ基準を導出する。

実験結果

リサーチクエスチョン

• RQ1 ガロア群における剛性のある元の理論と可換に持ち上げ可能な対の理論は、共通の枠組みの下で統一可能か？
• RQ2 (Z/ℓ)-アーベル的・中心的ガロア群から、valuation の局所ガロア理論的構造（慣性群および分解群）をどの程度完全に回復できるか？
• RQ3 基本体 K に課される条件（例：μₗ^∞ を含む）は、ガロア商群の群論的構造から valuation のデータを完全に再構成可能にするか？
• RQ4 pro-ℓガロア群における可換な要素の持ち上げ性質は、その小さな商群（例：𝒢_K^m や 𝒢_K^c）における持ち上げとどのように関係するか？
• RQ5 𝒢_K^m に局所的コーシュの部分群が存在する場合、残留体の標数が ℓ である valuation の存在をどのように保証できるか？

主な発見

• 本稿は、char K ≠ ℓ かつ μₗ^∞ ⊂ K である体 K に対して、残留体の標数 ≠ ℓ である valuation v の分解群および慣性群が、最大の (Z/ℓ)-アーベル的・中心的ガロア群 𝒢_K^m の群論的構造によって完全に決定されることを証明する。
• このような valuation v と、𝒜_K^0 ⊂ 𝒢_K^m に属する部分群 Z の間の自然な全単射が確立される。ここで 𝒜_K^0 は、補題 4.5 の条件を満たす部分群の集合である。
• 補題 4.6 により、K が残留体の標数 ℓ である valuation を持つことと、𝒜_K ∖ 𝒜_K^0 に属する部分群 Z が存在することは同値であり、これは正標数体との同型性の群論的障害を示している。
• 補題 4.9 により、正標数では 𝒢_K^a における可換な持ち上げが 𝒢_K^c に持ち上げられ、零標数では 𝒢_K^m に可換な持ち上げが存在するための必要十分条件は、𝒢_K に同様の持ち上げが存在することである。
• 本稿の結果は、Bogomolov–Tschinkel や Engler–Koenigsmann の先行研究を一般化し、代数的に閉じた部分体を仮定する必要をなくし、μₗ^∞ の完全な設定にまで拡張している。
• 本稿は、従来の結果よりも弱い仮定のもとで成り立つ、pro-ℓ-アーベル的・中心的バージョンの可換に持ち上げ可能な対理論の、より簡潔な証明を提供している。