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

技術的要約：ヘッケ・マース・カスプ形式の対称冪L関数の係数の最初の符号変化に関するオメガ結果

問題設定
本論文は、自己共役的なL関数に関連する係数において、最初の符号変化（この文脈では $n_f$ または $n_{\text{sym}^m u_k}$ と表記）の大きさを決定するという問題に取り組んでいる。具体的には、係数 $\lambda(n)$ が負となる最小の正の整数 $n$ を調査している。

ホロモーフィックなヘッケ・カスプ形式における最初の符号変化の挙動については、Lamzouri [6] によって広範に研究されてきたが、ヘッケ・マース・カスプ形式における同様の問題は、重大な技術的課題を提示している。主な困難は、マース形式における一般化ラマンジャン予想（GRC）の欠如にある。GRCがなければ、サタケ・パラメータ $\alpha_{u_k, j}(p)$ は単位円上に位置することが保証されず、指数関数的に増大する「例外的な」固有値が生じる可能性がある。本論文の目的は、Lamzuriのオメガ結果を、GRCを仮定することなく、ヘッケ・マース形式へと拡張し、さらに対称冪L関数 $L(s, \text{sym}^m u_k)$ の係数へとこれらの結果を一般化することである。

手法
著者らは、Lamzouriの研究から派生し、GRCの潜在的な失敗を処理するために洗練された、確率論的篩（ふるい）法を用いている。核心となる手法は、以下のステップを含む。

1. 三角多項式とチェビシェフ展開:
   著者らは、第一種チェビシェフ多項式 ($T_L$) および第二種チェビシェフ多項式 ($X_\ell$) から構成される特定の三角多項式 $f(\theta)$ を利用する。彼らは、篩の重みとして機能する非負関数 $g(\theta)$ を定義する。この関数は $g(\theta) = \sum a_\ell X_\ell(\theta)$ として展開され、ここで係数 $a_\ell$ は有界である。この展開により、固有値に関する条件を、サタケ・パラメータに関連する角度 $\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)$ は、$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. クズニツォフ・トレース公式:
   マース形式の族 $H_T = \{u_k : t_k \leq T\}$ 上での $G(u_k)$ の平均値を推定するために、著者らは切断されたクズニツォフ・トレース公式（補題2.1）を適用する。これにより、重み付き固有値の和を、主項（係数の積 $a_{0, p_j}$）とスペクトル・ギャップに関わる誤差項に関連付けることができる。

4. 対称冪係数:
   対称冪L関数の場合、著者らは係数 $\lambda_{\text{sym}^m u_k}(p^a)$ をサタケ・パラメータの対称多項式として表現する。彼らは、角度 $\theta_k(p)$ が小さい場合（篩の「良質な」範囲内にある場合）、これらの係数が正のままであることを示し、それによって最初の符号変化が篩の範囲の後にのみ起こることを保証する。

主要な貢献と結果
本論文は、ヘッケ・マース・カスプ形式およびその対称冪の係数の最初の符号変化に関するオメガ結果を確立している。

• 定理 1.1: 十分に大きな $T$ に対して、少なくとも
  $$\gg |H_T| \exp\left( - \frac{(\log T) \log \log \log T}{m (\log \log T)^2} \right)$$
  個のヘッケ・マース形式 $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の研究の拡張: この結果は、ホロモーフィックな形式に対するLamzuri [6] の下界を、マース形式の場合へと一般化するものである。決定的なことに、これは一般化ラマンジャン予想（GRC）を仮定することなく達成されている。その手法は、「悪い」サタケ・パラメータ（GRCに違反するもの）を持つ形式を分離し、かなりの割合の形式が最初の符号変化に関して期待される挙動を示すことを示している。

• 対称冪: 本論文は、標準的なヘッケ固有値 ($m=1$) を超えて、対称冪L関数の係数に対しても同様の下界が成立することを証明している。

意義と主張
著者らは、本研究を、解析的数論の分野における最近の結果に対する必要な拡張として位置づけている。本研究の意義は以下の点にある：

1. GRC仮定の除去: GRCを仮定せずに結果を証明することで、本論文は、ホロモーフィックな形式よりも理解が進んでいないマース形式の符号変化の分布に関する、より強固な理解を提供する。
2. 技術的洗練: 著者らは、マース形式の設定におけるGRCの潜在的な失敗から生じる技術的な困難を具体的に対処するために、[6] で用いられた篩を洗練させたと主張している。
3. 一般化: 「オメガ」的な挙動（最初の符号変化に対する大きな下界）が、単なる基本のL関数だけでなく、対称冪L関数全体にわたって持続的な特徴であることを示している。

本論文は、新しい応用や将来の実験的方向を提案するものではなく、これら特定の家族のL関数の最初の符号変化に関する理論的な下界を確立することに厳密に焦点を当てている。