Mod $\ell$ non-vanishing of self-dual Hecke $L$-values over CM fields and applications

这是一篇关于数论，特别是自守形式、L-函数和 Iwasawa 理论的学术论文。论文由 Ashay Burungale, Wei He, Ye Tian 和 Xiangdong Ye 撰写，主要研究了CM 域上自对偶 Hecke 特征的中心 L-值在模 $\ell$ 意义下的非零性，并以此完善了 Hsieh 关于 CM Iwasawa 主猜想的证明。

以下是对该论文的详细技术总结：

1. 研究背景与问题 (Problem)

• 核心问题：研究在 $p$-adic 自对偶族中，CM 域 $K$ 上自对偶 Hecke 特征 $\lambda$ 的中心 L-值 $L(1, \lambda\nu)$ 是否非零。具体而言，关注两个层面的非零性：
  1. 复数域上的非零性 (Q1)：对于除有限个外所有的有限阶特征 $\nu$，$L(1, \lambda\nu) \neq 0$ 是否成立？
  2. 模 $\ell$ 非零性 (Q2)：对于素数 $\ell \neq p$，归一化的代数部分 L-值 $L_{alg}(1, \lambda\nu)$ 的 $\ell$-adic 赋值 $v_\ell(L_{alg}(1, \lambda\nu))$ 是否等于某个由局部不变量决定的下界（即非零性在模 $\ell$ 下成立）？
• 现有研究的局限：
  • Hida 之前的工作（基于 Hilbert 模形式和模 $\ell$ 的 André-Oort 猜想类比）证明了对于 Zariski 稠密的特征子集非零，但在 $p$ 的度数 $\deg p = 1$ 时，未能证明“除有限个外所有”特征的非零性。
  • 2018 年发现 Hida 策略中存在漏洞（关于 CM 点在自乘积上的 Zariski 稠密性证明），导致 Hsieh (2014) 关于 CM Iwasawa 主猜想中 Eisenstein 同余整除性的证明不完整。
  • Finis 的工作虽然证明了除有限个外非零，但依赖于椭圆单位，难以推广到一般的 CM 域。

2. 方法论 (Methodology)

作者提出了一种全新的方法，结合了自守表示理论、算术几何和遍历理论，主要步骤如下：

1. Theta 对应与 Shimura 集：

   • 利用 Theta 对应，将 $K$ 上的单位群 $U(1)$ 问题转化为 $K$ 上全定酉群 $U(2)$（对应全定四元代数 $B$）上的问题。
   • 在由全定四元代数 $B$ 定义的 Shimura 集（Shimura set）上研究模形式。

2. 显式 Waldspurger 公式：

   • 利用 Cai-Shu-Tian 的工作，建立了 Rankin-Selberg L-值 $L(1/2, \pi_\lambda \otimes \chi_0\nu)$ 与 Shimura 集上测试向量（test vector）的 Toric 周期（Toric periods）之间的显式关系。
   • 证明了归一化后的 L-值具有 $\ell$-整性。

3. 遍历理论与特殊点的等分布：

   • 利用 Ratner 关于单流（unipotent flows）的遍历性，证明 Shimura 集上特殊点（CM 点）的像具有等分布性。
   • 这是证明模 $\ell$ 非零性的关键。作者通过研究 Toric 周期在 Galois 轨道上的平均值，将其转化为特殊点在 Shimura 集自乘积上的分布问题。

4. 非 Eisenstein 性质与分量分析：

   • 在 CM 情形下，Shimura 集可以分解为两个分量 $X_U = X_U^+ \sqcup X_U^-$。
   • 作者证明测试向量 $f_\lambda \pmod \ell$ 在由 $\epsilon$-因子决定的特定分量上是 非 Eisenstein 的（即非零且不落在 Eisenstein 子空间中）。
   • 这一性质使得 Toric 周期的非零性得以确立，进而推导出 L-值的非零性。

5. 周期比较 (Period Comparison)：

   • 为了从 Rankin-Selberg L-值的非零性推导回 Hecke L-值的非零性，作者比较了四元代数上的周期 $\Omega_\lambda$ 与 CM 周期 $\Omega_\infty$。
   • 利用辅助素数和 Hida 的策略，证明了这两个周期的 $\ell$-adic 估值关系，从而确定了 $L_{alg}(1, \lambda\nu)$ 的精确 $\ell$-adic 估值。

3. 主要结果 (Key Results)

• 定理 1.1 (复数域非零性)：
  设 $K$ 为 CM 域，$F$ 为其最大全实子域，$\lambda$ 为自对偶 Hecke 特征，$p$ 为 $F$ 上在 $K$ 中未分歧且度数为 1 的素数。则对于除有限个外所有的 $\nu \in \Xi_{\lambda,p}^+$（满足 $\epsilon(\lambda\nu)=+1$），有：
  $$L(1, \lambda\nu) \neq 0$$
  这解决了 Hida 策略中的缺口，证明了“除有限个外所有”而非仅仅是“Zariski 稠密子集”。

• 定理 1.4 (模 $\ell$ 非零性与估值)：
  在 $\ell$ 为 $K/F$ 的普通素数且 $\ell \neq p$ 的条件下，对于除有限个外所有的 $\nu \in \Xi_{\lambda,p}^+$，有：
  $$v_\ell(L_{alg}(1, \lambda\nu)) = \mu_\ell(\lambda)$$
  其中 $\mu_\ell(\lambda)$ 是由局部不变量定义的常数（与 Tamagawa 数相关）。这给出了 L-值 $\ell$-adic 赋值的精确公式。

• 推论 1.2 (Mordell-Weil 秩)：
  应用上述结果，证明了相关 CM 阿贝尔簇 $A_\lambda$ 在 $p$-反循环扩张 $K_{p^\infty}$ 上的 Mordell-Weil 群是有限生成的。

• 定理 1.6 与 6.7 (CM Iwasawa 主猜想)：
  利用上述非零性结果，修补了 Hsieh (2014) 证明中的漏洞，完成了 CM Iwasawa 主猜想中关于 Eisenstein 同余整除性 的证明。即 Katz $p$-adic L-函数整除 Selmer 群的特征理想：
  $$L_\Sigma(\psi) \mid F_\Sigma(\psi)$$

4. 技术贡献与创新点 (Contributions)

1. 统一且更强的非零性结果：
   相比 Hida 之前的结果（仅对 Zariski 稠密子集成立），本文证明了在 $\deg p = 1$ 时，非零性对“除有限个外所有”特征成立。这填补了 Hsieh 证明中的关键缺口。

2. 新的证明策略：

   • 摒弃了依赖椭圆单位或模 $\ell$ Hilbert 模形式几何的方法。
   • 引入了 Shimura 集上的 CM 模形式 和 Ratner 遍历理论。
   • 特别地，处理了 CM 情形下测试向量仅在特定分量上非零（而非所有分量）的微妙情况，通过精细的分量分析（Proposition 4.17）解决了这一难题。

3. 周期比较公式：
   建立了四元代数周期与 CM 周期之间的 $\ell$-整性比较关系（Theorem 1.10），这是一个独立的技术成果，可能具有独立的算术意义。

4. 辅助特征 $\chi_0$ 的使用：
   在证明周期比较时，巧妙地引入辅助 Hecke 特征 $\chi_0$，简化了技术细节，避开了某些关于超奇异表示的显式测试向量构造。

5. 意义 (Significance)

• 解决长期悬案：直接解决了 Hsieh 关于 CM Iwasawa 主猜想证明中的不完整部分，使得该方向的整除性结果得以确立。
• 方法论的突破：展示了如何将遍历理论（Ratner 定理）应用于数论中的 L-值非零性问题，特别是处理 CM 情形下的特殊结构。这为研究更一般的自守 L-函数非零性提供了新范式。
• 算术应用：结果直接应用于 Mordell-Weil 群的有限生成性证明以及 BSD 猜想相关问题的研究（如 Selmer 群的长度估计）。
• 未来展望：作者指出，该方法可以推广到 $\deg p > 1$ 的情形（将在后续论文中讨论），并计划研究非普通素数 $\ell$ 的情形。

总结：这篇论文通过结合自守表示、Shimura 集算术和遍历理论，成功证明了 CM 域上自对偶 Hecke L-值在模 $\ell$ 意义下的强非零性，不仅修正了前人证明中的漏洞，完成了 CM Iwasawa 主猜想的关键一步，也为相关领域的算术研究开辟了新的路径。