[論文レビュー] Diophantine Equation $X^4+Y^4=2(U^4+V^4)$

Farzali Izadi, Kamran Nabardi|arXiv (Cornell University)|Jan 23, 2015

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

ひとこと要約

この論文は、楕円曲線の理論を用いて、ディオファントス方程式 $X^4 + Y^4 = 2(U^4 + V^4)$ に対して無限に多くの整数解を生成する。特に関連する合同数曲線 $y^2 = x^3 - 36x$ を利用しており、その Mordell-Weil 群はランク 1 で生成子 $(-3, 9)$ を持つ。この生成子を用いた繰り返しの点乗算と正規化により、原始的解が得られる。

ABSTRACT

In this paper, the theory of elliptic curves is used for finding the solutions of the quartic Diophantine equation $X^4+Y^4=2(U^4+V^4)$ Keywords: Diophantine equation, Elliptic curve, Congruent number

研究の動機と目的

• 四次ディオファントス方程式 $X^4 + Y^4 = 2(U^4 + V^4)$ に対して無限に多くの整数解を求める。
• 特に合同数曲線を用いた楕円曲線理論を応用し、この方程式の解をパラメトリックに表現する。
• 楕円曲線 $E_6: y^2 = x^3 - 36x$ 上の有理点から得られる整数解を正規化することで原始的解を生成する。
• 関連する楕円曲線の Mordell-Weil 群の構造を活用することで、方程式が無限に多くの解を持つことを示す。

提案手法

• 変数変換 $X = U + t$, $Y = U - t$ を用いて方程式 $X^4 + Y^4 = 2(U^4 + V^4)$ を変形し、$6t^2U^2 + t^4 = V^4$ を得る。
• $Z = tU$ とおくと $6Z^2 = V^4 - t^4$ となり、この式は一般化された合同数問題に結びつく。
• 命題 1.1 を適用し、$X^4 - Y^4 = cZ^2$ の解が、$E_c: y^2 = x^3 - c^2x$ 上の有理点と関係することを示す（$c = 6$）。
• ランク 1 で生成子 $P = (-3, 9)$ を持つ $E_6(bQ)$ を用いて、スカラー乗算 $nP$ により無限に多くの有理点を生成する。
• $\psi_n$, $\phi_n$, および $\omega_n$ の除法多項式を $(-3, 9)$ で評価し、$X_n, Y_n, U_n, V_n$ のパラメトリックな式を得る。
• 各解について $ md_n = \gcd(X_n, Y_n, U_n, V_n)$ で割ることで正規化を行い、原始的解 $(A_n, B_n, C_n, D_n)$ を得る。

実験結果

リサーチクエスチョン

• RQ1 ディオファントス方程式 $X^4 + Y^4 = 2(U^4 + V^4)$ は無限に多くの整数解をもつか？
• RQ2 楕円曲線の理論を用いて、この四次方程式の解をパラメトリックに表現できるか？
• RQ3 合同数曲線は $X^4 + Y^4 = 2(U^4 + V^4)$ を解く際に果たす役割は何か？
• RQ4 有理点 $E_6: y^2 = x^3 - 36x$ からどのように整数解が生成されるか？
• RQ5 解集合の構造は何か？ また、原始的解を体系的に抽出する方法は？

主な発見

• 楕円曲線 $E_6: y^2 = x^3 - 36x$ はランク 1 で、点 $(-3, 9)$ によって生成され、無限に多くの有理点が得られる。
• 最小の既知の解 $(X, Y, U, V) = (21, 19, 20, 7)$ は、点 $2P = (-3, 9)$ を 9 倍した結果から得られる。
• $n = 2$ のとき、原始的解は $(A_2, B_2, C_2, D_2) = (988521, -1661081, -336280, -1437599)$ である。
• $n = 3$ のとき、原始的解は $(A_3, B_3, C_3, D_3) = (-22394369951939, -59719152671941, -41056761311940, 43690772126393)$ である。
• $n = 4$ のとき、解の値は $10^{21}$ に達し、たとえば $A_4 = 5009010521962601088594641$ となる。
• $n = 5$ のとき、解の各成分は $10^{28}$ を超え、$A_5 = 385103462588108468740542460457075040101$ となり、解列の急激な増加が確認される。