[论文解读] Characteristic ideals and Iwasawa theory

Andrea Bandini, Francesc Bars+1 more|arXiv (Cornell University)|Oct 2, 2013

Commutative Algebra and Its Applications参考文献 11被引用 6

一句话总结

本文在特征 p 的函数域背景下，为非诺特的 Iwasawa 代数上的 Iwasawa 模引入了一种子特征理想，该理想通过诺特克鲁尔域的逆极限并建立逐级扩张下特征理想的相容性条件，定义了一个稳定的不变量，该不变量推广了经典特征理想，并在非诺特设定下验证了 Iwasawa 主猜想。

ABSTRACT

Let $Ł$ be a non-noetherian Krull domain which is the inverse limit of noetherian Krull domains $Ł_d$ and let $M$ be a finitely generated $Ł$-module which is the inverse limit of $Ł_d$-modules $M_d\,$. Under certain hypotheses on the rings $Ł_d$ and on the modules $M_d\,$, we define a pro-characteristic ideal for $M$ in $Ł$, which should play the role of the usual characteristic ideals for finitely generated modules over noetherian Krull domains. We apply this to the study of Iwasawa modules (in particular of class groups) in a non-noetherian Iwasawa algebra $\Z_p[[\Gal(\calf/F)]]$, where $F$ is a function field of characteristic $p$ and $\Gal(\calf/F)\simeq\Z_p^\infty$.

研究动机与目标

• 为非诺特 Iwasawa 代数上有限生成模（特别是在特征 p 的函数域背景下）缺乏明确定义的特征理想提供解决方案。
• 通过逆极限，将此前仅在诺特克鲁尔域上定义的特征理想经典概念推广至非诺特设定。
• 在伽罗瓦群同构于 Z_p^∞ 的情形下，建立一个用于定义和计算特征理想的框架，此情形下标准工具失效。
• 通过证明类群的子特征理想等于 Stickelberger 元素的逆极限，验证了在非诺特 Iwasawa 代数中 Iwasawa 主猜想。

提出的方法

• 将子特征理想构造为诺特克鲁尔域 Λ_d 的模的特征理想的逆极限，其中 d 属于一个滤化系统。
• 施加两个关键假设：(1) M_d 关于 p_d 的挠子模在 Λ_{d-1} 上为伪零模；(2) M_d 模 p_d 的特征理想包含于 M_{d-1} 的特征理想中。
• 对每个 d 应用诺特克鲁尔域上挠模的结构定理，以定义 Ch_Λ_d(M_d)。
• 利用投影映射 π^Λ_Λ_d 下特征理想的相容性，将子特征理想定义为 lim← (π^Λ_Λ_d)^{-1}(Ch_Λ_d(M_d))。
• 依赖一个关键技术结果（命题 1.1）：当 B = A[[t]] 且 M_t 为伪零 B-模时，有 Ch_A(M_t) = Ch_A(M/tM)。
• 将该框架应用于特征 p 的函数域中完全分歧的 Z_p^∞-扩张的类群，其中 Iwasawa 代数为非诺特代数。

实验结果

研究问题

• RQ1 如何为非诺特 Iwasawa 代数（如 Gal(F/F) ≅ Z_p^∞ 时的 Z_p[[Gal(F/F)]]) 上的有限生成模定义一个特征理想？
• RQ2 在诺特商的塔上，特征理想的逆极限在何种条件下能产生一个良好定义且具有算术意义的不变量？
• RQ3 Iwasawa 主猜想在非诺特设定下是否成立？是否能通过子特征理想表达？
• RQ4 子特征理想是否与 Z_p^∞-扩张中 Z_p^d-扩张的滤化选择无关？
• RQ5 Stickelberger 元素的逆极限能否被解释为非诺特 Iwasawa 代数中类群的子特征理想？

主要发现

• 在对 M_d 和 Λ_d 施加适当假设的前提下，非诺特 Iwasawa 代数 Λ 上模 M = lim← M_d 的子特征理想定义为 lim← (π^Λ_Λ_d)^{-1}(Ch_Λ_d(M_d))。
• 子特征理想与 Z_p^∞-扩张中 Z_p^d-扩张滤化的选取无关，通过与公共细化比较得以证明。
• 在特征 p 的函数域的完全分歧 Z_p^∞-扩张中，类群的子特征理想等于有限层级类群的特征理想的逆极限。
• 在有限层级满足 Iwasawa 主猜想的前提下，有 Ch_Λ_d(A(F_d)) = (θ_{F_d/F,S})，取逆极限后得到 lim← Ch_Λ_d(A(F_d)) = (θ_{F/F,S})，该等式在非诺特代数 Λ 中成立。
• 子特征理想以经典 Stickelberger 元素为其生成元，从而在非诺特设定下确认了 Iwasawa 主猜想。
• 该构造提供了子特征理想的典范定义，且与滤化无关，消除了早期基于任意滤化定义的模糊性。