[論文レビュー] On a Family Of Elliptic Curves With Positive Rank arising from Pythagorean Triples

Farzali Izadi, Kamran Nabardi+1 more|arXiv (Cornell University)|Dec 28, 2010

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

ひとこと要約

本稿では、ピタゴラス数 $ (a, b, c) $ から導かれる形 $ y^2 = x(x - a^2)(x - b^2) $ の新しい楕円曲線族を紹介し、その曲線が正のモーデル・ヴェイユランクを持つことを示している。計算的手法として2-Selmerの上限とMwrankを用い、ランクが10に達する曲線を同定し、体系的に構築された正のランクを持つ新しい族を確立した。

ABSTRACT

The aim of this paper is to introduce a new family of elliptic curves in the form of $y^2=x(x-a^2)(x-b^2)$ that have positive ranks. We first generate a list of pythagorean triples $(a,b,c)$ and then construct this family of elliptic curves. It turn out that this new family have positive ranks and search for the upper bound for their ranks.

研究の動機と目的

• ピタゴラス数を用いて、$\mathbb{Q}$ 上で正のランクを保証する新しい楕円曲線族を構成すること。
• この新しい族におけるランク分布およびランクの上限を調査すること。
• $\mathbb{Q}$ 上で大きなランクを持つ曲線の探索に貢献する、高ランクの具体的な例を提供すること。
• 特に2-torsionおよび2-降下の性質に注目し、これらの曲線の構造を分析すること。
• 数論的構成に基づいて、保証された正のランクを持つ楕円曲線を体系的に生成する手法を確立すること。

提案手法

• $ i, j \leq 1000 $ となるすべてのピタゴラス数 $ (a, b, c) $ を、パラメトライゼーション $ a = i^2 - j^2, b = 2ij, c = i^2 + j^2 $ を用いて生成する。ただし $ \gcd(i,j) = 1 $ かつ $ i, j $ は偶奇が異なるものとする。
• 各ピタゴラス数に対して、楕円曲線 $ E: y^2 = x(x - a^2)(x - b^2) $ を構成し、滑らかで特異曲線と同型でないことを確認する。
• 2-降下の技法を用いて、2-Selmerランクを計算し、モーデル・ヴェイユランクの上界とする。
• Mwrankソフトウェアを用いて、各曲線の正確なモーデル・ヴェイユランクを計算する。
• ナゼル＝ルーツの定理を用いてねじれ点を特定し、曲線が正確に4つの位数2の独立した点を持つことを検証する。
• 特に $ E(\mathbb{Q}) \cong \mathbb{Z}^r \times T $ の分解定理を応用し、ランクを分析する。

実験結果

リサーチクエスチョン

• RQ1 ピタゴラス数から体系的な楕円曲線の構成が、正のランクを持つ曲線を生み出すことができるか？
• RQ2 この曲線族において、$\mathbb{Q}$ 上で観察された最大ランクは何か？
• RQ3 この族において、2-Selmerランクとモーデル・ヴェイユランクの関係は何か？2-降下はタイトな上界を与えるか？
• RQ4 高ランクと相関する構造的またはパrametricなパターンは存在するか？
• RQ5 代数的幾何学または数論を用いて、明示的な計算なしにこのような曲線のランクを独立に上限づけることは可能か？

主な発見

• ピタゴラス数から導かれる楕円曲線族 $ y^2 = x(x - a^2)(x - b^2) $ は、正のモーデル・ヴェイユランクを有し、$ i,j \leq 1000 $ の範囲で合計202,461曲が生成された。
• この族で観察された最大ランクは10であり、$ (a,b,c) = (387,884,965) $ の場合、$ y^2 = x^3 - 931225x^2 + 117037883664x $ という曲線で達成された。
• ランク4の曲線が複数発見され、$ (2147,6204,6565) $ の場合、$ y^2 = x^3 - 43099225x^2 + 177422080320144x $ がその例である。また、ランク3、2、1の曲線も確認された。
• 2-Selmerランクは、曲線方程式の係数の次数推定に基づき、モーデル・ヴェイユランクの上界として48を提供した。
• この族のすべての曲線は正確に4つの位数2の点を持ち、2-torsion部分群が $ \mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z} $ に同型であることが確認された。
• ランク1から10の曲線について、明示的な独立な生成元が計算され、たとえばランク4の曲線では $ \left(\frac{5079795156916250}{1371241}, \frac{145504830321607291308950}{1605723211}\right) $ のような有理点が得られた。