[論文レビュー] The density conjecture for principal congruence subgroups

Edgar Assing, Valentin Blomer|arXiv (Cornell University)|Apr 19, 2022

Analytic Number Theory Research被引用数 4

ひとこと要約

本稿は、平方自由なレベルにおける $\mathrm{SL}_n(\mathbb{Z})$ の主合同部分群に対して、球面密度予想を証明し、スペクトルパラメータ $≤ M$ の非温度的尖点形式の数に対して多項式的上界を確立する。証明はクズネツォフの公式、スペクトル理論、および局所的ホイットカー関数とクローストマン和の新たな評価に依拠し、温度的と自明なスペクトルの間を滑らかに補間する鋭い指数を得る。

ABSTRACT

We prove Sarnak's density conjecture for the principal congruence subgroup of SL_n(Z) of squarefree level and discuss various arithmetic applications. The ingredients include new bounds for local Whittaker functions and Kloosterman sums.

研究の動機と目的

• 主合同部分群 $\mathrm{SL}_n(\mathbb{Z})$ における平方自由なレベルでの球面密度予想を確立し、$n=2$ やヘッケ合同部分群での既知の結果を、完全な主合同部分群の場合にまで拡張すること。
• スペクトルパラメータ $M$ が有界である $L^2(\Gamma(q)\backslash\mathrm{SL}_n(\mathbb{R})/\mathrm{SO}_n(\mathbb{R}))$ のスペクトル分解における非温度的尖点形式の数を定量化すること。
• 密度上界における $M$ に対する多項式的依存性を提供し、$n=2$ またはヘッケ部分群に限られていた既存の結果を改善すること。
• スペクトル解析の主要な解析的道具として、局所的ホイットカー関数とクローストマン和の新たな評価を確立すること。

提案手法

• 著者らは、クローストマン和の和と自動形式のスペクトル和との間の関係を確立するため、クズネツォフの公式を適用し、トレース公式のスペクトル側を制御できるようにする。
• 彼らは前トレース公式を用いて、特定の自動形式カーネル関数の $L^2$ ノルムを推定し、スペクトルパラメータ $\|\mu_{\varpi}\| \leq P$ および $> P$ の寄与に分解する。ここで $P = (qT)^\varepsilon$ である。
• 行列係数の成長を制御するため、スペクトルギャップ推定式 (7.9) を用い、非温度的形式からの寄与を制御するための定理 7.1 の適用を可能にする。
• この手法には、体積 $\mathcal{V}_q = [\mathrm{SL}_n(\mathbb{Z}):\Gamma(q)]$ の精密な分析と、$L^2$ ノルムとスペクトル支持が制御されたテスト関数 $f$ の使用が含まれる。
• 自明表現とそれ以外のスペクトルを区別し、定数寄与を差し引くことで、非自明なスペクトル項を分離する。
• 局所的ホイットカー関数とクローストマン和の新たな評価が導出され、特にレベルの側面において、クズネツォフの公式の算術的側面を制御するために用いられる。

実験結果

リサーチクエスチョン

• RQ1 平方自由なレベルにおける $\mathrm{SL}_n(\mathbb{Z})$ の主合同部分群に対して、球面密度予想は $n > 2$ に対しても成り立つか。
• RQ2 レベルの側面における正しい指数を保ちながら、密度上界をスペクトルパラメータ $M$ に対して多項式的にすることができるか。
• RQ3 $\mathrm{SL}_n$ のクズネツォフの公式の文脈において、局所的ホイットカー関数とクローストマン和の最適な評価は何か。
• RQ4 非温度的スペクトル部分におけるスペクトルギャップが、全体の密度推定にどのように影響するか。
• RQ5 クズネツォフの公式は、自明および温度的でない場合を除く非自明な上界を得るために、主合同部分群に効果的に適用可能か。

主な発見

• 平方自由な $q$ に対して、主合同部分群 $\Gamma(q) \subset \mathrm{SL}_n(\mathbb{Z})$ における球面密度予想が証明され、$\sigma \geq 0$ に対して $\mathcal{N}_v(\sigma,\mathcal{F}) \ll_{v,\varepsilon,n} M^K [\mathrm{SL}_n(\mathbb{Z}:\Gamma(q)]^{1 - \frac{2\sigma}{n-1} + \varepsilon}$ の形の上界が得られる。
• 上界は $M$ に対して多項式的依存性を示し、数論的および量子カオスの応用において重要である。
• 著者らは、クズネツォフの公式のスペクトル側を制御するために不可欠な、局所的ホイットカー関数とクローストマン和の新たな鋭い評価を確立した。
• 定理 7.1 で示されるように、尖点形式に限らず、完全なスペクトルに対してもこの手法が拡張可能である。スペクトル分解により、尖点的および残留寄与を同時に取り扱う。
• スペクトルギャップと $\Gamma(q)$ が $\mathrm{SL}_n(\mathbb{Z})$ の正規部分群としての構造を活用することで、レベルの側面における非自明な指数を達成し、$\mathrm{SL}_n(\mathbb{Z}/q\mathbb{Z})$ 上での平均化を可能にする。
• この結果により、$\Gamma(q)$ の尖点形式の族における特異固有値（ラマヌジャン予想の破れ）がまれであることが確認され、$q$ が大きくなるに従いその数が減少することが、密度仮説に整合する。