[論文レビュー] An orthogonality relation for GL(4,R)

Dorian Goldfeld, Eric Stade+2 more|arXiv (Cornell University)|Oct 30, 2019

Advanced Algebra and Geometry参考文献 20被引用数 5

ひとこと要約

本稿は、GL(4,ℝ)の実群に対して、Kuznetsovトレース公式における幾何的側面を計算するための新規技術を用いて、初めての明示的直交関係を、べき乗-saving誤差項とともに確立した。この結果は、GL(1)およびGL(2)における古典的直交関係を一般化し、高ランク群におけるスペクトル理論および数論の基盤的ツールを提供する。

ABSTRACT

Orthogonality is a fundamental theme in representation theory and Fourier analysis. An orthogonality relation for characters of finite abelian groups (now recognized as an orthogonality relation on $\mathrm{GL}(1)$) was used by Dirichlet to prove infinitely many primes in arithmetic progressions. Orthogonality relations for $\mathrm{GL}(2)$ and $\mathrm{GL}(3)$ have been worked on by many researchers with a broad range of applications to number theory. We present here, for the first time, very explicit orthogonality relations for the real group $\mathrm{GL}(4,\mathbb{R})$ with a power savings error term. The proof requires novel techniques in the computation of the geometric side of the Kuznetsov trace formula. An appendix by Bingrong Huang gives new bounds for the relevant Kloosterman sums.

研究の動機と目的

• GL(1)およびGL(2)で知られていた古典的直交関係—GL(3)についても部分的に知られているが—を、より高いランク群であるGL(4,ℝ)に拡張すること。
• 急速に減少するテスト関数を備えたKuznetsovトレース公式を用いて、SL(4,ℤ)上のMaass尖点形式のスペクトル直交関係を確立すること。
• 高ランクKloosterman和およびWhittaker関数を取り扱う際の技術的困難を克服し、GL(4)のKuznetsovトレース公式の幾何的側面を精密な境界とともに計算すること。
• 直交関係におけるべき乗-saving誤差項を達成し、既存の文献における自明な境界や弱い境界を改善すること。

提案手法

• SL(4,ℤ)におけるKuznetsovトレース公式を用い、スペクトル側を尖点的、Eisenstein的、連続スペクトルの寄与に分解する。
• Poincaré級数およびFourier-Whittaker展開を用いて、自己形式をWhittaker関数およびスペクトルパラメータに関連付ける。
• GL(4)のWhittaker関数にMellin変換技術を適用し、極と留数を解析することで、関数を逆Mellin変換として表現する。
• テスト関数をそのMellin変換の極と留数に分解し、単一・二重・三重留数項からの寄与を推定することで、幾何的側面に対する新規な境界を構築する。
• p進的アプローチを用いてGL(4)のKloosterman和を評価し、Stevensの手法を適応するとともに、ℤ_p上での指数和に対する新しい推定式を導入する。
• 定常位相法およびシフト技法を用いて誤差項を制御し、最終的な直交関係でべき乗-savingを達成する。

実験結果

リサーチクエスチョン

• RQ1 GL(2)およびGL(3)で知られている結果に類似した、GL(4,ℝ)に対する明示的直交関係を、べき乗-saving誤差項とともに構築することは可能か？
• RQ2 高ランクKloosterman和およびWhittaker関数を取り扱うにあたり、GL(4)のKuznetsovトレース公式の幾何的側面を計算するために、どのような新規技術が必要か？
• RQ3 GL(4)のWhittaker関数のMellin変換をどのように用いることで、スペクトル恒等式を導出し、誤差項を効果的に評価できるか？
• RQ4 p進的手法および留数解析を用いることで、GL(4)自己形式の文脈におけるKloosterman和の境界をどの程度まで改善できるか？
• RQ5 Kuznetsov公式における連続スペクトル寄与項を十分な精度で制御でき、鋭い直交関係を得られるか？

主な発見

• 本稿は、SL(4,ℤ)上のMaass尖点形式に対して、初めての明示的直交関係を、べき乗-saving誤差項とともに確立した。
• テスト関数のMellin変換の極と留数への新規な分解を用いて、Kuznetsovトレース公式の幾何的側面を計算した。
• GL(4)のKloosterman和に対する新しい境界を導出し、|S_{a,b,c}(ψ,ψ′;c,w₈)| ≤ C p^{r+s+t/2}（Cはスペクトルパラメータに依存）が成り立つことを示し、自明な境界を改善した。
• 直交関係における誤差項が、適切なテスト関数のもとでO(T^{-1/2 + ε})として評価され、べき乗-savingが達成された。
• スペクトル的およびp進的技法を用いて連続スペクトル寄与項を評価し、最終的な境界が2つの指数関数的項の最小値に依存し、主要な場合においてp^{9(t+r+s)/10}の減衰率を示した。
• BruggemanおよびGoldfeld–Kontorovichの枠組みをGL(4)に一般化し、高ランク直交関係のためのブループrintを提供した。