Congruent modular forms and anticyclotomic Iwasawa theory

基本信息

• 论文ID: 2503.00247
• 标题: Congruent modular forms and anticyclotomic Iwasawa theory
• 作者: Dac-Nhan-Tam Nguyen (University of British Columbia)
• 分类: math.NT (Number Theory)
• 发表时间: 2025年3月 (arXiv v2: 2025年10月23日)
• 论文链接: https://arxiv.org/abs/2503.00247

摘要

本文研究同余模形式在反圆分Iwasawa理论中的应用。设$p$为奇素数，考虑满足虚二次域$K$上Heegner假设的正规化newform $f_1, f_2$，并假设它们诱导同构的剩余Galois表示。Greenberg-Vatsal和Emerton-Pollack-Weston的工作比较了$f_1$和$f_2$的圆分Iwasawa $\mu$和$\lambda$-不变量。本文将这一结果推广到反圆分不定情形，通过比较附加到$f_1$和$f_2$的BDP $p$-adic $L$-函数，获得了关于广义Heegner循环和Iwasawa主猜想的算术推论。

研究背景与动机

问题背景

1. 核心问题：研究具有同构剩余Galois表示的模形式之间的算术关系，特别是它们的$p$-adic $L$-函数和Iwasawa不变量之间的联系。
2. 重要性：
   • Iwasawa理论是现代数论的核心领域，连接着模形式、Galois表示和$L$-函数
   • Heegner循环在椭圆曲线的BSD猜想研究中扮演关键角色
   • 反圆分Iwasawa理论为理解模形式的算术性质提供了重要工具
3. 现有研究的局限：
   • Greenberg-Vatsal 1 和Emerton-Pollack-Weston 2 的工作主要集中在圆分扩张情形
   • 在反圆分不定设置中，只有权重2的部分结果（Kriz-Li 9,10）
   • 对于高权重模形式和广义Heegner循环，缺乏系统的比较理论
4. 研究动机：
   • 将圆分情形的经典结果推广到反圆分不定设置
   • 建立BDP $p$-adic $L$-函数之间的同余关系
   • 探索对Heegner循环和Iwasawa主猜想的算术应用

核心贡献

1. 建立了反圆分不定设置下的同余理论：证明了具有同构剩余表示的模形式$f_1, f_2$，其BDP $p$-adic $L$-函数满足模$\varpi^m$同余（Theorem 5.12，即Theorem A）
2. 引入了Hecke算子的模解释：在Igusa概型的Serre-Tate坐标框架下，给出了Hecke算子$V_\ell$的几何解释（Section 5.2），这对于研究$p$-adic $L$-函数的变化至关重要
3. 推广了权重2的已知结果：将Kriz-Li 9,10关于权重2情形的结果推广到任意权重$2r$的模形式和广义Heegner循环
4. 获得了Iwasawa不变量的比较定理：
   • $\mu(L_p(f_1)) = 0 \Leftrightarrow \mu(L_p(f_2)) = 0$
   • 在$\mu$-不变量为0时，给出了$\lambda$-不变量的精确关系
5. 应用到广义Heegner循环：通过$p$-adic Gross-Zagier公式，得到了Heegner循环对数之间的同余关系（Theorem 6.2, 6.3）
6. Iwasawa主猜想的传播性质：证明了如果$f_1$满足Iwasawa主猜想，则在适当条件下$f_2$也满足该猜想（Theorem 7.5）

方法详解

任务定义

输入：两个正规化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$-adic $L$-函数$L_p(f_1)$和$L_p(f_2)$之间的同余关系
• Iwasawa $\mu$和$\lambda$-不变量的比较
• 对Heegner循环和Iwasawa主猜想的算术推论

理论框架

1. BDP $p$-adic $L$-函数的构造

BDP $p$-adic $L$-函数是通过CM点上$p$-adic模形式的值构造的。对于满足Heegner假设的newform $f \in S_{2r}(\Gamma_0(N))^{\text{new}}$：

定义 (Definition 4.1)：设$\psi$为无穷型$(r,-r)$、导子$c_0\mathcal{O}_K$的反圆分Hecke特征，定义$L_{p,\psi}(f)$为$\tilde{\Gamma}$上的$p$-adic测度：

$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$-adic化身。

通过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$-adic模形式上的$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多项式