[論文レビュー] Two and three descent for elliptic curves associated with perfect cuboids

John Ramsden, Руслан Шарипов|arXiv (Cornell University)|Mar 4, 2013

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

ひとこと要約

本稿は、完全立方体問題から導かれる2つの楕円曲線族を調査し、有理数パラメータ化を用いてワイエルシュトラス形式に変換することで、有理点の体系的探索を可能にする。主な貢献は、2次および3次降下法を用いた曲線のランク分析と、完全立方体を生成する可能性のある有理点の同定を可能にするフレームワークであり、数値的探索を導くためにアイゼンシュタイン整数の因数分解の明示的公式が提示されている。

ABSTRACT

A rational perfect cuboid is a rectangular parallelepiped whose edges and face diagonals are given by rational numbers and whose space diagonal is equal to unity. Recently it was shown that the Diophantine equations describing such a cuboid lead to a couple of parametric families of elliptic curves. Two and three descent methods for calculating their ranks are discussed in the present paper. The elliptic curves in each parametric family are subdivided into two subsets admitting 2-descent and 3-descent methods respectively.

研究の動機と目的

• 完全立方体に関連する楕円曲線上の有理点を探索するための計算フレームワークを確立すること。
• 曲線のパラメトリック族をアルゴリズム的解析が可能なワイエルシュトラス形式に変換すること。
• 曲線のランクを決定し、候補となる有理点を同定するために2次降下および3次降下技術を適用すること。
• アイゼンシュタイン整数環における数論的道具を開発し、有理点を特徴付けること。
• 将来の数値的アルゴリズムの基盤を築くことにより、完全立方体の検出または非存在の証明を行うこと。

提案手法

• 置換 $ w = y/(4R^2N) $, $ \alpha = x/(2RN) $ を用いて元の式をワイエルシュトラス形式に変換し、$ y^2 = x^3 + 16R^4N^2 $ を得る。
• 係数 $ P_1 $ および $ P_2 $ を有理関数 $ N_1/R_1 $, $ N_2/R_2 $ として表現し、分母 $ F \neq 0 $ が消えないように保証する。
• $ 4R^2N $ が完全立方数である場合に限り、降下理論の既知の定理を用いて2次降下を適用し、ランク問題を解く。
• $ 4R^2N $ が完全立方数でない場合には、アイゼンシュタイン整数を用いた3次降下を用い、 $ \mathbb{Z}(\sqrt{-3}) $ 内の一意因数分解を活用する。
• 有理点を、$ s = \eta \cdot A \cdot B^2 $ の形の因数分解を用いて特徴付ける。ここで $ A, B $ は $ 6\sqrt{-3}e $ を割り切る互いに素な平方自由なアイゼンシュタイン整数である。
• 同次三次方程式 $ (\eta A B^2)X^3 + (\eta^{-1} A^2 B)Y^3 + (6\sqrt{-3}e)Z^3 = 0 $ を定式化し、非自明な解が楕円曲線上の有理点に対応することを示す。

実験結果

リサーチクエスチョン

• RQ1 $ 4R^2N $ が完全立方数である場合に、2次降下法が完全立方体問題に由来する楕円曲線のランクを完全に決定できるか。
• RQ2 $ 4R^2N $ が完全立方数でない場合、これらの曲線上の有理点の構造は何か。そして、その構造をどのようにアルゴリズム的に捉えることができるか。
• RQ3 アイゼンシュタイン整数を用いて、これらの楕円曲線上の有理点をパラメータ化および分類する方法は何か。
• RQ4 三次方程式 $ (\eta A B^2)X^3 + (\eta^{-1} A^2 B)Y^3 + (6\sqrt{-3}e)Z^3 = 0 $ の解が、曲線上の有効な有理点を生成するための条件は何か。
• RQ5 導出された公式を数値的アルゴリズムに実装し、完全立方体の検出または非存在の証明が可能か。

主な発見

• 完全立方体に関連する楕円曲線は、ワイエルシュトラス形式 $ y^2 = x^3 + 16R^4N^2 $ に変換され、標準的な算術および降下技術の適用が可能になる。
• $ 4R^2N $ が完全立方数である場合、定理5.7を用いて2次降下法により曲線のランクが完全に決定される。
• 非立方数の場合には、アイゼンシュタイン整数の因数分解と同次三次方程式に基づく3次降下法のフレームワークが提供される。
• 有理点は、$ x = -ABXY/Z^2 $ および $ y = (\eta A B^2 X^3 + 3\sqrt{-3}e Z^3)/Z^3 $ が正規の有理数値を取るような、三次方程式 $ (\eta A B^2)X^3 + (\eta^{-1} A^2 B)Y^3 + (6\sqrt{-3}e)Z^3 = 0 $ の解に対応する。
• アイゼンシュタイン整数環 $ \mathbb{Z}(\sqrt{-3}) $ は一意因数分解整域であり、$ s = \eta A B^2 $ のような要素の素因数分解が一意に定まる。これは有理点を分類する上で不可欠である。
• 本フレームワークは、将来の数値的アルゴリズムの基盤を提供し、完全立方体に至る可能性のある有理点の探索を可能にする。