Twisted Moments of Rankin-Selberg $L$-functions in the Prime-Power Level Aspect

技術的要約：素数冪レベルにおけるランク・セレベルク $L$ 関数のねじれられたモーメント

問題の定式化
本論文は、ランク・セレベルク $L$ 関数 $L(\frac{1}{2} + \omega, f \otimes g)$ の、シフトされた中心値のねじれられた第1および第2モーメントの漸近挙動を調査するものである。研究の対象は、偶数重さ $k$ かつ素数冪レベル $p^\nu$（ただし $\nu \ge 3$）を持つ原始的なニューフォーム $H^*_k(p^\nu)$ の集合において $f$ が変化し、$g$ がレベル $D$（ここで $D=1$ または $D$ は素数）かつ $p$ と互いに素である固定された原始的な形式であるような族である。シフト $\omega$ は有界な複素数である。

著者らは、素数または平方フリーレベルと比較して、素数冪レベルの側面における特筆すべき特徴を強調している。それは、カスプ形式の空間 $S_k(p^\nu)$ がオールドフォームからの重要な寄与を含むことである。この構造的な豊かさはペテルソン跡公式を複雑にし、モーメント計算にさらなる算術的な検討を導入するため、より複雑な解析的手法を必要とする。

手法
手法の核となるのは、中心 $L$ 値をフーリエ係数を用いた急速に減衰する級数として表現するための近似関数等式である。著者らは、和を $H^*_k(p^\nu)$ の族に対して調和和を評価するために、ペテルソン跡公式（特にルーミによって確立された素数冪レベル用のバージョン）を適用する。

主要な技術的ステップは以下の通りである：

1. 分解: 跡公式は、和を対角成分と非対角成分に分離する。素数冪の設定におけるオールドフォームの存在は、下位レベルからの寄与を差し引く必要があるため、対角項の慎重な取り扱いを要求する。
2. 非対角項の推定: 非対角項は、クローネッカー和に対するヴェイユの評価、ヴォロノイ和公式、および**大篩法（デシュリエ・イワニエックおよびマトマキ）**を用いて抑えられる。
3. オフ・ダイアゴナル対オフ・オフ・ダイアゴナル: 非対角和は、さらに「オフ・ダイアゴナル（対角外）」部分と「オフ・オフ・ダイアゴナル（対角外の対角外）」部分に分割される。オフ・ダイアゴナル項は、輪郭積分と留数計算を用いて明示的に評価される一方、オフ・オフ・ダイアゴナル項は、フーリエ係数のシフトされた畳み込み和に関する評価を用いて、無視できる誤差項であることが示される。
4. 相殺: 証明における極めて重要な側面は、対角成分およびオフ・ダイアゴナル成分から生じる特定の主項が、互いに打ち消し合い、シフト・パラメータに関する特定の多項式構造を残すことを示すことである。

主要な貢献と結果

• 定理 1.1 (ねじれられた第1モーメント): 著者らは、ねじれられた第1モーメント $\sum_{f} \lambda_f(\ell) L(\frac{1}{2} + \omega, f \otimes g)$ の漸近公式を導出する。この公式には、シフト $\omega$、レベル $p^\nu$、および固定された形式 $g$ を含む明示的な主項と、$p, \nu, \ell,$ および重さに依存する完全に特定された誤差項が含まれる。

  • 系 1.2: $\omega \to 0$ の極限を取ることで、著者らはシフトされていない第1モーメントの漸近公式を得る。この結果は、原始的な形式 $g$ が、中心値の族 $\{L(\frac{1}{2}, f \otimes g)\}_{f \in H^*_k(p^\nu)}$ によって一意に決定されるという決定定理を証明するために用いられる。これは、オールドフォームの寄与が非自明である素数冪レベルの設定へと、従来の決定結果を拡張するものである。

• 定理 1.3 (ねじれられた第2モーメント): 本論文は、ねじれられた第2モーメント $\sum_{f} \lambda_f(\ell) L(\frac{1}{2} + \omega_1, f \otimes g) L(\frac{1}{2} + \omega_2, f \otimes g)$ の漸近公式を提示する。主項は、関数 $m(\omega_1, \omega_2)$ を含む4つの成分の和として表現される。この関数は、ランク・セレベルク畳み込み $L(s, g \otimes g)$ と、素数冪レベルに関連する特定の算術的因子を組み込んでいる。

  • 系 1.4: $\omega_1 = \omega_2 = 0$ と設定することで、中心点における第2モーメントの漸近公式を導出する。主項は $\nu \log p$ に関する3次多項式である。その主要係数は、対称二乗 $L$ 関数 $L(1, \text{sym}^2 g)$ と、オイラーのファイ関数およびレベル $p$ に関連する算術的因子を用いて明示的に計算される。

意義と文脈
本論文は、自明な零点の分布、非消滅、および劣凸性に関する問題の中心である、自己共役 $L$ 関数のモーメントの研究という、数論におけるより広い文脈の中に位置付けられている。

• 既存の文献との比較: 著者らは、デューク、アクバリ、コワルスキー・ミシェル・ヴァンダーカムらが素数または平方フリーレベルにおける $L$ 関数のモーメントに関する結果を確立している一方で、素数冪レベルのケースは、オールドフォームの構造のために特有の課題を提示していると指摘している。ここでの結果は、素数冪レベルにおける $L(\frac{1}{2}, f)$ の第4モーメントに関するバルコノヴァの研究と類似しているが、ランク・セレベルク畳み込みへと範囲を広げている。
• 手法の厳密性: 著者らは、導出された漸近公式が、すべてのパラメータ（$p, \nu, k, k', \ell, \omega$）への完全な依存関係を持つ、明示的で非一様な誤差項を含んでいることを強調している。この精密さは、先行研究と比較して顕著な特徴として記されている。
• 応用: 著者らは、確立された第2モーメントの公式が、値の族 $\{L(\frac{1}{2} + \omega, f \otimes g)\}$ に対する劣凸性および非消滅の結果を導き出すために利用可能であると述べている。決定結果（系 1.2）は、モーメントのデータに基づいて固定された形式 $g$ の一意性を示す応用例として機能する。

本研究は「完全に解析的な性質」を持つものと記述されており、ランク・セレベルク畳み込みの枠組みの中で、固定された素数における深い分岐の影響を孤立させるために必要な技術的な複雑さに焦点を当てている。