[論文レビュー] An algorithm for computing the Weierstrass normal form of hyperelliptic curves

Mark van Hoeij|ArXiv.org|Mar 14, 2002

Algebraic Geometry and Number Theory参考文献 2被引用数 10

ひとこと要約

本稿では、正則微分形式と線形代数を用いて双曲的であるかどうかを特定し、双正則写像を構成することで、複素数体上の超楕円曲線のワイエルシュトラス標準形を計算するためのアルゴリズムを提示する。主な貢献は、超楕円的対称性の体の次数2生成子を体系的に特定し、任意の超楕円曲線を $ y_0^2 = F(x_0) $ の標準形に変換する方法を提供することである。ここで $ F $ は平方自由である。

ABSTRACT

An algorithm is given to compute a normal form for hyperelliptic curves. The elliptic case has been treated in a previous paper. In this paper the hyperelliptic case is treated.

研究の動機と目的

• 与えられた代数的曲線が種数と微分構造に基づいて超楕円的であるかどうかを判定するアルゴリズムを開発すること。
• 超楕円的曲線からそのワイエルシュトラス標準形 $ y_0^2 = F(x_0) $ への双正則写像を計算すること。ここで $ F $ は平方自由である。
• 元の曲線座標 $ x, y $ と標準形座標 $ x_0, y_0 $ の間を有理関数で互いに表現すること。
• アルゴリズムを Maple に実装し、超楕円的曲線の不変量と変換を記号計算で行うための計算ツールを提供すること。

提案手法

• 先行研究のアルゴリズムを用いて正則微分形式の基底を計算し、これにより以降の解析の基盤を構築する。
• 曲線の種数 $ g $ を決定する。$ g < 2 $ であれば、曲線は超楕円的ではない。
• 正則微分形式の積 $ b_i b_j $ が張る空間 $ W $ の次元を計算することで超楕円的性をテストする。$ \dim W = 2g - 1 $ であれば、曲線は超楕円的である。
• 特異点でない点における付値に基づく削減を用いて、ある生成子 $ t $ による超楕円的体 $ K = \mathbb{C}(t) $ に同型な正則微分形式の部分空間 $ V_2 \subseteq V $ を特定する。
• 基底 $ v_1, v_2 $ を用いて $ x_0 = v_1 / v_2 $ を構成し、$ x_0 $ が超楕円的体 $ K $ を生成することを保証する。
• 有理関数による $ y_0 $ の調整と分母を払う操作により、$ F $ が平方自由となるように、曲線をワイエルシュトラス形 $ y_0^2 = F(x_0) $ に変換する。

実験結果

リサーチクエスチョン

• RQ1 与えられた既約代数的曲線がその種数と微分構造に基づいて、どのようにしてアルゴリズム的に超楕円的であるかどうかを判定できるか？
• RQ2 正則微分形式の基底が与えられたとき、超楕円的体 $ K $ を生成する次数2の有理関数 $ x_0 \in \mathbb{C}(x,y) $ を求める計算的手順は何か？
• RQ3 超楕円的曲線からそのワイエルシュトラス標準形 $ y_0^2 = F(x_0) $（$ F $ は平方自由）への双正則写像を体系的に計算する方法は何か？
• RQ4 元の座標 $ x, y $ と標準形座標 $ x_0, y_0 $ を互いに有理関数として表現するためのアルゴリズム的手法は何か？

主な発見

• アルゴリズムは、正則微分形式の積が張る空間 $ W $ の次元が $ 2g - 1 $ に等しいかどうかをテストすることで、超楕円的であることを正しく同定する。これは超楕円的性の必要十分条件である。
• 種数3の曲線、例えば $ f = y^9 + 3x^2y^6 + 3x^4y^3 + x^6 + y^2 $ に対し、アルゴリズムは超楕円的性を確認し、ワイエルシュトラス形 $ y_0^2 = -x_0^7 + 7x_0^6 - 21x_0^5 + 35x_0^4 - 35x_0^3 + 21x_0^2 - 7x_0 + 2 $ を計算する。
• アルゴリズムは明示的な双正則写像を計算する：$ x_0 = \frac{y(y^3 + x^2 + 1)}{y^6 + 2x^2y^3 + x^4 + y} $、$ y_0 = -\frac{x(y^3 + x^2)}{y} $ およびその逆写像。
• この手法により、元の曲線が平方自由多項式 $ F(x_0) $ を持つ標準ワイエルシュトラス形に正しく変換され、最小かつ標準的な表現が保証される。
• Maple の `algcurves` パッケージへの実装により、超楕円的曲線の不変量と変換を記号計算で行うための実行可能な計算パイプラインが提供される。
• 特異点でない点における付値に基づく削減技術により、$ V_2 $ の計算が有効に行える。この $ V_2 $ は微分形式 $ t^{g-2} dt $ および $ t^{g-1} dt $ に対応し、次数2生成子 $ x_0 $ の構成を可能にする。