[論文レビュー] On the absolute convergence of the spectral side of the Arthur trace formula for GL(n)

Werner Mueller, Birgit Speh+1 more|arXiv (Cornell University)|Nov 2, 2002

Advanced Algebra and Geometry参考文献 50被引用数 31

ひとこと要約

本稿は、有理数体上のGL(n)に対するアーバートトレース公式のスペクトル側の絶対収束性を確立する。修正されたイーゼンスタイン級数と相互作用作用素の分析を通じて、以前は条件収束しか知られていなかったスペクトル側が、GL(n)において絶対収束することを証明し、トレース公式フレームワークにおける主要な技術的障壁を解消する。

ABSTRACT

Let G be the group GL(n) over a number field E and let A be the ring of adeles of E. In this paper we prove that the spectral side of the Arthur trace formula for G is absolutely convergent for all integrable rapidly decreasing functions on $G(A)^1$.

研究の動機と目的

• アーバートトレース公式のスペクトル側がGL(n)に対して絶対収束するかどうかという未解決問題を解消すること。
• 修正されたイーゼンスタイン級数と相互作用作用素を用いて、スペクトル側の微細なχ-展開を分析すること。
• 誘導表現の文脈において、K型および無限小特性のノルムに関する一様な境界を確立すること。
• ラングランズ分類と段階的誘導を用いて、問題をランク1および最小パラボリックの場合に還元すること。
• 適切な解析的条件下で、相互作用作用素J_{P'|P}(σ,ν)がK型上に単射であることを証明し、収束を保証すること。

提案手法

• 著者たちは、カスプ的データ(M_P, r_B)を用いたスペクトル分布のパrametrizationのために、イーゼンスタイン級数および相互作用作用素M_{Q|P}(λ)の理論を用いる。
• 作用素M_L(P,λ)を、留数およびコキャラクター格子の体積の極限として定義し、相互作用作用素の一般化された対数微分を分析する。
• 証明は、任意の表現をL^2データからの誘導表現に埋め込むラングランズ分類に依存し、問題を既知のケースに還元する。
• 誘導表現における商表現の構造に関連付けることにより、K型I_σ(γ)上での相互作用作用素J_{P'|P}(σ,ν)の単射性を分析する。
• K型ノルムに関して、スペクトルパラメータsとμを評価する。特に、L^2表現に対して||χ_π||² ≥ ||χ_σ||² + s²||α||²が成り立つことを利用する。
• 相互作用作用素をランク1のレヴィ部分群を通じて因数分解し、帰納法を用いることで、Gがランク1の半単純で、Pが最小パラボリック、P'が対応するパラボリックである場合に問題を還元する。

実験結果

リサーチクエスチョン

• RQ1 GL(n)におけるアーバートトレース公式のスペクトル側は、絶対収束するのか、それとも条件収束にとどまるのか？
• RQ2 誘導表現におけるK型のノルムに関して、無限小特性を用いた一様な境界を確立できるか？
• RQ3 相互作用作用素J_{P'|P}(σ,ν)がK型I_σ(γ)上で単射となる条件は何か？
• RQ4 誘導表現π_{σ,sα}におけるスペクトルパラメータsは、K型γのノルムとどのように関係するか？
• RQ5 スペクトル側の収束問題をランク1および最小パラボリックの場合に還元できるか？

主な発見

• GL(n)におけるアーバートトレース公式のスペクトル側は絶対収束する。これは、自動形式論における長年の未解決問題を解決する。
• GL(n)では、K型のノルムに関する一様な減衰推定があるため、スペクトル側の微細χ-展開は絶対収束する。
• 任意のK型γについて、表現π_{σ,sα}において||γ||² ≥ C + s²||α||²を満たす定数Cが存在し、これはsが||γ||の定数倍で有界であることを示唆する。
• Re(ν)が適切なチャネル内にある限り、相互作用作用素J_{P'|P}(σ,ν)がI_σ(γ)上で一様に単射であることが保証され、スペクトル級数の収束が保証される。
• 段階的帰納法およびワイル群の構造を用いることで、ランク1および最小パラボリックの場合への還元が正当化され、既知の相互作用作用素の結果の利用が可能になる。
• 証明はラングランズ分類に依存しており、誘導表現における商表現の無限小特性が元のデータの関数として有界であることが示され、スペクトルパラメータの均一な制御が保証される。