[论文解读] 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)/4 而非 (n-1)/2 的改進。

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(n) 自守形式，超越傳統的 GL(2) 與 GL(3) 情境。

提出的方法

• 證明採用適用於 Γ₀(q) 上 Maaß 形式族且具有固定拉普拉斯特徵值區間 I 的 GL(n) 相對 Kuznetsov 迴圈公式。
• 關鍵估計依賴於 GL(n) Kloosterman 和的精確界，特別是在 Weyl 群元素與模數約束下的一致性條件。
• 該方法使用測試函數進行譜平均以檢測特徵值區間，並透過 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）。
• 對於 Γ₀(q) 上拉普拉斯特徵值落在固定區間 I 的 Maaß 形式族 ℱ_I(q)，在 v ≠ q 時，滿足 σ_π(v) ≥ σ 的形式數量被限制為 O(q^{n-1-4σ+ε})。
• 此界對所有 n ≥ 3 與素數 q 均一致成立，隱含常數僅依賴於 I 與 ε > 0。
• 結果透過相對 Kuznetsov 迴圈公式與 GL(n) Kloosterman 和的精確估計推導而出，特別是在 Weyl 群一致性約束下。
• 該方法成功控制了非平凡 Weyl 元素的貢獻，顯示在給定條件下譜和中僅單位元有貢獻。
• 此界具有最佳性，因其在凸性界之上實現了冪次改善，並為 n > 3 的 GL(n) 提供了首個此類結果。