[论文解读] Global discrepancy and small points on elliptic curves

Matthew Baker, Clayton Petsche|ArXiv.org|Jul 11, 2005

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

一句话总结

本文引入了数域上椭圆曲线上有限点集的全局离差作为反对 adele 等分布性的度量，证明了其关于典范高度的上界。本文给出了 Szpiro-Ullmo-Zhang 等分布定理在椭圆曲线上的新、初等证明，并为完全实数或完全 $p$-进数扩张中极小点给出了显式定量的非等分布界，包括完全实数域的极大分圆扩张。

ABSTRACT

Let E be an elliptic curve defined over a number field k. In this paper, we define the ``global discrepancy'' of a finite set Z of algebraic points on E which in a precise sense measures how far the set is from being adelically equidistributed. We then prove an upper bound for the global discrepancy of Z in terms of the average canonical height of points in Z. We deduce from this inequality a number of consequences. For example, we give a new and simple proof of the Szpiro-Ullmo-Zhang equidistribution theorem for elliptic curves. We also prove a non-archimedean version of the Szpiro-Ullmo-Zhang theorem which takes place on the Berkovich analytic space associated to E. We then prove some quantitative `non-equidistribution' theorems for totally real or totally p-adic small points. The results for totally real points imply similar bounds for points defined over the maximal cyclotomic extension of a totally real field.

研究动机与目标

• 定义并研究椭圆曲线上点的有限集的全局离差，作为反对 adele 等分布性失败的度量。
• 以典范高度表示，建立全局离差的上界，从而实现定量等分布结果。
• 通过一种更初等且定量的方法，重新证明椭圆曲线的 Szpiro-Ullmo-Zhang 等分布定理。
• 通过 Berkovich 解析空间将等分布结果推广至非阿基米德赋值。
• 在完全实数、完全 $p$-进数以及完全实数域的极大分圆扩张中，推导出关于扭点数和典范高度下确界的显式定量界。

提出的方法

• 将全局离差 $\mathcal{D}(Z)$ 定义为局部离差之和，通过热核卷积对典范高度配对进行平滑。
• 使用热核 $\lambda_t$ 构造非负、光滑的 Néron 局部高度函数 $\lambda_v$ 的逼近，其中 $t=1/N$ 以获得最优估计。
• 证明当 $0 < t \leq 1$ 时，有 $\lambda_t(O) \leq \frac{1}{2}\log(1/t) + \frac{1}{12}\log^+|j_E| + 11/5$，从而对原点处的离差进行有界。
• 通过平行四边形法则建立不等式 $\Lambda(Z) \leq 4\hat{h}(Z)$，将离差与平均典范高度联系起来。
• 将离差界应用于推导非等分布结果，通过证明小典范高度蕴含有界离差，从而约束扭点和最小非扭点高度。
• 利用格点计数和 Riemann-Stieltjes 积分估计原点处的热核，借助 $\tau$ 的模形式不变性和基本域。

实验结果

研究问题

• RQ1 如何量化椭圆曲线上有限点集在反对 adele 等分布性上的失败？
• RQ2 能否通过更初等且定量的方法重新证明 Szpiro-Ullmo-Zhang 等分布定理？
• RQ3 在完全实数或完全 $p$-进数扩张中，关于扭点数和非零典范高度下确界的显式界可以如何建立？
• RQ4 全局离差与典范高度之间有何关系？该关系能否导出有效的等分布结果？
• RQ5 热核逼近 $\lambda_t$ 在原点处的行为如何？能否以 $j$-不变量为参数，对其在原点处进行一致有界？

主要发现

• 全局离差 $\mathcal{D}(Z)$ 满足 $\mathcal{D}(Z) \leq \hat{h}(Z) + O(1)$，且常数显式给出，提供了离差与典范高度之间的定量联系。
• 对于任意满足 $\hat{h}(P_n) \to 0$ 的序列 $\{P_n\}$，其在 Berkovich 解析空间 $E_{\text{Berk},v}$ 上的伽罗瓦共轭测度 $\delta_n$ 弱收敛于典范测度 $\mu_v$，从而在实数和非阿基米德情形下均证明了等分布性。
• 通过离差-高度不等式，获得了 Szpiro-Ullmo-Zhang 等分布定理的新初等证明。
• 对于 $L$ 为完全实数或完全 $p$-进数域的情形，本文给出了 $|E(L)_{\text{tor}}|$ 的显式上界和 $\liminf_{P \in E(L)} \hat{h}(P)$ 的下界，改进了以往的定性结果。
• 对于 $L$ 为完全实数域的极大分圆扩张的情形，同样的界依然成立，且方法给出了显式常数。
• 热核估计 $\lambda_t(O) \leq \frac{1}{2}\log(1/t) + \frac{1}{12}\log^+|j_E| + 11/5$ 在 $0 < t \leq 1$ 时成立，这对原点处离差的有界性至关重要。