[论文解读] One half log discriminant

Lucien Szpiro, Thomas J. Tucker|ArXiv.org|Mar 17, 2006

Advanced Differential Equations and Dynamical Systems参考文献 10被引用 3

一句话总结

本文为数域上椭圆曲线上乘2映射的预周期点的局部等分布公式提供了几何证明，表明排除2阶点后，n阶挠点的归一化局部高度的极限收敛于Weierstrass多项式判别式的对数的一半。关键结果通过Néron模型上的爆破和特殊纤维分析，建立了算术交点理论与动力系统等分布之间的联系。

ABSTRACT

We give a geometric proof that one may compute a particular generalized Mahler integral using equidistribution of preperiodic points of a dynamical system on the sphere. The dynamical system is associated to the multiplication by 2 map on an elliptic curve over a number field K with Weierstrass equation y^2 = P(x) (a Lattes dynamical system).

研究动机与目标

• 建立数域上椭圆曲线上乘2映射的Lattès映射相关预周期点的局部等分布公式。
• 证明排除2阶点后，n阶挠点的归一化局部高度的极限收敛于Weierstrass多项式判别式的对数的一半。
• 使用爆破和算术曲面上的交点理论提供几何证明，避免使用丢番图逼近技术。
• 通过奇点的解析和Néron模型的特殊纤维分析，将等分布结果推广至有限素位。
• 在特征相等与不等特征情形下（包括局部算术情形）证明公式的有效性。

提出的方法

• 通过在重数为2的点处连续进行爆破，以解析算术曲面 $\mathbb{P}^1_{\mathcal{O}_K}$ 上的奇点并分离分支。
• 在基变换 $\operatorname{Spec}V[X]/(X^n - \pi) \to \operatorname{Spec}V$ 后，于最小模型 $\mathcal{E}'$ 上利用投影公式计算交点数 $ (H_n \cdot D)_v $。
• 分析椭圆曲线Néron模型的特殊纤维，特别是各分量的构型及其与挠点的交点。
• 通过特殊纤维中分量内n阶挠点的重数，追踪每个例外除子 $F_j$ 对交点数的贡献。
• 应用公式 $ \lim_{n\to\infty} \frac{1}{n^2} (H_n \cdot D)_v = \frac{1}{2} \log |\operatorname{Norm}_{K/\mathbb{Q}}(\Delta)|_v $，该公式由交点计数的渐近估计导出。
• 利用乘积公式与归一化，将局部交点极限与全局判别式联系起来。

实验结果

研究问题

• RQ1 能否在不使用丢番图逼近的情况下，通过几何方法证明椭圆曲线上乘2映射诱导的动力系统中预周期点的局部等分布？
• RQ2 在有限素位 $v$ 处，排除2阶点后，$n$-阶挠点的归一化局部高度的精确极限是什么？
• RQ3 当 $n \to \infty$ 时，交点数 $ (H_n \cdot D)_v $ 的渐近行为如何？其与Weierstrass多项式判别式的关系是什么？
• RQ4 能否通过奇点的解析方法，将等分布公式推广至特征相等与不等特征的局部域？
• RQ5 Néron模型的特殊纤维的各分量在计算挠点与例外除子的交点重数中起什么作用？

主要发现

• 对每个有限素位 $v$，极限 $ \lim_{n\to\infty} \frac{1}{n^2} (H_n \cdot D)_v = k $ 成立，其中 $k$ 为导子的赋值或与约化类型相关。
• 公式 $ \frac{1}{2}\log|\operatorname{Norm}_{K/\mathbb{Q}}(\Delta)| = \sum_{\sigma:K\to\mathbb{C}} \int_{\mathbb{P}^1(\mathbb{C})} \log|P(x)|_\sigma \frac{dx \wedge d\bar{x}}{\Im(\tau)_\sigma |P(x)|_\sigma^2} $ 作为局部等分布结果的推论被确立。
• 交点数 $ (H_n \cdot D)_v $ 满足不等式 $ \left| (H_n \cdot D)_v - (n - r)nk \right| \leq k(k-1)2n $，其中 $ r = n \mod 2k $，且极限 $ \lim_{n\to\infty} \frac{1}{n^2} (H_n \cdot D)_v = k $ 得到确认。
• 该证明在特征相等与不等特征情形下均成立，包括局部算术情形。
• 该方法避免使用丢番图逼近，转而依赖于通过爆破实现的奇点解析及Néron模型特殊纤维的分析。
• 每个例外除子 $F_j$ 对交点的贡献渐近为 $ 2n \frac{n - r}{2k} $，对所有 $j \leq k $ 求和后总极限为 $k$。