[论文解读] Siegel's theorem and the abc conjecture

Andrea Surroca|arXiv (Cornell University)|Aug 12, 2004

Algebraic Geometry and Number Theory被引用 7

一句话总结

本文在ABC猜想的假设下，通过Belyï定理与高度理论，建立了Siegel关于代数曲线整点的条件有效版本，证明了$S$-整点高度的显式上界，且该上界明确依赖于集合$S$与数域$K$。关键结果通过Belyï定理与高度理论，将ABC猜想与丢番图几何中的有效界联系起来。

ABSTRACT

Following N. Elkies ("ABC implies Mordell") we show that the abc conjecture of Masser-Oesterle implies an effective version of Siegel's theorem about integral points on algebraic curves, i.e. an upper bound for the S-integral points where the dependence on S is explicit. The converse statement is also announced in this note. For both results, the main geometric tool is a theorem of G.V. Belyi.

研究动机与目标

• 在ABC猜想的假设下，建立代数曲线整点的Siegel定理的有效版本。
• 显式表达上界对集合$S$的依赖性，特别是对素理想对数范数的依赖。
• 探讨反向方向：一个有效版本的Siegel定理是否蕴含ABC猜想。
• 利用几何工具，特别是Belyï定理，建立ABC猜想与整点之间的联系。
• 提出一个以域次数与判别式为参数的有效高度界假设框架。

提出的方法

• 使用带有显式常数的ABC猜想，推导出负欧拉示性数曲线上的$S$-整点的高度有效上界。
• 应用Belyï定理，构造从曲线到$\mathbb{P}^1$的合适态射，其分支数受控。
• 运用高度理论，将点的高度与$S$中的素理想对数范数及数域的判别式联系起来。
• 使用函数$\mathrm{rad}(x)$衡量$\mathbb{P}^2(K)$中点的算术复杂度，特别关注素理想支撑。
• 通过局部度与赋值估计，推导出$\mathrm{rad}(P_x)$关于函数$f(x)$高度及$S$与辅助集$T$上求和的上界。
• 建立高度不等式：$h_{U,K}(x) \leq -\frac{1}{\varepsilon + \chi(U)} \sum_{\mathfrak{p} \in S} \log N_{K/\mathbb{Q}}(\mathfrak{p}) + \gamma$，其中$\gamma$依赖于$K$、$U$与$\varepsilon$。

实验结果

研究问题

• RQ1 ABC猜想是否蕴含一个有效版本的Siegel定理，且对位置集合$S$有显式依赖？
• RQ2 若ABC猜想中的常数$c_{\varepsilon,K}$是有效的，则高度界中的常数$\gamma$是否也可被有效化？
• RQ3 高度界对数域$K$的判别式$d_K$的精确依赖关系为何？
• RQ4 是否存在反向关系：一个有效版本的Siegel定理是否蕴含ABC猜想？
• RQ5 在有界次数的有限扩张上，$S$-整点的高度界是否可统一有界？

主要发现

• ABC猜想蕴含对曲线$U$上$S$-整点高度的有效上界，且该上界显式依赖于$S$与数域$K$，其中$\chi(U) < 0$。
• 该上界形式为$h_{U,K}(x) \leq -\frac{1}{\varepsilon + \chi(U)} \sum_{\mathfrak{p} \in S} \log N_{K/\mathbb{Q}}(\mathfrak{p}) + \gamma$，其中$\gamma$与$x$及$S$无关。
• 若ABC猜想中的常数$c_{\varepsilon,K}$是有效的，则$\gamma$也是有效的，特别地，当$c_{\varepsilon,K}$取特定形式时，有$\gamma = -\frac{2}{\varepsilon + \chi(U)} \log d_K + \kappa$。
• 在假设1下，该上界对有界次数$\delta$的有限扩张$L/K$是统一的，常数仅依赖于$U$、$h_U$与$\delta$。
• 证明依赖于Belyï定理，构造出具有受控分支的到$\mathbb{P}^1$的态射，从而可使用根号估计。
• 点$P_x$的根号被有界于$f(x)$高度、$S$上求和及$T$上辅助求和的线性组合，系数依赖于亏格与次数。