[论文解读] The Geometric Bogomolov Conjecture for Small Genus Curves

Xander Faber|ArXiv.org|Mar 6, 2008

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

一句话总结

该论文证明了特征为零的函数域上所有亏格2至4的曲线的几何 Bogomolov 猜想的有效形式，建立了雅加比簇上非扭点的 Néron-Tate 高度的统一正下界。通过度量图论和稳定曲线的典范模型，作者推导出依赖于半稳定约化类型和亏格的显式界限，扩展了已知结果，并改进了亏格3和4曲线的界限。

ABSTRACT

The Bogomolov Conjecture is a finiteness statement about algebraic points of small height on a smooth complete curve defined over a global field. We verify an effective form of the Bogomolov Conjecture for all curves of genus at most 4 defined over a function field of characteristic zero. We recover the known result for genus 2 curves and in many cases improve upon the known bound for genus 3 curves. For many curves of genus 4 with bad reduction, the conjecture was previously unproved.

研究动机与目标

• 为特征为零的函数域上亏格2至4的曲线建立几何 Bogomolov 猜想的有效版本。
• 为这类曲线的雅加比簇上非扭点的典范高提供一个统一的、可有效计算的正下界。
• 扩展并改进现有界限，特别是针对具有坏约化的亏格3和4曲线。
• 开发一个计算框架，利用度量图和对称多项式推导出紧致的高下界。

提出的方法

• 利用高差原理，将问题简化为对除子 $ \xi = K_C / (2g - 2) $ 的典范高进行有界，该除子为具有有理系数的度1除子。
• 应用半稳定约化理论，通过有限扩张使曲线获得半稳定约化，从而可使用最小正规模型。
• 使用度量图及其典范模型分析特殊纤维的几何结构，特别关注不同类型的节点奇点。
• 利用边长的对称多项式 $ \sigma_1, \sigma_2, \sigma_3 $ 推导出有界典范泛函 $ \varphi(\overline{\Gamma}) $ 的不等式。
• 应用对称平均之间的不等式，关联总长度 $ \ell(\Gamma) $、边长之和 $ \sigma_1 $ 以及高阶对称和。
• 在 Mathematica 中对所有亏格2至4的不可约三次 pm-图进行精确符号计算，计算最小常数 $ A $，并推导出 $ c(g) $ 的有效界限。

实验结果

研究问题

• RQ1 能否有效验证特征为零的函数域上所有亏格2至4曲线的几何 Bogomolov 猜想？
• RQ2 此类曲线的雅加比簇上非扭点的典范高，其最紧致的有效下界是什么？
• RQ3 在半稳定模型中计数类型 $ i $ 的节点数的不变量 $ \delta_i $ 如何影响高界限？
• RQ4 能否利用度量图论和对称多项式不等式，为小亏格的所有曲线推导出统一的、可计算的高界限？
• RQ5 最小常数 $ c(g) $ 是多少，使得高差被下界控制为 $ c(g) \cdot \delta_0 + \sum_{i \in (0,g/2]} \frac{2i(g-i)}{g} \delta_i $？

主要发现

• 特征为零的函数域上所有亏格2至4的曲线的几何 Bogomolov 猜想均有效成立。
• 对于亏格2，最优常数为 $ c(2) = \frac{1}{27} $，当模型光滑时，下界为 $ \frac{3}{d(g-1)} $。
• 对于亏格3，常数为 $ c(3) = \frac{2}{81} $，优于先前的界限。
• 对于亏格4，常数 $ c(4) = \frac{1}{36} $ 被实现，为许多具有坏约化的曲线提供了首个有效界限。
• 该方法为 $ a'(D) $ 提供了一个仅依赖于亏格、基域扩张次数 $ d $ 以及半稳定模型的 $ \delta_i $ 不变量的统一下界。
• 作者猜想关键不等式中的常数 $ A = \frac{7(g-1)^2}{6g(3g-5)} $ 可给出最优界限，其中 $ c(g) = \frac{g-1}{27g} $，该猜想得到所有亏格2–4 pm-图计算结果的支持。