[論文レビュー] Iwasawa Main Conjecture for Heegner Points: Supersingular Case

Francesc Castella, Xin Wan|arXiv (Cornell University)|Jun 8, 2015

Advanced Algebra and Geometry参考文献 14被引用数 5

ひとこと要約

この論文は、$a_p = 0$ である特異的楕円曲線に対するヘーゲナー点の反対称イwasawa主予想を証明し、小林の $"+"$-構造の精神に則って、$p$-進 $L$-関数とセレマー群の間の明確な関係を確立した。証明はホワイトの方法とランキン＝セレバーサイクル $p$-進 $L$-関数に関する最近の結果を組み合わせており、準同型 $X^+ \sim \Lambda \oplus X^+_{\mathrm{tor}}$ と、$p$-進 $L$-関数とヘーゲナー点オイラー系との関係を示す公式を得た。

ABSTRACT

In this paper we propose and prove an anticyclotomic Iwasawa main conjecture for Heegner points on supersingular elliptic curves with $a_p=0$. The result has a "$\pm$" nature in the sense of Kobayashi. The proof uses a recent work of the second author on one divisibility in the Iwasawa--Greenberg main conjecture for Rankin-Selberg $p$-adic $L$-functions, together with an argument of Howard (adapted to our "$\pm$"-situation). As a byproduct, we also obtain an improvement of Skinner's result on a converse to the Gross--Zagier--Kolyvagin theorem.

研究の動機と目的

• 特異的楕円曲線で $a_p = 0$ の場合のヘーゲナー点に対する反対称イwasawa主予想を定式化し、証明すること。
• 通常の方法では $p$ で非通常的であるため失敗する特異的状況に、古典的イwasawa主予想を拡張すること。
• 小林の $\pm$-構造を用いて、$p$-進 $L$-関数とオイラー系の間の明確な関係を確立すること。
• 通常の場合の結果を、局所ガロアコホモロジーとセレマー条件が根本的に異なる特異的状況に一般化すること。

提案手法

• 反対称 $\mathbb{Z}_p^2$-拡大 $\mathcal{K}_\infty$ におけるヘーゲナー点の族 $\kappa_1^+ \in H^1_{\mathcal{F}^+}(\mathcal{K}, \mathbf{T})$ を構成する。
• 小林の $\pm$-状況に適応されたホワイトの方法を用い、異なるセレマー条件（$\mathcal{F}^+$, $\mathcal{F}_v^+$, $v$ など）を持つ2つのポワトゥ＝テイト双対性系列を用いる。
• ワンの最近の研究（ランキン＝セレバーサイクル $p$-進 $L$-関数のイwasawa＝グリーンバーグ主予想の一方の包含関係）を用いる。
• $\mathcal{F}^+$-セレマー群の特殊化に関する明示的相互法則と制御定理を、巡回的拡大から反対称的拡大へ置き換える。
• $\Lambda$-加群の構造定理を用いて、ポンティリャーギン双対 $X^+ = H^1_{\mathcal{F}^+}(\mathcal{K}, \mathbf{A})^*$ 及びその自由部とねじれ部への分解を解析する。
• $\iota$-双対性と $\omega_n^\pm$-作用素を用いて、セレマー群における包含関係と核の成長を制御し、$p$-冪ねじれの有界性を証明する。

実験結果

リサーチクエスチョン

• RQ1 $a_p = 0$ の特異的状況において、ヘーゲナー点のイwasawa主予想を拡張することは可能か？
• RQ2 小林の $\pm$-構造は、反対称的設定における古典的イwasawa主予想をどのように精緻化するか？
• RQ3 特異的状況において、$p$-進 $L$-関数とヘーゲナー点オイラー系との明確な関係は何か？
• RQ4 セレマー群 $H^1_{\mathcal{F}^+}(\mathcal{K}, \mathbf{A})^*$ 及びその $\Lambda$-加群構造は、楕円曲線の算術をどのように反映するか？
• RQ5 この新しい主予想を用いて、グロス＝ツァイラー＝コリヤーギンの逆定理をどのように改善できるか？

主な発見

• 論文は、$X^+ \sim \Lambda \oplus X^+_{\mathrm{tor}}$ という準同型を確立した。ここで $X^+ = H^1_{\mathcal{F}^+}(\mathcal{K}, \mathbf{A})^*$ であり、双対セレマー群が自由部とねじれ部に分解されることを示した。
• 仮定 (2) の下で、任意の $\Lambda$ の高さ1の素数 $P$ に対して、ねじれ部の $P$-進付値は $\mathrm{lg}_P X^+_{\mathrm{tor}} = 2 \cdot \mathrm{lg}_P \left( \frac{H^1_+(\mathcal{K}, T \otimes \Lambda(\Psi))}{\Lambda \kappa_1^+} \right)$ を満たし、$p$-進 $L$-関数とオイラー系を結びつける。
• 仮定 (1) の下で、$P \neq (p)$ であるすべての高さ1の素数 $P$ に対して、同じ公式が成り立ち、より広いクラスの $p$-進 $L$-関数に拡張された。
• 証明は、巡回的制御定理に代わる、反対称的設定における $\mathcal{F}^+$-セレマー群の精緻な制御定理に依存している。
• 著者らは、写像 $\mathcal{A}_{n,n'}^+ \to \Lambda^*$ の核の濃度が $m$ に依存せずに有界であることを証明した。これはセレマー群の成長を制御するために不可欠である。
• 副次的な結果として、$p$-進 $L$-関数の非消滅とモーデル＝ヴェイユ群のランクとの強い関係を確立することで、スキンナーの逆定理を強化した。