[论文解读] Small rational points on elliptic curves over number fields

Clayton Petsche|ArXiv.org|Aug 9, 2005

Algebraic Geometry and Number Theory参考文献 13被引用 17

一句话总结

本文利用数域的次数 $d$ 和 Szpiro 比率 $σ$，为数域上椭圆曲线的有理扭点数量以及非扭有理点的典范高度建立了显式的多项式界。关键结果为扭点界 $|E(k)_{Τ}| \leq c_1 d \sigma^2 \log(c_2 d \sigma^2)$，其中 $c_1 = 134861$，$c_2 = 104613$，以及典范高度下界 $ω(P) \geq c(d,σ) \log|ℝ(Δ)|$，其中 $c(d,σ) = \frac{1}{10^{15} d^3 σ^6 \log^2(c_2 d σ^2)}$，两者均仅表现出对 $d$ 和 $σ$ 的多项式依赖，优于以往的指数界。

ABSTRACT

Let E/k be an elliptic curve over a number field. We obtain some quantitative refinements of results of Hindry-Silverman, giving an upper bound for the number of k-rational torsion points, and a lower bound for the canonical height of non-torsion k-rational points, in terms of expressions depending explicitly on the degree of k and the Szpiro ratio of E/k. The bounds exhibit only polynomial dependence on both quantities.

研究动机与目标

• 为数域上椭圆曲线的有理扭点数量提供显式、仅多项式有界的估计，改进 Merel 的通用界。
• 建立非扭有理点的 Néron-Tate 典范高度的下界，该下界显式依赖于次数 $d$ 和 Szpiro 比率 $\sigma$。
• 通过仅对 $d$ 和 $\sigma$ 保持多项式依赖，改进 Hindry-Silverman 的先前指数界。
• 证明 Szpiro 猜想蕴含 Lang 猜想，且常数以多项式速率衰减，强化了已知的蕴含关系。
• 通过在 Hindry-Silverman 方法中引入坏约化处的局部高度估计，拓展其方法。

提出的方法

• 该方法使用在有限小有理点集 $Z$ 上定义的高度-判别式和 $\Lambda(Z)$，结合平行四边形不等式所得的全局上界与 Néron 局部高度函数所得的局部下界。
• 在所有位置 $v \in \mathcal{M}_k$ 上估计局部高度贡献，特别处理坏约化位置 ($\mathcal{M}_k^{\text{br}}$)，使用对 $\delta_v$、$c_v$ 和 $\eta_v$ 的界。
• 对局部高度和应用 Jensen 不等式，推导出涉及 $\log|\mathbb{N}(\Delta)|$ 和 $\log|\mathbb{N}(\mathfrak{f})|$ 的全局下界，二者通过 Szpiro 比率 $\sigma$ 相关联。
• 通过 $\hat{h}(P)$ 的个体典范高度上界推导出 $\Lambda(Z)$ 的全局上界，其与 $\log|\mathbb{N}(\Delta)| / (d \sigma^2)$ 成正比。
• 通过结合 $\Lambda(Z)$ 的上下界，对大于某一大小的集合 $Z$ 导出矛盾，从而得到小有理点数量的界。
• 扭点的界可直接由这些小有理点的有限性得出，而典范高度下界则通过分析使 $\hat{h}(MP)$ 超过某一阈值的最小 $M$ 得到。

实验结果

研究问题

• RQ1 能否建立一个仅关于次数 $d$ 和 Szpiro 比率 $\sigma$ 多项式增长的函数，以有界数域上椭圆曲线的有理扭点数量？
• RQ2 能否构造一个非扭有理点典范高度的下界，使得其常数显式且仅关于 $d$ 和 $\sigma$ 多项式依赖？
• RQ3 新典范高度界是否意味着 Lang 猜想的常数以多项式速率衰减？与先前的指数界相比有何差异？
• RQ4 Hindry-Silverman 的方法能否扩展以包含坏约化处的点，从而得到更紧致且更显式的界？
• RQ5 在 Szpiro 猜想成立的假设下，扭子群大小与不变量 $d$ 和 $\sigma$ 之间的定量关系是什么？

主要发现

• 数域 $k$ 上的 $k$-有理扭点数量满足 $|E(k)_{\text{tor}}| \leq 134861 \cdot d \sigma^2 \log(104613 \cdot d \sigma^2)$，仅表现出对 $d$ 和 $\sigma$ 的多项式依赖。
• 非扭点典范高度的下界为 $\hat{h}(P) \geq \frac{1}{10^{15} d^3 \sigma^6 \log^2(104613 \, d \sigma^2)} \log|\mathbb{N}_{k/\mathbb{Q}}(\Delta_{E/k})|$，其中常数对 $d$ 和 $\sigma$ 多项式衰减。
• 当 $\sigma = 1$ 时，扭点界恢复了 Hindry-Silverman 的 $O(d \log d)$ 界，但将其推广至所有 $\sigma$ 并保持多项式控制。
• 该界表明，若 Szpiro 猜想成立（即 $\sigma$ 有界），则扭子群大小仅关于 $d$ 有统一有界。
• 典范高度界强化了 Szpiro 猜想对 Lang 猜想的蕴含关系，表明 Lang 不等式中的常数 $c(k)$ 可取为关于 $d$ 和 $\sigma$ 多项式衰减的形式。
• 该证明技术通过引入坏约化处的局部高度估计，拓展了先前工作，而这些位置此前被排除或处理不够精确。