椭圆曲线岩泽理论的启发式方法

《Journal of Number Theory》：A heuristic approach to the Iwasawa theory of elliptic curves

　　

设E/Q为椭圆曲线，p为奇素数，使得E在p处具有良好普通约化且E[p]上的伽罗瓦表示不可约。则格林伯格（Greenberg）的μ=0猜想预测，E在Q的分圆Z_p扩张上的Selmer群（Selmer group）作为Z_p-模是余有限生成的。本文从统计角度研究该猜想。研究人员扩展了Poonen和Rains的启发式，以获得格林伯格猜想的进一步证据。关键思想是，μ-不变量的消失可以通过给定内积空间中两个具有附加性质的岩泽模（Iwasawa modules）M₁, M₂的交集M₁∩M₂来检测。该启发式基于表明在空间(M₁, M₂)上存在一个概率测度，相对于该测度，M₁∩M₂有限的事件以概率1发生。

**研究背景**
椭圆曲线（elliptic curve）的算术是数论的核心，岩泽理论（Iwasawa theory）通过研究椭圆曲线在分圆Z_p扩张上的Selmer群（Selmer group）探索其算术性质。格林伯格（Greenberg）猜想指出：对于具有良好普通约化（good ordinary reduction）且残差表示（residual representation）ρ_E,p不可约（irreducible）的椭圆曲线E/Q，其p-主Selmer群Sel_p^∞(E/Q^cyc)作为Z_p-模是余有限生成的，等价于μ不变量（μ-invariant）为零。尽管Kato已证明该Selmer群是余有限生成且余挠的，但μ不变量为零的条件尚未完全解决。本文从统计视角出发，研究平均意义下格林伯格猜想的正确性，旨在通过启发式方法为μ=0的平均猜想提供证据。该论文发表在《Journal of Number Theory》。

**主要技术方法**（不超过250字）
1. 利用格林伯格Selmer群（Greenberg Selmer group）与精细Selmer群（fine Selmer group）的关系，将μ不变量为零等价于残余Selmer群（residual Selmer group）R(E[p]/Q^cyc)有限（命题2.5）。
2. 通过Weil配对（Weil pairing）构造内积空间V(E)及其对偶W(E)，将残余Selmer群Sel^Gr(E[p]/Q^cyc)表示为两个最大迷向子模（maximal isotropic submodules）V₁(E)和V₂(E)的交集。
3. 将问题简化为Ω模（Ω=F_p[[T]]）的模论问题，研究M₁, M₂?(Ω^∨)²的交集有限性，其中M_i?Ω^∨。
4. 引入概率测度：定义模对空间M，通过逆向极限赋予均匀概率，计算两个最大循环子模交于0的概率为1（定理4.8），从而证明M₁∩M₂有限几乎必然发生，结合Heuristic 1.3和Coates-Sujatha猜想得到定理A。

**研究结果**
- **1.1 背景与动机**：回顾Iwasawa理论的经典结果，如Kato定理证明Selmer群是余有限生成且余挠的，以及Duke定理表明100%的椭圆曲线具有满射的残差表示，从而格林伯格猜想平均成立成为合理问题。
- **1.2 平均μ不变量消失的启发式**：描述四个步骤，将μ不变量问题转化为两个Ω模M₁与M₂的交集有限性。步骤1：通过Coates-Sujatha猜想，若Π_E有限则μ不变量为零；步骤2：定义内积空间V(E)和W(E)；步骤3：证明Π_E?V₁(E)∩V₂(E)；步骤4：将问题简化为Ω^∨的子模M₁, M₂的交集。
- **2.1 椭圆曲线相关的Selmer群**：定义Selmer群Sel_p^∞(E/Q^cyc)及其Iwasawa代数和μ、λ不变量，介绍残差表示ρ_E,p，并引用Kato定理说明其模结构。
- **2.2 精细Selmer群**：定义精细Selmer群R_p^∞(E/Q^cyc)和Coates-Sujatha猜想，命题2.5表明R_p^∞是余有限生成Z_p-模当且仅当残余精细Selmer群R(E[p]/Q^cyc)有限。
- **3. 残余Selmer群与μ不变量消失**