[論文レビュー] Fine Selmer Groups and Isogeny Invariance

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

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

ひとこと要約

本稿は、数体上の楕円曲線およびガロア表現のための微細セイラー群の構造を調査し、特に、微細セイラー群が円分Zp拡大において有限生成Zp加群であるというConjecture Aを焦点とする。この研究は、Conjecture Aと伊達のμ = 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.

研究の動機と目的

• 数体上の楕円曲線およびガロア表現のための微細セイラー群の構造を調査すること。
• 円分Zp拡大における微細セイラー群が有限生成Zp加群であるというConjecture Aと、伊達の古典的μ = 0予想との関係を明確にすること。
• 特にCM楕円曲線に対して、Conjecture Aが同型写像に関して不変であるかどうかを検討すること。
• 同型写像不変性の背後にあるコホモロジー的条件、特にカップ積の消える性質を調査すること。

提案手法

• 数体上の表現のガロアコホモロジーを用いて微細セイラー群を分析するため、伊達理論および連続コホモロジーを用いる。
• 完成化テンソル積構成 $ M_{\mathcal{L}} = \varprojlim_n \mathbb{Z}_p[[\mathcal{G}]]^\sharp / \mathfrak{J}^n \otimes_{\mathbb{Z}_p} M_n $ を用いて、円分拡大上のコホモロジーを定義する。
• Poitou-Tate双対性および核制限写像を用いて、有限および無限拡大上のコホモロジー群を関連付ける。
• 同型写像不変性のためのコホモロジー的基準として、特定のカップ積写像の単射性を仮定するConjecture C(K,M)を導入する。
• 可約な2次元表現に関しては、同型写像不変性の問題を、$ \operatorname{H}^1(G_S(K), \mathbb{F}_p) $ に属するクラスとのカップ積の消えることに還元する。
• Gysin系列およびpを法とする次数の有限拡大による基底変換を用いて、Conjecture Cが有限素数集合Sに依存しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 Conjecture A（円分Zp拡大における微細セイラー群の有限生成性）は、楕円曲線の同型写像に関して保存されるか？
• RQ2 Conjecture Aは伊達の古典的μ = 0予想とどのように関係しているか？
• RQ3 Conjecture Aの同型写像不変性は、カップ積の消えるなどのコホモロジー的条件に還元可能か？
• RQ4 ポントリャーギン双対および完成化群環は、微細セイラー群の解析において果たす役割は何か？
• 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}}}) $ の単射性が同型写像不変性を示すための条件は何か？

主な発見

• Conjecture Aは伊達のμ = 0予想と深く結びついており、同型写像不変性を示すことはμ = 0を示すのと同程度の難易度である可能性を示唆している。
• 本稿では、広いクラスのCM楕円曲線に対して、Conjecture Aの同型写像不変性を証明した。
• 体Ωの商体Qとのテンソル積をとった後、コホモロジー写像の単射性を仮定するConjecture C(K,M)は、核および余核の有限性を含む、いくつかの他のコホモロジー的条件と同値であることが示された。
• Gysin系列および非分岐コホモロジーの性質を用いて、Sの有限集合に依存しないことが示された。
• Fp上の可約な2次元表現に対しては、同型写像不変性は、$ \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)$ はスプリット単射的であり、より単純な場合に還元可能である。