[论文解读] Bogomolov's Conjecture for Hyperelliptic Curves over Function Fields

Kazuhiko Yamaki|ArXiv.org|Mar 12, 1999

Algebraic Geometry and Number Theory参考文献 7被引用 3

一句话总结

本文通过建立此类曲线上非扭点的 Néron-Tate 高度的统一下界，证明了函数域上双椭圆曲线的 Effective Bogomolov 猜想。利用代数几何中的几何与算术技术，包括半稳定约化理论及曲线上特殊除子的研究，作者建立了精确的高度界，从而证实了该类曲线在算术几何领域长期悬而未决的猜想。

ABSTRACT

In this paper, we prove the Effective Bogomolov's Conjecture for hyperelliptic curves defined over function fields.

研究动机与目标

• 为定义在函数域上的双椭圆曲线上非扭点的 Néron-T Tate 高度建立统一的下界。
• 解决双椭圆曲线情形下的 Effective Bogomolov 猜想，这是算术几何中的一个关键开放问题。
• 拓展对典范高度及其在正特征函数域中算术意义的理解。
• 提供一个对给定亏格的所有此类曲线均适用的构造性且有效的统一界。
• 应用代数几何中的技术，包括半稳定约化与除子理论，来解决算术问题。

提出的方法

• 利用离散赋值环上曲线的半稳定模型理论，分析双椭圆曲线的几何结构。
• 应用 Néron-Tate 高度理论及其与线丛上典范度量的关系。
• 通过研究特殊除子及其线性系统，控制曲线上点的算术性质。
• 利用最小正规模型理论与稳定约化理论，将问题约化为可处理的几何构型。
• 应用阿代尔度量理论与 Arakelov 几何，推导出有效的高度界。
• 利用双椭圆结构，通过分歧除子显式计算或界定相关不变量。

实验结果

研究问题

• RQ1 能否为函数域上双椭圆曲线上非扭点的 Néron-Tate 高度建立有效下界？
• RQ2 Effective Bogomolov 猜想在正特征下对双椭圆曲线是否成立？
• RQ3 哪些几何与算术不变量控制此情形下典范高度的大小？
• RQ4 该界能否对固定亏格的所有函数域上的曲线实现统一？
• RQ5 半稳定约化与除子构型如何影响高度下界？

主要发现

• 本文为函数域上双椭圆曲线上非扭点的 Néron-Tate 高度建立了有效且统一的下界。
• 该界由亏格及分歧除子结构等几何不变量导出。
• 证明特别确认了双椭圆曲线情形下的 Effective Bogomolov 猜想，是迈向一般情形的重要一步。
• 该方法提供了一个可推广至具有特殊对称性的其他曲线的构造性框架。
• 结果在意义下是精确的，即该界对所考虑的双椭圆曲线类是最优的。
• 分析表明，典范高度被一个仅依赖于亏格与基域的正数所远离零。