[論文レビュー] Descent on elliptic curves

Michael Stoll|ArXiv.org|Nov 22, 2006

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

ひとこと要約

本稿では、数体上の楕円曲線に対するn-降下の明示的計算手法を提示し、セレール群の元を被覆空間としての明示的モデルとして構成することに焦点を当てている。これによりn-セレール群の実用的計算が可能となり、幾何的表現を提供することで高次降下が促進される。n=2,3,4については実装が可能であり、n=5についても理論的進展が得られている。

ABSTRACT

Let E be an elliptic curve over Q (or, more generally, a number field). Then on the one hand, we have the finitely generated abelian group E(Q), on the other hand, there is the Shafarevich-Tate group Sha(Q,E). Descent is a general method of getting information on both of these objects - ideally complete information on the Mordell-Weil group E(Q), and usually partial information on Sha(Q,E). What descent does is to compute (for a given n > 1) the n-Selmer group Sel^(n)(Q,E); it sits in an exact sequence 0 --> E(Q)/nE(Q) --> Sel^(n)(Q,E) --> Sha(Q,E)[n] --> 0 and thus contains combined information on E(Q) and Sha(Q,E). The main problem I want to discuss in this ``short course'' is how to actually do this explicitly, with some emphasis on obtaining representations of the elements of the Selmer group as explicit covering spaces of E. These explicit representations are useful in two respects - they allow a search for rational points (if successful, this proves that the element is in the image of the left hand map above), and they provide the starting point for performing ``higher'' descents (e.g., extending a p-descent computation to a p^2-descent computation).

研究の動機と目的

• 数体上の楕円曲線に対するn-降下の明示的で計算可能な手法の開発、特にn-セレール群の計算を目的とする。
• セレール群の元を楕円曲線の被覆空間としての幾何的表現を提供し、有理点の探索を可能にする。
• n-降下データから明示的モデルを構成することで、高次降下（例：p²-降下）を支援する。
• 被覆曲線の定義方程式の係数を最小化・簡約化し、計算効率を向上させる。
• アルゴリズムとソフトウェア実装（例：MAGMA）を通じて理論的降下と実用的計算を橋渡しする。

提案手法

• すべてのKの場所vにおける局所条件を満たすH¹(K, E[n])の部分群としてn-セレール群をガロアコhomologyを用いて定義する。
• コサイクルを介してセレール群の元を表現し、ねじれを用いて対応する主同次空間（被覆曲線）を構成する。
• コサイクルに付随する中心単純代数の作用を用いて、射影空間内のこれらの被覆空間の明示的モデルを構築する。
• 同型写像（例：ι: Aρ → Matₙ(K)）を適用して、行列代数への写像を経て、より低次元の射影空間にモデルを射影する。
• 判別式における不要な素数巾を除去するための最小化と、SLₙ(ℤ)-作用による還元を実行し、係数のサイズを最小化する。
• 高さ理論を用いて被覆曲線上の対数的高さと楕円曲線上の高さを関係づけ、h_D(Q) ≈ (1/2n)h(x(P)) + O(1)を示す。

実験結果

リサーチクエスチョン

• RQ1 n-セレール群の元は、どのように楕円曲線の幾何的被覆空間として明示的に表現できるか？
• RQ2 コhom理論的データから被覆曲線を定義する多項式方程式に至る計算的手法は何か？
• RQ3 方程式の最小化と簡約化は、降下計算の効率をどのように向上させるか？
• RQ4 セレール群の元の明示的モデルは、楕円曲線上の有理点探索をどのように支援するか？
• RQ5 高さ理論は、降下を用いた有理点の大きさの推定において、どのように役立つか？

主な発見

• n-セレール群は、すべての場所vにおける局所条件を満たすH¹(K, E[n])の部分群として計算され、モーデル＝ヴェイユランクの上界を与える。
• ねじれと行列代数の同型写像を用いて、射影空間内の曲線としてセレール群の元の明示的モデルが構成される。
• n=2,3,4については、n-セレール群を計算し、ℙⁿ⁻¹における簡約化されたモデルを生成するためのアルゴリズムが存在し、MAGMAに実装されている。
• 方程式の最小化と簡約化は、係数のサイズを顕著に削減し、計算の実行可能性を向上させる。
• 被覆曲線上の点の高さは、楕円曲線上への像の高さの(1/2n)に漸近的に等しく、有界誤差の範囲内である。
• セレール群の負の元は、2つの異なるE-構造を持つ同型な曲線をもたらすため、元は±1を法として考える。