On capitulations of even $K$-groups and pseudo-null submodules in $\mathbb{Z}_p^d$-extensions

技術的要約：$\mathbb{Z}_p^d$ 拡大における偶数次 K 群のキャピチュレーションと擬零次部分加群

問題提起
本論文は、偶数次代数 K 群（$K_{2i}$）のキャピチュレーション（資本化）と、古典的なイワサ理論加群における非自明な擬零次部分加群の存在との関係を調査している。以前の研究（Ozaki による $\mathbb{Z}_p$ 拡大、および Fujii による $d \ge 2$ の $\mathbb{Z}_p^d$ 拡大）では、イデアル類群の逆極限の極大有限部分加群の非自明性が、ある有限部分拡大におけるキャピチュレーション写像の核の非自明性と同値であることが確立されている。しかし、Fujii による $d \ge 2$ の結果には厳格な制約があり、$F$ は $p$ の上にある素数が一つのみであり、かつその素数が拡大において完全分岐していなければならないという条件が必要であった。

本論文は、イデアル類群ではなく、偶数次代数 K 群（$K_{2i}$）に対して同様の結果を確立することを目的としている。具体的には、逆極限としての $K_{2i}$ 群（$X_{2i, F_\infty}$）の極大擬零次部分加 submodule の非自明性が、ある有限部分拡大におけるキャピチュレーション核の非自明性と同値であるか、また、これらの K 理論的な結果が、Fujii の研究で必要とされた制限的な分岐仮定なしに、古典的なイワサ加群における擬零次部分加 submodule の存在に関する新たな十分条件を提供できるかを明らかにすることを目指している。

手法
著者は、代数 K 理論とイワサ理論を組み合わせ、以下の主要なツールを活用している。

1. ガロア・コホモロジーへの同定： $p$ 進 Chern クラス写像と Rost および Voevodsky による深い結果を利用して、偶数次 K 群の $p$ 主要部分 $K_{2i}(\mathcal{O}_L)[p^\infty]$ を、第2ガロア・コホモロジー群 $H^2(G_S(L), \mathbb{Z}_p(i+1))$ と同定する。これにより、K 理論の問題をイワサ・コホモロジーの言語へと翻訳することが可能となる。
2. イワサ・コホモロジーと降下（Descent）： 逆極限加群 $X_{2i, F_\infty}$ を、第2イワサ・コホモロジー群 $H^2_{Iw}(F_\infty/F, \mathbb{Z}_p(i+1))$ と同定する。証明戦略は、イワサ・コホモロジーに関する Tate の降下スペクトル系列（Proposition 2.3）に大きく依存しており、これは全拡大のコホモロジーと部分拡大のコホモロジーを関連付けるものである。
3. 加群論的解析： イワサ環 $\mathbb{Z}_p[[G]]$（ここで $G \cong \mathbb{Z}_p^d$）上の有限生成捩れ加群の構造を解析する。主要な補題（3.3–3.6）により、擬零次部分加 submodule の性質、部分群への制限による振る舞い、およびこれらの加群の射影次元に関する性質を確立している。
4. ガロア降下の性質： 著者が指摘する重要な方法論的相違として、偶数次 K 群はイデアル類群と比較して、より強力なガロア降下の性質を備えている点が挙げられる。この性質により、Fujii のクラス群に関する研究で必要とされた、 $p$ 進素数の数やその分岐に関する厳格な制約を回避することが可能となっている。

主要な貢献および結果

• Ozaki の定理の類似（$d=1$）： 定理 1.1（定理 3.1）は、$\mathbb{Z}_p$ 拡大 $F_\infty$ に対して、極大擬零次部分加 submodule $X^0_{2i, F_\infty}$ が非ゼロであることは、有限部分拡大 $L$ が存在して、キャピチュレーション核 $\ker(K_{2i}(\mathcal{O}_L)[p^\infty] \to A_{2i, F_\infty})$ が非ゼロであることと同値であることを確立している。
• Fujii の定理の類似（$d \ge 2$）：
  • 定理 1.2（定理 3.2）： $\mathbb{Z}_p^d$ 拡大（$d \ge 2$）において $X^0_{2i, F_\infty} \neq 0$ であれば、ある有限部分拡大においてキャピチュレーション核は非自明である。この結果は、$F$ が $p$ の上にある素数を一つのみ持つ、あるいはそれが完全分岐しているという仮定なしに成立する。
  • 定理 1.3（定理 3.7）： 逆に、$K_{2i}(\mathcal{O}_F)[p^\infty]$ が非自明な巡回群であり、かつある有限部分拡大においてキャピチュレーション核が非自明であれば、$X^0_{2i, F_\infty} \neq 0$ である。
• 射影次元の結果： 副産物として（定理 1.4/定理 3.8）、本論文は、$\mathbb{Z}_p^d$ 拡大（$d \ge 2$）においてキャピチュレーション核が非自明であれば、$X_{2i, F_\infty}$ の $\mathbb{Z}_p[[G]]$-加群としての射影次元は少なくとも 2 であることを証明している。これは、第2イワサ・コホモロジー群の構造に関する新たな知見として提示されている。
• 古典的イワサ加群への応用： 本論文は、定理 3.7 を適用して、古典的なイワサ加群 $X_{E_\infty}$（ここで $E_\infty = F_\infty(\mu_p)$）における非自明な擬零次部分加 submodule の存在のための十分条件を導出している。$F(\zeta + \zeta^{-1})$ の $p$ 上の素数が $F(\mu_p)$ で分解しないという仮定（条件 $S_p$）の下、および $K_{2i}$ 群のキャピチュレーションと $K_{2i}(\mathcal{O}_F)[p^\infty]$ の巡回性に関する特定の条件が与えられたとき、本論文は $X^0_{E_\infty} \neq 0$ であると結論付けている。

意義および主張

本論文の主要な意義は、キャピチュレーションと擬零次部分加 submodule の既知の関係を、イデアル類群から偶数次 K 群へと拡張した点にあると主張している。K 群の強力なガロア降下の性質を利用することで、著者は $d \ge 2$ における Fujii の定理で必要とされた制限的な分岐条件（単一の素数、完全分岐）を取り除くことに成功した。

さらに、本論文は $X_{2i, F_\infty}$ に関する射影次元の構造的結果（定理 3.8）が、一般には十分に理解されていない、イワサ理論の主予想の中心的な対象である第2イワサ・コホモロジー群に対する新しい洞察を表していると断言している。

著者は、古典的なクラス群への適用に関する謙虚な注記を行っている。すなわち、K 理論的な結果は $X_{E_\infty}$ における擬零次部分加 submodule の存在の十分条件を提供するものの、K 群のキャピチュレーションとイデアル類群のキャピチュレーションの間の直接的な同値性を確立するものではない。K 群が $p$ 乗によるクラス群の特定の固有空間としか同定されていないため、その完全な構造的関係は将来の研究に向けた未解決の問題として残されている。