Curves of genus two with maps of every degree to a fixed elliptic curve

技术摘要：具有到固定椭圆曲线之任意次数映射的二阶亏格曲线

问题陈述
本文探讨了一个源自 1828 年勒让德（Legendre）提出的关于超椭圆积分的经典问题：是否存在一个复数域 $\mathbb{C}$ 上的亏格为 2 的曲线 $C$，以及一个复数域 $\mathbb{C}$ 上的椭圆曲线 $E$，使得对于每一个整数 $n > 1$，都存在一个从 $C$ 到 $E$ 的 $n$ 次态射？虽然亏属向椭圆曲线映射的亏格为 2 的曲线已被研究了近两个世纪，但关于能够拥有“所有次数”映射这一特定条件的结论尚未得到解决。本文研究了是否存在这样的对 $(C, E)$，并且在同构意义下对其进行了分类。

方法论
证明策略依赖于具有到椭圆曲线 $E$ 之 2 次映射的亏格为 2 的曲线 $C$ 与第二条椭圆曲线 $F$ 之间的结构关系。其方法论通过以下逻辑步骤进行：

1. 归约为二次型：
   利用 Kani 的结果及早期的 Picard 的工作，作者建立如下结论：若 $C$ 具有到 $E$ 的 2 次映射，则存在唯一的椭圆曲线 $F$ 及一个同构 $\psi: E[2] \to F[2]$，使得 $C$ 的雅可比簇（Jacobian）与 $E \times F$ 关于 $\psi$ 的图（graph）的商是同源的。从 $C$ 到 $E$ 的映射集合对应于向量空间 $\text{Hom}(E, \text{Jac } C)$ 中的一个 $\mathbb{Z}$-格（lattice）。这些映射的次数定义了该格上的一个正定二次型。为了使 $C$ 具有所有次数 $n > 1$ 的映射，该二次型必须表示每一个整数 $n > 1$。

2. 限制端同态环：
   通过分析次数为 3 和 4 的映射的存在性，作者推导出了对 $E$ 和 $F$ 的端同态环（endomorphism rings）的严格约束。具体而言，他们证明了 $E$ 必须具有复乘（CM），且在 $E$ 与 $F$ 之间必须存在一个特定小次数 $p$ 的循环同源。这使得无限搜索空间缩减为有限的候选判别式对 $(\Delta_E, \Delta_F)$。

3. 计算枚举：
   针对有限的候选判别式对，作者使用 Magma 软件进行了计算搜索。他们：

   • 构造了包含相关椭圆曲线 $j$-不变量的数域。
   • 确定了满足 2-阶挠乘兼容条件的 $E$ 的端同态以及 $E$ 到 $F$ 的同态的可能次数集合。
   • 计算了周期矩阵以及相关的二次型，从而得到相应的亏格为 2 的曲线。
   • 验证哪些形式可以表示从 2 到 31 的所有整数（这是表示所有整数 $n > 1$ 的必要条件）。

4. 二次型的验证：
   作者证明了幸存的二次型同构于四个特定的四元形式 ($q_1, q_2, q_3, q_4$)。随后，他们通过一个独立的数论证明（命题 2）表明，这四个形式确实表示了每一个大于 1 的整数。

5. 不存在性结果：
   为了处理不具备所有次数映射的通用情况，作者利用了 Kani 的“精化 Humbert 不变量”（refined Humbert invariant）——这是一个与任何亏格为 2 的曲线相关的三元二次型。他们证明了对于任何此类曲线，都存在一个特定的整数 $n$（在定理 3 中由 59 限制，在定理 4 中由一个大常数 $kN$限制），使得不存在次数为$n$ 的极小映射。

主要结果

• 定理 1（分类）： 在同构意义下，恰好有二十对 $(C, E)$ 满足以下条件：$C$ 是一个亏格为 2 的曲线，$E$ 是一个椭圆曲线，且对于每个 $n > 1$，都存在一个 $n$ 次映射从 $C$ 到 $E$。

  • 这些对由 $E$ 和 $F$ 的端同态环的特定判别式来表征。
  • 相关的映射格上的二次型恰好属于四个同构类（$q_1, q_2, q_3, q_4$）。
  • 论文中的表 1 提供了所有二十对对应的周期矩阵参数 ($\tau, \sigma$) 及判别式。
  • 表 2 提供了对应于这些对的曲线 $C$ 的显式多项式模型 $y^2 = f(x)$。

• 定理 3（不存在性界限）： 对于任何亏格为 2 的曲线 $C$，都存在一个整数 $n \in \{2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 19, 31, 59\}$，使得不存在从 $C$ 到任何椭圆曲线的次数为 $n$ 的极小映射。

• 定理 4（通用不存在性）： 提供了一个涉及大整数 $N$（许多素数直到 1511 的乘积）的更强但较不精确的界限，表明对于任何亏格为 2 的曲线，对于某个 $n \in \{2, 3, 13, kN\}$，极小映射的存在性会失效。

意义与主张
本文声称解决了这个问题，尽管该问题是用现代术语表述的，但也可以被 19 世纪的研究者如勒让德、雅可比和皮卡德所理解。其主要意义在于这类曲线存在的本身是令人惊讶的；作者指出，这类曲线的存在“或许令人惊讶”。

这项工作对这些特殊的曲线进行了完整的分类，识别出了恰好二十个同构类。它进一步证明了这二十种情况是存在所有次数映射的唯一实例。对于所有其他亏格为 2 的曲线，论文确立了到椭圆曲线的极小映射的次数存在一个“间隙”，且该间隙的最大值由 59 所界定。

论文还简要提到，通过 Serre-Tate 提升，类似的结果在正特征标下的普通曲线（ordinary curves）上也成立，但明确指出，正特征标下的超奇异曲线（supersingular curves）的情况尚未得到研究，并可能产生不同的示例。

历史背景
引言将这项工作置于一项跨越近 200 年的研究谱系中，引用了勒让德 (1828)、雅可比、科瓦列夫斯基、庞加莱、皮卡德和洪贝特（Humbert）的贡献。作者强调，该问题是经典研究超椭圆积分约化为椭圆积分的自然延伸，具体在于询问是否可以通过不同次数的变换来实现这种约化。