[論文レビュー] The structure of Selmer groups and the Iwasawa main conjecture for elliptic curves

Chan-Ho Kim|arXiv (Cornell University)|Mar 23, 2022

Algebraic Geometry and Number Theory被引用数 4

ひとこと要約

本稿は、モジュラー記号とKatoのKolyvaginシステムから導かれる離散的不変量であるKurihara数を用いて、有理数体上の楕円曲線に対するSelmer群の洗練された構造的記述を確立する。Iwasawa主予想（μ不変量まで）または解析的ランク≤1の下で、Selmer群の構造がこれらの数によって完全に決定されることを証明し、ランクおよびp-primary Tate–Shafarevich群のサイズに対する明示的公式を導出し、Kuriharaの半局所Selmer群に関する予想を確認する。

ABSTRACT

We reveal a new and refined application of (a weaker statement than) the Iwasawa main conjecture for elliptic curves to the structure of Selmer groups of elliptic curves of arbitrary rank. For a large class of elliptic curves, we obtain the following arithmetic consequences. 1. Kato's Kolyvagin systems is non-trivial. It is the cyclotomic analogue of the Kolyvagin conjecture. 2. The structure of Selmer groups of elliptic curves over the rationals is completely determined in terms of certain modular symbols. It is a structural refinement of Birch and Swinnerton-Dyer conjecture. 3. The rank zero $p$-converse, the $p$-parity conjecture, and a new upper bound of the ranks of elliptic curves are obtained. 4. The conjecture of Kurihara on the semi-local description of mod $p$ Selmer groups is confirmed. 5. An application of the $p$-adic Birch and Swinnerton-Dyer conjecture to the structure of Iwasawa modules is discussed.

研究の動機と目的

• L関数の特殊値の離散的変動を用いてSelmer群を記述することで、BirchとSwinnerton-Dyerの予想の構造的修正を開発すること。
• KatoのKolyvaginシステムを用いて、Kolyvaginの予想の円分的類似を確立すること。
• Kuriharaの半局所Selmer群に関する予想を確認すること。
• Iwasawa理論を用いて、Selmer群のMordell–Weilランクおよびp-primary Tate–Shafarevich群のサイズに対する明示的公式を導出すること。
• Iwasawa主予想（pを逆数にした場合）が、Selmer群およびSha群に対して正確な算術的データを提供することを示し、従来の認識とは対照的に、その正確性を示すこと。

提案手法

• 本稿は、KatoのKolyvaginシステムを精密な双対指数写像の下で写像することで、Kurihara数を構成する。
• モジュラー記号を用いてこれらのKurihara数を明示的に計算し、L関数の特殊値と関連付ける。
• Iwasawa主予想（μ不変量まで）を用いて、Iwasawa加群の構造とSelmer群との関係を確立する。
• 特にKuriharaの枠組みを用いた洗練されたIwasawa理論を応用し、p進L関数の値をSelmer群の構造的データに翻訳する。
• Katoのオイラー系、Kolyvaginシステム、および双対性定理を組み合わせて、ℤ_p上でのSelmer群の余有限生成性を分析する。
• 楕円曲線の最小Weierstrass形式を用いた明示的計算により、Kurihara数を評価し、Selmer群の構造を導出する。

実験結果

リサーチクエスチョン

• RQ1 Iwasawa主予想（pを逆数にした場合）は、ランクやμ不変量を超えて、Selmer群の正確な構造的情報を提供できるか？
• RQ2 Iwasawa主予想の下で、任意のランクの楕円曲線に対して、Kolyvaginの予想の円分的類似が成り立つか？
• RQ3 Kurihara数を用いて、mod p Selmer群の半局所構造を明示的に記述できるか？
• RQ4 BirchとSwinnerton-Dyerの予想の構造的修正は、Sel(ℚ, E[p^∞])の完全なℤ_p加群構造を決定できるか？
• RQ5 p-primary Tate–Shafarevich群のサイズは、モジュラー記号と特殊L値から明示的に計算可能か？

主な発見

• p=5の楕円曲線E₁₀₅₈.e₁に対して、Selmer群のℤ₅-コランクは0、Mordell–Weilランクは0、5-primary部分のTate–Shafarevich群は(ℤ/5ℤ)²に同型である。
• E₁₉₆₇₉₄.bf₁に対して、Selmer群のℤ₅-コランクは1、Mordell–Weilランクは1、5-primary Tate–Shafarevich群は(ℤ/5ℤ)²に同型である。
• E₄₂₃₈₀₁.ci₁に対して、5-primary Tate–Shafarevich群は(ℤ/25ℤ)²に同型であり、(ℤ/5ℤ)⁴ではない。これは、Kurihara数を用いなければ検出できない非自明な高次の構造を示している。
• Sel(ℚ, E[p])の構造は、特定の素数qに対するE(ℚ_q) ⊗ ℤ/pℤの直和に自然に同型であることが、例から明らかである。
• 特定のKurihara数（例：δ̃₁₁·₄₁¹）の非零性は、Tate–Shafarevich群に非自明な構造があることを示しており、これは古典的BirchとSwinnerton-Dyer予想では検出できない。
• 本稿は、Iwasawa主予想と明示的Katoシステム計算を用いて、Kuriharaの半局所的記述に関する予想を確認した。