[论文解读] On the Iwasawa theory of p-adic Lie extensions

Otmar Venjakob|ArXiv.org|Jun 8, 2001

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

一句话总结

本文通过非交换 Iwasawa 代数，发展了 p-进李扩张的 Iwasawa 理论，引入伪同构作为研究伽罗瓦模的关键等价关系。研究结果表明，此类扩张上阿贝尔簇的 Selmer 群与类群与 Ext 模密切相关，关键结果表明，对偶 Selmer 群与单位的伽罗瓦模在扭转与对偶意义下是伪同构的。

ABSTRACT

In this paper the new techniques and results concerning the structure theory of modules over non-commutative Iwasawa algebras are applied to arithmetic: we study Iwasawa modules over p-adic Lie extensions K of number fields k "up to pseudo-isomorphism". In particular, a close relationship is revealed between the Selmer group of abelian varieties, the Galois group of the maximal abelian unramified p-extension of K as well as the Galois group of the maximal abelian outside S unramified p-extension where S is a finite set of certain places of k. Moreover, we determine the Galois module structure of local units and other modules arising from Galois cohomology.

研究动机与目标

• 通过非交换 Iwasawa 代数上的模结构理论，将 Iwasawa 理论推广至非交换 p-进李扩张。
• 在伪同构意义下，理解 Selmer 群、类群与单位在 p-进李扩张中的伽罗瓦模结构。
• 将经典 Z_p-扩张中的结果推广至更一般的 p-进李群，特别是在阿贝尔簇的背景下。
• 通过 Ext 赋函子，建立最大阿贝尔无瑕 p-扩张的伽罗瓦模与对偶 Selmer 群之间的关系。
• 确定这些模为挠自由或无非平凡伪零子模的条件。

提出的方法

• 对无 p-挠的紧致 p-进李群 G，应用 Iwasawa 代数 $\Lambda(G)$ 上伪零模的概念。
• 利用商范畴 $\Lambda\text{-mod}/\mathcal{PN}$，其中 $\mathcal{PN}$ 是伪零模的 Serre 子范畴，定义基于伪同构的等价关系。
• 运用 Auslander 正则环理论分析 $\Lambda(G)$-模的结构，尤其关注上同调维数与 $H^2$ 的消失性。
• 应用 Iwasawa 对偶 $\mathrm{E}^1(M) = \mathrm{Ext}^1_{\Lambda}(M, \Lambda)$，将对偶 Selmer 群与类群联系起来。
• 使用诱导与限制函子 $\mathrm{Ind}^G_{G_\nu}$ 分析全局模的局部分量。
• 应用 Néron-Ogg-Shafarevich 判别准则与 Imai 定理，确保 $S_{\text{bad}} \cup S_p$ 中各处的伽罗瓦群非平凡。

实验结果

研究问题

• RQ1 在何种条件下，最大阿贝尔 p-扩张在 $S$ 外无瑕的伽罗瓦模 $X_S$ 不含非平凡伪零子模？
• RQ2 在 p-进李扩张中，阿贝尔簇的 Selmer 群与单位的伽罗瓦模之间有何关系？
• RQ3 在对合 $g \mapsto g^{-1}$ 下，对偶 Selmer 群是否与单位模伪同构？
• RQ4 在何种条件下，$\mathrm{H}^1(G_S(k_\infty), \mathcal{A}(p))^\vee$ 不含非平凡伪零子模？
• RQ5 能否将经典 Iwasawa 定理中类群与对偶 Selmer 群之间的关系推广至非阿贝尔 p-进李扩张？

主要发现

• 若 $H^2(G_S(k_\infty), \mathbb{Q}_p/\mathbb{Z}_p) = 0$，则 $X_S$ 不含非平凡伪零子模。
• 在 $\mu_p^\infty \subseteq k_\infty$ 且对所有 $\nu \in S_f$ 有 $\dim(G_\nu) \geq 2$ 的条件下，有 $X_{nr}(-1) \sim X_{cs}^S(-1) \sim \mathrm{E}^1(\mathrm{tor}_\Lambda X_S)$。
• 若 $G \cong \mathbb{Z}_p^r$ 且 $r \geq 2$，则 $X_{nr}(-1) \sim X_{cs}^S(-1) \sim (\mathrm{tor}_\Lambda X_S)^\circ$，其中 $^\circ$ 表示关于逆自同态的扭转。
• 对于在 $p$ 上方所有素点具有良好奇异减少的阿贝尔簇 $\mathcal{A}$，有 $X_{cs}[\mathcal{A}^d(p)] \sim \mathrm{E}^1(\mathrm{tor}_\Lambda(\mathrm{Sel}(\mathcal{A}, k_\infty)^\vee))$。
• 在 CM 情形下，$X_{cs}[\mathcal{A}^d(p)] \sim (\mathrm{tor}_\Lambda(\mathrm{Sel}(\mathcal{A}, k_\infty)^\vee))^\circ$，从而恢复了 Billot 的结果。
• 若 $G$ 无 $p$-挠，则模 $\mathrm{H}^1(G_S(k_\infty), \mathcal{A}(p))^\vee$ 不含非平凡伪零子模。