[论文解读] 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.

研究动机与目标

• 通过描述Selmer群在L-值离散变化下的结构，发展Birch与Swinnerton-Dyer猜想的结构精化。
• 通过Kato的Kolyvagin系统建立Kolyvagin猜想的cyclotomic类比。
• 证实Kurihara关于模p Selmer群半局部结构的猜想。
• 利用Iwasawa理论推导出p-Primary Tate–Shafarevich群大小和Mordell–Weil秩的显式公式。
• 证明Iwasawa主猜想（局部化p）能提供Selmer群与Sha群的精确算术数据，与以往观点相反。

提出的方法

• 本文将Kurihara数构造为Kato的Kolyvagin系统在精细对偶指数映射下的像。
• 利用模形式符号显式计算这些Kurihara数，将其与L-函数的特殊值联系起来。
• 该方法依赖于Iwasawa主猜想（忽略μ-不变量），将Iwasawa模的结构与Selmer群联系起来。
• 应用精细的Iwasawa理论，特别是Kurihara的框架，将p-进L-值转化为Selmer群的结构数据。
• 该方法结合了Kato的Euler系、Kolyvagin系与对偶定理，分析了ℤ_p上Selmer群的余有限生成性。
• 通过椭圆曲线的最小Weierstrass模型进行显式计算，以评估Kurihara数并推导Selmer群的结构。

实验结果

研究问题

• RQ1 Iwasawa主猜想（局部化p）是否能提供超越秩与μ-不变量的Selmer群精确结构信息？
• RQ2 在Iwasawa主猜想下，Kolyvagin猜想的cyclotomic类比是否对任意秩的椭圆曲线成立？
• RQ3 能否通过Kurihara数显式描述模p Selmer群的半局部结构？
• RQ4 是否存在Birch与Swinnerton-Dyer猜想的结构精化，能完全确定Sel(ℚ, E[p^∞])的ℤ_p-模结构？
• RQ5 能否从模形式符号与特殊L-值显式计算出p-Primary Tate–Shafarevich群的大小？

主要发现

• 对于椭圆曲线E₁₀₅₈.e₁与p=5，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关于模p Selmer群半局部描述的猜想。