[論文レビュー] A note on rational and elliptic curves associated with the cuboid factor equations

Руслан Шарипов|arXiv (Cornell University)|Sep 25, 2012

Polynomial and algebraic computation参考文献 38被引用数 9

ひとこと要約

本稿は、完全長方形問題から導かれる立方体因数方程式——多項式系——から生じる有理曲線および楕円曲線を調査する。これらの式を多重対称多項式の形に表現し、単一の有理曲線方程式に簡約することで、双有理同値性を確立し、楕円曲線理論の適用を可能にする。主な貢献は、 genus zero および genus one の曲線が有理完全長方形の存在にどのように関連するかを体系的に結びつけるフレームワークを提供することである。

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. It is described by a system of four equations with respect to six variables. The cuboid factor equations were derived from these four equations by symmetrization procedure. They constitute a system of eight polynomial equations, which has been solved parametrically. In the present paper its parametric solution is expressed through intersections or rational and elliptic curves arranged into parametric families.

研究の動機と目的

• 立方体因数方程式の有理解と、genus zero および genus one の代数曲線との間の関係を確立すること。
• 立方体因数方程式の有理解が、genus zero または genus one の曲線上の有理点に対応するかどうかを調査すること。
• これらの曲線から導かれるディオファントス方程式の可解条件を特定すること。
• 楕円曲線理論を用いて、有理完全長方形の存在問題を考察すること。
• 現代の楕円曲線理論のツールを用いて完全長方形を研究するためのフレームワークを提供すること。

提案手法

• 立方体因数方程式の連立系を、基本的な多重対称多項式および空間対角線 $L$ を用いた単一の多項式方程式に簡約する。
• 多重対称多項式の理論を適用し、方程式を $E_{10}, E_{01}, E_{11}, L$ および他の対称不変量の形に表現する。
• パラメータ $t$ に関する有理関数を用いた、直線への双有理同値性を利用して、得られた曲線の有理パラメータ表示を導出する。
• 曲線を、$MN$ が平方自由である Legendre 型のディオファントス方程式 $X^2 - MN Y^2 + 3Z^2 = 0$ に変換する。
• Legendre の定理およびその拡張を適用し、ディオファントス方程式の可解条件を特定する。
• 同じ系から生じる genus one 曲線（楕円曲線）を分析し、$(\pm1, 0)$ に有理点を持つことを示し、楕円曲線としての性質を確認する。

実験結果

リサーチクエスチョン

• RQ1 立方体因数方程式から導かれるディオファントス方程式 $X^2 - MN Y^2 + 3Z^2 = 0$ が非自明な有理解を持つのはどのような条件下か？
• RQ2 立方体因数方程式から得られる genus zero 曲線は $\mathbb{Q}$ 上で有理的であるか。その判定方法は何か？
• RQ3 立方体因数方程式から生じる genus one 曲線は楕円曲線として適切か。また、それらが持つ有理点は何か？
• RQ4 立方体因数方程式から導かれる有理曲線と楕円曲線の交点を用いて、有理完全長方形を構成できるか？
• RQ5 パラメータ $Q = (M m^2)/(N n^2)$ は、関連する代数曲線の有理性を決定する上で果たす役割は何か？

主な発見

• 定理 1.1 により、正の有理数解について、立方体因数方程式は元の立方体方程式と同値であることが証明された。
• 単一の有理曲線方程式に簡約される：$(2E_{11})^2 + (E_{01}^2 + L^2 - E_{10}^2)^2 - 8E_{01}^2 L^2 = 0$。この方程式は有理パラメータ表示を有する。
• Theorems 3.3 および 3.4 の可解条件が満たされるとき、かつそのときに限り、genus zero 曲線は $\mathbb{Q}$ 上で有理的であり、特に $-3$ が $MN$ を法として平方剰余であることである。
• 曲線 $2(w^2 - 1) = P \alpha^3$ は $(\pm1, 0)$ に有理点を持つため、楕円曲線としての性質が確認された。
• ディオファントス方程式 $X^2 - MN Y^2 + 3Z^2 = 0$ が非自明な有理解を持つのは、$MN > 0$、$-3$ が $MN$ を法として平方剰余であり、かつ $MN$（または $MN/3$）が 3 を法として平方数であるときであり、これは $MN \mod 3$ の値に依存する。
• 補足ファイル Quadratic_curves.txt に記載された特定の曲線の数値解析により、立方体因数方程式の理論において、有理的でない genus zero 曲線も現れることが確認された。