[論文レビュー] The main conjecture of Iwasawa theory for totally real fields

Mahesh Kakde|arXiv (Cornell University)|Aug 1, 2010

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

ひとこと要約

この論文は、あるCM拡大のイwasawa μ-不変量の消滅を仮定することで、奇素数 $p$ における完全実体の $p$-進リー拡大に対する非可換イwasawa理論の主要予想を証明する。証明は代数的 $K$-理論的手法とイwasawa代数における合同式を用いて、$K$-理論、$p$-進 $L$-関数、ガロアコhomologyの間に深い関係を確立する。

ABSTRACT

The purpose of this paper is to prove the main conjecture of non-commutative Iwasawa theory for p-adic Lie extensions, for an odd prime p, of totally real number fields assuming that the Iwasawa mu invariant of a certain totally real number field vanishes.

研究の動機と目的

• 完全実数体の $p$-進リー拡大に対する非可換イwasawa理論の主要予想を確立すること。
• 帰納法理論と代数的 $K$-理論を用いて、一般の $p$-進リー群の場合を、1次元の $p$-進リー群の拡大に還元すること。
• イwasawa代数の構造とその局域化を分析することにより、$p$-冪指数拡大に対して予想を証明すること。
• 対数写像とヘッケ作用素を用いて、$p$-進 $L$-関数における必要な合同式を検証すること。
• バーンズとカトーの戦略に従い、算術的 $K_1$-類と特別な $L$-値の間の関係を確立すること。

提案手法

• ノルム写像と部分商還元を用いたバーンズの戦略に従い、$K_1$-群と部分商構造を用いて、1次元の $p$-進リー拡大への還元を実行する。
• イwasawa代数の $K_1$-群とその局域化を関連付けるための $\theta$-写像 $\theta_{U,V}$ と $\theta_{U,V,S}$ の使用。
• イwasawa代数上での対数および積分対数準同型を用いて、$p$-進単数と合同式を分析する。
• イーゼンスタイン級数と $q$-展開原理を用いて $p$-進ゼータ関数の構成と基本的な合同式の検証を行う。
• $\omega_P$-作用とフロベニウスに類似した合同式を用いて、$p$-進イデアルを法とする $\zeta_P^p$ と $\prod \omega_P^k(\zeta_P)$ の関係を確立する。
• ガロア降下と $\widehat{T}_{P,S}$ 内の合同式を文脈として、$\varphi$-写像と $\alpha_{P'}$-写像を用いて $\zeta_P$ と $\varphi(\zeta_{P'})$ を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 あるCM拡大の $\mu$-不変量が消えるとき、完全実体の $p$-進リー拡大に対する非可換イwasawa理論の主要予想は成立するか？
• RQ2 $K_1$-写像と部分商構造を用いて、一般の $p$-進リー群から1次元の $p$-進リー群への主要予想の還元は可能か？
• RQ3 $\theta$-写像とその局域化は、イwasawa代数の $K_1$-理論における像と核をどのように制御するか？
• RQ4 対数および積分対数は、イwasawa代数において $p$-進単数と $L$-値をどのように関連付けるか？
• RQ5 $\widehat{T}_{P,S}$ 内の合同式と $\omega_P$-作用は、主要予想に必要な算術的合同式をどの程度保証するか？

主な発見

• 特定のCM拡大の $\mu$-不変量が消えるという仮定の下で、完全実体の $p$-進リー拡大に対する非可換イwasawa理論の主要予想が証明された。
• バーンズの $\theta$-写像と部分商還元技術の新規応用により、一般の場合を1次元の $p$-進リー拡大に還元する証明がなされた。
• すべての関連する部分商（自明群を含む）に対して、キーモジュロ合同式M4が、$\zeta_P^p$ と $\prod \omega_P^k(\zeta_P)$ を $p\widehat{T}_{P,S}$ を法として分析することにより確立された。
• 対数写像は $1+p\widehat{T}_P$ と $p\widehat{T}_P$ の間に同型を誘導し、$p$-進単数群における合同式の導出を可能にした。
• すべての $P$ に対して、合同式 $\frac{\prod_{P'}\varphi(\alpha_{P'}(\zeta_{P'}))}{\zeta_P^p / \prod_{k=0}^{p-1}\omega_P^k(\zeta_P)} \in 1 + pT_{P,S}$ が検証され、必要な算術的条件が確認された。
• 自明群の場合、$\zeta_0$ と $\varphi(\zeta_{\{1\}})$ の補間を用いて、合同式 $\frac{\prod_{P'}\varphi(\alpha_{P'}(\zeta_{P'}))}{\zeta_{\{1\}}^p / \varphi(\zeta_{\{1\}})} \in 1 + pT_{\{1\},S}$ が確立された。