[論文レビュー] On the Bertrandias-Payan module in a p-extension -- capitulation kernel

Georges Gras|arXiv (Cornell University)|Oct 18, 2015

Algebraic Geometry and Number Theory参考文献 33被引用数 1

ひとこと要約

本稿は、Leopoldt予想の下で、数体のp-拡大におけるBertrandias–Payanモジュール内の理想類の帰属核を調査する。写像jL/Kの核が非自明となるのは、Kummer的で、p-分岐であり、局所的に円分的だが大域的には円分的でない特別な場合に限られ、その場合を除き写像jL/Kは単射であることが示され、類体論とIwasawa理論を用いてモジュール構造が完全に特徴付けられる。

ABSTRACT

For a number field K and a prime number p we denote by BP\_K the compositum of the cyclic p-extensions of K embeddable in a cyclic p-extension of arbitrary large degree. Then BP\_K is p-ramified (= unramified outside p) and is a finite extension of the compositum K~ of the Z\_p-extensions of K.We study the transfer map j\_(L/K) (as a capitulation map of ideal classes) for the Bertrandias-Payan module bp\_K:=Gal(BP\_K/K~) in a p-extension L/K (p extgreater{}2, assuming the Leopoldt conjecture). In the cyclic case of degree p, j\_(L/K) is injective except if L/K is kummerian, p-ramified, non globally cyclotomic but locally cyclotomic at p (Theorem 3.1). We then intend to characterize the condition \#bp\_K divides \#bp\_L^G (fixed points). So we study bp\_L^G when j\_(L/K) is not injective and show that it depends on the Galois group (over K~) of the maximal Abelian p-ramified pro-p-extension of K.We give complete proofs in an elementary way using ideal approach of global class field theory.

研究の動機と目的

• p-拡大におけるBertrandias–Payanモジュールの構造を特徴付けること。
• 写像jL/Kを用いた理想類の帰属核を分析すること。
• G = Gal(L/K)の下で|BPK| が |BPLG| を割り切る条件を特定すること。
• 理想類論、p進類体論、ガロアコホモロジーの3つの異なる手法を統一的な枠組みに統合すること。
• 高度なコホモロジー的道具を避け、グローバル類体論に基づく包括的で初等的な証明を提供すること。

提案手法

• eKをKのすべてのZp-拡大の合成とし、BPK := Gal(BPK/ eK) をBertrandias–Payanモジュールとする。
• p-拡大L/Kにおける理想類の帰属写像として写像jL/Kを適用する。
• グローバル類体論の理想論的枠組みを用いて分岐および単数構造を分析する。
• Leopoldt予想を用いて、WKとTKを含むねじれ群の包含関係の正当性を保証する。
• 3つの異なる手法（理想類群、p進類体論、ガロアコホモロジー）を独立に形式化し、比較する。
• 最大のアーベル的p-分岐プロ-p拡大を用いて、jL/Kが単射でない場合のBPG_Lの構造を特定する。

実験結果

リサーチクエスチョン

• RQ1 p-拡大L/Kにおいて、写像jL/Kがいつ単射となるか。
• RQ2 G = Gal(L/K)の下で、Bertrandias–PayanモジュールBPKの位数がBPLGの位数を割り切る条件は何か。
• RQ3 最大のアーベル的p-分岐プロ-p拡大のガロア群に依存するBPG_Lの構造はいかなるものか。
• RQ4 局所的にpで円分的である性質が、jL/Kの非単射性に果たす役割は何か。
• RQ5 理想類、p進、コホモロジーの3つの異なるアプローチが、この文脈でなぜ同等の結果をもたらすのか。

主な発見

• 写像jL/Kは、L/KがKummer的で、p-分岐であり、大域的には円分的でないが局所的にpで円分的である特別な場合を除き、巡回的p-拡大L/Kに対して単射である。
• 例外的な場合において、jL/Kの非単射性は、最大のアーベル的p-分岐プロ-p拡大のガロア群の算術的構造によって完全に特徴付けられる。
• BPG_Lが自明であることと、L/Kが上記の例外的条件を満たすことは同値である。
• 本稿は、グローバル類体論の理想論的アプローチのみを用いて、帰属核構造の完全で初等的な証明を提供する。
• 独立に形式化された3つのアプローチ（理想類、p進、コホモロジー）は、すべて同じ結果をもたらし、異なる枠組み間の整合性を確認する。
• 本研究は、p-分岐理論における異なる形式的体系間の比較という長年の問題を解決する。