Number of integral points on quadratic twists of elliptic curves

基本信息

• 论文ID: 2509.03274
• 标题: Number of integral points on quadratic twists of elliptic curves
• 作者: Seokhyun Choi (KAIST)
• 分类: math.NT (Number Theory)
• 发表时间: November 12, 2025
• 论文链接: https://arxiv.org/abs/2509.03274v2

摘要

本文研究椭圆曲线 $E : y^2 = x^3+Ax+B$ 在有理数域 $\mathbb{Q}$ 上的二次扭曲 $E_D : y^2 = x^3+D^2Ax+D^3B$ 的整点问题。对于足够大的 $D$，作者证明了 $E_D$ 上的整点个数满足上界 $\ll 4^r$，其中 $r$ 表示 $E_D$ 的 Mordell-Weil 秩，且隐含常数是绝对的（不依赖于椭圆曲线 $E$）。

研究背景与动机

问题背景

1. Siegel定理（1929）：椭圆曲线上的整点集合 $E(\mathbb{Z})$ 是有限的，但由于依赖于Thue-Siegel-Roth定理，该结果是不可有效计算的。
2. 有效界的发展：
   • Baker (1966) 首次给出整点高度的有效界，但界非常大：$|x| \leq \exp((10^6\max\{|A|,|B|\})^{10^6})$
   • Lang猜想：存在绝对常数 $C$ 使得 $|E(\mathbb{Z})| \ll C^r$
3. 现有结果：
   • Silverman (1987)：对于有界Szpiro比的椭圆曲线证明了Lang猜想
   • Helfgott-Venkatesh (2006)：证明了 $|E(\mathbb{Z})| \ll C^{\omega(\Delta)}(\log|\Delta|)^2(1.34)^r$
   • 对于二次扭曲族：Gross-Silverman给出 $C \sim 10^9$，Chi-Lai-Tan改进到 $C=25$，Chan对同余数曲线改进到 $C=3.8$

研究动机

本文针对二次扭曲族建立更优的常数界 $C=4$，这是该问题的重要进展。该结果对于足够大的 $D$ 成立，且常数是绝对的、可有效计算的。

核心贡献

1. 主要定理（Theorem 1.1）：对于椭圆曲线 $E : y^2 = x^3+Ax+B$ 的二次扭曲 $E_D$，当 $D$ 足够大时，证明了 $|E_D(\mathbb{Z})| \ll 4^r$，其中 $r$ 是 $E_D$ 的秩。
2. 方法创新：结合间隙原理（gap principles）和丢番图逼近技术，将整点集合分为四类（小点、中小点、中大点、大点）分别处理。
3. 技术改进：
   • 对小点和中等点使用球面码（spherical codes）理论
   • 对大点使用定量Roth定理
   • 精细的高度估计和几何分析
4. 常数优化：将二次扭曲族的常数从25改进到4，显著提升了界的精确性。

方法详解

整体策略

作者将 $E_D(\mathbb{Z})$ 分为四个子集，根据规范高度 $\hat{h}(P)$ 的范围：

1. 小点：$E_D(\mathbb{Z})_{\text{small}} := \{P \in E_D(\mathbb{Z}) \mid \hat{h}(P) \leq 1.5\log D\}$
2. 中小点：$E_D(\mathbb{Z})_{\text{medium-small}} := \{P \in E_D(\mathbb{Z}) \mid 1.5\log D \leq \hat{h}(P) \leq 20\log D\}$
3. 中大点：$E_D(\mathbb{Z})_{\text{medium-large}} := \{P \in E_D(\mathbb{Z}) \mid 20\log D \leq \hat{h}(P) \leq 2^{200}\log D\}$
4. 大点：$E_D(\mathbb{Z})_{\text{large}} := \{P \in E_D(\mathbb{Z}) \mid \hat{h}(P) \geq 2^{200}\log D\}$

技术工具

1. 高度估计（Lemmas 3.1-3.4）

建立规范高度 $\hat{h}$ 和Weil高度 $h$ 之间的关系：

• 对于 $P \in E_D(\mathbb{Q})$：$c_1 \leq \hat{h}(P) - h(P) \leq c_2$
• 对于 $P \in E_D(\mathbb{Q})$（通过同构 $\phi_D: E_D \to \bar{E}_D$）：
  • 一般情况：$c_1 - \log D \leq \hat{h}(P) - h(P) \leq c_2 + \log D$
  • 当 $x(P) > D$ 时：$c_1 - \log D \leq \hat{h}(P) - h(P) \leq c_2$

2. 间隙原理（Gap Principle, Lemma 3.9）

对于整点 $P, Q \in E_D(\mathbb{Z})$ 满足 $MD \leq x(P) < x(Q)$： $h(P+Q) \leq h(P) + 2h(Q) + 2.9$

这个不等式是后续分析的核心，用于控制点之间的"距离"。

3. 球面码理论（Section 4）

在 $E_D(\mathbb{Q}) \otimes_{\mathbb{Z}} \mathbb{R} \cong \mathbb{R}^r$ 上，规范高度诱导内积结构。定义两点 $P, Q$ 之间的角度： $\cos\theta_{P,Q} := \frac{\hat{h}(P+Q) - \hat{h}(P) - \hat{h}(Q)}{2\sqrt{\hat{h}(P)\hat{h}(Q)}}$

如果一组点满足 $\cos\theta_{P,Q} \leq \cos\theta_0$，则它们形成球面码，个数不超过 $A(r, \theta_0)$。

使用两个界：

• Kabatiansky-Levenshtein界（$0 < \theta < \pi/2$）： $A(r,\theta) \ll \left[\exp\left(\frac{1+\sin\theta}{2\sin\theta}\log\frac{1+\sin\theta}{2\sin\theta} - \frac{1-\sin\theta}{2\sin\theta}\log\frac{1-\sin\theta}{2\sin\theta} + 0.001\right)\right]^r$
• 简单界（$\theta > \pi/2$）：$A(r,\theta) \ll 1$

各类点的处理

小点（Proposition 5.1）

• 将 $E_D(\mathbb{Z})_{\text{small}}$ 分解为 $4E_D(\mathbb{Q})$ 的陪集
• 对每个陪集 $S(R)$，证明任意两个不同点 $P_1, P_2 \in S(R)$ 满足： $\cos\theta_{P_1,P_2} \leq -\frac{1}{6} < 0$
• 由 $\theta > \pi/2$ 的球面码界得 $|S(R)| \ll 1$
• 陪集个数至多 $4^{r+1}$，故 $|E_D(\mathbb{Z})_{\text{small}}| \ll 4^r$

中小点（Proposition 6.3）

• 进一步细分为 $MS_n := \{P \mid (n-0.5)\log D \leq \hat{h}(P) \leq (n+0.5)\log D\}$，$2 \leq n \leq 20$
• 只需考虑 $y(P) > 0$ 的点（记为 $MS_n^+$）
• 利用Lemma 6.1：当 $x(P) \leq MD$ 时，$\hat{h}(P) < 1.5\log D$（排除在外）
• 对 $P, Q \in MS_n^+$，利用间隙原理和Lemma 6.2的优化分析，证明： $\cos\theta_{P,Q} \leq \max\left\{\frac{n+1.6}{2\sqrt{n^2-0.25}}, 1-\frac{n-1.6}{2(n+0.5)}\right\}$
• 应用Kabatiansky-Levenshtein界得 $|MS_n^+| \ll 4^r$

中大点（Proposition 7.2）

• 细分为 $ML_n := \{P \mid 20 \cdot (1.1)^{n-1}\log D \leq \hat{h}(P) \leq 20 \cdot (1.1)^n\log D\}$，$1 \leq n \leq 50$
• 对 $P, Q \in ML_n^+$ 满足 $\max\{\hat{h}(Q)/\hat{h}(P), \hat{h}(P)/\hat{h}(Q)\} \leq 1.1$
• Lemma 7.1证明：$\cos\theta_{P,Q} \leq 0.63$
• 应用球面码理论得 $|ML_n^+| \ll (1.55)^r \ll 4^r$

大点（Proposition 10.4）

这是最复杂的情况，分两步处理：

Step 1: 分解为 $3E_D(\mathbb{Q})$ 的陪集 $L(R)$，进一步分为：

• $L(R)^* := \{P \in L(R) \mid \hat{h}(P) \leq 10^{50}\hat{h}(R)\}$
• $L(R)^{**} := \{P \in L(R) \mid \hat{h}(P) > 10^{50}\hat{h}(R)\}$

对于 $L(R)^*$，类似中大点的处理，细分为700个子区间（比例1.01），利用Lemma 10.1证明 $\cos\theta_{P,Q} \leq 0.504$，得到 $|L(R)^*| \ll (1.33)^r$。

Step 2: 对于 $L(R)^{**}$，使用丢番图逼近：

• 写 $P = 3Q + R$，取 $S \in \frac{1}{3}R$ 使得 $|x(Q) - x(S)|$ 最小
• 关键引理（Lemma 8.2）：当 $h(P) > 1000h(R)$ 且 $h(P) > 2000\log D$ 时： $\frac{\log|x(Q) - x(S)|}{h(Q)} < -2.75$ 这意味着 $x(Q)$ 是代数数 $x(S)$ 的有理逼近，逼近指数 $> 2.75 > 2$
• 应用定量Roth定理（Evertse, Theorem 9.1）：度数 $\leq 9$ 的代数数 $\alpha$，满足逼近指数 $> 2.75$ 的有理数 $\beta$ 个数至多为： $225 \cdot 0.75^{-3} \log(18) \log(0.75^{-1}\log(18)) \ll 1$
• 因此 $|L(R)^{**}| \ll 1$

综合两步：$|L(R)| \ll (1.33)^r$，陪集个数 $\leq 3^r$，故 $|E_D(\mathbb{Z})_{\text{large}}| \ll (3.99)^r \leq 4^r$。

技术创新点

1. 精细的区间划分：通过对数尺度的细致划分（1.5, 20, $2^{200}$ 以及内部的1.1, 1.01比例），在每个区间内建立更紧的间隙原理。
2. 几何分析：利用 $x$-坐标的几何关系（Lemmas 3.6-3.8），精确估计点加法后的坐标变化，这对于建立间隙原理至关重要。
3. 优化技术：Lemma 6.2提供了二元函数在矩形区域上的最大值分析，用于优化角度界的计算。
4. 丢番图逼近的精细应用：通过三分点的构造和判别式估计（Lemma 8.1），将大点问题转化为有效的丢番图逼近问题。

实验设置

本文是纯数学理论论文，不涉及数值实验。所有结果都是严格的数学证明。

计算验证

文章附录B提供了Proposition 6.3中各个 $n$ 值对应的 $\cos\theta$ 和球面码界 $E(\theta)$ 的数值表格，例如：

• $n=2$: $\cos\theta = 0.9295$, $E(\theta) = 3.603$
• $n=10$: $\cos\theta = 0.6000$, $E(\theta) = 1.482$
• $n=20$: $\cos\theta = 0.5512$, $E(\theta) = 1.397$

这些数值验证了理论界 $\ll 4^r$ 的有效性。

实验结果

主要结果

Theorem 1.1：对于二次扭曲 $E_D: y^2 = x^3 + D^2Ax + D^3B$，当 $D$ 足够大时： $|E_D(\mathbb{Z})| \ll 4^r$ 其中隐含常数是绝对的（不依赖于 $A, B$）且可有效计算。

与已有结果的比较

本文将一般二次扭曲族的常数改进到接近Chan针对特殊曲线的结果，这是显著的进步。

技术细节的验证

各个命题的证明给出了具体的常数：

• Proposition 5.1: $|E_D(\mathbb{Z})_{\text{small}}| \ll 4^r$
• Proposition 6.3: $|E_D(\mathbb{Z})_{\text{medium-small}}| \ll 4^r$
• Proposition 7.2: $|E_D(\mathbb{Z})_{\text{medium-large}}| \ll (1.55)^r \ll 4^r$
• Proposition 10.4: $|E_D(\mathbb{Z})_{\text{large}}| \ll (3.99)^r \leq 4^r$

最终常数4主要由大点的分析决定：$(1.33)^r \times 3^r = (3.99)^r$。

相关工作

历史发展脉络

1. 经典理论：
   • Siegel (1929)：整点有限性（不可有效）
   • Baker (1966)：首个有效界（非常大）
   • Lang (1970s)：提出 $|E(\mathbb{Z})| \ll C^r$ 猜想
2. 一般椭圆曲线：
   • Silverman (1987)：有界Szpiro比情形
   • Hindry-Silverman (1988)：规范高度方法
   • Helfgott-Venkatesh (2006)：$C = 1.34$（带对数因子）
3. 二次扭曲族：
   • Silverman (1987)：建立基本框架
   • Gross-Silverman (1995)：$C \sim 10^9$
   • Helfgott (2004)：引入间隙原理
   • Chi-Lai-Tan (2005)：$C = 25$
   • Alpoge (2014)：平均界的研究
   • Chan (2022)：同余数曲线 $C = 3.8$

本文的创新

相比于前人工作：

• 方法论：结合间隙原理、球面码理论和定量Roth定理，形成系统化的处理框架
• 技术精细度：通过多层次的区间划分和精确的几何估计，显著改进常数
• 普适性：适用于所有二次扭曲，不限于特殊曲线

结论与讨论

主要结论

本文证明了对于椭圆曲线的二次扭曲 $E_D$，当 $D$ 足够大时，整点个数满足 $|E_D(\mathbb{Z})| \ll 4^r$，其中常数4是绝对的且可有效计算。这是Lang猜想在二次扭曲族上的最优已知结果之一。

局限性

1. "足够大"的条件：定理要求 $D \geq D_0$，其中 $D_0$ 依赖于 $A, B$。虽然理论上 $D_0$ 可计算，但文中未给出具体数值。
2. 常数的绝对性：虽然常数4不依赖于 $E$，但隐含在 $\ll$ 中的乘性常数可能较大，实际应用时需要更精确的估计。
3. 一般椭圆曲线：本文仅处理二次扭曲族，对于一般椭圆曲线（非扭曲情形），Lang猜想的最优常数仍然未知。
4. 小 $D$ 的情形：对于有界的 $D$，本文方法不适用，需要其他技术（如Baker方法）。

未来方向

1. 常数的进一步改进：是否可以将4降低到更接近理论最优值（可能接近3或更小）？
2. 有效性：明确给出 $D_0$ 的具体界，使结果在实际计算中可应用。
3. 推广到其他扭曲：将方法推广到三次扭曲、四次扭曲等更一般的扭曲族。
4. 与BSD猜想的联系：探索整点个数与L-函数、Tate-Shafarevich群等算术不变量的关系。
5. 平均界：研究所有二次扭曲上整点个数的平均行为（Alpoge的工作方向）。

深度评价

优点

1. 重要的理论进展：将二次扭曲族的常数从25改进到4，这是该领域的显著突破，接近同余数曲线的特殊结果3.8。
2. 方法的系统性：
   • 四层分解策略清晰合理
   • 每层使用最适合的工具（球面码、丢番图逼近）
   • 技术组合优雅高效
3. 技术深度：
   • 间隙原理的精细应用（Lemma 3.9及其推论）
   • 几何分析的精确性（Lemmas 3.6-3.8的坐标估计）
   • 丢番图逼近的巧妙构造（Lemma 8.2的三分点技巧）
4. 证明的严密性：所有估计都有详细计算，附录提供了关键不等式的完整验证（Appendix A, B）。
5. 写作清晰：
   • 结构层次分明
   • 引理编号系统
   • 关键思想解释充分

不足

1. 可计算性限制：
   • "足够大的 $D$" 的具体界未明确
   • 隐含常数的大小未讨论
   • 实际应用中的可操作性有限
2. 常数的紧性未知：
   • 是否存在秩为 $r$ 的 $E_D$ 使得 $|E_D(\mathbb{Z})| \sim 4^r$？
   • 理论最优常数是多少？
   • 与Helfgott-Venkatesh的1.34比较（虽有对数因子）
3. 技术的局限性：
   • 方法高度依赖于二次扭曲的特殊结构
   • 推广到一般椭圆曲线困难
   • 对小 $D$ 无能为力
4. 数值验证缺失：虽然是理论论文，但缺少具体例子验证理论界的有效性。

影响力

1. 理论意义：
   • 推进Lang猜想的研究
   • 为整点问题提供新的技术工具组合
   • 可能启发其他丢番图方程的研究
2. 方法论贡献：
   • 间隙原理+球面码的系统应用
   • 多尺度分解策略
   • 定量Roth定理的有效使用
3. 后续研究：
   • 可能激发常数的进一步优化
   • 为其他扭曲族提供方法论模板
   • 与算术几何其他问题的联系
4. 可复现性：证明完全理论化，可复现性强，但数值实现需要额外工作。

适用场景

1. 理论研究：
   • 椭圆曲线算术理论
   • 丢番图几何
   • 高度理论
2. 潜在应用：
   • 密码学中的椭圆曲线参数选择
   • 同余数问题
   • 有理点搜索算法的理论基础
3. 教学价值：展示了现代数论中多种技术的综合运用，适合作为高级课程的案例研究。

参考文献（关键文献）

1. 21 Siegel (1929): 整点有限性的奠基工作
2. 16,17 Lang (1970s-1980s): Lang猜想的提出
3. 22 Silverman (1987): 定量Siegel定理，建立高度方法
4. 12 Helfgott (2004): 间隙原理的引入
5. 14 Helfgott-Venkatesh (2006): $C=1.34$ 的结果
6. 5 Chi-Lai-Tan (2005): $C=25$ 的前一最优结果
7. 4 Chan (2022): 同余数曲线 $C=3.8$
8. 9 Evertse (2010): 定量Roth定理
9. 15 Kabatiansky-Levenshtein (1978): 球面码界

总体评价：这是一篇高质量的数论论文，在Lang猜想的研究中取得了实质性进展。方法系统、证明严密、结果显著。虽然在可计算性和常数紧性方面还有提升空间，但已经代表了该问题的当前最优水平。对于椭圆曲线整点理论的研究具有重要的理论价值和方法论意义。