Asymptotics of Hecke polynomial coefficients on the Atkin-Lehner eigenspaces

技术摘要：Atkin-Lehner 特征空间上 Hecke 多项式系数的渐近行为

问题陈述
本文研究了作用在具有特定 Atkin-Lehner 符号模式的尖点形式空间上的归一化第 $m$ 个 Hecke 算子 $T'_m$ 的特征多项式系数的渐近行为。令 $S_k(N)$ 为权重为 $k$、能级为 $N$ 的尖点形式空间。该空间根据 Atkin-Lehner 对合 $W_Q$（对于精确除数 $Q \parallel N$）的特征值 $\sigma(Q) \in \{\pm 1\}$ 分解为特征空间 $S_k^\sigma(N)$。

特征多项式定义为：
$$T'_m(N, k, \sigma)(x) = \sum_{0 \le r \le d} c_r(m, N, k, \sigma) x^{d-r}$$
其中 $d = \dim S_k^\sigma(N)$。虽然在全空间 $S_k(N)$ 和新空间 $S_k^{new}(N)$ 上系数的渐近行为已有研究（见文献 [20]），但在更精细的分解 $S_k^\sigma(N)$ 和 $S_k^{new, \sigma}(N)$ 上的行为仍是一个开放问题。作者旨在确定这些子空间中的系数是否表现出稳定的渐近符号，并为这些行为建立显式界限。

方法论
作者结合使用了代数恒等式和解析迹公式：

1. Newton-Girard 恒等式： 系数 $c_r$ 通过 Newton-Girard 恒等式与 $T'_m$ 特征值的幂和（矩）$p_j$ 相关联。具体而言，$c_r = -\frac{1}{r} \sum_{j=1}^r c_{r-j} p_j$。这使得将估计系数的问题转化为估计 Hecke 算子幂次的迹的问题。
2. 显式迹公式： 核心技术工具是针对 $S_k^\sigma(N)$ 上 $T'_m$ 的显式迹公式，该公式在**附录 A（命题 A.5）**中给出。该公式提供了一个主项和一个涉及 Dedekind psi 函数 $\psi(N)$、$\omega(N)$ 以及类数的显式误差界 $E_{k, \sigma}(m, N)$。
3. 渐近分析：
   • 对于平方数 $m$，作者分析了当 $N + k \to \infty$ 时的极限。
   • 对于非平方数 $m$，他们分析了保持 $N$ 固定时 $k \to \infty$ 的极限。
   • 他们利用 Hurwitz 类数界限和约数函数的性质来估计误差项。
4. 反例构造： 为了处理非平方数 $m$ 在 $N$-极限下的行为，作者利用素能级和类数性质构造了特定的无穷对 $(N, \sigma)$ 族，以展示符号振荡现象。

主要贡献与结果

• 平方数 $m$ 的渐近行为：
  定理 1.1 确立了对于平方数 $m$，当 $N+k \to \infty$ 时，第 $r$ 个系数的行为如下：
  $$c_r(m, N, k, \sigma) = \frac{(-1)^r}{r!} \left( \frac{1}{\sqrt{m}} \frac{k-1}{12} \frac{\psi(N)}{2^{\omega(N)}} \right)^r + O_{m}(k^{r-1}N^{r-1/2+\varepsilon})$$
  推论 1.3 由此得出，对于平方数 $m$，对于除了有限个三元组 $(N, k, \sigma)$ 之外的所有情况，$c_r$ 的符号为 $(-1)^r$。

• 非平方数 $m$ 的渐近行为：
  定理 1.2 确定了非平方数 $m$ 在 $k \to \infty$ 时的行为。偶系数 $c_{2r}$ 满足：
  $$c_{2r} = \frac{(-1)^r}{(2r)!!} \left( \frac{\sigma_1(m)}{m} \frac{k-1}{12} \frac{\psi(N)}{2^{\omega(N)}} \right)^r + O_{m,N}(k^{r-1})$$
  奇系数 $c_{2r+1}$ 由迹 $c_1$ 主导。推论 1.4 指出，对于非平方数 $m$，对于除了有限个 $k$ 之外，$c_{2r}$ 的符号为 $(-1)^r$。

• $N$-极限下的符号振荡：
  与全空间（其中系数在 $N \to \infty$ 时符号趋于稳定）的情况相反，定理 1.5 证明了对于非平方数 $m$ 和固定的偶数 $k$，存在无穷多个 $(N, \sigma)$ 对使得 $c_2(m, N, k, \sigma)$ 为正，以及无穷多个使得其为负。这是通过分析素能级 $N=p$ 的迹公式实现的，其中符号取决于与 $H(4mp)^2$ 成比例的项与与 $-(p+1)$ 成比例的项之间的竞争。

• 向新空间的扩展：
  第 6 节 将所有主要定理扩展到新空间 $S_k^{new, \sigma}(N)$，前提是符号模式 $\sigma$ 是“容许的”（排除了 $4 \parallel N$ 且 $\sigma(4)=+1$ 的情况）。渐近形式是类似的，涉及一个修正后的函数 $\psi^{new}(N)$。

• 显式界限：
  命题 7.1 和 7.2 提供了保证推论 1.3 和 1.4 中符号预测对第二系数 $c_2$ 成立的显式、有效不等式。这些界限是从迹公式中的显式误差项中推导出来的。

意义与主张
本文声称将 Hecke 多项式系数的研究从全局空间扩展到了尊重 Hecke 算子和 Galois 共轭的最精细自然分解：即 Atkin-Lehner 特征空间。

• 全局属性的细化： 本研究表明，虽然某些属性（如平方数 $m$ 时系数的渐近符号）在更精细的特征空间中依然存在，但其他属性（特别是非平方数 $m$ 时作为 $N \to \infty$ 的符号稳定性）则不然。这突显了全局空间与其特征空间分解之间的根本区别。
• 显式迹公式： 一个主要的贡献是推导了针对 $S_k^\sigma(N)$ 上 $T'_m$ 的显式迹公式（命题 A.5）。作者指出该公式具有独立的研究价值，理由是它对于在即将发表的论文 [13] 中证明 Hecke 特征值的有效等分布性是必要的，并且有助于将新空间维数为零的分类（如 [16] 中所述）扩展到一般权重。
• 关于非零性的猜想： 作者提出了猜想 1.6，断言在这些空间中，对于 $k \ge 8$，第二系数 $c_2$ 是非零的，这一说法已通过大量参数范围内的计算得到了验证。

作者对本文的应用保持谦逊，指出迹公式“将对他人有用”，用于解决超出本文直接研究范围（如系数渐近行为）的问题，例如等分布性和维数分类，而未对未经验证的未来影响进行臆测。