[论文解读] On the refined conjectures on Fitting ideals of Selmer groups of elliptic curves with supersingular reduction

Chan-Ho Kim, Masato Kurihara|arXiv (Cornell University)|Apr 2, 2018

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

一句话总结

本文證明了在奇素數 $p$ 上具有上同調奇異還原的橢圓曲線的 Selmer 群的 Fitting 理想的弱主猜想與強主猜想，適用於分圓 $\mathbb{Z}_p$-擴張的有限層。透過明確比較有限層的 Selmer 群、$\pm$-Selmer 群與精細 Selmer 群，並運用 $\pm$-Iwasawa 理論，作者們確立了 Mazur-Tate 元素及其蹤跡在 $\pm$-主猜想與特定誤差項消失的條件下生成 Fitting 理想，從而解決了精細 Iwasawa 理論中的一個關鍵情形。

ABSTRACT

In this paper, we study the Fitting ideals of Selmer groups over finite subextensions in the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$ of an elliptic curve over $\mathbb{Q}$. Especially, we present a proof of the "weak main conjecture" à la Mazur and Tate for elliptic curves with good (supersingular) reduction at an odd prime $p$. We also prove the "strong main conjecture" suggested by the second named author under the validity of the $\pm$-main conjecture and the vanishing of a certain error term. The key idea is the explicit comparison among "finite layer objects", "$\pm$-objects", and "fine objects" in Iwasawa theory. The case of good ordinary reduction is also treated.

研究动机与目标

• 在橢圓曲線於 $p$ 處具有上同調奇異還原的條件下，證明分圓 $\mathbb{Z}_p$-擴張的有限層中 Selmer 群 Fitting 理想的弱主猜想。
• 在 $\pm$-主猜想與特定誤差項消失的條件下，證明強主猜想。
• 透過比較有限層的 Selmer 群、$\pm$-Selmer 群與精細 Selmer 群，將精細 Iwasawa 理論推廣至上同調奇異設定。
• 提供強主猜想成立的明確例子，特別是在精細 Selmer 群為「全部 Mordell-Weil」的情形。
• 利用 $\pm$-Iwasawa 理論與模理論技巧，釐清上同調奇異情形下 Fitting 理想的結構，此處其非主理想。

提出的方法

• 在分圓 $\mathbb{Z}_p$-擴張的有限層中，對 Selmer 群、$\pm$-Selmer 群與精細 Selmer 群進行明確比較。
• 運用 Kobayashi 與 Pollack 的 $\pm$-Iwasawa 理論，處理上同調奇異素數處的非典型行為。
• 應用 Fitting 理想技巧與 Auslander-Buchsbaum 公式，在無有限 $\Lambda$-子模的情況下，連結特徵理想與 Fitting 理想。
• 分析來自有限層比較的誤差項 $\mathrm{Err}_n$，並在特定假設下證明其消失。
• 利用 Iwasawa 主猜想與控制定理，推導 Selmer 群 Fitting 理想的下界。
• 運用引理 A.6–A.10，連結 $\Lambda_n$ 與 $\Lambda$ 上的 Fitting 理想，特別是在商映射與模分解下的情形。

实验结果

研究问题

• RQ1 在有限層中，Mazur-Tate 元素是否屬於具有上同調奇異還原之橢圓曲線的對偶 Selmer 群的 Fitting 理想？
• RQ2 在 $\pm$-主猜想下，有限層上 Selmer 群的 Fitting 理想是否可由 Mazur-Tate 元素及其來自較低層次的蹤跡生成？
• RQ3 誤差項 $\mathrm{Err}_n$ 在 Selmer 群與精細 Selmer 群的有限層比較中扮演何種角色？其在何種條件下會消失？
• RQ4 $\pm$-Selmer 群與精細 Selmer 群在上同調奇異設定下與古典 Selmer 群有何關係？
• RQ5 在何種條件下，Selmer 群的 Fitting 理想會成為主理想？在何種條件下不會？

主要发现

• 在假設無有理 $p$-扭結的情況下，弱主猜想（猜想 1.4）被無條件證明。
• 在 $\pm$-主猜想與誤差項 $\mathrm{Err}_n$ 消失的條件下，強主猜想（猜想 1.6）於定理 1.20 中成立，並提供滿足這些條件的明確例子。
• 當精細 Selmer 群為「全部 Mordell-Weil」時，誤差項 $\mathrm{Err}_n$ 消失，從而提供一類明確的例子，使強猜想成立。
• 在定理 1.18 中證明了強主猜想的較弱版本，其中 Fitting 理想由 Mazur-Tate 元素及其蹤跡生成，僅含一誤差項。
• 在上同調奇異情形下，Selmer 群的 Fitting 理想永遠不是主理想，此與典型情形下其為主理想形成對比。
• 關鍵技術工具是於有限層上比較 Selmer 群與 $\pm$-Selmer 群、精細 Selmer 群，進而使 Iwasawa 理論技巧可應用於上同調奇異設定。