A $p$-Converse theorem for Real Quadratic Fields

技术摘要：实二次域上的 $p$-逆定理

问题陈述
本文研究了定义在实二次域（$F$）上的椭圆曲线的“$p$-逆”问题。具体而言，它试图在秩为 1 的背景下，建立 Gross-Zagier 和 Kolyvagin 定理的逆命题。虽然经典定理指出，如果解析秩为 1，则代数秩为 1 且 Tate-Shafarevich 群有限；而逆命题则是：如果代数秩为 1 且 Tate-Shafarevich 群的 $p$-部分有限，是否可以推导出解析秩为 1？

在此项工作之前，此类逆命题结果主要在有理数域 $\mathbb{Q}$ 上（例如 Skinner, Zhang, 和 Venerucci 的工作）或针对特定的约化类型得到建立。本文将这些结果扩展到了实二次域的情境中，其中 $p > 5$ 是在 $F$ 中不可分（inert）的有理素数，且椭圆曲线 $E/F$ 在位于 $p$ 之上的素数 $\mathfrak{p}$ 处具有分拆乘法约化（split multiplicative reduction）。

方法论
作者采用了一种结合 Hida 理论、Iwasawa 理论和 Selmer 复形理论的高级综合方法，以弥合代数秩与解析秩之间的差距。其证明策略依赖于以下关键要素：

1. Hida 族与大 Galois 表示：椭圆曲线 $E$ 与一个平行权重为 2 的 Hilbert 模形式 $f$ 相关联。作者利用了经过 $f$ 的 Hida 族 $\mathbf{f}$ 以及相关的大 Galois 表示 $T_f$。他们在局部化的 Hida 族（位于离散估值环 $I_P$ 上）内进行工作。
2. Iwasawa 主猜想（Wan's Theorem）：证明严重依赖于关于全虚二次扩张 $K/F$（其中 $p$ 在 $K$ 中分拆）的 Hilbert 模形式的 Iwasawa 主猜想，该猜想由 Wan [Wan15] 建立。这提供了一个 Selmer 群的特征理想包含在由 $p$-进 $L$-函数生成的理想之中。
3. 三变量与四变量 $p$-进 $L$-函数：作者构造并利用了中心临界 $p$-进 $L$-函数。他们将中心临界 $p$-进 $L$-函数 $L^{cc}_p(\mathbf{f}_\infty/K, k)$ 在 $k=2$ 处的消去阶数与特定 Selmer 群的 Pontryagin 对偶的长度联系起来。
4. Nekovář 的 Selmer 复形：为了分析 Selmer 群的结构，作者使用了 Nekovář 的 Selmer 复形理论。这使得定义这些复形上 cohomology 的 $p$-进权重配对成为可能。
5. 控制定理与配对计算：一个关键步骤是证明一个控制定理，该定理将无穷扩张上的 Selmer 群与基域上的严格 Selmer 群联系起来。通过计算 $p$-进权重配对（特别是将其与椭圆曲线上点的 $p$-进对数相关联），作者确定了 Selmer 模的精确长度。

主要贡献与结果
本文建立了以下主要定理（定理 1.3 / 定理 9.2）：

• 主定理：设 $F$ 为实二次域，$p > 5$ 是在 $F$ 中不可分的素数。设 $E/F$ 为在位于 $p$ 之上的素数 $\mathfrak{p}$ 处具有分拆乘法约化的椭圆曲线。假设残余表示是绝对不可约的（irred）且存在最小模提升（MML），则：

  1. $\text{rank}_{\mathbb{Z}} E(F) = 1$，且
  2. Tate-Shafarevich 群的 $p$-部分 $\text{Ш}(E/F)_{p^\infty}$ 有限，
     那么解析秩为 1：$\text{ord}_{s=1} L(E/F, s) = 1$。

• 等价性：结合 Zhang 对 Gross-Zagier 定理的推广，作者建立了秩 1 情况下的等价关系：
  $$\text{rank}_{\mathbb{Z}} E(F) = 1 \text{ 且 } \#\text{Ш}(E/F) < \infty \iff \text{ord}_{s=1} L(E/F, s) = 1$$

• 对 $\mathbb{Q}$ 的应用：作为结果，作者证明了有理数域 $\mathbb{Q}$ 上椭圆曲线的一个加强版 $p$-逆定理（定理 1.5）。他们移除了 Venerucci 早期工作 [Ven16] 中所需的一个技术性假设（即存在具有特定性质的素数 $q$），前提是 $p > 5$ 且 $E$ 在 $p$ 处具有分拆乘法约化。

意义与主张
本文声称是第一个为实二次域上的椭圆曲线建立秩 1 $p$-逆定理的工作。其意义在于：

• 扩展范围：超越了有理数域 $\mathbb{Q}$，进入了实二次域，由于 Hilbert 模形式的性质以及素数在二次扩张中的行为，这带来了额外的复杂性。
• 精炼现有结果：对 $\mathbb{Q}$ 的应用表明，为实二次域开发的策略可以通过移除限制性假设来简化并加强 $\mathbb{Q}$ 上的现有结果。
• 方法论综合：这项工作成功地整合了 Wan 的 Hilbert 模形式 Iwasawa 主猜想、Nekovář 的 Selmer 复形以及 $p$-进权重配对，以处理非 CM 情况下的全实域分拆乘法约化问题。

作者指出，如果排除了关于 Galois 表示射影像的特定异常情况，其结果对于 $p=5$ 也成立，这一限制源于对 Wan 定理中所用 Fujiwara 结果的依赖。论文最后指出，这些技术有可能被扩展到满足 Leopoldt 猜想的一般全实数域，尽管作者承认 CM 情况可能需要不同的方法。