合同モジュラー形式と反円分岩澤理論

基本情報

• 論文ID: 2503.00247
• タイトル: Congruent modular forms and anticyclotomic Iwasawa theory
• 著者: Dac-Nhan-Tam Nguyen (ブリティッシュコロンビア大学)
• 分類: math.NT (数論)
• 発表時期: 2025年3月 (arXiv v2: 2025年10月23日)
• 論文リンク: https://arxiv.org/abs/2503.00247

要旨

本論文は、反円分岩澤理論における合同モジュラー形式の応用を研究する。$p$を奇素数とし、虚二次体$K$上のHeegner仮説を満たす正規化newform $f_1, f_2$を考え、それらが同型の剰余Galois表現を誘導すると仮定する。Greenberg-VatsalおよびEmerton-Pollack-Westonの研究は、$f_1$と$f_2$の円分岩澤$\mu$および$\lambda$-不変量を比較した。本論文は、この結果を反円分不定の場合に推広し、$f_1$と$f_2$に付随するBDP $p$進$L$-関数を比較することにより、一般化Heegner循環と岩澤主予想に関する算術的推論を得た。

研究背景と動機

問題背景

1. 中心的問題：同型の剰余Galois表現を持つモジュラー形式間の算術的関係、特にそれらの$p$進$L$-関数と岩澤不変量間の連結を研究する。
2. 重要性：
   • 岩澤理論は現代数論の中核領域であり、モジュラー形式、Galois表現、$L$-関数を結びつける
   • Heegner循環は楕円曲線のBSD予想研究において重要な役割を果たす
   • 反円分岩澤理論は、モジュラー形式の算術的性質を理解するための重要なツールを提供する
3. 既存研究の限界：
   • Greenberg-Vatsal 1およびEmerton-Pollack-Weston 2の研究は主に円分拡張の場合に集中している
   • 反円分不定設定では、重さ2の部分的結果のみ存在する（Kriz-Li 9,10）
   • 高重さモジュラー形式と一般化Heegner循環に対して、体系的な比較理論が欠けている
4. 研究動機：
   • 円分の場合の古典的結果を反円分不定設定に推広する
   • BDP $p$進$L$-関数間の合同関係を確立する
   • Heegner循環と岩澤主予想への算術的応用を探索する

核心的貢献

1. 反円分不定設定における合同理論の確立：同型の剰余表現を持つモジュラー形式$f_1, f_2$に対して、それらのBDP $p$進$L$-関数が$\varpi^m$を法とした合同を満たすことを証明した（Theorem 5.12、すなわちTheorem A）
2. Hecke作用素の模形式的解釈の導入：Igusa概型のSerre-Tate座標の枠組みの下で、Hecke作用素$V_\ell$の幾何学的解釈を与えた（Section 5.2）。これは$p$進$L$-関数の変化を研究する上で重要である
3. 重さ2の既知結果の推広：Kriz-Li 9,10による重さ2の場合の結果を、任意の重さ$2r$のモジュラー形式と一般化Heegner循環に推広した
4. 岩澤不変量の比較定理を得た：
   • $\mu(L_p(f_1)) = 0 \Leftrightarrow \mu(L_p(f_2)) = 0$
   • $\mu$-不変量が0の場合、$\lambda$-不変量の正確な関係を与えた
5. 一般化Heegner循環への応用：$p$進Gross-Zagier公式を通じて、Heegner循環の対数間の合同関係を得た（Theorem 6.2, 6.3）
6. 岩澤主予想の伝播性：$f_1$が岩澤主予想を満たす場合、適切な条件の下で$f_2$も該予想を満たすことを証明した（Theorem 7.5）

方法論の詳細説明

タスク定義

入力：2つの正規化Hecke固有newform $f_1 \in S_{2r_1}(\Gamma_0(N_1))^{\text{new}}$と$f_2 \in S_{2r_2}(\Gamma_0(N_2))^{\text{new}}$であって、以下を満たすもの：

• 虚二次体$K$上のHeegner仮説を満たす
• 同型の剰余Galois表現を誘導する：$\bar{\rho}_{f_1} \cong \bar{\rho}_{f_2} \pmod{\varpi^m}$

出力：

• BDP $p$進$L$-関数$L_p(f_1)$と$L_p(f_2)$間の合同関係
• 岩澤$\mu$および$\lambda$-不変量の比較
• Heegner循環と岩澤主予想への算術的推論

理論的枠組み

1. BDP $p$進$L$-関数の構成

BDP $p$進$L$-関数は、CM点上の$p$進モジュラー形式の値を通じて構成される。Heegner仮説を満たすnewform $f \in S_{2r}(\Gamma_0(N))^{\text{new}}$に対して：

定義 (Definition 4.1)：無限型$(r,-r)$、導子$c_0\mathcal{O}_K$の反円分Hecke特性$\psi$に対して、$\tilde{\Gamma}$上の$p$進測度$L_{p,\psi}(f)$を定義する：

$L_{p,\psi}(f)(\rho) = \sum_{[\mathfrak{a}]\in \text{Pic}\mathcal{O}_{c_0}} \psi(\mathfrak{a})N(\mathfrak{a})^{-r} \cdot \int_{\mathbb{Z}_p^\times} \psi_p\rho|_{[\mathfrak{a}]} d\hat{f}^\flat_{\mathfrak{a}}$

ここで$\hat{f}^\flat_{\mathfrak{a}}$は、$p$-depleted幾何モジュラー形式$f^\flat$のCM点$x_{\mathfrak{a}}$近傍における$p$進化身である。

twist操作を通じて以下を得る： $L_p(f) := \text{Tw}_{\hat{\psi}^{-1}}(L_{p,\psi}(f))$

$\theta$作用素（$t\frac{d}{dt}$）を使用して以下のように書き換えることができる： $L_p(f)(\rho) = (\sqrt{-D_K})^r \sum_{[\mathfrak{a}]\in \text{Pic}\mathcal{O}_K} ((\theta^{-r}\hat{f}^\flat)_{\mathfrak{a}} \otimes \rho|_{[\mathfrak{a}]})(A_{\mathfrak{a}}, \eta_{\mathfrak{a}})$

2. Hecke作用素のSerre-Tate座標解釈

これは本論文の重要な技術的革新である。素数$\ell \neq p$が$\ell = \mathfrak{v}\bar{\mathfrak{v}}$と分裂する場合：

定義 (Definition 5.4)：$p$進モジュラー形式上の$V_\ell$作用素を定義する： $V_\ell: \text{Ig}(N^\sharp) \to \text{Ig}(N^\sharp\ell^{-1})$$(A, \eta) \mapsto (A/C[\ell], \pi \circ \eta_{N^\sharp} \circ (\cdot)^{1/\ell} \times \check{\pi}^{-1} \circ \eta_p)$

重要補題 (Lemma 5.7)：CM点$x_{\mathfrak{a}} = (A_{\mathfrak{a}}, \eta_{\mathfrak{a}})$に対して、 $V_\ell(x_{\mathfrak{a}}) = x_{\mathfrak{v}^{-1}\mathfrak{a}}$

であり、Serre-Tate座標は以下を満たす： $t_{\mathfrak{v}^{-1}\mathfrak{a}}(V_\ell(x)) = t_{\mathfrak{a}}(x)^\ell$

この幾何学的関係は（Lemma 5.8）以下をもたらす： $((θ^{-r}V_\ell^* f)_{\mathfrak{a}} \otimes \phi)(x_{\mathfrak{a}}) = \ell^{-r}((θ^{-r}f)_{\mathfrak{v}^{-1}\mathfrak{a}} \otimes \phi)(x_{\mathfrak{v}^{-1}\mathfrak{a}})$

3. 安定化とEuler因子

定義 (Definition 5.9)：Euler多項式を定義する