[论文解读] Fine Selmer Groups and Isogeny Invariance

R. Sujatha, Malte Witte|arXiv (Cornell University)|Apr 17, 2017

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

一句话总结

本文研究了椭圆曲线与数域上伽罗瓦表示的精细 Selmer 群结构，重点关注猜想 A——即在分圆 Zp-扩张上，精细 Selmer 群是有限生成的 Zp-模。本文阐明了猜想 A 与 Iwasawa 的 μ = 0 猜想之间的深刻联系，并提供了关于同源不变性的部分结果，证明了其在一大类 CM 椭圆曲线上的成立，同时表明此类不变性可能与 μ = 0 的证明同样困难。

ABSTRACT

We investigate fine Selmer groups for elliptic curves and for Galois representations over a number field. More specifically, we discuss Conjecture A, which states that the fine Selmer group of an elliptic curve over the cyclotomic extension is a finitely generated $\mathbb{Z}_p$-module. The relationship between this conjecture and Iwasawa's classical $μ=0$ conjecture is clarified. We also present some partial results towards the question whether Conjecture A is invariant under isogenies.

研究动机与目标

• 研究椭圆曲线与数域上伽罗瓦表示的精细 Selmer 群结构。
• 阐明猜想 A（在分圆 Zp-扩张上精细 Selmer 群为有限生成）与 Iwasawa 经典的 μ = 0 猜想之间的关系。
• 检验猜想 A 在同源下是否保持不变，特别是针对 CM 椭圆曲线。
• 探讨同源不变性的深层上同调条件，尤其是上积消失的条件。

提出的方法

• 利用 Iwasawa 理论与连续上同调，通过数域上表示的伽罗瓦上同调分析精细 Selmer 群。
• 应用完备张量积构造 $ M_{\mathcal{L}} = \varprojlim_n \mathbb{Z}_p[[\mathcal{G}]]^\sharp / \mathfrak{J}^n \otimes_{\mathbb{Z}_p} M_n $，在分圆扩张上定义上同调。
• 利用 Poitou-Tate 对偶性与核心化映射，关联有限与无限扩张上的上同调群。
• 引入猜想 C(K,M)，即某些上积映射在上同调中为单射，作为同源不变性的上同调准则。
• 将可约二维表示的同源不变性问题约化为 $ \operatorname{H}^1(G_S(K), \mathbb{F}_p) $ 中类的上积消失。
• 利用 Gysin 序列与模 p 互素的有限扩张的基变换，证明猜想 C 与有限素数集 S 无关。

实验结果

研究问题

• RQ1 猜想 A（关于在分圆 Zp-扩张上精细 Selmer 群的有限生成性）在椭圆曲线的同源下是否保持不变？
• RQ2 猜想 A 与 Iwasawa 的经典 μ = 0 猜想有何关系？
• RQ3 猜想 A 的同源不变性能否约化为诸如上积消失等上同调条件？
• RQ4 Pontryagin 对偶与完备群环在分析精细 Selmer 群中起什么作用？
• RQ5 在什么条件下，映射 $ Q \otimes_\Omega H^2(G_S(K), N_{K_{\text{cyc}}}) \to Q \otimes_\Omega H^2(G_S(K), M_{K_{\text{cyc}}}) $ 的单射性可推出同源不变性？

主要发现

• 猜想 A 与 Iwasawa 的 μ = 0 猜想有深刻联系，表明证明同源不变性可能与证明 μ = 0 同样困难。
• 本文证明了猜想 A 在一大类 CM 椭圆曲线上的同源不变性。
• 猜想 C(K,M)，涉及在与 Ω 的分式域 Q 的张量积后上同调映射的单射性，被证明与若干其他上同调条件等价，包括限制映射的核与余核的有限性。
• 通过 Gysin 序列与未分歧上同调的性质，证明该猜想与有限素数集 S 无关。
• 对于 $\mathbb{F}_p$ 上的可约二维表示，同源不变性可约化为 $\operatorname{H}^1(G_S(K), \mathbb{F}_p)$ 中类的上积消失，从而将问题与上积理论联系起来。
• 当基变换的次数与 p 互素时，限制映射 $\operatorname{H}^2(G_S(K_{\text{cyc}}), N) \to \operatorname{H}^2(G_S(K_{\text{cyc}}), M)$ 是分裂单射，从而可将问题约化为更简单的情形。