[论文解读] Statistics for Anticyclotomic Iwasawa Invariants of Elliptic Curves

Jeffrey Hatley, Debanjana Kundu+1 more|arXiv (Cornell University)|Jun 3, 2021

Algebraic Geometry and Number Theory参考文献 50被引用 5

一句话总结

本文研究了在虚二次域的反对称 ℤp-扩张上，椭圆曲线的 p-主 Selmer 群的 Iwasawa 不变量——特别是 μ 和 λ 不变量的平均行为。通过算术统计与受 Cohen–Lenstra 启发的启发性方法，作者推导出 λ 不变量的渐近公式，并在特定条件下（尤其是当 Tate–Shafarevich 群有限且曲线在 p 处具有良普通约化时）为 μ 不变量的消失提供证据。

ABSTRACT

We study the average behaviour of the Iwasawa invariants for Selmer groups of elliptic curves, considered over anticyclotomic $\mathbb{Z}_p$-extensions in both the definite and indefinite settings. The results in this paper lie at the intersection of arithmetic statistics and Iwasawa theory.

研究动机与目标

• 理解椭圆曲线在反对称设定下 Selmer 群的 Iwasawa μ-和 λ-不变量的平均分布。
• 通过分析虚二次域的反对称 ℤp-扩张上的 Selmer 群，将算术统计扩展至 Iwasawa 理论。
• 研究 Tate–Shafarevich 群的有限性与 Iwasawa 不变量行为之间的相互作用。
• 为 μ 不变量的消失以及椭圆曲线族中 λ 不变量的平均大小，提供启发性与条件性证据。
• 探索在不同椭圆曲线、素数及虚二次域下 Selmer 群的统计行为，特别是在良普通约化情形下。

提出的方法

• 采用受 Cohen–Lenstra 启发性假设启发的统计方法，建模椭圆曲线族中 Iwasawa 不变量的分布。
• 他们利用 Iwasawa 代数 Λ ≅ ℤp[[T]] 的结构，分析 Selmer 群的 Pontryagin 对偶的特征理想。
• μ 不变量定义为整除特征多项式 f_E^(p)(T) 的 p 的幂次，λ 不变量为其次数。
• 作者应用 p-进 Weierstrass 准备定理，将特征理想表示为一个特殊多项式的形式。
• 他们利用 Pollack–Weston 等人的结果，在条件 (CR) 和 p-主 Tate–Shafarevich 群有限的条件下，条件性地推导出 μ 不变量的消失。
• 使用数值数据与表格（例如表 2 中的 #S_p/p²）来支持关于 λ 不变量平均大小的启发性预测。

实验结果

研究问题

• RQ1 对于一个固定的椭圆曲线 E 和一个固定的虚二次域 K，当 p 遍历 E 在 K 上具有良普通约化的奇素数时，p-主 Selmer 群的 Iwasawa μ-和 λ-不变量的平均变化行为如何？
• RQ2 对于一个固定的椭圆曲线 E 和素数 p，当虚二次域 K = ℚ(√−d) 遍历 d > 0 时，这些不变量如何变化？
• RQ3 当 E 遍历所有按高度排序的 ℚ 上的椭圆曲线，而 p 和 K 固定时，λ-不变量的平均行为是什么？
• RQ4 在何种条件下可预期 μ-不变量消失？这与 p-主 Tate–Shafarevich 群的有限性有何关联？
• RQ5 在反对称设定下，λ-不变量的预测平均大小是多少？它与典型情形下的表现有何比较？

主要发现

• 基于启发性模型，预测椭圆曲线在反对称 ℤp-扩张上的平均 λ-不变量渐近为 (1 + p)(1 + q)ζ(2)⁻¹。
• 当 p-主 Tate–Shafarevich 群有限且条件 (CR) 成立时，预期在正比例的椭圆曲线中 μ-不变量消失。
• 表 2 中的数值数据显示，与 λ-不变量相关的集合 𝔖_p 的归一化大小在 7 ≤ p < 150 的素数下趋于稳定，数值约为 0.02–0.06。
• 表 3 中给出了明确的例子，其中某点的 p-进对数为 p-进单位，支持了 (E, K, p) 三元组的适定性。
• 作者指出，当 p 和 K 固定时存在一个关键障碍：要求 E 的导子的素因子在 K 中分裂，这使得此类曲线的集合过于稀疏，难以进行统计分析。
• 尽管如此，本文证明了当 Tate–Shafarevich 群有限时，λ-不变量至少等于 Mordell–Weil 秩，且可能严格更大，从而推动了对平均行为的分析。