A $p$-Converse theorem for Real Quadratic Fields

技術要約：実二次体における $p$-逆定理

問題設定
本論文は、実二次体 ($F$) 上で定義された楕円曲線に関する「$p$-逆（$p$-converse）」問題を扱っている。具体的には、ランク1の文脈におけるグロス・ザギエ（Gross-Zagier）およびコリヴァギニ（Kolyvagin）の定理の逆を確立することを目的としている。古典的な定理は、「解析的ランクが1ならば、代数的ランクは1であり、かつテイト・シャファレヴィッチ群は有限である」ことを述べているが、その逆、すなわち「もし代数的ランクが1であり、$p$ 分のテイト・シャファレヴィッチ群が有限であるならば、解析的ランクは1となるか？」という問いを検討するものである。

本研究以前、このような逆の結果は、主に $\mathbb{Q}$ 上の楕極曲線（Skinner, Zhang, Venerucci などによる）や、特定の還元型に対して確立されていた。本論文は、これらの結果を、実二次体の設定へと拡張するものである。ここでは、$p > 5$ は $F$ において不活性な有理素数であり、楕円曲線 $E/F$ は $p$ の上にある素イデアル $\mathfrak{p}$ において分裂型マルチプリカティブ還元（split multiplicative reduction）を持つものとする。

手法
著者らは、代数的ランクと解析的ランクの間の溝を埋めるために、ヒダ理論（Hida theory）、イワサワ理論、およびセルマー複体（Selmer complexes）の理論を高度に統合して用いている。証明戦略は、以下の主要な要素に基づいている：

1. ヒダ・ファミリーと大きなガロア表現： 楕円曲線 $E$ は、平行ウェイト2のヒルベルト・モジュラー形式 $f$ に随伴される。著者らは、$f$ を通過するヒダ・ファミリー $\mathbf{f}$ と、それに付随する大きなガロア表現 $T_f$ を利用する。彼らは、離散付値環 $I_P$ 上の局所化されたヒダ・ファミリー内で作業を進める。
2. イワサワ主予想（Wanの定理）： 証明は、全虚二次拡大 $K/F$（ここで $p$ は $K$ で分解する）上のヒルベルト・モジュラー形式に関するイワサワ主予想（Wan [Wan15] によって確立されたもの）に大きく依存している。これは、セルマー群の特性イデアルが、$p$ 進 $L$ 関数によって生成されるイデアルに包含されることを提供する。
3. 3変数および4変数の $p$ 進 $L$ 関数： 著者らは、中心的なクリティカルな $p$ 進 $L$ 関数を構成し、利用する。彼らは、中心的なクリティカルな $p$ 進 $L$ 関数 $L^{cc}_p(\mathbf{f}_\infty/K, k)$ の $k=2$ における消滅の次数を、特定のセルマー群のポントリャーギン双対の長さに関連付ける。
4. ネコヴァール（Nekovář）のセルマー複体： セルマー群の構造を解析するために、著者らはネコヴァールのセルマー複体の理論を用いる。これにより、これらの複体のコホモロジーに対する $p$ 進ウェイト・ペアリングを定義することが可能となる。
5. コントロール定理とペアリングの計算： 無限拡大上のセルマー群を基底体上の厳密なセルマー群に関連付けるコントロール定理を証明することが、極めて重要なステップとなる。楕円曲線上の点の $p$ 進対数に関連する $p$ 進ウェイト・ペアリングを計算することによって、著者らはセルマー加群の正確な長さを決定する。

主要な貢献と結果
本論文は、以下の主定理（Theorem 1.3 / Theorem 9.2）を確立している：

• 主定理： $F$ を実二次体とし、$p > 5$ を $F$ で不活性な素数とする。$E/F$ を、$\mathfrak{p} | p$ において分裂型マルチプリカティブ還元を持つ楕円曲線とする。残留表現が絶対既約（irred）であり、かつ最小のモジュラー・リフティング（MML）が存在すると仮定する。このとき、もし：

  1. $\text{rank}_{\mathbb{Z}} E(F) = 1$ であり、
  2. テイト・シャファレヴィッチ群 $\text{Ш}(E/F)_{p^\infty}$ の $p$ 部分が有限であるならば、
     解析的ランクは1である：$\text{ord}_{s=1} L(E/F, s) = 1$。

• 同値性： ザング（Zhang）によるグロス・ザギエの定理の一般化と組み合わせることで、著者らはランク1の場合の同値性を確立している：
  $$\text{rank}_{\mathbb{Z}} E(F) = 1 \text{ かつ } \#\text{Ш}(E/F) < \infty \iff \text{ord}_{s=1} L(E/F, s) = 1$$

• $\mathbb{Q}$ への適用： 結果として、著者らは $\mathbb{Q}$ 上の楕円曲線に対する強化された $p$-逆定理（Theorem 1.5）を証明している。彼らは、Venerucci による先行研究 [Ven16] で必要とされていた（特定の性質を持つ特定の素数 $q$ の存在という）技術的な仮定を、$p > 5$ かつ $E$ が $p$ で分裂型マルチプリカティブ還元を持つ場合には取り除いている。

意義と主張
本論文は、実二次体上の楕円曲線に対して、ランク1の $p$-逆定理を確立した最初の研究であると主張している。その意義は以下の点にある：

• 範囲の拡張： ヒルベルト・モジュラー形式の性質や二次拡大における素数の振る舞いによる複雑性が増すため、有理体 $\mathbb{Q}$ を超えて実二次体へと領域を広げている。
• 既存の結果の洗練： $\mathbb{Q}$ 上への適用は、実二次体上で開発された戦略が、制限的な仮定を取り除くことによって、$\mathbb{Q}$ 上の既存の結果を簡略化し、強化できることを示している。
• 手法の統合： 本研究は、非CM（non-CM）の設定において、Wan のイワサワ主予想、ネコヴァールのセルマー複体、および $p$ 進ウェイト・ペアリングをうまく統合し、分裂型マルチプリカティブ還元のケースを扱うことに成功している。

著者らは、Wan の定理で使用されている藤原（Fujiwara）の結果による制約から、ガロア表現の射影像に関する特定のエクセプショナルなケースを除けば、結果は $p=5$ でも成立すると述べている。最後に、これらの手法は、レオポルト（Leopoldt）の予想が成り立つ一般的な全実数体へ拡張できる可能性があることを示唆しているが、CM ケースにはおそらく異なる手法が必要になるであろうことも認めている。