An omega result for the first sign change of coefficients of symmetric power $L$-functions of Hecke-Maass cusp forms

技术摘要：关于 Hecke-Maass 尖点形式对称幂 L 函数系数首次符号变化的 $\Omega$ 结果

问题陈述
本文旨在解决确定系数首次符号变化幅度的问题，记为 $n_f$（在此背景下为 $n_{\text{sym}^m u_k}$），即与自守形式相关的 $L$ 函数的系数。具体而言，研究的是使得系数 $\lambda(n)$ 变为负数的最小正整数 $n$。

虽然对于全纯 Hecke 尖点形式的首次符号变化行为已有广泛研究（特别是 Lamzouri [6]），但对于 Hecke-Maass 尖点形式的类似问题则面临显著的技术挑战。主要的困难在于缺乏广义 Ramanujan 猜想（GRC）对 Maass 形式的约束。在不假设 GRC 的情况下，Satake 参数 $\alpha_{u_k, j}(p)$ 并不保证落在单位圆上，这可能导致呈指数级增长的“异常”特征值。本文旨在将 Lamzouri 的 $\Omega$ 结果扩展到 Maass 形式，并进一步将其推广到对称幂 $L$ 函数 $L(s, \text{sym}^m u_k)$ 的系数上，且不依赖于 GRC 的假设。

方法论
作者采用了从 Lamzouri 的工作中改编并经过改进的概率筛法，以处理 GRC 可能失效的情况。核心方法包括以下步骤：

1. 三角多项式与切比雪夫展开：
   作者利用了由第一类切比雪夫多项式 ($T_L$) 和第二类切比雪夫多项式 ($X_\ell$) 构建的特定三角多项式 $f(\theta)$。他们定义了一个非负函数 $g(\theta)$ 作为筛权重函数。该函数被展开为 $g(\theta) = \sum a_\ell X_\ell(\theta)$，其中系数 $a_\ell$ 是有界的。这种展开允许将特征值的条件转化为与 Satake 参数相关的角度 $\theta_k(p)$ 的条件。

2. 处理异常特征值：
   一个关键的创新是构建了一个考虑 GRC 可能失效处的筛函数 $G(u_k)$。作者定义了一组“异常”素数，在这些素数处，角度 $\theta_k(p)$ 是纯虚数的（表明 $|\alpha_{u_k, j}(p)| \neq 1$）。

   • 他们定义了一个阈值 $\delta_p$ 以及一个依赖于 $\log T$ 的参数 $L_p$。
   • 函数 $G(u_k)$ 被构造为一个乘积 $\prod g_p(\theta_k(p))$ 减去一个涉及 $\lambda_k(qH)^2/H^2$ 的修正项。
   • 通过分类讨论（情况 1、2 和 3），作者证明了如果 $\theta_k(p)$ 落在“良好”范围 $[0, 2\pi\delta_p)$ 之外，则项 $G(u_k)$ 会变为非正数。这有效地过滤掉了具有大异常特征值的形式。

3. Kuznetsov 迹公式：
   为了估计 $G(u_k)$ 在 Maass 形式族 $H_T = \{u_k : t_k \leq T\}$ 上的平均值，作者应用了截断的 Kuznetsov 迹公式（引理 2.1）。这使得他们能够将加权特征值的和与主项（系数乘积 $a_{0, p_j}$）以及涉及谱间隙（spectral gap）的误差项联系起来。

4. 对称幂系数：
   对于对称幂 $L$ 函数，作者将系数 $\lambda_{\text{sym}^m u_k}(p^a)$ 表示为 Satake 参数的对称多项式。他们表明，对于较小的角度 $\theta_k(p)$（在筛法的“良好”范围内），这些系数保持为正，从而确保首次符号变化仅在筛法范围之后发生。

主要贡献与结果
本文确立了 Hecke-Maass 尖点形式及其对称幂系数首次符号变化的 $\Omega$ 结果。

• 定理 1.1： 对于足够大的 $T$，至少存在
  $$\gg |H_T| \exp\left( - \frac{(\log T) \log \log \log T}{m (\log \log T)^2} \right)$$
  个 Hecke-Maass 形式 $u_k \in H_T$，使得满足 $\lambda_{\text{sym}^m u_k}(n) < 0$ 的最小正整数 $n$ 满足：
  $$n_{\text{sym}^m u_k} \gg \frac{\log T}{m \log \log T}.$$

• 对 Lamzouri 工作的扩展： 该结果推广了 Lamzouri [6] 对全纯形式的下界，并将其推广到了 Maass 情况。至关重要的是，它在不假设广义 Ramanujan 猜想的情况下实现了这一点。该方法成功地隔离了具有“坏”Satake 参数（违反 GRC 的参数）的形式，并证明了很大比例的形式仍然表现出关于首次符号变化的预期行为。

• 对称幂： 本文证明了类似的下界也适用于对称幂 $L$ 函数的系数，将研究范围从标准的 Hecke 特征值（$m=1$）扩展开来。

意义与主张
作者将这项工作定位为对该领域近期研究成果的必要扩展。其意义在于：

1. 移除 GRC 假设： 通过在不假设 GRC 的情况下证明该结果，本文为 Maass 形式的符号变化分布提供了更稳健的理解，而 Maass 形式相比其全纯对应物而言，其性质尚不明确。
2. 技术精炼： 作者声称精炼了 [6] 中使用的筛法，以专门应对 Maass 环境下由 GRC 可能失效引起的技术困难。
3. 泛化性： 它证明了“$\Omega$”行为（即首次符号变化的较大下界）是跨对称幂 $L$ 函数（不仅是基础 $L$ 函数）的一个持久特征。

本文并未提出新的应用或未来的实验方向，而是严格专注于建立这些特定族 $L$ 函数中首次符号变化的理论下界。