[論文レビュー] A new family of elliptic curves with positive ranks arising from the Heron triangles

Farzali Izadi, Foad Khoshnam+1 more|arXiv (Cornell University)|Dec 28, 2010

Analytic Number Theory Research参考文献 3被引用数 3

ひとこと要約

この論文は、有理数の辺と面積をもつヘロン三角形から導かれる、パラメータ k を用いたパラメトリックな式 a(k), b(k), c(k) を用いて、ℚ 上の新しい楕円曲線族を提案する。ヘロン三角形の面積公式をワイエルシュトラス形式に変換することで、torsion 群が ℤ/2ℤ × ℤ/2ℤ である曲線を構成し、すべての k ∈ ℚ に対してランクが 1 以上であることを証明する。主な貢献は、正のランクを持つ曲線の明示的構成であり、ランクが 6 に達する例を含む。代数的幾何学的考察と計算的検証により、このような曲線の存在が示されている。

ABSTRACT

The aim of this paper is to introduce a new family of elliptic curves with positive ranks. These elliptic curves have been constructed with certain rational numbers, namely a, b, and c as sides of Heron triangles having rational areas $k$. It turned out that the torsion groups of this family are of the form $\frac{\Bbb{Z}}{2\Bbb{Z}} imes \frac{\Bbb{Z}}{2\Bbb{Z}}$ and also the rank is positive.

研究の動機と目的

• ℚ 上で正のモーデル・ヴェイユランクを持つ新しい無限族の楕円曲線を構成すること。
• これらの曲線の torsion 部分群が ℤ/2ℤ × ℤ/2ℤ に同型であることを確立すること。
• すべての有理数パラメータ k に対して、構成された曲線のランクが少なくとも 1 以上であることを証明すること。
• 1 ≤ k ≤ 100 の範囲で大きなサンプルに対して k の値ごとのランク分布を計算・分析し、高ランクの曲線を同定すること。

提案手法

• 有理数パラメータ k を用いて、有理数面積を持つ既知の三角形族から、辺 a(k), b(k), c(k) をパラメータ化する。
• ヘロンの公式 S² = P(P−a)(P−b)(P−c) を座標変換 (u,v) → (1/ζ, η/ζ²) および (ζ,η) → (−x/abc, y/abc) を用いてワイエルシュトラス形式に変換し、y² = (x+ab)(x+bc)(x+ac) を得る。
• さらに座標変換 x → x − a(k)c(k) を施して、曲線を y² = x³ + Ax² + Bx の形に表現し、torsion およびランクの解析を可能にする。
• キューベルの基準を適用し、3次式の根が非ゼロかつ相異なることの確認により、torsion 部分群が ℤ/2ℤ × ℤ/2ℤ に同型であることを確認する。
• Sage や MWRANK などの計算ツールを用いて、1 ≤ k ≤ 100 の範囲で 100,000 個の曲線についてモーデル・ヴェイユランクおよびセレールランクを計算する。
• S(N,E) = Σₚ≤N (−aₚ + 2)/(p + 1 − aₚ) log p のようなヒューリスティックな和を用いて、高ランクの可能性が高い候補を全計算前に特定する。

実験結果

リサーチクエスチョン

• RQ1 有理数の辺と面積をもつヘロン三角形から、正のランクを持つ新しい無限族の楕円曲線を構成できるか？
• RQ2 このようなヘロン三角形から導かれる楕円曲線の torsion 部分群の構造は何か？
• RQ3 パラメータ k のすべての有理数値に対して、これらの曲線のモーデル・ヴェイユランクが少なくとも 1 以上であることが保証されるか？
• RQ4 この族におけるランクの分布はどのようなものか？ たとえばランク 6 のような高ランクの曲線を明示的に特定できるか？
• RQ5 ヒューリスティックな和 S(N,E) は、高ランクの可能性が高い曲線を特定するのにどの程度有効か？

主な発見

• y² = (x + a(k)b(k))(x + b(k)c(k))(x + a(k)c(k)) で定義される楕円曲線族は、すべての k ∈ ℚ \ {0, 2, -2} に対して、torsion 部分群が ℤ/2ℤ × ℤ/2ℤ に同型である。
• 点 (0, abc) は曲線上にあり、無限位数を持つことから、すべての k ∈ ℚ に対してモーデル・ヴェイユランクが少なくとも 1 以上であることが証明される。
• 1 ≤ k ≤ 100 の範囲で 100,000 個の曲線を調査した結果、23.4% がランク 4、36.7% がランク 3、16.2% がランク 2 であり、中程度から高ランクの曲線が広く存在することが示された。
• ランク 1 から 6 までの明示的な例が計算され、k = 98/625 の曲線はランク 6 を達成した。
• k = 11 の曲線はランク 5、k = 19 はランク 4、k = 3 はランク 3、k = 4 はランク 2、k = 6 はランク 1 を示した。
• 100,000 個の曲線のうち、19.5% はランクが未決定であり、この場合、セレールランクまたは MWRANK の計算が実際に達成されたランクを明確に特定できなかったことが示された。