[論文レビュー] On the GL(3) Kuznetsov Formula with applications to Symmetry Types of families of $L$-functions

Dorian Goldfeld, Alex Kontorovich|arXiv (Cornell University)|Mar 29, 2012

Advanced Algebra and Geometry参考文献 22被引用数 12

ひとこと要約

この論文は、L関数の族の対称性タイプを特定する応用を伴う、最初の明示的GL(3) Kuznetsov公式を開発する。スペクトル理論とKloosterman和の推定を用いて、GL(3)のカスプ的Maass形式、その対称平方上昇によるGL(6)への上昇、および随伴上昇によるGL(8)への上昇の3つの族について、低励起零点密度を計算し、RamanujanとRiemann予想の下で、それぞれユニタリ、ユニタリ、シミプレクティックな対称性タイプであることを示す。

ABSTRACT

We present an explicit approach to the GL(3) Kuznetsov formula. As an application, for a restricted class of test functions, we obtain the low-lying zero densities for the following three families: cuspidal GL(3) Maass forms phi, the symmetric square family sym^2 phi on GL(6), and the adjoint family Ad phi on GL(8). Hence we can identify their symmetry types; they are: unitary, unitary, and symplectic, respectively.

研究の動機と目的

• L関数族を分析するための明示的GL(3) Kuznetsov公式を、正確なスペクトル重みを伴って開発すること。
• GL(3)のカスプ的Maass形式、その対称平方上昇（GL(6)）および随伴上昇（GL(8)）の各族の低励起零点密度を計算すること。
• 低励起零点の密度とフーリエ変換の台の解析を用いて、これらの族の対称性タイプを特定すること。
• Katz-Sarnakの対称性タイプ分類の枠組みをGL(2)を越えて高ランクL関数に拡張すること。
• n ≥ 2 に対するGL(n)族の対称性タイプをスペクトル法を用いて分析する基盤を確立すること。

提案手法

• スペクトルパラメータを局在化し、コンtourシフトによる収束を保証する重み関数 h_{T,R}(ν) を用いて、GL(3) Kuznetsov公式を導出する。
• Stirlingの公式を用いて重み関数 h_{T,R}(ν) を推定し、tempered形式では λ < T² にほぼ台を持ち、(1+|ν|)^R のように振る舞うことを示す。
• Kuznetsov公式を3つの族に適用する：φ（GL(3)）、sym²φ（GL(6)）、Adφ（GL(8)）、それぞれスペクトルパラメータとL関数の留数を伴う。
• Bessel関数と指数和の評価に基づき、Kloosterman和およびEisenstein和の寄与を推定し、Ramanujan予想に依存する。
• 明示的公式を用いて低励起零点の密度を解析し、スペクトル側の寄与と誤差項を計算する。
• テスト関数のフーリエ変換の台を用いて誤差項を制御し、主項 ψ̂(0) を用いて対称性タイプを特定する。

実験結果

リサーチクエスチョン

• RQ1 L関数族に適したスペクトル重みを備えたGL(3) Kuznetsov公式の明示的形は何か？
• RQ2 GL(3)のカスプ的Maass形式族、その対称平方上昇族、随伴上昇族の低励起零点密度は何か？
• RQ3 低励起零点の密度に基づいて、これらの族が示す対称性タイプは何か？
• RQ4 テスト関数のフーリエ変換の台が、零点密度計算における誤差項に与える影響は何か？
• RQ5 GL(3) Kuznetsov公式を用いて、高ランクL関数族の対称性タイプを分類できるか？

主な発見

• GL(3)のカスプ的Maass形式族の低励起零点密度は、漸近的に ∫ψ̂(0) dμ + O((log log T)/(log T)) に一致し、ユニタリ対称性タイプを示唆する。
• GL(6)における対称平方族 sym²φ については、零点密度が ∫ψ̂(0) dμ + o(1) に一致し、ユニタリ対称性タイプが確認される。
• GL(8)における随伴族 Adφ については、零点密度が ∫ψ̂(0) dμ + o(1) に一致し、シミプレクティック対称性タイプを示す。
• φ×φ̄族では、誤差項を制御するため、フーリエ変換 ψ̂ の台が (−δ, δ) にあり δ < 2/27 である必要があり、φ族では δ < 4/15 である必要がある。
• 対称平方および随伴上昇は、スペクトル和における自己双対形式の稀少性に起因し、誤差項が無視できるほど小さい。
• 本手法により、族の対称性タイプが零点密度公式の主項によって決定され、誤差項がスペクトル的および算術的推定によって制御されることを示した。