The Second Moment of Rankin-Selberg $L$-Functions in Conductor-Dropping Regimes

技術的要約：コンダクター減少レジームにおけるランクン・セレベルグ $L$ 関数の二次のモーメント

問題設定
本論文は、同一の重さ $k$ を持つ2つの全純ヘッケ尖点形式 $f$ および $g$ の畳み込みに関連する、ランクン・セレベルグ $L$ 関数の二次のモーメントの漸近挙動を扱う。具体的には、以下の和を調査している：
$$\sum_{f \in B_{\text{hol}}^{k}} \frac{L(1/2, f \otimes g)^2}{L(1, \text{ad } f)}$$
ここで、$B_{\text{hol}}^{k}$ は重さ $k$ の全純ヘッケ尖点形式の正規直交基底である。

この問題は、$L$ 関数における劣凸性（subconvexity）問題という、より広い文脈の中に位置づけられている。主要な動機付けは、随伴 $L$ 関数 $L(s, \text{ad } f)$、すなわち $g=f$ の場合である。中心値 $L(1/2, \text{ad } f)$ は凸性境界である $k^{1/2}$ によって抑えられるが、劣凸性境界（$k$ のべき乗を節約するもの）を得ることは大きな未解決問題である。標準的なヘリスティックスは、べき乗の節約項を持つ漸近公式を与える二次のモーメントが存在することを示唆している。しかし、「コンダクター減少（conductor-dropping）」レジーム（重さが等しいため、$L(1/2, f \otimes g)$ の解析的コンダクターが $k^4$ から $k^2$ へと減少する状況）においては、標準的な手法ではべき乗の節約項を伴う漸近公式を導き出すことがしばしば困難となる。大数不等量（large sieve inequalities）を介した $O_\epsilon(k^{1+\epsilon})$ という形の評価の上界は既知であるが、主項と制御された誤差項を持つ精密な漸近公式を導出することは依然として困難なままであった。

手法
著者らは、4つの自始形式の周期積分に関するスペクトル展開の手法を用いている。核心となる戦略は、以下の積分の評価である：
$$\int_{SL_2(\mathbb{Z})\backslash \mathbb{H}} |G(z)|^2 E^*(z, s_1) E^*(z, s_2) \, d\mu(z)$$
ここで $G(z) = y^{k/2}g(z)$ であり、$E^*(z, s)$ は完備された実解析的アイゼンシュタイン級数である。この積分は、以下の2つの異なる方法でスペクトル展開される：

1. 第一のスペクトル展開（重さ $k$）： この積分を内積 $\langle G E^*(\cdot, s_1), G E^*(\cdot, s_2) \rangle$ と見なす。重さ $k$ の平方可積分な自始形式に関するパーセバルの等式を用いることで、これを全純尖点形式、マアス尖点形式、およびアイゼンシュタイン級数の和へと展開する。これにより、対象となるモーメント $M_{\text{hol}}$（重さ $k$ の和）と、他のスペクトル項（$M_{\text{Maass}}, M_{\text{Eis}}$）を含む和が得られる。これらの内積は、ランクン・セレベルグ法を用いて、$L$ 関数とガンマ因子を用いて明示的に計算される。

2. 第二のスペクトル展開（重さ 0）： この積分を内積 $\langle E^*(\cdot, s_1) E^*(\cdot, s_2), |G|^2 \rangle$ と見なす。アイゼンシュタイン級数は平方可積分ではないため、著者らは（ザギエに従い）正則化されたパーセバルの等式を利用する。この展開には、重さ 0 の形式の連続スペクトルと離散スペクトルが含まれる。決定的なことに、$|G|^2$ とマアス形式との内積は、ワトソン–イチノ（Watson–Ichino）の三重複合積 $L$ 関数の公式を用いて評価される。これは、これらの積分を三重複合積 $L$ 関数の中心値に関連付けるものである。

これら2つの展開の結果を等置することで、著者らは、対象となるモーメントを「主項」（連続スペクトルと留数から生じるもの）と、様々な誤差項（スペクトル和）に関連付ける厳密な恒等式を導出する。

主要な貢献と結果
本論文は、以下の主要定理（定理 1.4）を確立している：

• 漸近公式： 固定された全純ヘッケ尖点形式 $g$ の重さ $k$ に対して、二次のモーメントは次を満たす：
  $$\sum_{f \in B_{\text{hol}}^{k}} \frac{L(1/2, f \otimes g)^2}{L(1, \text{ad } f)} = k \sum_{j=0}^3 P_j(\log k) L^{(3-j)}(1, \text{ad } g) + O_\epsilon(k (\log k)^{-1/2 + \epsilon})$$
  ここで、$P_j$ は次数 $j$ の多項式である。
• 主項の解析： 主項は十分に大きな $k$ に対して正であることが示されており、その大きさは $k(\log k)^2 \ll \text{Main Term} \ll k(\log k)^6$ を満たす。
• 誤差項： 誤差項は、べき乗の節約ではなく、対数的な節約 $O_\epsilon(k (\log k)^{-1/2 + \epsilon})$ を達成している。

技術的課題と解決策
著者らは、本研究で克服されたいくつかの具体的な困難を強調している：

1. べき乗の節約を持つ誤差項の欠如： 著者らは、このコンダクター減少レジームにおいて、べき乗の節約を持つ誤差項を得ることは、既存の $L(1/2, \text{ad } g)$ およびその $GL_2$ ねじれ（twists）に対する劣凸性境界を仮定しない限り、おそらく不可能であることを示している。したがって、証明は対数的な節約を達成するために、サウンダララジャン（Soundararajan）の弱い劣凸性境界に依存している。
2. 主項の正値性： 主項が誤差項に対して支配的であることを証明することは、重要な技術的障壁であった。主項は $L(1, \text{ad } g)$ およびその導関数を含んでおり、これらについては弱い無条件の境界（$L(1, \text{ad } g) \gg (\log k)^{-1}$）しか知られていない。著者らは、対角項と非対角項の間の相殺の可能性を回避するために、「隠れた構造」を利用することでこの問題を回避した。彼らは主項を、ディリクレ級数の表現と項別に比較可能な積分として表現し、$n=1$ の項（これは $\gg k (\log k)^2$ である）が和の中で支配的であることを示した。
3. 一般化： 本手法は以下に拡張可能であることが示されている：
   • レベルの側面（重さ $k$ を固定し、素数レベル $q$ を変化させる）。
   • スペクトルの側面（スペクトルパラメータが $[T, T+1]$ の範囲にあるマアス形式の平均）。
   • シフトされた中心点（$1/2 + it$）。
   • 三重複合積 $L$ 関数の一次のモーメント（ただし、中心値の低減問題により、主項が誤差項を支配することを証明することは依然として未解決の困難である）。

意義と主張
本論文は、この特定の二次のモーメントに関する最初の漸近公式を提供すると主張している。誤差項は $k$ のべき乗を節約しないものの、結果は以下の理由から重要である：

• 以前は上界のみが知られていた場所において、漸近公式の存在を裏付けている。
• コンダクター減少の設定におけるモーメントの理解を精緻化しており、そこでは標準的なヘリスティックスが誤解を招く可能性があることを示している。
• 精密な主項とスペクトル展開のアプローチを提供することで、ブローマー（Blomer）による以前の上界の結果を改善している。
• 著者らは、彼らの手法がワトソン–イチノの公式に依存していることを明示しており、これが $GL_2$ への適用を制限していること（$n \ge 3$ の $GL_n$ に対してはこのような公式が存在しない）に触れ、ブローマーのより一般的な上界技法との違いを明確にしている。

結論として、本論文の結果は（べき乗の節約がないため）直ちに劣凸性境界をもたらすものではないが、これらの $L$ 値の分布およびコンダクター減少モーメントの構造的制約を理解するための必要なステップであると述べている。