[論文レビュー] Three lectures on elliptic surfaces and curves of high rank

Noam D. Elkies|ArXiv.org|Sep 18, 2007

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

ひとこと要約

本稿では、高ランクのネロン–セバレー群をもつK3曲面とそのモジュライを用いて、ℚおよびℚ(t) 上の楕円曲線における新たな記録ランクを提示する。Mordell–Weilランク17の楕円的K3曲面を構成し、ネロンの特異化定理を適用することで、ℚ 上の曲線でランクが28以上であるもの（前回記録の24を上回る）と、Mordell–Weil群が (Z/2Z)⊕Z^18 であるもの（2-torsionをもつ曲線の前回記録15を上回る）を達成した。

ABSTRACT

Over the past two years we have improved several of the (Mordell-Weil) rank records for elliptic curves over Q and nonconstant elliptic curves over Q(t). For example, we found the first example of a curve E/Q with 28 independent points P_i in E(Q) (the previous record was 24, by R.Martin and W.McMillen 2000), and the first example of a curve over Q with Mordell-Weil group isomorphic with (Z/2Z) x Z^18 (the previous rank record for a curve with a 2-torsion point was 15, by Dujella 2002). In these lectures we give some of the background, theory, and computational tools that led to these new records and related applications. I Context and overview: the theorems of Mordell(-Weil) and Mazur; the rank problem; the approaches of Neron--Shioda and Mestre; elliptic surfaces and Neron specialization; fields other than Q. II Elliptic surfaces and K3 surfaces: the Mordell-Weil and Neron-Severi groups; K3 surfaces of high Neron-Severi rank and their moduli; an elliptic K3 surface over Q of Mordell-Weil rank 17. Some other applications of K3 surfaces of high rank and their moduli. III Computational issues, techniques, and results: slices of Niemeier lattices; finding and transforming models of K3 surfaces of high rank; searching for good specializations. Summary of new rank records for elliptic curves.

研究の動機と目的

• ℚおよび非定数の楕円曲線のℚ(t) 上におけるMordell–Weilランクのlimsupの下界を向上させること。
• 高ランクのネロン–セバレー群をもつ楕円的K3曲面を構成し、高ランクの族の出発点とする。
• 非常に大きな係数をもつ高ランク曲線における有理点の探索を可能にする計算技術を開発すること。
• 指定された捩れ部分群をもつℚ上の個々の曲線および一般族の両方における新たな記録を確立すること。

提案手法

• 高ランクのネロン–セバレー群をもつK3曲面を、高ランクのMordell–Weil群をもつ楕円的ファイブレーションの幾何的出発点として用いる。
• ネロンの特異化定理を適用して、1つのℚ(t) 上の族から無限個の高ランクの有理曲線を生成する。
• 正規化高の計算とふnow技術（例：ratpoints）を用い、Mordell–Weil格子内の深い半格子穴の近くに有理点を特定する。
• モジュラー形式とL関数を用いて解析的ランクを推定し、関数方程式の符号を探索の指針とする。
• ニエメイヤー格子のスライスを用いたK3曲面のモデル変換により、係数を単純化し、探索効率を向上させる。
• 2-torsionが存在する場合にはクレモナのmwrankを2-降下に用いて、上界を計算し、点の独立性を検証する。

実験結果

リサーチクエスチョン

• RQ1 与えられた捩れ部分群をもつℚ 上の楕円曲線におけるMordell–Weilランクの最大値は何か？
• RQ2 高ランクのネロン–セバレー群をもつK3曲面を用いて、ℚ(t) 上で高ランクの楕円曲線族を構成できるか？
• RQ3 非常に大きな係数をもつ高ランク曲線における有理点の発見を可能にする計算戦略は何か？
• RQ4 パrametrized族を用いて、孤立した例ではなく、limsupのランクがr₀ > 2以上であることを証明できるか？
• RQ5 Mordell–Weil部分群内の整数点の数は、曲線のランクと係数の大きさにどのように関係するか？

主な発見

• 本稿では、ℚ 上の楕円曲線でMordell–Weilランクが28以上であるものについて、24という前回記録を上回る新たな記録を確立した。
• 2-torsionをもつ曲線において、Mordell–Weil群が (Z/2Z)⊕Z^18 に同型である楕円曲線の初の例を提示した。これは、2-torsionをもつ曲線の前回記録15を上回る。
• Mordell–Weilランク17の楕円的K3曲面をℚ 上に明示的に構成し、高ランク族の幾何的基盤を提供した。
• 捩れ群 (Z/2Z)⊕(Z/2Z) の場合、2004年の記録10から14に向上した。これは、既知の族における改善された探索技術のおかげである。
• ランク ≥28 の曲線は、最小モデルにおいて少なくとも1174組の整数点のペアをもち、同じ族に属する関連する曲線は少なくとも2810組のこのようなペアをもつ。
• ランク17のK3曲面には、deg X ≤ 4 かつ deg Y ≤ 6 を満たす多項式点 (X, ±Y) が1311組含まれており、これは小さな正規化高の要素に対応する。