[论文解读] Modularity and integral points on moduli schemes

Rafael von Känel|arXiv (Cornell University)|Oct 27, 2013

Algebraic Geometry and Number Theory参考文献 50被引用 8

一句话总结

本文利用模形式理论、Arakelov 理论及同源估计，基于 Shimura-Taniyama 猜想与 Serre 的模形式猜想，建立了椭圆曲线与 GL₂-型阿贝尔簇的模概形上积分点的有效有限性结果。该研究在不依赖丢番图逼近的前提下，为 S-单位方程与 Mordell 方程提供了显式高度界，提出了一种基于 Shimura-Taniyama 猜想与 Serre 模形式猜想的新有效方法。

ABSTRACT

The purpose of this paper is to give some new Diophantine applications of modularity results. We use the Shimura-Taniyama conjecture to prove effective finiteness results for integral points on moduli schemes of elliptic curves. For several fundamental Diophantine problems (e.g. $S$-unit and Mordell equations), this gives an effective method which does not rely on Diophantine approximation or transcendence techniques. We also combine Faltings' method with Serre's modularity conjecture, isogeny estimates and results from Arakelov theory, to establish the effective Shafarevich conjecture for abelian varieties of (product) GL$_2$-type. In particular, we open the way for the effective study of integral points on certain higher dimensional moduli schemes.

研究动机与目标

• 利用模形式定理，建立椭圆曲线模概形上积分点的有效有限性结果。
• 在不依赖丢番图逼近或超越性方法的前提下，提出求解 S-单位方程与 Mordell 方程的有效方法。
• 通过 Faltings 方法、Serre 的模形式猜想与同源估计，将有效有限性推广至（积）GL₂-型阿贝尔簇。
• 为高维模概形（如 Hilbert 模形式簇）上积分点的有效研究铺平道路。

提出的方法

• 利用 Shimura-Taniyama 猜想，为 S-单位方程的解导出有效高度界。
• 通过在 P¹ 减去三点参数化的椭圆曲线上忽略水平结构，应用 Paršin 构造。
• 结合 Faltings 方法、Serre 的模形式猜想与 Arakelov 理论，控制稳定的 Faltings 高度。
• 利用同源估计与 Weil 限制，将数域上阿贝尔簇与 Q 上 GL₂-型阿贝尔簇关联。
• 通过 rad(N_S) 控制导子与判别式，以界定相关阿贝尔簇的 Faltings 高度。
• 应用 Silverberg 对 GL₂-型阿贝尔簇的结果，将问题约化为已知的高度界。

实验结果

研究问题

• RQ1 能否从模形式定理导出椭圆曲线模概形上积分点的有效有限性结果？
• RQ2 能否在不依赖丢番图逼近或超越性方法的前提下，有效求解 S-单位方程？
• RQ3 能否利用模形式与 Arakelov 理论，建立 GL₂-型阿贝尔簇的有效 Shafarevich 猜想？
• RQ4 如何使高维模概形（如 Hilbert 模形式簇）上积分点的研究变得有效？

主要发现

• S-单位方程的任意解 (x,y) 满足 h(x), h(y) ≤ (3/2)n_S(log n_S)² + 65，其中 n_S = 2⁷N_S。
• 对于 Mordell 方程 y² = x³ + a，所有解满足 h(x), h(y) ≤ h(a) + 4a_S(log a_S)²，其中 a_S = 2⁸3⁵N_S²∏p^{min(2,ord_p(a))}。
• 对于 Q 上 GL₂-型阿贝尔簇，有效 Shafarevich 猜想成立，其高度界有效依赖于导子与次数。
• 高度界中的常数在次数 d 与维数 g 上呈双指数增长，但在特殊情况下可降低为指数增长。
• 通过将关键定理替换为 Faltings 高度的新有效界，该方法可推广至非单个阿贝尔簇。