[論文レビュー] Proof of the Main Conjecture of Noncommutative Iwasawa Theory for Totally Real Number Fields in Certain Cases

Mahesh Kakde|ArXiv.org|Feb 15, 2008

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

ひとこと要約

この論文は、特定の完全実数体における非可換Iwasawa理論の主要予想を、特定の $p$-進Lie群のIwasawa代数のホワイトヘッド群を計算し、デリーニュ–リベットの $p$-進ゼータ関数の合同式を確立することで証明する。主な結果は、$\mu=0$ の仮定の下で $\Z_p \rtimes \Z_p$-拡張および特殊型の他の群について、主要予想が正当化されることを確認する。

ABSTRACT

Fix an odd prime $p$. Let $G$ be a compact $p$-adic Lie group containing a closed, normal, pro-$p$ subgroup $H$ which is abelian and such that $G/H$ is isomorphic to the additive group of $p$-adic integers $\mathbbZ_p$ . First we assume that $H$ is finite and compute the Whitehead group of the Iwasawa algebra, $Λ(G)$, of $G$. We also prove some results about certain localisation of $Λ(G)$ needed in Iwasawa theory. Let $F$ be a totally real number field and let $F_{\infty}$ be an admissible $p$-adic Lie extension of $F$ with Galois group $G$. The computation of the Whitehead groups are used to show that the Main Conjecture for the extension $F_{\infty}/F$ can be deduced from certain congruences between abelian $p$-adic zeta functions of Delige and Ribet. We prove these congruences with certain assumptions on $G$. This gives a proof of the Main Conjecture in many interesting cases such as $\mathbb{Z}_p times

研究の動機と目的

• 完全実数体のアドミッサブルな $p$-進Lie群拡張に対する非可換Iwasawa理論の主要予想を確立すること。
• $H$ が有限でアーベルな $p$-進プロ群で、$\Gamma \cong \mathbb{Z}_p$ であるような $G = H \rtimes \Gamma$ に対するIwasawa代数のホワイトヘッド群 $K_1$ を計算すること。
• デリーニュとリベットのアーベル的 $p$-進ゼータ関数の間の合同式を証明し、群論的条件下で主要予想を示すこと。
• 主要予想が成り立つ「特殊型」としての群を同定・特徴づけること。これには $\rZ_p \rtimes \Gamma$ や対角化可能な拡張が含まれる。
• 可換な $\rZ_p$-拡張における古典的主予想を、アーベルでないガロア群をもつ非可換 $p$-進Lie群拡張へと拡張すること。

提案手法

• $H$ が有限でアーベルな $p$-進プロ群で、$\Gamma \cong \mathbb{Z}_p$ である $G = H \rtimes \Gamma$ に対して、ホワイトヘッド群 $K_1(\Lambda(G))$ を計算する。
• $K_1$-群上の対数関数および積分対数関数写像を用い、$p$-進ゼータ関数と代数的 $K$-理論を関連付ける。
• $\Lambda(G)$ におけるオア集合 $S$ を定義・分析し、$\Lambda(G)_S$ への局域化を導出し、ねじれ加群論において重要となる。
• 重要な準同型 $\theta_\mathfrak{S}$ を構成し、$\Phi_\mathfrak{S}$ の群を研究することで、局域化における $K_1$-元を制御する。
• デリーニュとリベットの $p$-進ゼータ関数の合同式から、主要予想が導かれるのを証明する。
• アーベル化における $p$ 乗写像の条件を通じて「特殊型」群の概念を導入し、部分商群全体にわたる整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 非可換 $p$-進Lie群拡張に対する完全実体の非可換Iwasawa理論の主要予想は、証明可能か？
• RQ2 $H$ が有限でアーベルな $p$-進プロ群である $G = H \rtimes \Gamma$ に対して、ホワイトヘッド群 $K_1(\Lambda(G))$ の構造は何か？
• RQ3 群論的条件下で、デリーニュ–リベットの $p$-進ゼータ関数の合同式が主要予想を示すのはどのような場合か？
• RQ4 $H \rtimes \Gamma$ の形をした $p$-進Lie群 $G$ のうち、どの群が「特殊型」としての性質を持ち、主要予想の成立を保証するか？
• RQ5 $\mathbb{Z}_p \rtimes \mathbb{Z}_p$-拡張およびその一般化について、主要予想は確立可能か？

主な発見

• $H$ が有限でアーベルな $p$-進プロ群である条件の下で、$G = H \rtimes \Gamma$ に対してホワイトヘッド群 $K_1(\Lambda(G))$ が明示的に計算された。
• $G$ が特殊型で $\mu = 0$ であると仮定した下で、$F_\infty/F$ に対する主要予想が証明された。
• 特殊型の群に対して、デリーニュ–リベットの $p$-進ゼータ関数の間の合同式が確立され、それらから主要予想が導かれた。
• $\mathbb{Z}_p \rtimes \Gamma$-拡張に対しても主要予想が成立し、$\mathbb{Q}(\mu_{37})$ の実部分体の最大アーベル $37$-拡張の例も含む。
• $p$-進ゼータ関数 $\zeta(F_\infty/F)$ が存在し、$K_1(\Lambda(G)_S)$ からの $K_1$-リフトによって主要予想を満たすことが示された。
• $p$-進ヘイゼンベルク群 $\mathbb{Z}_p^2 \rtimes \Gamma$（ユニポテンツ作用付き）が特殊型として確認され、カトウの先行結果が拡張された。