Rational torsion on hyperelliptic jacobian varieties

技术摘要：超椭圆雅可比簇上的有理扭转

问题陈述
本文研究了如何确定哪些整数可以实现为有理数域 $\mathbb{Q}$ 上亏格为 $g$ 的超椭圆曲线雅可比簇上有理扭转点的阶。虽然 Merel 定理保证了固定次数数域上椭圆曲线（亏格 $g=1$）的扭转子群存在一致的上界，但对于维数 $d \ge 2$ 的阿贝尔簇，目前尚不存在这样的统一界限或完整的分类。

Flynn 的前人工作曾猜想存在一个常数 $\kappa$，使得对于任何 $g \ge 2$ 以及任何 $m \le \kappa g$，都存在一条亏格为 $g$ 的超椭圆曲线，其具有阶为 $m$ 的有理扭转点。Leprévost 通过证明 $\kappa = 3$ 证实了这一点，即存在具有最高达 $3g$ 阶扭转点的曲线。然而，在这些线性界限（$3g$）与此前已知的二次界限（$g^2 + \dots$）之间仍存在差距。作者旨在将可实现的扭转阶范围扩展到 $3g$ 之外，并为这些新的阶提供显式的参数族。

方法论
作者利用了超椭圆曲线上的无穷远处的扭转除子与函数域上连分数展开之间的联系。

1. 理论框架： 令 $C$ 为亏格为 $g$ 的超椭圆曲线 $y^2 = f(x)$。无穷远处的除子 $D_\infty = \infty_+ - \infty_-$ 是 $N$ 阶扭转，当且仅当 $\sqrt{f(x)}$ 的连分数展开是周期的。阶 $N$ 由该展开中部分商的次数决定。
2. 构造策略： 作者专注于构造其 $\sqrt{f(x)}$ 的连分数展开具有特定拟周期长度 $m=6$（且周期长度 $n=6$）的曲线。这对应于形式为 $[a_0; a_1, a_2, a_3, a_2, a_1, 2a_0]$ 的展开。
3. 丢番图分析： 为了确保该展开能产生有效的超椭圆曲线，作者推导出了一个关于部分商 $a_i(x)$ 的多项式丢番图方程。他们利用引理 3.1 解了这个方程，将系数表示为满足特定次数限制的任意多项式 $a_1, r, u$ 的函数。
4. 参数族： 通过固定这些多项式的次数（令 $\deg a_1 = \alpha, \deg r = \beta, \deg u = \gamma$）并满足划分条件 $2\alpha + 2\beta + \gamma = g+1$，作者构造了显式的曲线族。扭转点的阶计算为 $N = g + 1 + 6\alpha + 3\beta + \gamma$。

主要贡献与结果
本文确立了具有有理扭转点且阶在区间 $[3g, 4g+1]$ 内的超椭圆雅可比簇的参数族的存在性（对于 $g \ge 3$），前提是 $N$ 满足由构造中多项式次数导出的特定划分条件。

• 扩展界限： 作者证明了对于 $g \ge 3$，存在具有扭转阶 $N$ 满足 $3g \le N \le 4g+1$ 的无限曲线族。
• 特定情况：
  • 如果 $g$ 是奇数，则存在具有扭转阶 $N = 4g + 1$ 的族。
  • 如果 $g$ 是偶数，则存在具有扭转阶 $N = 4g - 1$ 的族。
• 显式示例： 本文提供了首批在文献中此前未列出的、具有特定扭转阶的超椭圆雅可比簇的无限示例：
  • 亏格 3 ($g=3$)： 扭转阶 13。
  • 亏格 4 ($g=4$)： 扭转阶 15。
  • 亏格 5 ($g=5$)： 扭转阶 17, 18, 和 21。
• 绝对简单性： 作者证明了在这些族中的无数参数下，所得的雅可比簇是绝对简单的（即其自同态环为 $\mathbb{Z}$）。这是通过分析定义多项式的伽罗瓦群来建立的，表明其通常为全对称群 $S_{2g+1}$ 或交错群 $A_{2g+1}$。

意义
本文声称解决了 Leprévost 建立的线性界限（$\kappa=3$）与更高阶界限之间的差距。通过利用函数域上的连分数，作者成功构造了具有显著大于 $3g$ 的有理扭转点阶的新型无限曲线族。

该工作首次为各自亏格下的扭转阶 13, 15, 17, 18 和 21 提供了显式的无限族。此外，这些变体通常是绝对简单这一结果增加了重要价值，因为它确保了这些并非仅仅是低维阿贝尔簇的乘积，而是代表了独特的、不可约的结构。该方法论表明，连分数这一历史上与椭圆曲线（亏格 1）相关的工具，可以有效地扩展到研究高维雅可比簇上的扭转问题。