[論文レビュー] Analytic newvectors for $\mathrm{GL}_n(\mathbb{R})$

Subhajit Jana, Paul D. Nelson|arXiv (Cornell University)|Nov 5, 2019

Advanced Algebra and Geometry参考文献 27被引用数 4

ひとこと要約

本稿は、GLₙ(ℝ) における古典的な新ベクター理論のアーケィメデス的類似を確立し、一般の非可約表現 π の解析的導出 C(π) と、K₀(X,τ) や K₁(X,τ) に関連する特定の部分群におけるほぼ不変なベクトルの存在との関係を示す。主な結果は、解析的導出 C(π) < X を満たすカスプ形式の自動形式的表現に対して、スペクトル射影子 F_X が π(F_X)W(1) ≫ 1 を満たすことを示しており、これにより、トレース公式における解析的導出で順序付けられた自動形式の和の主要化が可能になる。

ABSTRACT

We relate the analytic conductor of a generic irreducible representation of $\mathrm{GL}_n(\mathbb{R})$ to the invariance properties of vectors in that representation. The relationship is an analytic archimedean analogue of some aspects of the classical non-archimedean newvector theory of Casselman and Jacquet--Piatetski-Shapiro--Shalika. We illustrate how this relationship may be applied in trace formulas to majorize sums over automorphic forms on $\mathrm{PGL}_n(\mathbb{Z}) \backslash \mathrm{PGL}_n(\mathbb{R})$ ordered by analytic conductor.

研究の動機と目的

• GLₙ(ℝ) におけるカスプの非アーケィメデス的新ベクター理論の解析的アーケィメデス的類似を構築すること。
• 一般の非可約表現 π の解析的導出 C(π) を、特定の部分群における π 内のベクトルの不変性特性に関連付けること。
• PGLₙ(ℤ)\PGLₙ(ℝ) 上の自動形式の族を解析的導出で順序付けたものに近似的に射影するテスト関数 F_X を構成すること。
• トレース公式を用いて、解析的導出で順序付けられた自動形式の和を主要化する応用を可能にすること。非アーケィメデス的技法に類似した手法を実現すること。

提案手法

• K₀(X,τ) および K₁(X,τ) という、行列の成分が 1/X で有界である条件によって定義される部分群の正規化された主要化関数 F_X の族を導入する。
• 正規化された主要化関数の畳み込みを用いることで、群の乗法に関して主要化性が保たれ、スペクトル射影と整合性を持つようにする。
• 自動形式カーネル ∑γ∈PGLₙ(ℤ) F_X(x₁⁻¹γx₂) のスペクトル分解を適用し、トレース公式を Bessel 分布 J_π(F_X) に関連付ける。
• Whittaker モデル理論とプランシュレ測度を用いて、スペクトル側を Whittaker 関数 W_φ 及びその L² 範囲で表現する。
• シュールの補題を用いて、ベクトル φ の L² 範囲とその Whittaker 関数の範囲との関係を示し、カスプ的 π に対しては係数 ℓ(π) ≍ L(1,π,Ad) が現れる。
• Bessel 分布 J_π(F_X) = ∑|π(f_X)W(1)|² を用いて、解析的導出が小さい表現を検出する。C(π) < X を満たすすべての π に対して J_π(F_X) ≫ 1 であることを示す。

実験結果

リサーチクエスチョン

• RQ1 GLₙ(ℝ) の一般の非可約表現 π の解析的導出を、非アーケィメデス的新ベクター理論に類似した、特定の部分群におけるベクトルのほぼ不変性によって特徴づけることは可能か？
• RQ2 PGLₙ(ℤ)\PGLₙ(ℝ) 上の自動形式の族を解析的導出で順序付けたものに近似的に射影するテスト関数をどのように構成できるか？
• RQ3 C(π) < X を満たす表現に対して Bessel 分布 J_π(F_X) のスペクトル的性質は何か？また、π(f_X)W(1) の大きさとどのように関係するか？
• RQ4 正規化された主要化関数の畳み込みが、群演算下での必要な不変性および減衰性をどの程度保つことができるか？

主な発見

• 任意のカスプ形式の自動形式的表現 π に対して、解析的導出 C(π) < X を満たすとき、スペクトル射影子 F_X は π(F_X)W(1) ≫ 1 を満たす。ここで W は Whittaker 新ベクトルである。
• すべてのカスプ的 π に対して、Bessel 分布は J_π(F_X) ≫ 1 を満たし、これは解析的導出が小さい表現を検出するスペクトル的メカニズムを提供する。
• 部分群 K₀(X,τ) の体積は Vol(K₀(X,τ)) ≍ X^{n−1} で有界であり、これにより Whittaker 積分 ∫_N F_X(x)ψ̅(x)dx ≪ X^{n−1} の大きさが制御される。
• 2つの正規化された主要化関数 F_X¹ および F_X² の畳み込みは、ある τ₁ > 0 に対して K_*(X,τ₁) の正規化された主要化関数のまま残り、スペクトル射影に必要な性質が保たれる。
• トレース公式のスペクトル側は ∫ J_π(F_X)ℓ(π)⁻¹ dμ_aut(π) に分解され、これは X^{n−1} で主要化可能であり、自動形式の和に対する有効な評価が可能になる。
• 本構成により、非アーケィメデス的射影子の直接的なアーケィメデス的類似が得られ、解析的導出で順序付けられた族に対するトレース公式の応用が可能になる。