[論文レビュー] Density theorems for GL(n)

Valentin Blomer|arXiv (Cornell University)|Jun 18, 2019

Analytic Number Theory Research参考文献 20被引用数 10

ひとこと要約

この論文は、Kuznetsovの相対的トレース公式とGL(n)のKloosterman和に対する鋭い評価を用いて、Ramanujan予想に反する自動形式の凸性より良い密度評価を確立する。GL(n)の自動形式について、非分岐な場所v ≠ qにおけるスペクトルパラメータのずれσに対して、その数がO(q^{n-1-4σ+ε})で有界であることを示し、Sarnakの密度仮説における指数a = (n-1)/2ではなく、a = (n-1)/4の臨界指数を達成することで、それを改善する。

ABSTRACT

Strong bounds - going beyond Sarnak's density hypothesis - are obtained for the number of automorphic forms for the congruence subgroup Gamma_0(q) of SL_n(Z) violating the Ramanujan conjecture at any given unramified place. The proof is based on a relative trace formula of Kuznetsov type and best-possible bounds for certain Kloosterman sums for GL(n). Further applications are given.

研究の動機と目的

• 非分岐な場所でRamanujan予想に反するGL(n)自動形式の強い密度評価を確立すること。
• Γ₀(q) ⊆ SL(n,ℤ)のMaaß形式の族の文脈において、Sarnakの密度仮説を超えて凸性より良い評価を得ること。
• スペクトルずれσを有するこのような形式の数が、素数レベルqおよび固定されたラプラシアン固有値区間Iに対してO(q^{n-1-4σ+ε})で有界であることを証明すること。
• 相対的Kuznetsovトレース公式とGL(n) Kloosterman和に対する最良の評価を用いて、これらの結果を導出すること。
• 古典的なGL(2)およびGL(3)の設定を超えて、高ランクGL(n)自動形式へのトレース公式技法の適用範囲を拡張すること。

提案手法

• 証明は、固定されたラプラシアン固有値区間Iを有するΓ₀(q)上のMaaß形式の族に適応された、GL(n)の相対的Kuznetsovトレース公式を用いる。
• 主要な推定は、Weyl群の要素とモジュラス制約からの一貫性条件の下で得られる、GL(n) Kloosterman和の鋭い評価に依存する。
• テスト関数によるスペクトル平均化を用いて固有値区間を検出するが、Kuznetsov公式によるスペクトル側の精密な制御が行われる。
• Weyl群の構造とモジュラスc′_iに関する一貫性関係を用いて、非自明なWeyl要素の寄与を制御する。
• 正値性と積分変換を適用して、スペクトル和をKloosterman和の和に結びつけ、最終的にσに関する凸性より良い評価を得る。
• 最終的な評価は、指数和によるスペクトルパラメータの検出と、Z ≪ q²を満たすトレース公式の適用により得られ、σに関してパワー・セービングが達成される。

実験結果

リサーチクエスチョン

• RQ1 非分岐な場所でRamanujan予想に反するGL(n)自動形式について、凸性より良い密度評価を確立できるか？
• RQ2 Γ₀(q)上のMaaß形式の族について、密度評価N_v(σ,ℱ) ≪ |ℱ|^{1−σ/a+ε}における最適な指数aは何か？
• RQ3 相対的Kuznetsovトレース公式を用いて、高ランクGL(n)においてこのような評価を得ることが可能か？
• RQ4 大規模な素数レベルqにおける自動形式の族におけるスペクトルパラメータσ_π(v)の振る舞いはいかなるものか？
• RQ5 Kloosterman和のモジュラスに関する一貫性条件が、スペクトル和の制御に果たす役割は何か？

主な発見

• 論文は、指数a = (n-1)/4の凸性より良い密度評価を確立し、Sarnakの密度仮説が提示するa = (n-1)/2を改善する。
• ラプラシアン固有値が固定区間Iに属するΓ₀(q)上のMaaß形式の族ℱ_I(q)について、σ_π(v) ≥ σを満たす形式の数は、v ≠ qに対してO(q^{n-1-4σ+ε})で有界である。
• この評価はすべてのn ≥ 3および素数qに対して一様に成り立ち、隠れた定数はIおよびε > 0にのみ依存する。
• 結果は相対的Kuznetsovトレース公式とGL(n) Kloosterman和の鋭い推定、特にWeyl群の一貫性制約下での推定を用いて得られる。
• 非自明なWeyl要素の寄与がうまく制御されており、与えられた条件下ではスペクトル和において唯一の恒等元が寄与することが示された。
• この評価は、凸性の境界を越えてパワー・セービングを達成しており、n > 3のGL(n)について初めての結果である点で鋭い。