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

技术摘要：$\mathbb{Z}_p^d$-扩张中偶 K-群与伪零子模的屈服问题

问题陈述
本文研究了 $\mathbb{Z}_p^d$-扩张中理想的屈服（capitulation）与经典 Iwasawa 模中非平凡伪零子模（pseudo-null submodules）存在性之间的关系。此前，Ozaki 的工作（针对 $\mathbb{Z}_p$-扩张）以及 Fujii 的工作（针对 $d \ge 2$ 的 $\mathbb{Z}_p^d$-扩张）已经确立了：理想类群逆极限中的极大有限子模的非平凡性，等价于某个有限中间扩张的屈服映射核的非平凡性。然而，Fujii 对 $d \ge 2$ 的结果要求严格的约束条件：基域 $F$ 在扩张中上方只能有一个 $p$-进素，且该素数必须是全分歧（totally ramified）的。

本文旨在将上述研究对象从理想类群扩展到偶代数 K-群（$K_{2i}$）。具体而言，本文旨在确定：偶 K-群逆极限 $X_{2i, F_\infty}$ 中的极大伪零子模的非平凡性，是否等价于某个有限中间扩张的屈服核的非平凡性；并探讨这些 K-理论结果能否在无需 Fujii 所需的严格分歧假设的情况下，为经典 Iwasawa 模中伪零子模的存在性提供新的充分条件。

方法论
作者结合了代数 K-理论与 Iwasawa 理论，利用了以下关键工具：

1. 与 Galois 上同调的恒等性： 利用 $p$-进 Chern 类映射以及 Rost 和 Voevodsky 的深层结果，本文将偶 K-群的 $p$-主要部分 $K_{2i}(\mathcal{O}_L)[p^\infty]$ 与第二 Galois 上同调群 $H^2(G_S(L), \mathbb{Z}_p(i+1))$ 进行恒等。这使得将 K-理论问题转化为 Iwasawa 上同调语言成为可能。
2. Iwasawa 上同调与下降（Descent）： 逆极限模 $X_{2i, F_\infty}$ 被识别为第二 Iwasawa 上同调群 $H^2_{Iw}(F_\infty/F, \mathbb{Z}_p(i+1))$。证明策略高度依赖于用于 Iwasawa 上同调的 Tate 下降谱序列（命题 2.3），该序列将全扩张的上同调与中间扩张的上同调联系起来。
3. 模论分析： 本文分析了 Iwasawa 代数 $\mathbb{Z}_p[[G]]$（其中 $G \cong \mathbb{Z}_p^d$）上有限生成挠模的结构。关键引理（3.3–3.6）确立了关于伪零子模的性质、其在子群限制下的行为，以及这些模的射影维数（projective dimension）。
4. Galois 下降性质： 作者指出一个关键的方法论区别：相比于理想类群，偶 K-群享有更强的 Galois 下降性质。这一性质使得作者能够绕过 Fujii 在处理类群时所必需的关于 $p$-进素数量及分歧情况的严格约束。

主要贡献与结果

• Ozaki 定理的类比 ($d=1$)： 定理 1.1（定理 3.1）确立了对于 $\mathbb{Z}_p$-扩张 $F_\infty$，极大伪零子模 $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。这被视为对第二 Iwasawa 上同调群结构的一个观察，超越了以往已知的结论。
• 对经典 Iwasawa 模的应用： 本文应用定理 3.7 来推导经典 Iwasawa 模 $X_{E_\infty}$（其中 $E_\infty = F_\infty(\mu_p)$）中存在非平凡伪零子模的充分条件。在假设 $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$。

意义与主张
本文声称其主要意义在于将屈服与伪零子模之间的已知关系从理想类群扩展到了偶 K-群。通过利用 K-群更强的 Galois 下降性质，作者成功地移除了 Fujii 在 $d \ge 2$ 时定理中所需的限制性分歧条件（单素数、全分歧）。

此外，本文认为关于 $X_{2i, F_\infty}$ 射影维数的结构性结果（定理 3.8）代表了对第二 Iwasawa 上同调群结构的新颖见解，而这类群在一般情况下仍难以理解，且是 Iwasawa 主猜想的核心。

作者对应用于经典类群的部分表示了谦逊的态度：虽然 K-理论结果为 $X_{E_\infty}$ 中伪零子模的存在性提供了充分条件，但本文并未建立 K-群的屈服与理想类群的屈服之间的直接等价关系。由于 K-群仅与类群模 $p$ 次幂的特定特征空间相关联，这种关系目前仍是部分的，其完整的结构关系仍是未来研究的开放问题。