[論文レビュー] 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}$ 上のスーパー楕円曲線のデータベースの開発を開始すること、特に小規模な genus と小規模な高さを基準とする。

提案手法

• 体 $k$ 上でスーパー楕円曲線を一般形 $y^n = f(x)$ で定義し、ハイパーエリプティックの場合 $n=2$ を一般化すること。
• スーパー楕円被覆の分岐と genus を分析するためのリーマン＝フロイデンベルクの公式の応用。
• 曲線の関数体上の群作用の符号とガロア理論を用いた自己同型群の明示的計算。
• モジュライ高さ $\mathcal{H}(\mathfrak{p})$ を、$\mathcal{M}_g$ の点 $\mathfrak{p} \in \mathbb{P}^{3g-2}$ における標準的高さとして定義すること。
• 数体上での曲線の分類のための最小高さ $H_K(\mathcal{X}_g)$ と絶対的最小高さ $\overline{H}_K(\mathcal{X}_g)$ の導入。
• 二進型の不変量（十次型まで）を用いて、モジュライ空間における一般スーパー楕円曲線のパラメトライゼーションを定義すること。

実験結果

リサーチクエスチョン

• RQ1 ハイパーエリプティック曲線の豊富な理論を、すべてのスーパー楕円曲線へ体系的に拡張できるか？
• RQ2 自己同型群を完全に特定可能であり、方程式を明示的に書ける唯一の曲線族としてスーパー楕円曲線が存在するか？
• RQ3 数体上でのスーパー楕円曲線に対して、最小モデルや最小高さの方程式を計算できるか？
• RQ4 大規模な genus $g$ に対して、$\mathcal{M}_g$ の特異点集合内におけるスーパー楕円曲線の割合はいかほどか？
• RQ5 $\mathbb{Q}$ 上のスーパー楕円曲線のデータベースを genus とモジュライ高さの観点から構築できるか？

主な発見

• genus $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$ を満たすスーパー楕円曲線は有限個しか存在しない。
• 数体 $K$ 上の曲線に対して、最小高さ $H_K(\mathcal{X}_g)$ と絶対的最小高さ $\overline{H}_K(\mathcal{X}_g)$ は適切に定義された不変量である。
• 任意の定数 $c$ に対して、$H_K(\mathcal{X}_g) \leq c$ を満たすスーパー楕円曲線の同型類は有限個であり、分類の目的において有限性が保証される。
• 二進型の不変量の理論により、一般スーパー楕円曲線は次数 10（十次型）までパラメトライズ可能であり、小規模な genus における明示的構成を支援する。