[論文レビュー] Subconvex bounds for Hecke-Maass forms on compact arithmetic quotients of semisimple Lie groups

Pablo Ramacher, Satoshi Wakatsuki|arXiv (Cornell University)|Mar 20, 2017

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

ひとこと要約

本稿は、半単純リー群 G のコンパクトな算術的商 Γ\G におけるヘッケ–モース形式の非凸界を確立し、楕円型微分作用素のスペクトル理論を用いて、既知の球面型形式への境界の拡張を超えて、任意の K-型へと一般化している。主な結果は、cocompact ラティスおよび新しい種類の自己形式表現（特に重みの側面における正則モジュラー形式を含む）に対して、L²_σ(Γ\G) 内の固有関数 φⱼ に対して、||φⱼ||_∞ ≪ (-μⱼ + 2μ_σ)^{(dim G/K - 1)/4 - δ} の形の非凸界が成り立つことである。

ABSTRACT

Let $H$ be a semisimple algebraic group, $K$ a maximal compact subgroup of $G:=H(\mathbb{R})$, and $Γ\subset H(\mathbb{Q})$ a congruence arithmetic subgroup. In this paper, we generalize existing subconvex bounds for Hecke-Maass forms on the locally symmetric space $Γ\backslash G/K$ to corresponding bounds on the arithmetic quotient $Γ\backslash G$ for cocompact lattices using the spectral function of an elliptic operator. The bounds obtained extend known subconvex bounds for automorphic forms to non-trivial $K$-types, yielding subconvex bounds for new classes of automorphic representations, and constitute subconvex bounds for eigenfunctions on compact manifolds with both positive and negative sectional curvature. We also obtain new subconvex bounds for holomorphic modular forms in the weight aspect.

研究の動機と目的

• コンパクト算術的商 Γ\G 上の自動形式の非凸界を、球面型から非球面型 K-型へ一般化すること。
• L-関数および固有関数の既知の非凸界を、非自明な K-型および混合曲率を有するコンパクト多様体へと拡張すること。
• スペクトル法を用いて、重みの側面における正則モジュラー形式の非凸界を確立すること。
• 楕円型作用素のスペクトル関数を用いて、Γ\G 上のヘッケ–モース形式の表現論的枠組みを構築すること。
• 固有値および重みの側面における自動形式の非凸性に関する、以前の結果を統合的かつ一般化すること。

提案手法

• コンパクトリーマン多様体 Γ\G 上の固有関数を分析するために、楕円型微分作用素のスペクトル関数を用いる。
• ピーター–ウェイの分解を適用して、L²(Γ\G) を K-型成分 L²_σ(Γ\G)（σ ∈ K̂）に分解する。
• アデール群の作用を用いて、自動形式のスペクトル理論と組み合わせ、G 上にキャラクターを持つヘッケ作用素を構成する。
• 微分作用素 Dᵘ のノルムと表現 σ の次元 d_σ を用いて、L²_σ(Γ\G) 内の固有関数に対する凸界を導出する。
• ヘッケ核作用素のスペクトル漸近展開と K-型の Weyl の法則、および行列係数の減衰性を組み合わせることで、非凸界を確立する。
• ハリシュ＝チャンドラの定理およびカシミール作用素を含む表現論的道具を用いて、固有関数のスペクトルパラメータによる成長を制御する。

実験結果

リサーチクエスチョン

• RQ1 半単純リー群 G のコンパクト算術的商 Γ\G 上で、ヘッケ–モース形式の非凸界を球面型形式から任意の K-型へ拡張できるか。
• RQ2 正負の断面曲率を併せ持つコンパクト多様体上での固有関数に対する非凸界の鋭さはいかほどか。
• RQ3 Γ\G 上の自動形式の非凸界は、K-型 σ およびスペクトルパラメータ μ_j にどのように依存するか。
• RQ4 この手法を重みの側面における正則モジュラー形式に適用でき、新たな非凸界を導けるか。
• RQ5 代数群 H 及びその算術的ラティス Γ にどのような条件を課すと、このような非凸界の存在が保証されるか。

主な発見

• 本稿は、ヘッケ–モース形式 φⱼ ∈ L²_σ(Γ\G) に対して、||φⱼ||_∞ ≪ (-μⱼ + 2μ_σ)^{(dim G/K - 1)/4 - δ} の形の非凸界を確立した。ここで μ_j はカシミール固有値、μ_σ は σ 上での dR(Ω_K) の固有値である。
• この境界は、球面型でない K-型を含むすべての K-型 σ ∈ K̂ に対して成り立ち、既知の球面型から非球面型自動形式への結果の拡張を実現している。
• K がトーラスである場合、境界は ||φⱼ||_∞ ≪ (-μⱼ + 2μ_σ)^{(dim G/K - 1)/4 - δ} に簡略化され、これはほとんど鋭く、以前の凸界を改善する。
• 本手法により、特に G = SL(n,R)（n ≥ 2）の場合に、重みの側面における正則モジュラー形式の新たな非凸界が得られた。
• H(R) にコンパクトな R-単純因子を含まない限り、分割代数および数体上のユニタリ群に対しても結果が適用可能であり、非コンパクトな算術的商の存在を保証する。
• 楕円型作用素のスペクトル関数を用いて、K-型 σ に依存しない一様な非凸界を導出しており、δ > 0 は群 G およびラティス Γ のみに依存する。