[论文解读] On Iwasawa Theory over Function Fields

Ka-Lam Kueh, King Fai Lai+1 more|ArXiv.org|Jan 2, 2007

Algebraic Geometry and Number Theory参考文献 7被引用 3

一句话总结

本文证明了特征为 p 的全局函数域上 Iwasawa 主猜想的 p 部分，表明在 Z_p^d-扩张中 p-进类群的特征理想由 Gross 的 Stickelberger 元素生成。证明使用了 Tate 对偶性、伪零模的性质，以及在子扩张之间 Stickelberger 元素的函子性。

ABSTRACT

Let $k_{\infty}$ be a $\Z_p^d$-extension of a global function field $k$ of characteristic $p$. Let $\Cl_{k_{\infty},p}$ be the $p$ completion of the class group of $k_{\infty}$. We prove that the characteristic ideal of the Galois module $\Cl_{k_{\infty},p}$ is generated by the Stickelberger element of Gross which calculates the special values of $L$ functions.

研究动机与目标

• 建立特征为 p 的全局函数域上 Iwasawa 主猜想的 p 部分。
• 证明在 Z_p^d-扩张中，p-进类群的 Iwasawa 模的特征理想由 Gross 的 Stickelberger 元素生成。
• 处理扩展在有限集 S 外无分支，且 S 中无地方完全分裂的情况。
• 考虑由 S 中不完全分裂的无分支地方引起的校正因子 δ。
• 证明 Stickelberger 元素生成的理想与类群模的特征理想相同，模去 Iwasawa 代数中的单位。

提出的方法

• 使用 Tate 对偶性，以及 Iwasawa 代数 Λ_Γ = Z_p[[t_1,...,t_d]] 作为 UFD 的结构。
• 应用关于 Gross 所猜想的 Stickelberger 元素首项的结论，该结论通过 Greenberg 的伪零模理论得到证明。
• 将 Stickelberger 元素 θ_{k_∞/k,S,T} 构造为有限层上 Z_p[Gal(k_n/k)] 中元素的投射极限。
• 利用 Stickelberger 元素在伽罗瓦投影映射下的函子性，关联子扩张之间的理想。
• 对伽罗瓦群的秩 d 进行归纳，通过特征理想的结构将问题约化到秩一情形。
• 应用推论 3.1 和引理 3.13，将模的特征理想与其投影的特征理想关联起来，特别是在伪零模的情形下。

实验结果

研究问题

• RQ1 在函数域的 Z_p^d-扩张中，p-进类群的特征理想如何与 Stickelberger 元素相关？
• RQ2 当 S 中某些地方无分支但不在扩张中分裂时，需要什么样的校正因子 δ？
• RQ3 Stickelberger 元素在伽罗瓦投影下的函子性如何影响 Iwasawa 代数中的理想生成？
• RQ4 某些模的伪零性在归纳证明结构中起什么作用？
• RQ5 为何在证明的最后一步中，d ≥ 2 的情形与 d = 1 的情形不同？

主要发现

• Iwasawa 模 Cl_{k_∞,p} 的特征理想由 Stickelberger 元素 θ_{k_∞/k,S,T} 生成，相差一个因子 δ。
• 校正因子 δ 为 ∏_{v∈S₀}(1−[v])（若 S₀ ≠ S），或 (1−Fr)^{-1}∏_{v∈S₀}(1−[v])（若 S₀ = S），其中 Fr 为 Frobenius 元素。
• 当 d ≥ 2 时，χ_Γ(Z_p) 等于整个 Iwasawa 代数 Λ_Γ，因此 Cl_{k_∞,p} 的特征理想恰好为 (θ_{k_∞/k,S,T})。
• 当 d = 1 时，χ_Γ(Z_p) = (σ−1)，在验证 Stickelberger 元素生成相同理想后，由推论 3.1 可得结论。
• 证明通过归纳和在投影下特征理想的使用，将一般情形约化到秩一情形。
• Stickelberger 元素 θ_{k_∞/k,S,T} 在 Iwasawa 代数 Λ_Γ 中作为投射极限是良定义的，其在投影映射下的像对应于子扩张的 Stickelberger 元素。