[论文解读] 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

一句话总结

本文通过计算特定 $p$-进李群的 Iwasawa 代数的 Whitehead 群，并建立 Deligne–Ribet $p$-进 zeta 函数之间的同余关系，证明了某些全实数域的非交换 Iwasawa 理论主猜想。关键结果在 $\mu=0$ 假设下，确认了 $\mathbb{Z}_p \rtimes \mathbb{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$-进李扩张的非交换 Iwasawa 理论主猜想。
• 计算一类 $p$-进李群 $G = H \rtimes \Gamma$（其中 $H$ 为有限的阿贝尔 $p$-进群，$\Gamma \cong \mathbb{Z}_p$）的 Iwasawa 代数的 Whitehead 群 $K_1$。
• 证明 Deligne 与 Ribet 的阿贝尔 $p$-进 zeta 函数之间的同余关系，该同余在特定群论条件下蕴含主猜想。
• 识别并刻画‘特殊类型’群，使得主猜想成立，包括 $\mathbb{Z}_p \rtimes \Gamma$ 和可对角化扩张。
• 将经典主猜想从交换的 $\mathbb{Z}_p$-扩张推广至具有非交换伽罗瓦群的非交换 $p$-进李扩张。

提出的方法

• 计算 $G = H \rtimes \Gamma$ 的 Whitehead 群 $K_1(\Lambda(G))$，其中 $H$ 为有限的阿贝尔 $p$-进群，$\Gamma \cong \mathbb{Z}_p$。
• 利用 $K_1$-群上的对数映射与积分对数映射，将 $p$-进 zeta 函数与代数 $K$-理论联系起来。
• 在 $\Lambda(G)$ 中定义并分析 Ore 集 $S$，从而得到局部化 $\Lambda(G)_S$，这对挠模理论至关重要。
• 建立关键同态 $\theta_\mathfrak{S}$ 并研究群 $\Phi_\mathfrak{S}$，以控制局部化中的 $K_1$-元素。
• 证明主猜想可由 Deligne 与 Ribet 的 $p$-进 zeta 函数之间的同余关系推出。
• 通过阿贝尔化上的 $p$-幂映射条件引入‘特殊类型’群的概念，确保其在子商群中保持相容性。

实验结果

研究问题

• RQ1 能否在非交换 $p$-进李扩张下证明全实域的非交换 Iwasawa 理论主猜想？
• RQ2 $G = H \rtimes \Gamma$（其中 $H$ 为有限的阿贝尔 $p$-进群）的 Whitehead 群 $K_1(\Lambda(G))$ 的结构是什么？
• RQ3 在何种群论条件下，Deligne–Ribet $p$-进 zeta 函数之间的同余关系蕴含主猜想？
• RQ4 哪些形式为 $H \rtimes \Gamma$ 的 $p$-进李群 $G$ 属于‘特殊类型’，从而保证主猜想的有效性？
• RQ5 主猜想能否在 $\mathbb{Z}_p \rtimes \mathbb{Z}_p$-扩张及其推广情形下成立？

主要发现

• 在给定条件下，明确计算了 $G = H \rtimes \Gamma$（其中 $H$ 为有限的阿贝尔 $p$-进群）的 Whitehead 群 $K_1(\Lambda(G))$。
• 在 $G$ 属于特殊类型且 $\mu = 0$ 的假设下，证明了 $F_\infty/F$ 的主猜想。
• 对特殊类型群建立了 Deligne–Ribet $p$-进 zeta 函数之间的同余关系，从而蕴含主猜想。
• $\mathbb{Z}_p \rtimes \Gamma$-扩张的主猜想成立，包括 $\mathbb{Q}(\mu_{37})$ 的实子域的极大阿贝尔 $37$-扩张这一例子。
• $p$-进 zeta 函数 $\zeta(F_\infty/F)$ 被证明存在，并通过从 $K_1(\Lambda(G)_S)$ 的 $K_1$-提升满足主猜想。
• $p$-进海森堡群 $\mathbb{Z}_p^2 \rtimes \Gamma$（具有幂零作用）被确认为特殊类型群，扩展了 Kato 的早期结果。