[论文解读] An effective proof of the hyperelliptic Shafarevich conjecture

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

Algebraic Geometry and Number Theory被引用 1

一句话总结

本文通过建立超椭圆曲线在数域 K 上、在有限多个位置之外具有良好约化、且亏格 g ≥ 1 情况下，其 Weierstrass 模型高度的显式可计算上界，给出了超椭圆 Shafarevich 猜想的有效证明。该方法结合了对数形式的有效约化理论与 Weierstrass 模型理论，为任意给定的 K、S 和 g，实现了此类曲线的 K-同构类的完整、算法化分类。

ABSTRACT

Let $C$ be a hyperelliptic curve of genus $g\geq 1$ over a number field $K$ with good reduction outside a finite set of places $S$ of $K$. We prove that $C$ has a Weierstrass model over the ring of integers of $K$ with height effectively bounded only in terms of $g$, $S$ and $K$. In particular, we obtain that for any given number field $K$, finite set of places $S$ of $K$ and integer $g\geq 1$ one can in principle determine the set of $K$-isomorphism classes of hyperelliptic curves over $K$ of genus $g$ with good reduction outside $S$.

研究动机与目标

• 建立超椭圆曲线在数域 K 上、在有限多个位置之外具有良好约化、且亏格 g ≥ 1 情况下，其 Weierstrass 模型高度的显式可计算上界。
• 通过实现此类曲线的算法枚举，解决超椭圆曲线的有效的 Shafarevich 猜想。
• 通过提供适用于所有 g ≥ 1 的统一数论框架，扩展并改进先前对椭圆曲线与亏格 2 曲线的有效结果。
• 为有效应用在丢番图几何中奠定基础，包括通过雅可比考虑对有效 Mordell 猜想与有效 Siegel 定理的推论。
• 展示在良好约化条件下，通过有效判别式与高度界，对超椭圆曲线进行算法分类的可行性。

提出的方法

• 利用 Evertse 与 Győry 的对数形式有效约化理论，对二元形式与单位的高度进行有界控制。
• 应用 Lockhart（1994）与 Liu（1996）关于 Weierstrass 模型的结果，在 T-整数环上构造极小模型。
• 采用形如 x + y = 1 的 T-单位方程，其中 x, y ∈ O×_T，通过单峰自同构变换控制高度。
• 使用变换 f(X) ↦ f(X + τ)，τ ∈ O_T 对模型进行标准化并降低高度，利用单位的有效界。
• 应用 Evertse-Győry 的广义有效二元形式定理，处理无 K-有理 Weierstrass 点的曲线。
• 结合局部高度估计与全局极小性条件，导出在整数环 O_K 上高度有界的最终模型。

实验结果

研究问题

• RQ1 超椭圆曲线的 Shafarevich 猜想能否被有效证明，即是否存在显式上界，使得同构类可被算法枚举？
• RQ2 在数域 K 上、在有限多个位置之外具有良好约化、且亏格为 g 的超椭圆曲线，其 Weierstrass 模型高度的有效上界是什么？
• RQ3 对数形式理论与单位方程理论如何与 Weierstrass 模型理论结合，以在算术几何中实现有效上界？
• RQ4 该方法在多大程度上可推广至无 K-有理 Weierstrass 点的曲线或更一般的曲线？
• RQ5 能否从有效的 Weierstrass 模型导出雅可比簇的 Faltings 高度的有效上界？这与有效 Mordell 猜想有何关联？

主要发现

• 存在一个有效常数 Ω(K, S, g)，使得每个在 K 上、亏格为 g、在 S 之外具有良好约化的超椭圆曲线，均存在一个 Weierstrass 模型 Y² = f(X)，其绝对对数 Weil 高度不超过 Ω(K, S, g)。
• K-同构类的超椭圆曲线在 K 上、亏格为 g、在 S 之外具有良好约化的情况，可被有效枚举，因为高度有界的此类模型数量有限且可计算。
• 对于具有 K-有理 Weierstrass 点的曲线，该方法在 O_T 上构造极小模型，其判别式为单位，随后通过单位方程与平移实现高度控制。
• 对于不具有 K-有理 Weierstrass 点的曲线，该方法将 Evertse-Győry 的有效二元形式理论扩展至全局 Weierstrass 模型，推导出有界高度。
• 该方法对曲线 C 的雅可比簇 J 在 K 的有限扩张 L 上的绝对稳定 Faltings 高度 h_F(J) 给出有效上界，前提是 C ×_K L 的函数域存在一个模型 Y^m = f(X)，其中 f 为首一可分多项式，且 ∆(f) 是 T-整数环中的单位。
• h_F(J) 的上界仅依赖于 |D_L|、d_L、N_T 与 g，从而建立了雅可比簇 Shafarevich 猜想的新有效情形。