A Heuristic approach to the Iwasawa theory of elliptic curves

问题陈述

本文在椭圆曲线的 Iwasawa 理论框架下探讨 Greenberg 的 $\mu = 0$ 猜想。设 $E/\mathbb{Q}$ 为一条椭圆曲线，$p$ 为一个奇素数，且 $E$ 在 $p$ 处具有好的普通约化。该猜想断言，在循环 $\mathbb{Z}_p$-扩张上，$p$-主 Selmer 群 $S_{p^\infty}(E/\mathbb{Q}^{\text{cyc}})$ 作为 $\mathbb{Z}_p$-模是余有限生成的。这一条件等价于 Selmer 群的 $\mu$-不变量消失。虽然 Ferrero 和 Washington 已针对 $\mathbb{Q}$ 的阿贝尔扩张证明了该猜想，但对于椭圆曲线，该猜想仍悬而未决。

作者从统计角度研究该猜想，具体检验猜想 1.2，该猜想断言：对于固定的奇素数 $p$，“大多数”在 $p$ 处具有好的普通约化的椭圆曲线满足 $\mu_p(E) = 0$。核心挑战在于为这种平均消失提供启发式证据，从而扩展由 Cohen-Lenstra 针对类群以及 Poonen-Rains 针对 Selmer 群所建立的概率框架。

方法论

作者扩展了 Poonen 和 Rains [PR12] 的启发式方法，他们通过内积空间中极大各向同性子空间的交集来模拟 $p$-Selmer 群的分布。方法论按以下步骤进行：

1. 归结为剩余模：全 Selmer 群 $\mu$-不变量的消失与剩余 Greenberg Selmer 群 $\text{Sel}^{Gr}(E[p]/\mathbb{Q}^{\text{cyc}})$ 的有限性相关联。该群通过商 $\Pi_E := \text{Sel}^{Gr}(E[p]/\mathbb{Q}^{\text{cyc}}) / R(E[p]/\mathbb{Q}^{\text{cyc}})$ 进行分析，其中 $R$ 表示精细 Selmer 群。
2. 几何解释：作者定义了一个空间 $V(E)$，其上装备了环 $\Omega = \mathbb{F}_p[[T]]$ 上的非退化对称双线性配对。他们将 $\Pi_E$ 识别为 $V(E)$ 内两个特定 $\Omega$-子模 $V_1(E)$ 和 $V_2(E)$ 的交集。
   • $V_1(E)$ 是全局上同调限制映射的像，被证明是极大各向同性子模。
   • $V_2(E)$ 由 $p$ 处的局部条件（与形式群相关）定义，被证明同构于 $\Omega^\vee$（$\Omega$ 的 Pontryagin 对偶）加上一个有限挠部分。
3. 投影到循环子模：$V_1(E) \cap V_2(E)$ 的有限性问题被归结为研究 $(\Omega^\vee)^2$ 中两个子模 $M_1$ 和 $M_2$ 的交集，其中 $M_1, M_2 \cong \Omega^\vee$。这进一步对偶化为研究 $\Omega^2$ 中两个极大循环子模 $N_1, N_2$ 的交集。
4. 概率模型：作者构建了一个概率空间 $\mathcal{M}$，其元素为 $\Omega^2$ 中极大循环子模对 $(N_1, N_2)$。该空间定义为空间 $\mathcal{M}_n$ 的逆极限，其中 $\mathcal{M}_n$ 是 $\Omega_n^2 = (\Omega/(T^n))^2$ 中极大子模对的集合，并配备了均匀概率测度 $P_n$。
5. 启发式假设：核心启发式（启发式 1.3）假设，当椭圆曲线遍历那些在 $p$ 处具有好的普通约化的曲线时，相关联的对 $(M_1, M_2)$ 关于 $\mathcal{M}$ 上的自然概率测度 $P$ 是等分布的。

主要贡献与结果

• 理论框架：本文建立了 $\mu$-不变量的算术性质与模 $p$ Iwasawa 代数上特定内积空间中子模几何交集之间的精确联系。
• 概率计算：作者证明了定理 4.8，该定理断言：对于从空间 $\mathcal{M}$ 中均匀随机选取的一对极大循环子模 $(N_1, N_2)$，其交集为平凡（即 $N_1 \cap N_2 = 0$）的概率为 1。
  • 证明依赖于表明 $N_1 \cap N_2 \neq 0$ 蕴含 $N_1 = N_2$（引理 4.6）。
  • 在有限商 $\Omega_n^2$ 中，两个随机选取的极大子模相同的概率被计算为 $1/((p+1)p^{n-1})$，当 $n \to \infty$ 时该值趋于 0。
• 主定理：在假设启发式 1.3 以及 Coates 和 Sujatha 的猜想 A（该猜想预测精细 Selmer 群的 $\mu$-不变量消失）的前提下，作者证明了定理 A：
  $$\lim_{x \to \infty} \frac{\#S_p(x)}{\#C(x)} = 0$$
  其中 $C(x)$ 是高度 $\le x$ 的最小 Weierstrass 模型集合，$S_p(x)$ 是其中在 $p$ 处具有好的普通约化且 Selmer 群 $\mu$-不变量非零的曲线子集。

意义与主张

本文声称在“平均”意义上为 Greenberg 猜想提供了进一步的启发式证据。通过证明 $\mu$-不变量非零的事件对应于所构建随机模型中概率为零的事件，作者支持了“对于几乎所有在 $p$ 处具有好的普通约化的椭圆曲线，$\mu_p(E) = 0$"这一猜想。

作者明确指出，他们的结果表明“关于 $\mu$-不变量平均消失的猜想在更广泛的范围内是有效的”。他们将这项工作定位为算术统计与 Iwasawa 理论之间相互作用的丰富化，并指出此类研究仍是“未来研究的肥沃土壤”。本文并未声称证明任何特定曲线的猜想，也未声称在不依赖启发式假设的情况下解决一般情形；相反，它提供了该猜想在平均意义上为真的统计理由，这与 Poonen 和 Rains 的方法一致。