🔢 mathematics

$p$ -adic Waldspurger Formula for Non-split Primes and Converse of Gross--Zagier and Kolyvagin Theorem

该论文通过推广 Andreatta-Iovita 的 $p$ -adic Waldspurger 公式并建立适用于所有分歧类型的自对偶 Hecke 特征的新反循环局部 $\pm$ -Iwasawa 理论，证明了自对偶 CM 特征下 Gross-Zagier-Kolyvagin 定理的逆命题，进而验证了 Sylvester 关于有理立方和的猜想以及 Goldfeld 关于 CM 椭圆曲线的猜想。

原作者： Yangyu Fan, Xin Wan

发布于 2026-03-31

📖 1 分钟阅读🧠 深度阅读

CC0 1.0

原作者： Yangyu Fan, Xin Wan

原始论文根据 CC0 1.0（http://creativecommons.org/publicdomain/zero/1.0/）发布到公有领域。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

这篇论文听起来像是一堆天书，充满了"p-adic"、"Iwasawa 理论”和“模形式”这样的术语。但如果我们把它想象成一场跨越时空的侦探游戏，或者一次精密的数学导航，它的核心故事就会变得非常生动。

简单来说，这篇文章解决了数论中一个困扰已久的难题：如何从“代数结构”反推“函数性质”。

让我们用几个生动的比喻来拆解它：

1. 核心任务：寻找“失踪”的线索

想象一下，数学家们手里有两个世界：

代数世界（Selmer 群）：这里像是一个巨大的仓库，里面存放着关于数字方程解的“物理证据”（比如椭圆曲线上的点）。我们数得出来这里有多少个“独立”的解（这叫秩，Rank）。
分析世界（L-函数）：这里像是一个复杂的音乐频谱仪，它播放着一首关于数字的“歌”（L-函数）。我们关注的是这首歌在某个特定时刻（ $s=1$ ）是否“静音”了，以及静音了多久（这叫零点阶数，Vanishing order）。

著名的“大猜想”（BSD 猜想）告诉我们： 仓库里有多少个独立的解，就对应着音乐在某个时刻静音了多久。

如果仓库里有 1 个解，音乐就应该静音 1 次。
如果仓库里有 0 个解，音乐就不应该静音。

这篇论文要做的“反推”（Converse）是：
如果我们已经知道仓库里确实只有 1 个解（Selmer 秩为 1），能不能反过来证明，那首音乐确实只静音了 1 次（L-函数在 $s=1$ 处的阶数为 1）？

以前，数学家们只能证明“如果音乐静音了 1 次，那么仓库里就有 1 个解”（这是 Gross-Zagier 和 Kolyvagin 定理）。但反过来推，就像是从脚印反推脚印主人的身高，非常困难，尤其是当“地形”（素数 $p$ 在数域 $K$ 中的分裂情况）变得复杂时。

2. 遇到的障碍：崎岖的“地形”

在数学世界里，素数 $p$ 在虚二次域 $K$ 中的表现有三种：

分裂（Split）：像平坦的大道，以前大家走得很顺。
惯性（Inert）：像陡峭的山坡，很难爬。
分歧（Ramified）：像沼泽地，甚至包括 $p=2$ 这种特殊情况，以前几乎没人敢走。

这篇论文之前的研究（如 Andreatta-Iovita）只在“平坦大道”上修了一条路。而 Fan 和 Wan 这两位作者，硬是在“山坡”和“沼泽”里也修出了一条新路。他们证明了，无论 $p$ 是哪种情况（甚至包括 $p=2$ ），只要满足一个基本条件（主级表示），这条反推的路就能通。

3. 他们的秘密武器：三件法宝

为了完成这个反推，他们发明或改进了三件“高科技装备”：

法宝一：p-adic Waldspurger 公式（“翻译机”）

想象你需要把“代数仓库”里的证据翻译成“音乐频谱”里的信号。

以前的翻译机只能在平坦大道上工作。
作者们升级了这台机器，加入了**“局部测试向量”（Local Test Vector）技术。这就像给翻译机装了一个“变焦镜头”**。
比喻：想象你在看一个模糊的物体（CM 点），以前因为太模糊看不清。作者们发明了一种“移动策略”（通过矩阵 $g_{\ell, n}$ 平移），把物体移到视野最清晰、最稳定的区域（半典范区域），这样翻译机就能精准地把代数证据翻译成 L-函数的数值。

法宝二： $\pm$ -Iwasawa 理论（“分流器”）

在复杂的数学结构中，数据流往往会混杂在一起，分不清方向。

作者们设计了一个**“分流器”**（ $\pm$ -theory）。
比喻：想象一条河流（伽罗瓦上同调群），里面混着两种颜色的水（ $H^1_+$ 和 $H^1_-$ ）。以前的方法只能处理一种情况。作者们发明了一种新的“过滤网”，无论河流是湍急还是平缓（无论 $p$ 是分裂还是惯性），都能把这两种颜色的水完美分开。
他们甚至把“重量空间”（Weight Space）缩小了一点，就像把望远镜的焦距调准，只盯着最关键的“原点”附近看，这样就能更容易地证明分流是成功的。

法宝三：虚拟 Heegner 族（“幽灵向导”）

要证明反推成立，需要找到一个具体的“向导”（Heegner 点），它必须是非零的（非挠的）。

但在某些复杂地形下，直接找到这个向导很难。
作者们没有直接找，而是构建了一个**“虚拟向导”**（Virtual Heegner Family）。
比喻：这就像在迷雾中，虽然看不清路，但通过计算“幽灵”的轨迹（利用 p-adic L-函数和代数单位的关系），他们证明了这个幽灵一定存在且一定不是幻影（非零）。一旦证明了幽灵存在，就能推导出真实的向导也存在。

4. 最终成果：解决了两个百年谜题

通过这套组合拳，他们不仅证明了反推定理，还顺手解决（或推进）了两个著名的数学猜想：

西尔维斯特猜想（Sylvester's Conjecture, 1879）：
- 问题：哪些素数可以写成两个有理数的立方和？（ $p = x^3 + y^3$ ）
- 结果：作者证明了，所有模 9 余 4、7 或 8 的素数，都可以写成两个有理数的立方和。这就像解开了一道 140 年前的数学谜题。
戈德菲尔德猜想（Goldfeld's Conjecture）：
- 问题：对于给定的椭圆曲线，如果你把它的所有“变体”（二次扭曲）按顺序排列，是不是有一半的变体有 0 个解，另一半有 1 个解？
- 结果：对于具有复乘（CM）性质的椭圆曲线，作者证明了这确实是真的（50% 对 50%）。这依赖于另一位数学家 Smith 关于 2-adic 秩的工作，作者们填补了最后的拼图。

总结

这篇论文就像是在数学的崇山峻岭中，开辟了一条全地形公路。

以前，我们只能在平地上开车（处理分裂素数）。
现在，作者们造出了越野车（新的 p-adic 公式和 Iwasawa 理论），无论是泥泞（分歧）、陡坡（惯性）还是 $p=2$ 这种特殊路况，都能通行无阻。
他们不仅证明了“从脚印能反推身高”（Gross-Zagier 的逆定理），还顺便帮人类解开了几个关于“数字立方和”和“曲线解的分布”的古老谜题。

这就是数学的魅力：用最抽象的工具，去解决最具体、最古老的问题。

这是一份关于论文《p-adic Waldspurger Formula for Non-split Primes and Converse of Gross–Zagier and Kolyvagin Theorem》（非分裂素数情形下的 p-adic Waldspurger 公式与 Gross-Zagier-Kolyvagin 定理的逆定理）的详细技术总结。

1. 研究背景与核心问题

背景：
L-函数的特殊值与算术对象（如 Selmer 群）之间的深刻联系是数论的核心问题。Bloch-Kato 猜想预测，对于某个动机（motive），其 p-adic Selmer 群的秩等于对偶 L-函数在 $s=0$ 处的消失阶数。
对于椭圆曲线 $E/\mathbb{Q}$ ，Gross-Zagier 和 Kolyvagin 定理建立了 Heegner 点与 L-函数导数之间的联系。其逆定理（Converse Theorem）是 BSD 猜想的一个重要特例：如果 $E$ 的 Selmer 秩为 0 或 1，则 $L(E, s)$ 在 $s=1$ 处的消失阶数也分别为 0 或 1。

核心问题：
本文主要解决两个相互关联的问题：

构造与公式推广： 将 Andreatta-Iovita 关于非分裂素数 $p$ 的 p-adic L-函数和 p-adic Waldspurger 公式的构造，推广到更一般的情形。特别是允许 $p$ 为任意素数（包括 $p=2$ ），允许 $p$ 在虚二次域 $K$ 中分裂、惯性或分歧，且仅假设 $GL_2$ 自守表示在 $p$ 处为主级（principal series）。
逆定理的证明： 利用上述工具，证明自对偶 CM 特征（包括具有复乘的椭圆曲线）的 Gross-Zagier-Kolyvagin 逆定理：若 Selmer 秩为 1，则解析秩也为 1。

2. 方法论与关键技术

作者提出了一套全新的方法体系，结合了 p-adic 模形式理论、Iwasawa 理论和局部测试向量理论。

2.1 p-adic Waldspurger 公式的构造 (针对非分裂素数)

挑战： 在 $p$ 非分裂（惯性或分歧）的情况下，CM 点通常位于非普通（non-ordinary）区域，且 Hasse 不变量较大，导致传统的 p-adic 迭代 Gauss-Manin 连接无法收敛。
解决方案：
- 向量丛与标记截面 (VBMSS)： 利用向量丛理论定义“近超收敛”（nearly overconvergent）四元数模形式空间，建立 p-adic 迭代 Gauss-Manin 连接。
- 局部测试向量与平移： 这是核心创新。作者通过选择特定的局部测试向量 $\phi_p$ 和矩阵 $g_{\ell, n}$ ，对 CM 点进行平移。这使得平移后的 CM 点落入“半典范轨迹”（half-canonical locus），在该区域内 Hasse 不变量足够小，从而保证 Gauss-Manin 连接的收敛性。
- Syntomic 形式： 利用 Andreatta-Bertolini-Seveso-Venerucci 发展的带系数的 Syntomic 上同调理论，处理半稳定约化情形，将 Abel-Jacobi 映射的计算简化为 CM 点上的计算。
- 结果： 建立了适用于所有分歧类型和权重的 p-adic Waldspurger 公式，将 Heegner 点的 p-adic 对数与 p-adic L-函数的特殊值联系起来。

2.2 新的 $\pm$ -局部 Iwasawa 理论

挑战： 传统的 Rubin $\pm$ -理论主要适用于 $p$ 分裂或 $p$ 惯性且 $E$ 具有普通约化的情形。对于 $p$ 分歧或 $p=2$ 的情况，缺乏统一的理论框架。
解决方案：
- 基于解析点的划分： 作者根据 Archimedean 类型（而非 $p$ 处的导子）将算术点划分为 $X_1$ 和 $X_2$ 两组。
- 定义 $\pm$ -子模： 定义局部 Iwasawa 上同调模 $H^1(K_p, \psi)$ 的 $\pm$ 子模，使其在 $X_1$ （或 $X_2$ ）处的特殊化落在 $H^1_f$ （有限部分）中。
- 椭圆单位族： 利用椭圆单位族的显式互反律（Explicit Reciprocity Law）来构造生成元，证明在适当缩小的权空间（small disc）或 Iwasawa 代数局部化下， $H^1(K_p, \psi) = H^1_+ \oplus H^1_-$ 。
- 适用范围： 该理论适用于 $p$ 在 $K$ 中的所有分歧类型（分裂、惯性、分歧），并允许 $p=2$ 。

2.3 Heegner 族的构造与 Perrin-Riou 猜想

虚拟 Heegner 族： 在 $p$ 非分裂情形下，直接构造全局 Heegner 族较为困难。作者利用 Coleman 族（Coleman family）和辅助特征，构造了一个“虚拟 Heegner 族”（virtual Heegner family）。
关键技巧： 利用 p-adic Waldspurger 公式，通过线性组合不同的 Heegner 族（对应不同的辅助扭曲），使得其局部图像在 $p$ 处生成 $H^1_+$ 的基。
Perrin-Riou 主猜想： 结合 Iwasawa 主猜想（由 Rubin 和 Johnson-Leung-Kings 证明）和全局对偶论证，证明了虚拟 Heegner 族在原点处的特殊化是非挠的（non-torsion）。

3. 主要结果

3.1 主定理：p-adic 逆定理

定理 1.1： 设 $\psi$ 是虚二次域 $K$ 上的自对偶 Hecke 特征，其 Archimedean 类型为 $(-1, 0)$ 。如果 $\psi$ 的 Selmer 群秩为 1，则 $L(\psi, s)$ 在 $s=1$ 处的消失阶数也为 1。

这是 Gross-Zagier-Kolyvagin 定理的逆定理在 CM 情形下的完整证明（去除了对 Shafarevich-Tate 群有限性的假设，并推广到 $p=2$ 及所有分歧类型）。

3.2 推论与应用

Sylvester 猜想 (1879) 的证明：
- 定理 1.2： 每一个模 9 余 4, 7 或 8 的素数 $p$ 都可以写成两个有理数的立方和 ( $p = x^3 + y^3$ )。
- 证明思路： 考虑椭圆曲线 $E_p: x^3 + y^3 = p$ ，它具有复乘。利用根数公式和 3-adic Selmer 秩的奇偶性，结合主定理证明其解析秩为 1，进而由 Gross-Zagier 定理得出其 Mordell-Weil 秩为 1，从而存在无穷多有理点。
Goldfeld 猜想的 CM 情形：
- 定理 1.4： 假设 A. Smith 的工作（关于二次扭曲族中 2-adic Selmer 秩的分布），则对于定义在 $\mathbb{Q}$ 上的复乘椭圆曲线，Goldfeld 猜想成立：50% 的二次扭曲具有解析秩 0，50% 具有解析秩 1。

4. 创新点与意义

理论框架的突破： 成功将 p-adic Waldspurger 公式从分裂素数推广到非分裂素数，并覆盖了 $p=2$ 和所有分歧类型。这解决了长期存在的几何收敛性难题。
新的 Iwasawa 理论： 提出了一种适用于所有分歧类型的 $\pm$ -局部 Iwasawa 理论，不依赖于 $p$ 分裂的假设，为处理更广泛的算术对象提供了工具。
逆定理的无条件证明： 在 CM 情形下，移除了对 Shafarevich-Tate 群有限性的假设，完成了 Gross-Zagier-Kolyvagin 逆定理的证明。
解决经典猜想： 直接证明了 Sylvester 关于有理立方和的猜想，并为 Goldfeld 猜想在 CM 情形下提供了关键支撑。
方法论的普适性： 论文中发展的“局部测试向量平移”和“虚拟 Heegner 族”构造方法，为未来研究更一般的自守形式和 L-函数提供了新的范式。

5. 总结

这篇论文通过深度融合 p-adic 模形式理论、局部测试向量理论和 Iwasawa 理论，攻克了非分裂素数情形下 p-adic L-函数构造和逆定理证明的难点。其成果不仅完善了 BSD 猜想相关理论在 CM 情形下的拼图，还解决了一个近 150 年的数论经典猜想，具有极高的理论价值和深远的影响。