On Iwasawa theory of abelian varieties over $\mathbb{Z}_p^2$-extension with applications to Diophantine stability and integally Diophantine extensions

1. 研究背景与核心问题

背景：
Iwasawa 理论主要研究数域上的代数对象（如阿贝尔簇、椭圆曲线）在塔式扩张（特别是 $\mathbb{Z}_p$-扩张）中的算术性质。Mazur 提出了著名的猜想：对于在 $p$ 处具有潜在好普通（potentially good ordinary）约化的阿贝尔簇 $A$，其在 cyclotomic $\mathbb{Z}_p$-扩张 $F_{cyc}$ 上的 $p$-主 Selmer 群的对偶 $X(A/F_{cyc})$ 是 Iwasawa 代数 $\Lambda = \mathbb{Z}_p[[\text{Gal}(F_{cyc}/F)]]$ 上的挠模。

核心问题：
本文旨在探讨在 Mazur 猜想成立的假设下，当考虑更大的 $\mathbb{Z}_p^2$-扩张 $F_\infty$（包含 $F_{cyc}$）时，阿贝尔簇 $A$ 的 Mordell-Weil 秩在 $F_\infty$ 的子 $\mathbb{Z}_p$-扩张中的增长行为。具体而言：

1. 有多少个 $\mathbb{Z}_p$-扩张使得 $A$ 的秩无界？
2. 这些扩张与丢番图稳定性（Diophantine stability，即 $A(L)=A(F)$）及整丢番图扩张（Integrally Diophantine extensions，与 Hilbert 第 10 问题相关）有何联系？
3. 对于在 $p$ 处具有好超奇异（good supersingular）约化的椭圆曲线，上述结论是否成立？

---

2. 方法论与主要工具

文章采用了代数数论、Iwasawa 理论和模形式论的多种工具：

• Iwasawa 代数结构理论： 利用有限生成挠 $\mathbb{Z}_p[[\Gamma]]$-模的结构定理和 Weierstrass 预备定理，定义特征多项式 $\text{char}_{\mathbb{Z}_p[[\Gamma]]} X$。
• 代数引理（Proposition 2.2）： 建立了 $\mathbb{Z}_p^2$-扩张上挠模 $M$ 的非挠子群集合 $A(M)$ 的基数上界，该上界由 $M$ 在某个 $\mathbb{Z}_p$-子扩张上的特征多项式的 $U$-阶（$\text{ord}_U$）决定。
• Mazur 控制定理（Mazur Control Theorem）： 用于比较不同层级扩张上的 Selmer 群，证明限制映射的核与余核是有限的。
• Signed Selmer Groups（带符号 Selmer 群）： 针对超奇异情形，借鉴 Kobayashi 和 B.D. Kim 的工作，定义 $+$/$-$ 符号的 Selmer 群，以处理超奇异约化下 Selmer 群非挠的问题。
• Shlapentokh 定理： 将秩的稳定性转化为整丢番图性质的判定工具。

---

3. 主要贡献与结果

3.1 普通约化情形（Ordinary Reduction）

定理 3.3 (核心定理)：
设 $A$ 为定义在数域 $F$ 上的阿贝尔簇，在 $p$ 处具有潜在好普通约化。假设 $X(A/F_{cyc})$ 是 $\mathbb{Z}_p[[\Gamma]]$-挠模。令 $F_\infty$ 为包含 $F_{cyc}$ 的 $\mathbb{Z}_p^2$-扩张。
定义集合 $M(A/F_\infty)$ 为 $F_\infty$ 中使得 $A$ 的 Mordell-Weil 秩无界的 $\mathbb{Z}_p$-扩张的集合。
结论： $M(A/F_\infty)$ 是有限集，且其基数满足：
$$\#M(A/F_\infty) \le \text{ord}_U \left( \text{char}_{\mathbb{Z}_p[[\Gamma]]} X(A/F_{cyc}) \right)$$

• 改进点： 此结果推广了 Gajek-Leonard, Hatley, Kundu 和 Lei 之前关于椭圆曲线的结果，去除了“Selmer 群对偶是循环挠模直和”这一额外的技术性假设。

应用：Mazur 增长猜想 (第 4 节)
利用上述定理，作者改进了关于 Mazur 增长猜想的结果，证明了在特定条件下（如虚二次域上的反 cyclotomic 扩张），除了特定的 $\mathbb{Z}_p$-扩张外，秩在其他所有扩张中均有界。

应用：丢番图稳定性与整丢番图扩张 (第 5 节)

• 定理 5.1： 在 Mazur 猜想假设下，对于具有至少一个复素数的数域 $F$，集合 $D_n(A/F)$（即 $F$ 的 $\mathbb{Z}_p$-扩张中使得 $A$ 丢番图稳定的扩张对 $(L_1, L_2)$）是不可数的。
• 定理 5.5： 若存在满足秩 $>0$ 且 Selmer 群挠的阿贝尔簇，则集合 $I_n(F)$（使得 $L_1/L_2$ 为整丢番图扩张的扩张对）也是不可数的。
• 无条件的推论 (Corollary 5.2 & 5.6)： 结合 Rubin 和 Kato 的深刻结果，对于定义在 $\mathbb{Q}$ 上且在 $p$ 处普通约化的椭圆曲线 $E$，以及有限 Abel 虚扩张 $F$，上述不可数性结论是无条件成立的。
• 相对 Denef-Lipshitz 猜想： 基于这些结果，作者提出了相对 Denef-Lipshitz 猜想：任意数域有限扩张 $L/K$ 都是整丢番图的。

3.2 超奇异约化情形（Supersingular Reduction）

针对在 $p$ 处具有好超奇异约化（且 $a_p=0$）的椭圆曲线 $E$，定义在虚二次域 $F$（$p$ 完全分裂）上。

定理 7.8 (带符号版本的定理 3.3)：
假设对于所有符号 $s, z \in \{+, -\}$，$X_{s,z}(E/F_{cyc})$ 是挠模。则：
$$\#M(E/F_\infty) \le \sum_{s,z \in \{+,-\}} \text{ord}_U \left( \text{char}_{\mathbb{Z}_p[[\Gamma]]} X_{s,z}(E/F_{cyc}) \right)$$

• 注： 目前已知 $X_{+,+}$ 和 $X_{-,-}$ 是挠模，但交叉项 $X_{+,-}$ 和 $X_{-,+}$ 的挠性尚未完全解决。

定理 7.10 (无条件的丢番图稳定性)：
在特定条件下（如 $Selp^\infty(E/F)$ 有限，或 $N$ 的所有素因子在 $F$ 中完全分裂），即使不假设所有带符号 Selmer 群在 $F_{cyc}$ 上都是挠模，集合 $D_n(E/F)$ 仍然是不可数的。

---

4. 论文结构与逻辑流

1. 代数预备知识 (Section 2)： 建立 $\mathbb{Z}_p^2$-扩张上 Iwasawa 代数的代数框架，证明关于挠模非挠子群集大小的关键引理。
2. 主定理证明 (Section 3)： 结合控制定理和代数引理，证明秩无界扩张数量的上界估计。
3. Mazur 增长猜想应用 (Section 4)： 将主定理应用于椭圆曲线和模阿贝尔簇，优化现有文献中的界限。
4. 丢番图性质应用 (Section 5)： 利用秩的有界性，结合 Wingberg 和 Shlapentokh 的结果，证明存在不可数个丢番图稳定和整丢番图扩张。
5. 超奇异情形 (Section 7)： 引入带符号 Selmer 群，建立超奇异情形下的类比定理，并给出无条件的丢番图稳定性结果。

---

5. 研究意义与价值

1. 理论深化： 将 Mazur 增长猜想的研究从椭圆曲线推广到一般的阿贝尔簇，并去除了之前文献中常见的强技术假设（如 Selmer 群结构的直和假设），使得理论更加普适和严谨。
2. 连接不同领域： 巧妙地将 Iwasawa 理论（Selmer 群的增长）与数论中的经典难题（Hilbert 第 10 问题、丢番图稳定性）联系起来。证明了在 Iwasawa 理论框架下，存在“大量”（不可数）的扩张满足特定的算术性质。
3. 无条件结果： 通过引用 Kato、Rubin 等人的深刻定理，作者得出了关于椭圆曲线在虚二次域上丢番图稳定性的无条件结论，这在当前数论研究中是非常有价值的。
4. 提出新猜想： 基于实证结果，提出了“相对 Denef-Lipshitz 猜想”，为未来的研究指明了方向。
5. 超奇异情形的突破： 在超奇异约化这一更复杂的情形下，利用带符号 Selmer 群技术，给出了秩增长的上界估计和丢番图稳定性的存在性证明，填补了该领域的部分空白。

综上所述，该论文通过精细的代数分析和深刻的算术几何工具，系统地研究了 $\mathbb{Z}_p^2$-扩张上阿贝尔簇的算术行为，并在丢番图稳定性领域取得了突破性进展。