Towards a generalized Maeda conjecture for modular forms with quadratic nebentypus

技术摘要：迈向具有二次 Nebentypus 的模形式的广义 Maeda 猜想

问题陈述
本文探讨了当权 $k$ 增加时，空间 $S_k(\Gamma_0(N), \Psi)$ 中新形式 Galois 轨道数量的渐近行为。虽然 Maeda 猜想预测水平为 1 时存在单个 Galois 轨道，但较高的水平通常会产生多个轨道。Dieulefait、Pacetti 和 Tsaknias (DPT21) 先前的工作利用局部惯性型（local inertial types）和 Atkin-Lehner 符号作为全局不变量，为平凡 Nebentypus 建立了非 CM Galois 轨道数量 $N_{CM}(N, k)$ 的下界。本文将该框架扩展至二次 Nebentypus $\Psi$ 非平凡的情形。在此设定下的主要挑战在于，经典的 Atkin-Lehner 理论无法直接适用，且除非 $\Psi$ 是 Galois 不变的（这对二次特征成立），否则 Galois 作用并不保持空间 $S_k(\Gamma_0(N), \Psi)$。

方法论
作者开发了一个局部 - 全局框架，用于计算定义 Galois 轨道的容许不变量对。方法论分为三个主要阶段：

1. 惯性型的局部分析：
   本文在二次中心特征约束下，分析了 $GL_2(\mathbb{Q}_p)$ 局部惯性型的 Galois 轨道。利用局部 Langlands 对应，作者将表示分类为主序列（principal series）、Steinberg（特殊）和超分歧（supercuspidal）类型。他们显式计算了奇素数 $p$ 的不同局部惯性型 Galois 轨道的数量，记为 $LT(p^n, \Psi)$，区分了 tame 分歧和未分歧的局部 Nebentypus 情形。这涉及对二次扩张中单位群的详细群论分析，以及绝对 Galois 群对原始特征的作用。

2. 全局不变量与 Atkin-Li 伪特征值：
   为了细化计数，作者引入了Atkin-Li 伪特征值作为第二个不变量。他们建立了这些伪特征值的 Galois 等变性（定理 4.5），表明在 Galois 共轭 $\sigma$ 下，特征值变换为 $\lambda_p(f^\sigma) = \Psi_p(\chi_p(\sigma))\sigma(\lambda_p(f))$。由于 $\Psi$ 是二次的，这导致在单位圆 $S^1$ 上产生一个等价关系 $\sim$。
   至关重要的是，作者解决了高次分歧扭曲可能掩盖原始特征值的问题。他们定义了最小 Atkin-Li 伪特征值（通过最小二次扭曲），以确保该不变量是良定义的且具有 Galois 等变性。
   定理 4.13 确定了何时局部类型唯一地固定伪特征值，以及何时允许两个相差一个符号的值。这导致将局部类型分类为对称轨道（其中 $\lambda \sim -\lambda$）和非对称轨道（其中 $\lambda \not\sim -\lambda$）。

3. 存在性与实现：
   本文证明了对于足够大的权，每一个相容的局部惯性型轨道与最小 Atkin-Li 伪特征值等价类的对，都由一个非 CM 新形式实现。这依赖于 Weinstein（针对主序列）以及 Kim-Shin-Templier（针对离散序列）的极限重数结果。对水平 $N$ 施加了限制：它必须是素数幂，或者对所有 $p|N$ 满足 $v_p(N) \ge 3$（奇数），以确保可以通过迹公式方法同时固定指定的局部表示。

主要贡献与结果

• 下界框架的扩展： 本文将 DPT21 的下界推广至二次 Nebentypus。它定义了 $LO(p^n, \Psi)$ 为局部型 Galois 轨道与最小 Atkin-Li 伪特征值等价类的相容对的数量。
• 显式计数公式： 作者提供了 $LT(p^n, \Psi)$ 和 $LO(p^n, \Psi)$ 的显式公式（表 4–7），涵盖了 tame 分歧和未分歧的局部 Nebentypus 情形，并区分了 $p=3$ 和 $p \neq 3$ 的情况。
• 主定理（定理 1.1）： 对于满足指定条件的 $N$ 和二次特征 $\Psi$，存在一个 $k_0$，使得对于所有 $k \ge k_0$：
  $$\prod_{p|N} LO(p^{v_p(N)}, \Psi) \le N_{CM}(N, k, \Psi)$$
  这确立了非 CM Galois 轨道数量的具体下界。
• 对称与非对称轨道： 一个新颖的贡献是区分了关于伪特征值符号的对称与非对称轨道。作者表明，虽然局部分析确定了类型的数量，但全局 Galois 作用决定了两个可能的符号（$\lambda, -\lambda$）是坍缩为一个不变量还是保持不同。这在最终计数公式中引入了参数 $|S_{asym}|$，若无全局数据，该参数并不总能被显式计算。
• 计算证据： 利用 LMFDB 的数据，作者证明对于小权，严格不等式 $LO < N_{CM}$ 可能发生。这表明，在局部上不同的不变量，可能被 Galois 作用以一种小权形式局部系数域尚未能实现的方式加以识别。

意义与主张
本文声称提供了二次 Nebentypus 设定下 Galois 轨道数量的首个系统性下界，填补了先前关于平凡 Nebentypus 工作留下的空白。作者断言，他们的框架成功地将“局部 - 全局”计数策略适应于一个中心特征施加严格约束、且经典 Atkin-Lehner 符号被伪特征值取代的设定。

本文对于精确的渐近计数保持谦逊。虽然基于广义 Maeda 哲学，作者猜想下界 $LO(N)$最终可能等于$N_{CM}(N, k, \Psi)$，但所呈现的计算证据表明，对于二次 Nebentypus，即使对于大权，不等式也可能是严格的。这意味着某些局部等价（特别是关于伪特征值符号的等价）并不总是通过模形式系数域上的 Galois 共轭在全局上实现，这是一种在平凡 Nebentypus 情形中不存在的现象。这项工作为理解具有非平凡特征的模形式的渐近行为奠定了基础，尽管显式确定非对称轨道的贡献对于一般水平仍然是一个挑战。