論文「CM 付加性を持つ楕円曲線上の一般化されたカト類（Rank 2 における）」の技術的サマリー

著者: Francesc Castella
概要:
本論文は、有理数体 $\mathbb{Q}$ 上の CM（複素乗法）を持つ楕円曲線 $E$ において、$L$ 関数 $L(E, s)$ が $s=1$ で符号 $+1$ を持ち、かつ $s=1$ で零点を持つ（したがって、零点の位数 $\mathrm{ord}_{s=1}L(E, s) \ge 2$）という状況下で、一般化されたカト類（Generalised Kato class） $\kappa_p$ の構成とその非自明性を証明するものである。特に、ランクが 2 の場合におけるコリヴァギン（Kolyvagin）の定理のアナログを確立し、Selmer 群の次元と $\kappa_p$ の非自明性の関係を明らかにする。

---

1. 研究の背景と問題設定

• 問題: 楕円曲線 $E/\mathbb{Q}$ 上の有理点の系統的な構成は、Birch-Swinnerton-Dyer (BSD) 予想の進展における重要な未解決問題である。$L(E, s)$ の零点の位数が 1 の場合、Gross-Zagier と Kolyvagin による Heegner 点の構成が成功しているが、位数が 2 以上の場合（特にランク 2 の場合）の有理点や Selmer 類の構成は困難であった。
• 設定:
  • $E$ は虚二次体 $K$ による CM を持つ。
  • 素数 $p \ge 5$ は $E$ において良い通常還元（good ordinary reduction）を持ち、$K$ において分裂する（$p\mathcal{O}_K = \mathfrak{p}\bar{\mathfrak{p}}$）。
  • $L(E, s)$ の関数等式の符号は $+1$ であり、$s=1$ で零点を持つ（$\mathrm{ord}_{s=1}L(E, s) \ge 2$）。
• 目標: この状況下で、$p$-進 Selmer 群 $\mathrm{Sel}(\mathbb{Q}, V_pE)$ の非自明な元（ランク 2 の regulator として機能する）を構成し、その性質を解析すること。

2. 主要な手法と理論的枠組み

本論文は、Darmon-Rotger による一般化されたカト類の構成を CM 曲線に合わせて修正し、対角サイクルの主要予想（Diagonal Cycle Main Conjecture） と 反円環 Iwasawa 理論 を結びつけることで証明を行っている。

2.1. Hida 族と対角サイクル

• 3 つの Hida 族 $(\phi, g, h)$ の組を考え、これらに対応する Galois 表現のテンソル積の自己双対な twist $V^\dagger$ を定義する。
• Darmon-Rotger や Bertolini-Seveso-Venerucci の仕事に基づき、大対角類（Big diagonal class） $\kappa(\phi, g, h) \in H^1(\mathbb{Q}, V^\dagger)$ を構成する。これは $p$-進族における一般化された Gross-Kudla-Schoen 対角サイクルの $p$-進 Abel-Jacobi 写像の補間として得られる。
• 本論文では、$\phi$ を $E$ に関連する CM 形式、$g, h$ を同じ虚二次体 $K$ に関する CM 形式とする特殊な場合を扱う。

2.2. 対角サイクル主要予想の証明（定理 A）

• 主要予想: 大対角類 $\kappa(\phi, g, h)$ が $R$-ねじれ元でなく、平衡 Selmer 群 $\mathrm{Sel}_{\mathrm{bal}}$ とその双対 $X_{\mathrm{bal}}$ がランク 1 であり、それらの特性イデアルが $\kappa$ によって生成されるべきであるという予想（Conjecture A）。
• CM 場合の証明: 著者は、$L$-関数の因子分解と Selmer 群の分解を用いて、この予想を CM 場合に証明する。
  • Selmer 群の分解: 平衡 Selmer 群 $\mathrm{Sel}_{\mathrm{bal}}(\mathbb{Q}, V^\dagger_{\phi gh})$ が、Hecke 指標に付随する通常の（または局所条件を反転させた）反円環 Selmer 群の直和に分解されることを示す。
  • $p$-進 $L$-関数の因子分解: 三重積 $p$-進 $L$-関数 $L^\phi_p(\phi, g, h)$ が、4 つの Katz の反円環 $p$-進 $L$-関数の積として因子分解されることを示す（命題 3.3.1）。
  • Iwasawa 主予想への帰着: Rubin や Agboola-Howard による虚二次体 $K$ 上の Iwasawa 主予想の結果を用いて、分解された Selmer 群の特性イデアルが $L$-関数によって生成されることを確認し、主要予想を証明する。

2.3. 一般化されたカト類 $\kappa_p$ の構成

• 上記の構成において、$\phi, g, h$ を $E$ の Grossencharacter $\psi_E$ と関連付けるように選択する（$\psi_E = \lambda_0 \lambda_1^c \lambda_2^c$ となるように）。
• 大対角類 $\kappa(\phi, g, h)$ を特定の射影と特殊化（$W_1=0$ など）を通じて $H^1(\mathbb{Q}, V_pE)$ に写像し、一般化されたカト類 $\kappa_p$ を定義する。
• 明示的な相互法則（Explicit reciprocity law）を用いて、$L(E, 1)=0$ ならば $\kappa_p$ が Selmer 群 $\mathrm{Sel}(\mathbb{Q}, V_pE)$ に属することを示す（補題 6.1.3）。

3. 主要な結果

定理 B（ランク 2 におけるコリヴァギンのアナログ）

$L(E, s)$ が $s=1$ で正の偶数位数で零点を持つとき、以下の関係が成り立つ：

1. 非自明性から次元への implication:
   $$\kappa_p \neq 0 \implies \dim_{\mathbb{Q}_p} \mathrm{Sel}(\mathbb{Q}, V_pE) = 2$$
   即ち、$\kappa_p$ が非自明であれば、Selmer 群の次元は少なくとも 2 であり、実際には 2 である。
2. 逆方向の同値性:
   もし $\dim_{\mathbb{Q}_p} \mathrm{Sel}(\mathbb{Q}, V_pE) = 2$ ならば、
   $$\kappa_p \neq 0 \iff \mathrm{res}_p: \mathrm{Sel}(\mathbb{Q}, V_pE) \to E(\mathbb{Q}_p) \hat{\otimes} \mathbb{Q}_p \neq 0$$
   ここで $\mathrm{res}_p$ は $p$ における制限写像である。
   • 重要な洞察: 従来の予想（Darmon-Rotger）では、Selmer 群が 2 次元であれば $\kappa_p$ は自動的に非自明だと考えられていたが、本論文は制限写像が非零であることが $\kappa_p$ の非自明性にとって必要十分条件であることを示した。

定理 C（ランク 2 における Selmer 基底の構成）

$p$-進 BSD 予想の仮定（$L_p(s)$ の零点の位数が 2 など）の下で、$\mathrm{Sel}(\mathbb{Q}, V_pE)$ は 2 次元であり、その基底は以下の 2 つの元で構成される：

1. 一般化されたカト類 $\kappa_p$（これは制限写像の核 $\ker(\mathrm{res}_p)$ を生成する）。
2. 導かれた楕円単位（Derived elliptic unit）$x_p^{(2)}$（これは $\mathrm{res}_p$ に対して非零である）。
   これにより、ランク 2 の Selmer 群の明示的な $\mathbb{Q}_p$-基底が構成された。

4. 技術的な貢献と新規性

1. CM 場合への拡張: 従来の Darmon-Rotger や著者自身の Hsieh との共同研究（CH22）は、非 CM 曲線や特定の乗法的還元を持つ曲線に限定されていた。本論文は、CM 曲線という、それらの手法では扱えなかったケースを、新しい Iwasawa 理論的アプローチ（対角サイクル主要予想と反円環 Iwasawa 理論のリンク）によって解決した。
2. 制限写像の必要性の証明: ランク 2 の状況において、Selmer 類の非自明性が単に Selmer 群の次元だけでなく、$p$ における局所的な振る舞い（制限写像の非零性）に依存することを厳密に証明した。これは、$\kappa_p$ が「ランク 2 の $p$-進 regulator」としての役割をより明確にした。
3. 対角サイクル主要予想の CM 場合の証明: 2 変数の特殊化における対角サイクル主要予想（Conjecture A）を、CM 条件下で初めて証明した。これは、三重積 $L$-関数の因子分解と Selmer 群の分解という強力な構造を利用している。
4. 基底の明示的構成: 理論的な存在証明だけでなく、$\kappa_p$ と導かれた楕円単位を用いた具体的な基底の構成を示した。

5. 意義と将来への影響

• BSD 予想への貢献: 高次零点（ランク 2 以上）における有理点や Selmer 類の構成は、BSD 予想の完全な解決に向けた重要なステップである。本論文は、ランク 2 の場合における $p$-進アプローチの確立に寄与している。
• Iwasawa 理論の発展: CM 楕円曲線における Iwasawa 主予想と対角サイクルの関係を解明し、今後の高次元やより一般的な設定への応用の道を開いた。
• 数論的幾何: 一般化されたカト類の非自明性と $L$-関数の零点の関係を、$p$-進解析と Selmer 群の構造を通じて深く結びつけた。

総じて、本論文は CM 楕円曲線のランク 2 における $p$-進数論の重要な進展であり、Darmon-Rotger のプログラムを CM 世界に拡張し、その非自明性の条件を精密化した画期的な成果である。