2025-11-15T14:07:11.968765

A rank zero $p$-converse to a theorem of Gross--Zagier, Kolyvagin and Rubin

Burungale, Tian

Let $E$ be a CM elliptic curve defined over $\mathbb{Q}$ and $p$ a prime. We show that $${\mathrm corank}_{\mathbb{Z}_{p}} {\mathrm Sel}_{p^{\infty}}(E_{/\mathbb{Q}})=0 \implies {\mathrm ord}_{s=1}L(s,E_{/\mathbb{Q}})=0 $$ for the $p^{\infty}$-Selmer group ${\mathrm Sel}_{p^{\infty}}(E_{/\mathbb{Q}})$ and the complex $L$-function $L(s,E_{/\mathbb{Q}})$. Along with Smith's work on the distribution of $2^\infty$-Selmer groups, this leads to the first instance of the even parity Goldfeld conjecture: For $50\%$ of the positive square-free integers $n$, we have $ {\mathrm ord}_{s=1}L(s,E^{(n)}_{/\mathbb{Q}})=0, $ where $E^{(n)}: ny^{2}=x^{3}-x $ is a quadratic twist of the congruent number elliptic curve $E: y^{2}=x^{3}-x$.

academic

Gross--Zagier, Kolyvagin, Rubin定理への階数零 $p$ -逆定理

基本情報

論文ID: 2506.03465
タイトル: A rank zero $p$ -converse to a theorem of Gross--Zagier, Kolyvagin and Rubin
著者: Ashay A. Burungale, Ye Tian
分類: math.NT（数論）
発表日: arXivプレプリント、2025年10月11日
論文リンク: https://arxiv.org/abs/2506.03465

要旨

本論文は複素乗法(CM)を持つ楕円曲線の $p$ -逆定理を研究する。 $E$ を $\mathbb{Q}$ 上で定義されたCM楕円曲線、 $p$ を素数とする。著者らは以下を証明した： ${\mathrm{corank}}_{\mathbb{Z}_{p}} {\mathrm{Sel}}_{p^{\infty}}(E/\mathbb{Q})=0 \implies {\mathrm{ord}}_{s=1}L(s,E/\mathbb{Q})=0$ ここで ${\mathrm{Sel}}_{p^{\infty}}(E/\mathbb{Q})$ は $p^{\infty}$ -Selmer群、 $L(s,E/\mathbb{Q})$ は複素 $L$ -関数である。Smithの $2^\infty$ -Selmer群分布に関する研究と組み合わせることで、偶奇性Goldfeld予想の初めての例が得られる：正の平方自由整数 $n$ の50%に対して、 ${\mathrm{ord}}_{s=1}L(s,E^{(n)}/\mathbb{Q})=0$ が成り立つ。ここで $E^{(n)}: ny^{2}=x^{3}-x$ は同余数楕円曲線 $E: y^{2}=x^{3}-x$ の二次ツイストである。

研究背景と動機

中心的問題

本論文が解決する中心的問題は楕円曲線の $p$ -逆定理、すなわちSelmer群の性質から $L$ -関数の解析的性質を逆に推論することである。これはBSD予想の研究における重要な方向性である。

研究の重要性

BSD予想の中核内容：BSD予想は楕円曲線の算術的性質（有理点の階数など）と解析的性質（ $L$ -関数の位数など）を結びつける
逆向思考の価値：古典的なGross-Zagier、Kolyvagin、Rubin定理は解析から算術への含意を与えるが、 $p$ -逆定理は逆向の含意を研究する
Goldfeld予想：楕円曲線理論における重要な予想で、楕円曲線の二次ツイストの解析的階数分布を予測する

既存方法の限界

Rubinの初期研究の制限：90年代のRubinの研究は条件 $p \nmid \#O_K^×$ を必要とし、ordinary素数とnon-ordinary素数で異なる処理が必要
素数の制限：以前の結果は主に良い常約化を持つ素数に対するもの
技術的複雑性：non-ordinary場合には適切な $p$ -進 $L$ -関数が不足

研究動機

著者らは任意の素数 $p$ に対してCM楕円曲線の階数零 $p$ -逆定理を処理できる統一的枠組みを確立し、Goldfeld予想の研究に応用することを望んでいる。

核心的貢献

統一的 $p$ -逆定理：任意の素数 $p$ とCM楕円曲線に対して階数零情形の $p$ -逆定理を証明
Kato主予想の証明：CM情形におけるKato主予想（ $\mathbb{Q}_p$ でテンソル化後）を証明
Goldfeld予想の初例：同余数楕円曲線の偶奇性Goldfeld予想を証明
技術的革新：Iwasawa理論のzeta元素に基づき、ordinary/non-ordinaryの区別を回避
応用の拡張：虚二次体上の楕円曲線に対する類似結果を提供

方法の詳細

理論的枠組み

本論文の方法はIwasawa理論とKatoの主予想に基づき、中心的思想は $p$ -逆定理を主予想の証明に帰着させることである。

Kato主予想

$f \in S_k(\Gamma_1(N))$ を楕円新形式、 $p$ を素数とする。 $F$ をHecke体、 $\lambda$ を $p$ 上の素位とする。主要な対象は以下を含む：

Iwasawa上コホモロジー： $H^q(V_{F_\lambda}(f)) = H^q(T) \otimes \mathbb{Q}$
Beilinson-Kato元素： $Z(f) \subset H^1(V_{F_\lambda}(f))$
主予想の陳述： $\xi(H^2(V_{F_\lambda}(f))) = \xi(H^1(V_{F_\lambda}(f))/Z(f))$

等変主予想

虚二次体 $K$ に対して、以下を考える：

$h^1 = \lim_{\leftarrow} (O_{K'}[1/p]^× \otimes_{\mathbb{Z}} \mathbb{Z}_p)$ （楕円単数）
$h^2 = \lim_{\leftarrow} \text{Cl}_{K'}(p)$ （イデアル類群の $p$ -部分）
等変主予想： $\xi(h^2_{\mathbb{Q}}) = \xi((h^1/z)_{\mathbb{Q}})$

技術的経路

第一段階：等変主予想からKato主予想へ Katoが12, §15で確立したBeilinson-Kato元素と楕円単数の関係を利用して、CM情形のKato主予想を虚二次体の等変主予想に帰着させる。

第二段階：等変主予想の証明 Johnson-LeungとKingsの結果（定理2.1）を使用する。この結果はRubinの開拓的研究に基づいている。

第三段階： $p$ -逆定理の導出 Kato主予想から $p$ -逆定理を導出する：

Bloch-Kato Selmer群の消失を利用
明示的相互法則を応用
$L$ -関数が臨界点で消失しないことを得る

主要な革新点

統一的処理：ordinary素数とnon-ordinary素数を区別しない
Beilinson-Kato元素の応用：これらの元素はRubinの方法には現れない
条件制限の除去： $p \nmid \#O_K^×$ の条件を必要としない
モジュラー方法：モジュラー形式の言語を通じて楕円曲線を処理

実験設定

本論文は純粋な理論数学論文であり、計算実験を含まず、厳密な数学的証明を通じて理論的結果を検証する。

応用検証

同余数楕円曲線： $E: y^2 = x^3 - x$

これは複素乗法を持つ楕円曲線
その二次ツイスト $E^{(n)}: ny^2 = x^3 - x$
正の平方自由整数 $n \equiv 1, 2, 3 \pmod{8}$ を考える

Smithの分布結果：定理3.3は、密度1の正の平方自由整数 $n \equiv 1, 2, 3 \pmod{8}$ に対して $\text{corank}_{\mathbb{Z}_2} \text{Sel}_{2^{\infty}}(E^{(n)}/\mathbb{Q}) = 0$ が成り立つことを示す。

結合応用：本論文の2-逆定理（定理1.1）とSmithの結果を組み合わせることで、Goldfeld予想の初例が得られる。

主要な結果

中心的定理

定理1.1（ $p$ -逆定理）： $E$ を虚二次体 $K$ 上で定義された楕円曲線で、 $K$ のあるorder の複素乗法を持つとする。 $p$ を素数とする。このとき $\text{corank}_{\mathbb{Z}_p} \text{Sel}_{p^{\infty}}(E/K) = 0 \implies \text{ord}_{s=1} L(s, E/K) = 0$ 特に、 $E$ が $\mathbb{Q}$ に下降する場合、結論は成り立つ。

定理1.2（Goldfeld予想）：偶奇性Goldfeld予想は同余数楕円曲線 $E: y^2 = x^3 - x$ に対して成り立つ。すなわち、密度1の正の平方自由整数 $n \equiv 1, 2, 3 \pmod{8}$ に対して $\text{ord}_{s=1} L(s, E^{(n)}/\mathbb{Q}) = 0$

定理2.6（Kato主予想）： $f \in S_k(\Gamma_1(N))$ をCM新形式、 $p$ を素数とする。このとき $\xi(H^2(V_{F_\lambda}(f))) = \xi(H^1(V_{F_\lambda}(f))/Z(f))$

技術的結果

命題1.3： $E$ を虚二次体 $K$ 上で定義された楕円曲線で、 $K$ のあるorderの複素乗法を持つとする。3が $K$ で不分岐でないと仮定する。このとき、少なくとも50%の $t \in K^×/(K^×)^2$ に対して $\text{ord}_{s=1} L(s, E^{(t)}/K) = 0$