[Paper Review] 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 Theory4 citations

TL;DR

This paper establishes a refined structural description of Selmer groups for elliptic curves over ℚ using Kurihara numbers—discrete invariants derived from modular symbols and Kato's Kolyvagin systems. Under the Iwasawa main conjecture (up to μ-invariants) or analytic rank ≤1, it proves that the structure of the Selmer group is completely determined by these numbers, yielding explicit formulas for the rank and size of the p-primary Tate–Shafarevich group, and confirming Kurihara's conjecture on semi-local Selmer groups.

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.

Motivation & Objective

• To develop a structural refinement of the Birch and Swinnerton-Dyer conjecture by describing Selmer groups in terms of discrete L-value variations.
• To establish the cyclotomic analogue of Kolyvagin’s conjecture via Kato’s Kolyvagin systems.
• To confirm Kurihara’s conjecture on the semi-local structure of mod p Selmer groups.
• To derive explicit formulas for the size of the p-primary Tate–Shafarevich group and the Mordell–Weil rank using Iwasawa theory.
• To demonstrate that the Iwasawa main conjecture (inverting p) provides exact arithmetic data on Selmer and Sha groups, contrary to prior belief.

Proposed method

• The paper constructs Kurihara numbers as images of Kato’s Kolyvagin system under a refined dual exponential map.
• It uses modular symbols to explicitly compute these Kurihara numbers, linking them to special values of L-functions.
• The method relies on the Iwasawa main conjecture (up to μ-invariants) to relate the structure of Iwasawa modules to Selmer groups.
• It applies refined Iwasawa theory, particularly Kurihara’s framework, to translate p-adic L-values into structural data on Selmer groups.
• The approach combines Kato’s Euler systems, Kolyvagin systems, and duality theorems to analyze the co-finite generation of Selmer groups over ℤ_p.
• Explicit computations are performed using the minimal Weierstrass models of elliptic curves to evaluate Kurihara numbers and deduce Selmer group structure.

Experimental results

Research questions

• RQ1 Can the Iwasawa main conjecture (inverting p) provide exact structural information on Selmer groups beyond rank and μ-invariant?
• RQ2 Does the cyclotomic analogue of Kolyvagin’s conjecture hold for elliptic curves of arbitrary rank under the Iwasawa main conjecture?
• RQ3 Can the semi-local structure of mod p Selmer groups be described explicitly via Kurihara numbers?
• RQ4 Is there a structural refinement of the Birch and Swinnerton-Dyer conjecture that determines the full ℤ_p-module structure of Sel(ℚ, E[p^∞])?
• RQ5 Can the size of the p-primary Tate–Shafarevich group be computed explicitly from modular symbols and special L-values?

Key findings

• For elliptic curve E₁₀₅₈.e₁ with p=5, the Selmer group has ℤ₅-corank 0, the Mordell–Weil rank is 0, and the 5-primary part of the Tate–Shafarevich group is isomorphic to (ℤ/5ℤ)².
• For E₁₉₆₇₉₄.bf₁, the Selmer group has ℤ₅-corank 1, the Mordell–Weil rank is 1, and the 5-primary Tate–Shafarevich group is isomorphic to (ℤ/5ℤ)².
• For E₄₂₃₈₀₁.ci₁, the 5-primary Tate–Shafarevich group is isomorphic to (ℤ/25ℤ)², not (ℤ/5ℤ)⁴, demonstrating a non-trivial higher structure detectable only via Kurihara numbers.
• The structure of Sel(ℚ, E[p]) is canonically isomorphic to a direct sum of E(ℚ_q) ⊗ ℤ/pℤ over certain primes q, as seen in the examples.
• The non-vanishing of certain Kurihara numbers (e.g., δ̃₁₁·₄₁¹) implies non-trivial structure in the Tate–Shafarevich group, which is invisible to the classical Birch and Swinnerton-Dyer conjecture.
• The paper confirms Kurihara’s conjecture on the semi-local description of mod p Selmer groups using the Iwasawa main conjecture and explicit Kato system computations.