[论文解读] The case for superelliptic curves

Tony Shaska, Eustrat Zhupa+1 more|arXiv (Cornell University)|Feb 25, 2015

Algebraic Geometry and Number Theory参考文献 25被引用 5

一句话总结

本文主张，超椭圆曲线（由方程 $y^n = f(x)$ 定义）是超椭圆曲线在数论与几何理论中的自然推广。作者证明，超椭圆曲线唯一允许显式计算自同构群与最小模型，从而可系统研究模空间、有理点及高度等算术不变量。其主要贡献在于确立超椭圆曲线作为推动数论、密码学与数学物理研究超越超椭圆情形的主要曲线族。

ABSTRACT

There is a natural question to ask whether the rich mathematical theory of the hyperelliptic curves can be extended to all superelliptic curves. Moreover, one wonders if all of the applications of hyperelliptic curves such as cryptography, mathematical physics, quantum computation, diophantine geometry, etc can carry over to the superelliptic curves. In this short paper we make the case that the superelliptic curves are exactly the curves that one should study.

研究动机与目标

• 论证超椭圆曲线是扩展丰富数学理论的超椭圆曲线的自然推广。
• 确立超椭圆曲线是唯一可完全确定自同构群并显式写出方程的曲线族。
• 推动在算术几何中研究超椭圆曲线，包括模空间、有理点与最小模型。
• 提出系统框架以研究高度与最小定义域等算术不变量。
• 启动构建关于 $\mathbb{Q}$ 上小亏格与小高度的超椭圆曲线数据库。

提出的方法

• 使用一般形式 $y^n = f(x)$ 在域 $k$ 上定义超椭圆曲线，推广超椭圆情形 $n=2$。
• 应用 Riemann-Hurwitz 公式分析超椭圆覆盖中的分歧与亏格。
• 通过群作用指标与函数域上的伽罗瓦理论显式计算自同构群。
• 将模高度 $\mathcal{H}(\mathfrak{p})$ 定义为 $\mathbb{P}^{3g-2}$ 中点 $\mathfrak{p} \in \mathcal{M}_g$ 的标准高度。
• 引入最小高度 $H_K(\mathcal{X}_g)$ 与绝对最小高度 $\overline{H}_K(\mathcal{X}_g)$，以对数域上曲线进行分类。
• 利用二元型的不变量（至十次型）对模空间中的通用超椭圆曲线进行参数化。

实验结果

研究问题

• RQ1 超椭圆曲线的丰富理论能否系统地推广至所有超椭圆曲线？
• RQ2 超椭圆曲线是否是唯一可完全确定自同构群并显式写出方程的曲线族？
• RQ3 能否在数域上对超椭圆曲线计算最小模型与最小高度方程？
• RQ4 当亏格 $g$ 较大时，超椭圆曲线在 $\mathcal{M}_g$ 的奇异点集中所占比例是多少？
• RQ5 能否按亏格与模高度构建 $\mathbb{Q}$ 上超椭圆曲线的数据库？

主要发现

• 对于亏格 $g=4$，约 70–80% 具有非平凡自同构的曲线为超椭圆曲线，表明其在 $\mathcal{M}_g$ 的奇异点集中占主导地位。
• 超椭圆曲线是唯一在已知自同构群下可显式写出方程的曲线，从而实现系统化的算术研究。
• 模高度 $\mathcal{H}(\mathfrak{p})$ 是有限不变量，且对任意 $c \geq 1$，$d \geq 1$ 与 $g \geq 2$，仅存在有限多个超椭圆曲线满足 $[K:\mathbb{Q}] \leq d$ 且 $\mathcal{H}(\mathcal{X}_g) \leq c$。
• 最小高度 $H_K(\mathcal{X}_g)$ 与绝对最小高度 $\overline{H}_K(\mathcal{X}_g)$ 是数域 $K$ 上曲线的良好定义不变量。
• 对任意常数 $c$，仅存在有限多个同构类的超椭圆曲线满足 $H_K(\mathcal{X}_g) \leq c$，从而确保分类的有限性。
• 二元型的不变量理论可对至十次型（decimics）的通用超椭圆曲线进行参数化，支持小亏格情形下的显式构造。