[论文解读] 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$ 条件下，对上同调奇异椭圆曲线上的 Heegner 点，其反循环 Iwasawa 主猜想，通过 Kobayashi 精神的 $"+"$-结构，精确建立了 $p$-进 $L$-函数与 Selmer 群之间的联系。证明结合了 Howard 的方法与 Rankin-Selberg $p$-进 $L$-函数的最新结果，得到一个拟同构 $X^+ \sim \Lambda \oplus X^+_{\mathrm{tor}}$，并给出了 $p$-进 $L$-函数与 Heegner 点 Euler 系统之间的关系公式。

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$ 的上同调奇异椭圆曲线上 Heegner 点的反循环 Iwasawa 主猜想。
• 将经典的 Iwasawa 主猜想推广至上同调奇异情形，其中由于在 $p$ 处的非典型行为，经典方法失效。
• 利用 Kobayashi 的 $\pm$-结构，精确建立 $p$-进 $L$-函数与 Euler 系统之间的关系。
• 将典型情形下的结果推广至上同调奇异情形，其中局部 Galois 上同调与 Selmer 条件在本质上不同。

提出的方法

• 在反循环 $\mathbb{Z}_p^2$-扩张 $\mathcal{K}_\infty$ 中构造 Heegner 点族 $\kappa_1^+ \in H^1_{\mathcal{F}^+}(\mathcal{K}, \mathbf{T})$。
• 应用适配于 $\pm$-情形的 Howard 方法，使用两组 Poitou-Tate 对偶性序列，具有不同的 Selmer 条件（$\mathcal{F}^+$, $\mathcal{F}_v^+$, $v$ 等）。
• 利用 Wan 关于 Rankin-Selberg $p$-进 $L$-函数的 Iwasawa-Greenberg 主猜想中一个可除性的最新工作。
• 应用显式互反律与控制定理，研究从 $\mathcal{K}_\infty^-$ 到 $\mathcal{K}$ 的特殊化下 $\mathcal{F}^+$-Selmer 群的性质，将循环扩张替换为反循环扩张。
• 应用 $\Lambda$-模的结构定理，分析 Pontryagin 对偶 $X^+ = H^1_{\mathcal{F}^+}(\mathcal{K}, \mathbf{A})^*$ 及其自由部分与挠部分的分解。
• 利用 $\iota$-对偶性与 $\omega_n^\pm$-算子，控制 Selmer 群中的可除性与核的增长，证明 $p$-幂挠部分的有界性。

实验结果

研究问题

• RQ1 能否将 Heegner 点的 Iwasawa 主猜想扩展至 $a_p = 0$ 的上同调奇异情形？
• RQ2 Kobayashi 的 $\pm$-结构如何在反循环设定中精炼经典 Iwasawa 主猜想？
• RQ3 在上同调奇异情形下，$p$-进 $L$-函数与 Heegner 点 Euler 系统之间的确切关系是什么？
• RQ4 Selmer 群 $H^1_{\mathcal{F}^+}(\mathcal{K}, \mathbf{A})^*$ 及其 $\Lambda$-模结构如何反映椭圆曲线的算术性质？
• RQ5 能否利用这一新的主猜想改进 Gross-Zagier-Kolyvagin 定理的逆定理？

主要发现

• 本文建立了拟同构 $X^+ \sim \Lambda \oplus X^+_{\mathrm{tor}}$，其中 $X^+ = H^1_{\mathcal{F}^+}(\mathcal{K}, \mathbf{A})^*$，表明对偶 Selmer 群分解为自由部分与挠部分。
• 在假设 (2) 下，对任意 $\Lambda$ 的高度一素理想 $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$-函数与 Euler 系统联系起来。
• 在假设 (1) 下，该公式对所有满足 $P \neq (p)$ 的高度一素理想 $P$ 成立，将结果推广至更广泛的 $p$-进 $L$-函数类。
• 证明依赖于反循环设定下 $\mathcal{F}^+$-Selmer 群的精细控制定理，取代了先前工作中使用的循环控制。
• 作者证明了映射 $\mathcal{A}_{n,n'}^+ \to \Lambda^*$ 的核的基数关于 $m$ 有独立有界，这对控制 Selmer 群的增长至关重要。
• 作为副产品，本文通过建立 $p$-进 $L$-函数非零与 Mordell-Weil 群秩之间更强的联系，改进了 Skinner 的逆定理。