🔢 mathematics

Elliptic curves with rank one and nontrivial 2-part of Tate Shafarevich groups over the $\mathbb{Z}_2$ -extension of $\mathbb{Q}$

本文利用 Heegner 点的同余性质和等变 Coates-Wiles 定理，构造了一类定义在 $\mathbb{Q}$ 上的椭圆曲线及其二次扭，证明了这些曲线在 $\mathbb{Q}$ 的 $\mathbb{Z}_2$ -扩张 $\mathbb{Q}_\infty$ 上均具有秩一，且其 Tate-Shafarevich 群在该扩张上是无限的。

原作者： Li-Tong Deng, Yong-Xiong Li

发布于 2026-03-17

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Li-Tong Deng, Yong-Xiong Li

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

这篇论文听起来充满了高深的数学术语，但如果我们把它想象成一场**“寻找完美平衡的数学探险”**，就会变得有趣得多。

想象一下，数学家们正在探索一个由椭圆曲线（一种特殊的数学图形，形状像甜甜圈）组成的宇宙。在这个宇宙里，每个图形都有一个“身份”，我们称之为秩（Rank）。你可以把“秩”想象成这个图形拥有的**“自由移动能力”或“自由度”**。

秩为 0：图形被锁死了，动不了（只有有限个解）。
秩为 1：图形有一个“引擎”，可以沿着一条无限长的轨道无限延伸（有无限个解，但只有一个基本方向）。
秩更高：图形有多个引擎，可以在更多方向上自由穿梭。

这篇论文的核心故事，就是作者邓利通和李永雄（Li-Tong Deng 和 Yong-Xiong Li）找到了一组特殊的椭圆曲线，并证明它们在一个无限延伸的“数学迷宫”中，始终保持着完美的“秩为 1"状态，同时揭示了一个隐藏的“幽灵”（Tate-Shafarevich 群）的存在。

1. 背景：我们要解决什么难题？

在数学界，有一个著名的未解之谜：“当我们在越来越大的数域（可以理解为越来越复杂的迷宫）中观察这些椭圆曲线时，它们的自由度（秩）会怎么变？那个被称为‘Tate-Shafarevich 群’的神秘幽灵（它代表方程有解但找不到解的‘假象’）是存在的还是空的？”

以前的研究要么假设了一些还没被证明的大猜想（比如 Birch-Swinnerton-Dyer 猜想），要么只研究了固定的几个迷宫。
这篇论文的目标是： 在不依赖那些未解之谜的前提下，直接造出一组“超级曲线”，证明它们在无限延伸的迷宫里，秩永远是 1，而且那个“幽灵”永远存在且无穷大。

2. 主角：特殊的椭圆曲线家族

作者并没有随便找一个曲线，而是精心挑选了一个“种子”曲线 $E$ （方程是 $y^2 + y = x^3 + 2$ ）。
然后，他们玩了一个叫**“二次扭曲”（Quadratic Twist）**的游戏。

比喻：想象你有一个标准的乐高模型（曲线 $E$ ）。现在，你给这个模型喷上不同的颜色（乘以不同的数字 $m$ ），这就变成了它的“双胞胎”或“变体” $E(m)$ 。
作者发现，只要选择合适的颜色（特定的素数 $p$ 和 $q$ 组合），这些变体 $E(m)$ 就会表现出非常神奇的性质。

3. 迷宫： $\mathbb{Q}_\infty$ （2-进循环扩张）

论文中提到的 $\mathbb{Q}_\infty$ 是一个无限延伸的数域塔。

比喻：想象你在爬一座无限高的楼梯。
- 第 0 层是地面（普通的有理数 $\mathbb{Q}$ ）。
- 第 1 层是 $\mathbb{Q}_1$ ，第 2 层是 $\mathbb{Q}_2$ ……每一层都比上一层复杂，但它们是紧密相连的。
- 作者要证明的是：无论爬到哪一层（ $n$ 越大），这些特殊的曲线 $E(m)$ 的秩永远是 1。它们不会突然卡死（秩变 0），也不会突然长出多余的翅膀（秩变 2 或更多）。

4. 核心发现：完美的平衡与幽灵的狂欢

作者证明了两个惊人的事实：

完美的引擎（秩为 1）：
对于他们选定的这些曲线，无论你在哪一层楼梯上看，它们都只有一个“引擎”在运转。这意味着方程有无限多个解，但结构非常稳定，不会混乱。这就像一辆车，无论路多长，它始终只有一条车道可以开，不会迷路，也不会熄火。
幽灵的狂欢（Tate-Shafarevich 群无穷大）：
这是最精彩的部分。在数学中，Tate-Shafarevich 群（简称 Sha）就像是一个**“幽灵集合”**。如果 Sha 不为零，意味着方程在局部（每个小地方）看起来都有解，但在整体（全局）却找不到解。
- 以前的研究很难证明 Sha 是“无穷大”的。
- 这篇论文证明：在这个无限延伸的迷宫里，Sha 的2-部分（可以理解为幽灵的某种特定形态）是无穷大的。
- 比喻：就像你在迷宫里，虽然每一步都走得通，但当你试图把整条路线连起来时，发现中间有无数个“断头路”或“幻影”。这些幻影的数量是无穷无尽的。

5. 他们是怎么做到的？（魔法工具）

为了证明这一点，作者使用了几个强大的数学工具，我们可以把它们想象成探险家的装备：

Mazur-Tate 元素（数学的“罗盘”）：
这是一种复杂的数学对象，用来测量曲线的性质。作者发现，通过一种叫做“模符号”的积分方法，可以计算出这些罗盘的读数。他们证明了这些读数在特定的条件下（模 2 或模 4）有非常精确的规律。
- 比喻：就像通过观察风向和气压的微小变化，就能预测出风暴的精确路径。
Heegner 点（“宝藏标记”）：
这是一种特殊的点，如果它们存在且不是“死点”（非挠点），就能证明曲线有秩。作者利用这些点，结合著名的 Gross-Zagier 定理，确认了曲线确实有一个“引擎”（秩为 1）。
- 比喻：就像在地图上找到了一个真实的宝藏标记，证明这条路是通的。
同余性质（“密码破译”）：
作者发现，当他们在不同的层级（楼梯）上观察这些曲线时，某些数学数值之间存在神奇的“同余关系”（比如模 2 或模 4 相等）。这就像破译了一套密码，让他们能够推断出无限远处的情况。

6. 总结：为什么这很重要？

这篇论文就像是在数学的荒原上，不仅找到了一条永远畅通无阻的公路（秩始终为 1），还发现路边有无穷无尽的幽灵在跳舞（Tate-Shafarevich 群无穷大）。

对数学界的意义：它不需要依赖那些尚未被证明的“大猜想”（如 BSD 猜想），而是通过严密的逻辑推导，直接给出了一个确定的例子。这打破了以往必须依赖假设才能得出结论的僵局。
通俗理解：以前我们说“如果假设 A 成立，那么 B 就会发生”。现在作者说：“看！我造了一个具体的机器，不需要任何假设，它自己就完美地实现了 B，而且附带了 C 现象。”

一句话总结：
作者通过精妙的数学设计，构造了一族特殊的椭圆曲线，证明了它们在无限延伸的数学世界中，既保持着完美的“单引擎”运行状态（秩为 1），又伴随着无穷无尽的“解的幻影”（Tate-Shafarevich 群），为理解数论中深奥的平衡与混乱提供了新的视角。

这是一份关于论文《秩为 1 且非平凡 2-部分 Tate-Shafarevich 群在 $\mathbb{Q}$ 的 $\mathbb{Z}_2$ -扩张上的椭圆曲线》（Elliptic Curves with Rank One and Nontrivial 2-Part of Tate-Shafarevich Groups over the $\mathbb{Z}_2$ -Extension of $\mathbb{Q}$ ）的详细技术总结。

1. 研究背景与核心问题

背景：
椭圆曲线的算术性质，特别是其 Mordell-Weil 群的秩（Rank）和 Tate-Shafarevich 群（记为 $\text{X}$ ）的结构，是数论中的核心问题。Birch-Swinnerton-Dyer (BSD) 猜想将 L-函数的零点阶数与秩联系起来。
Kurihara 等人在之前的研究中探讨了在 $\mathbb{Q}$ 的 $p$ -循环扩张（特别是 $\mathbb{Z}_p$ -扩张）中，是否存在椭圆曲线使得其秩保持为 0 或 1，同时其 Tate-Shafarevich 群的 $p$ -部分是非平凡的。

核心问题：
本文旨在回答以下问题（针对 $p=2$ 且秩 $r_n=1$ 的情况）：
是否存在定义在 $\mathbb{Q}$ 上的椭圆曲线 $E$ ，以及无穷多个次数趋于无穷大的数域 $F_n$ （具体为 $\mathbb{Q}$ 的 $\mathbb{Z}_2$ -扩张 $\mathbb{Q}_\infty$ 的子域），使得：

$E(F_n)$ 的秩为 1；
$\text{X}(E/F_n)(2)$ （Tate-Shafarevich 群的 2-部分）是非平凡的（即无穷大）？

主要挑战：
以往的研究往往假设 BSD 猜想或 Tate-Shafarevich 群的有限性。本文的目标是在不假设 BSD 猜想或 $\text{X}$ 群有限性的前提下，构造出满足上述条件的具体曲线族。

2. 主要研究对象与设定

基础椭圆曲线 $E$ ： 定义为 $y^2 + y = x^3 + 2$ $y^{2} + y = x^{3} + 2$ 。
- 导数 $N = 243$ 。
- 具有复乘（CM），由 $\mathbb{Q}(\sqrt{-3})$ 作用。
- 在素数 2 处具有**好超奇异（good supersingular）**约化。
- $E(\mathbb{Q}) \cong \mathbb{Z}/3\mathbb{Z}$ ，且 $L(E, 1)/\Omega_E = 1/3$ 。
二次扭（Quadratic Twists）： 考虑 $E$ 的二次扭 $E(m)$ ，其中 $m = pq $，$ p, q$ 为互异素数。
数域扩张： $\mathbb{Q}_\infty$ 是 $\mathbb{Q}$ 的循环 $\mathbb{Z}_2$ -扩张， $\mathbb{Q}_n$ 是其唯一子域，满足 $[\mathbb{Q}_n : \mathbb{Q}] = 2^n$ 。

3. 方法论与关键技术

本文结合了 Iwasawa 理论、模符号（Modular Symbols）、Heegner 点以及 Mazur-Tate 元素的性质。

3.1 Mazur-Tate 元素与 2-进性质

Mazur-Tate 元素： 作者利用 Mazur-Tate 模元素 $\xi_{\mathbb{Q}_n}$ ，这些元素属于群环 $\mathbb{Z}_2[\text{Gal}(\mathbb{Q}_n/\mathbb{Q})]$ 。
特殊化（Specializations）： 研究这些元素在有限阶特征标 $\rho$ 下的 2-进估值（2-adic valuation）。
核心难点与突破： 传统的 Kurihara-Pollack 方法在处理二次扭 $E(m)$ $E (m)$ 的 Mazur-Tate 元素时失效。作者定义了一个新的模元素 $\xi_E(\chi)$ $ξ_{E} (χ)$ （与 $(E, \chi)$ $(E, χ)$ 对相关联，其中 $\chi$ $χ$ 是 $m$ $m$ 对应的二次特征标）。
- 通过模符号的整性性质（Integral properties），证明了 $\xi_E(\chi)$ 在特征标下的特殊化与 $E(m)$ 的 Mazur-Tate 元素在 2-进单位意义下等价。
- 利用同余关系（模 2 和模 4），特别是针对 $\text{Gal}(\mathbb{Q}_3/\mathbb{Q})$ 的原始特征标，推导出了高阶同余关系，从而确定了 2-进估值。

3.2 Heegner 点与 Gross-Zagier 定理

利用 Bertolini-Darmon-Prasanna 发展的 $p$ -进 Waldspurger 公式以及 Heegner 点的同余性质。
证明了与 $E(-3q)$ 和 $\mathbb{Q}(\sqrt{-2p})$ 相关的 Heegner 点是**非挠（non-torsion）**的。
结合 Gross-Zagier 定理和 Kolyvagin 定理，确立了 $L$ -函数在 $s=1$ 处的零点阶数为 1。

3.3 等变 Coates-Wiles 定理

利用 Coates-Wiles 和 Rubin 关于复乘椭圆曲线的 Iwasawa 理论。
证明了在 $\mathbb{Q}_n(\sqrt{-3})$ 上，代数秩与解析秩的一致性（即 $L$ -函数非零对应于秩为 0，零点阶数为 1 对应于秩为 1）。

4. 主要定理与结果

定理 1.3 (Main Theorem):
设 $p, q$ 为满足以下条件的互异素数：

$p \equiv q \equiv 7 \pmod{12}$ ；
$a_p, a_q$ 为奇数（ $a_n$ 为 $E$ 对应的模形式系数）；
$\left(\frac{-2p}{q}\right) = 1$ ；
$3 \nmid h(-q)h(-6pq)$ （ $h$ 为类数）。
令 $m = pq$，则：
基础域 $\mathbb{Q}$ ： $\text{rank}(E(m)(\mathbb{Q})) = 0$ ，且 $L(E(m)/\mathbb{Q}, 1) \neq 0$ 。
扩张域 $\mathbb{Q}_n$ ( $n \ge 1$ )：
- 解析秩： $\text{ord}_{s=1} L(E(m)/\mathbb{Q}_n, s) = 1$ 。
- 代数秩： $\text{rank}(E(m)(\mathbb{Q}_n)) = 1$ 。
Tate-Shafarevich 群： 在 $\mathbb{Q}_\infty$ 上， $\text{X}(E(m)/\mathbb{Q}_\infty)(2)$ 的阶数和 2-秩（2-rank）均为无穷大。

推论：

对于所有 $n \ge 1$ ，BSD 猜想的秩部分在 $E(m)/\mathbb{Q}_n$ 上成立。
构造了一个具体的椭圆曲线族，在 $\mathbb{Z}_2$ -扩张的每个有限层上秩均为 1，但 Tate-Shafarevich 群的 2-部分却是无穷大的。

5. 技术细节与证明逻辑

非零性证明： 首先证明对于 $\text{Gal}(\mathbb{Q}_\infty/\mathbb{Q})$ 的所有有限阶特征标 $\eta \neq \psi_1$ （ $\psi_1$ 是 $\text{Gal}(\mathbb{Q}_1/\mathbb{Q})$ 的非平凡特征标）， $L(E(m), \eta, 1) \neq 0$ 。这通过 Mazur-Tate 元素的 2-进性质得出。
零点阶数证明： 对于特征标 $\psi_1$ ，利用 Heegner 点的非挠性证明 $L(E(m), \psi_1, 1)$ 有简单零点（阶数为 1）。
秩的确定： 利用等变 Coates-Wiles 定理，将 $L$ -函数的零点阶数转化为代数秩。由于 $E(m)$ 在 $\mathbb{Q}_\infty$ 上的 Selmer 群在 Iwasawa 代数上是秩为 1 的自由模，且 $L$ -函数仅在 $\psi_1$ 处有零点，因此代数秩为 1。
Tate-Shafarevich 群的无穷性：
- 已知 $E(m)$ 在 2 处是超奇异约化。
- 根据 Iwasawa 理论的标准结果，如果 Selmer 群在 Iwasawa 代数上是秩为 1 的自由模，且 $L$ -函数在中心点有零点，则 $\text{X}$ 群必须是无限的（因为有限生成的 $\mathbb{Z}_2$ -模如果是挠模，其秩必须为 0，这与 Selmer 群的秩为 1 矛盾，除非 $\text{X}$ 提供了额外的“无限”部分）。
- 具体地， $\text{X}(E(m)/\mathbb{Q}_\infty)(2)$ 的 2-秩是无限的。

6. 意义与贡献

无需假设 BSD 或 $\text{X}$ 有限性： 这是本文最大的突破。以往关于 $p=2$ 且秩为 1 的类似结果往往依赖于 BSD 猜想或 $\text{X}$ 群有限的假设。本文通过构造具体的例子，在不依赖这些未解猜想的情况下，直接证明了 $\text{X}$ 群的非平凡性（无穷性）。
推广了 Kurihara 的工作： 将 Kurihara 关于秩为 0 且 $\text{X}$ 非平凡的结果，推广到了秩为 1 的情况，并扩展到了 $\mathbb{Z}_2$ -扩张的无穷塔上。
方法创新： 引入并发展了处理二次扭 Mazur-Tate 元素 2-进性质的新方法，特别是通过定义辅助模元素 $\xi_E(\chi)$ 和利用高阶同余（模 4）来解决原始方法失效的问题。
数值验证： 附录 C 提供了满足条件的素数对 $(p, q)$ 的具体数值例子（如 $p=31, q=7$ ），证明了理论构造的可行性。

总结：
这篇论文通过精细的 Iwasawa 理论分析和模符号同余性质的结合，成功构造了一族椭圆曲线，它们在 $\mathbb{Q}$ 的 $\mathbb{Z}_2$ -扩张的所有有限层上具有秩 1，但其 Tate-Shafarevich 群的 2-部分却是无穷大的。这一结果在不假设 BSD 猜想的前提下，深刻揭示了椭圆曲线在无穷扩张中算术性质的复杂性。