On the Fitting ideals of anticyclotomic Selmer groups of elliptic curves with good ordinary reduction

技术摘要：关于具有良性平凡还原的椭圆曲线的反循环 Selmer 群的拟合理想

问题陈述
本文探讨了关于椭圆曲线的 Fitting 理想的 Kurihara “强”主猜想在反循环情形下的类比。具体而言，研究旨在确定对于定义在虚二次域 $K$ 的反循环 $\mathbb{Z}_p$-扩张 $K_\infty$ 的有限子扩张 $K_n$ 上的椭圆曲线 $E$ 的对偶 Selmer 群的初始 Fitting 理想。目标是将这些理想显式地表示为 Bertolini–Darmon 的 theta 元素，从而完善 Mazur 和 Tate 的“弱”主猜想。本研究是在 $E$ 在素数 $p \ge 5$ 处具有良性平凡还原（good ordinary reduction）并满足关于模 $p$ Galois 表示的满射性以及关于分歧于导体 $N$ 之素数的分歧行为的特定条件下进行的。

方法论
其证明策略综合了精细 Iwasawa 理论、二部 Euler 系统理论以及 $p$-进 $L$-函数的性质。该方法通过以下关键步骤进行：

1. 构造 Theta 元素： 作者利用导数为 $p^n$ 的 Gross 点来构造 Bertolini–Darmon 的 theta 元素 $\theta(E/K_n)$。这些元素插值了扭转后的 Rankin–Selberg $L$-值的平方根。论文建立了一个连接不同扩张层级的 theta 元素之间的“三项关系”，并定义了一个与 $p$-稳定化模形式 $f_\alpha$ 相关的 $p$-稳定化 theta 元素 $\theta(f_\alpha/K_n)$。
2. 通过 $p$-去稳定性进行理想比较： 一个关键的技术组成部分是比较 $E$ 的 theta 元素生成的理想与其 $p$-稳定化形式的理想。利用 $a_p(E) \not\equiv 1 \pmod p$（条件 Na）这一假设，作者证明了由 $\theta(E/K_n)$ 及其下降范数生成的理想等于由 $\theta(f_\alpha/K_n)$ 生成的理想。这一步依赖于在引理 2.2 中讨论的“$p$-去稳定性”（$p$-destabilization）过程。
3. Selmer 群的比较： 本文严格比较了几种不同的 Selmer 群定义：$N^-$-平凡 Selmer 群、极小 Selmer 群以及 Greenberg Selmer 群。在模 $p$ 表示是满射（条件 Im）且在所有分歧于 $N$ 的素数处是分歧的（条件 Ram）的假设下，作者证明了这些群是同构的（推论 3.3）。这种同构对于将结果从 Euler 系统语境（其中使用 $N^-$-平凡群）转移到经典 Selmer 群语境至关重要。
4. 应用主猜想： 证明利用了已建立的反循环主猜想（定理 4.1），该猜想断言对偶 Selmer 群的特征理想与由反循环 $p$-进 $L$-函数 $L_p(E/K_\infty)$ 生成的理想相等。该 $p$-进 $L$-函数被定义为 theta 元素及其对合的乘积的逆极限。
5. 控制定理与基扩充： 最后，作者应用一个控制定理，将无限扩张 $K_\infty$ 上的 Selmer 群与有限层级 $K_n$ 上的 Selmer 群联系起来。通过利用 Fitting 理想与基扩充的相容性以及 theta 元素的泛函方程，将结果从无限层级降至有限层级。

主要贡献与结果
主要结果是 定理 1.1，它建立了在有限层级 Iwasawa 代数 $\Lambda_n = \mathbb{Z}_p[\text{Gal}(K_n/K)]$ 中的如下理想相等关系：

$$(\theta(E/K_n), \nu_{n-1,n}(\theta(E/K_{n-1})))^2 = \text{Fitt}_{\Lambda_n}(\text{Sel}(K_n, E[p^\infty])^\vee)$$

支持该结果的关键技术成就包括：

• 初始 Fitting 理想的完整确定： 论文为有限扩张上对偶 Selmer 群的初始 Fitting 理想提供了一个显式生成元，该生成元完全由 theta 元素表示。
• 主理想性质： 文中证明了在所述假设下，由 theta 元素（及其范数）生成的理想是主理想，这是 Iwasawa 理论中一个非平凡的事实。
• 对主猜想的完善： 该结果通过从特征理想转向 Fitting 理想，并提供一个具体的代数生成元描述，完善了 Mazur 和 Tate 的“弱”主猜想。
• 引理 2.2 ($p$-去稳定性)： 关于 $E$ 的 theta 元素之理想与 $p$-稳定化形式之理想相等性的证明被作为一个独立的的技术贡献提出，通过条件 $a_p \not\equiv 1 \pmod p$ 阐明了两者之间的关系。

意义与声明
该论文声称提供了 Kurihara 强主猜想的反循环类比的一个“短证明”。其意义在于：

• 统一性： 它直接将 Selmer 群的代数结构（通过 Fitting 理想）与解析对象（theta 元素）联系起来，而无需仅仅依赖于作为唯一中间步骤的更复杂的无限扩张层级的完整主猜想的机制，尽管它确实利用了已知关于无限情况的主猜想。
• 显式性： 通过确定初始 Fitting 理想，论文比以往仅建立特征理想的结果提供了对 Selmer 群结构更精确的理解。
• 方法论清晰度： 作者强调了“$p$-去稳定性”过程以及不同 Selmer 群定义比较的效用，为反循环 Iwasawa 理论中的问题提供了一种流线型的处理方法。

论文明确指出，其策略遵循 [KK21] 建立的框架，但增加了关于 Selmer 群比较以及反循环语境下所需的特定代数操作的必要细节。它并不声称在没有特定假设（如 Galois 表示的满射性或 $N^-$ 的无平方性质）的情况下解决了一般情况，也不提出新的实验应用。