[論文レビュー] About the group law for the Jacobi variety of a hyperelliptic curve

Frank Leitenberger|ArXiv.org|Sep 27, 2005

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

ひとこと要約

本稿では、2次元超楕円曲線のJacobi多様体上の群法則を、立方補間多項式を用いて明示的な有理式で提示する。これは、楕円曲線に対する弦と接線法の一般化である。主な貢献は、1段階の還元を伴う立方放物線を用いることで、Jacobi多様体における加法の閉形式有理式を導出することであり、反復的アルゴリズムや根の演算を回避する。

ABSTRACT

We generalize the group law of curves of degree three by chords and tangents to the Jacobi variety of a hyperelliptic curve. In the case of genus 2 we accomplish the construction by a cubic parabola. We derive explicit rational formulas for the addition on a dense set in the Jacobian.

研究の動機と目的

• 2次元超楕円曲線のJacobi多様体上の群法則を、明示的かつ閉形式的に記述すること。
• 楕円曲線に対する古典的弦と接線構成法を補間を用いて高次元に一般化すること。
• 反復的還元ステップや根演算を避けるJacobi多様体における加法の有理式を導出すること。
• Jacobiとアーベルにインspiredされた補間関数を用いた、群法則の幾何学的・代数的枠組みを提供すること。
• CasselsおよびMazurが指摘したように、2次元Jacobi多様体に関して、文献に明示的な公式が不足している問題を解決すること。

提案手法

• Jacobi多様体内の2つの還元済み被約の点のx座標とy値を通る立方補間多項式を構築する。
• この立方多項式と超楕円曲線の交点を求め、その点の共役を用いてJacobi多様体における和を導出する。
• ベジエの公式を用いて、立方多項式と曲線の係数から直接、新たな交点のx座標の和を計算する。
• Mumford座標 (A(x), B(x)) を用いて、有理群法則式を達成する。
• グレブナー基底の計算を用いて、元の点を消去し、群法則の係数をMumford座標のみで表現する。
• 平方根を避けるために、α₃, β₃, γ₃, δ₃ を α₁, β₁, γ₁, δ₁, α₂, β₂, γ₂, δ₂ および曲線係数の有理関数として明示的に導出する。

実験結果

リサーチクエスチョン

• RQ1 2次元超楕円曲線のJacobi多様体上の群法則は、反復的還元ステップを伴わず、明示的な有理式で表現可能か？
• RQ2 補間を用いて、楕円曲線に対する古典的弦と接線法を高次元に一般化する方法は何か？
• RQ3 立方補間多項式が、Jacobi多様体における被約の和の1段階還元を達成する役割は何か？
• RQ4 平方根や結果式を含まずに、Mumford座標における群法則を有理関数として表現可能か？
• RQ5 曲線およびそのJacobi多様体の幾何的性質と、群法則の代数的構造との関係は何か？

主な発見

• 本稿では、2次元超楕円曲線のJacobi多様体上の群法則について、theta多様体を除いたJacobi多様体の稠密な開部分集合で有効な明示的有理式を導出する。
• 2つの被約の和は、点を通る立方補間多項式を用いて1段階で計算され、その交点から得られる共役を用いて和が決定される。
• α₃, β₃, γ₃, δ₃ の式は、入力のMumford座標と曲線係数の有理関数として表現され、平方根を含まない。
• 導出にはグレブナー基底技術を用い、元の点を消去し、群法則の係数をMumfordデータのみで表現する。
• 補間関数の次数を適切に選ぶことで、高次元への一般化が可能であり、特に補間の立方性から2次元の場合が最も明示的である。
• 重複点の極限においても公式は有効であり、連続性により特異な場合にも拡張可能である。