[論文レビュー] Sums of two biquadrates and elliptic curves of rank $\geq 4$

Farzali Izadi, Foad Khoshnam+1 more|arXiv (Cornell University)|Feb 25, 2012

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

ひとこと要約

この論文は、正の整数 $ n $ が2通りの方法で2つの4乗数の和として表せるならば、楕円曲線 $ y^2 = x^3 - nx $ のモーデル・ヴェイユランクが少なくとも3以上であることを確立する。$ n $ が奇数であり、偶奇予想が成り立つならば、ランクは偶数であり、少なくとも4以上である。著者らはパラメトリック解法とSageによる計算的検証を用いて、ランク4から10の明示的例を構成した。

ABSTRACT

If an integer $n$ is written as a sum of two biquadrates in two different ways, then the elliptic curve $y^2=x^3-nx$ has rank $\geq 3$. If moreover $n$ is odd and the parity conjecture is true, then it has even rank $\geq 4$. Finally, some examples of ranks equal to 4, 5, 6, 7, 8 and 10, are also obtained.

研究の動機と目的

• 整数が2つの4乗数の和としての表現と、関連する楕円曲線のランクとの間の関係を確立すること。
• 原始的解を伴う $ n = p^4 + q^4 = r^4 + s^4 $ のもとで、楕円曲線 $ E_n: y^2 = x^3 - nx $ のランクを調査すること。
• 奇数 $ n $ の場合に、偶奇予想がランクに与える影響を探索すること。
• パラメトリック解法と計算ツールを用いて、この族の高ランクの明示的例（最大ランク10まで）を構成すること。

提案手法

• ディオファントス方程式 $ p^4 + q^4 = r^4 + s^4 $ のオイラーのパラメトリック解を用い、$ n $ の原始的解を生成する。
• 2-同一型写像 $ heta: E_n o E_n' $（ここで $ E_n': y^2 = x^3 + 4nx $）を適用し、関連する曲線のセレール群を関連付ける。
• 写像 $ heta $ と $ ho $ を用いて、有理点の平方類における像を分析するセレール群を適用する。
• 公式 $ 2^{r+2} = | ext{im}( heta)| imes | ext{im}( ho)| $ を用い、$ bQ^*/bQ^{*2} $ 内の独立な元に基づいてランク $ r $ の下界を導出する。
• 偶奇予想を適用し、$ n $ が奇数のとき、ランクが4以上であれば偶数でなければならないことを導く。
• Sageソフトウェアを用いた計算的検証により、パラメトリック解から得られる特定の曲線のモーデル・ヴェイユランクを計算する。

実験結果

リサーチクエスチョン

• RQ1 整数 $ n $ が2通りの方法で2つの4乗数の和として表せるとき、楕円曲線 $ y^2 = x^3 - nx $ の最小ランクは何か？
• RQ2 $ n $ の偶奇性は、特に偶奇予想を仮定した場合に $ E_n $ のランクにどのように影響を与えるか？
• RQ3 このような曲線の明示的例をランク3を超えて構成できるか？この族で達成可能な最高ランクは何か？
• RQ4 このような $ n $ を持つ曲線 $ E_n $ は $ bQ $ 上で非同型であるか？また、パラメトリック解の構造がこの非同型性を保証する仕組みは何か？
• RQ5 セレール群と2-同一型写像が、$ E_n $ のランクの下界を求める際に果たす役割は何か？

主な発見

• 整数 $ n $ が2通りの方法で2つの4乗数の和として表せるならば、楕円曲線 $ y^2 = x^3 - nx $ のモーデル・ヴェイユランクは少なくとも3以上である。
• 整数 $ n $ が奇数であり、偶奇予想が成り立つならば、曲線 $ y^2 = x^3 - nx $ のランクは偶数であり、少なくとも4以上である。
• 本論文では、ランク4、5、6、7、8、10の明示的例を構成しており、$ n = 635318657 $（ランク4）および $ n = 173329443404113736737 $（ランク10）を含む。
• 偶数 $ n $ の場合、ランクは奇数であり、少なくとも3以上であり、これは根数 $ u(E_n) = -1 $ と整合する。
• オイラーのパラメトリック解により、異なる $ n $ 値が $ bQ $ 上で4乗数倍によって関係付けられないため、対応する曲線は非同型であることが保証される。
• Sageを用いた計算的検証により、構築された曲線のランクが確認され、観察された最高ランクは10であった。