[論文レビュー] Cuspidal representations of reductive groups

Dan Barbasch, Birgit Speh|ArXiv.org|Oct 4, 2008

Advanced Algebra and Geometry参考文献 15被引用数 6

ひとこと要約

この論文は、再帰的群の数体上におけるカスプ的自動形式表現が、有限位数の外部自己同型で不変である存在を、ねじれたアーチャー・トレース公式と局所的調和解析を用いて確立する。主な結果は、$ \mathbb{G}(\mathbb{R}) \rtimes \{1,\tau\} $ の有限次元表現 $ F $ が $ \operatorname{tr}F(\tau) \neq 0 $ かつ $ \tau $ の中心化子のランクが等しいならば、同じ無限小的特徴値と非ゼロコホモロジーを持つ、臨界的カスプ的自動形式表現 $ \pi_{\mathbb{A}} $ が存在することを示している。

ABSTRACT

This paper proves the existence of cuspidal automorphic forms for a reductive group, invariant under an automorphism of finite order. The techniques used are a local analysis of orbital integrals and the Arthur-Selberg trace formula.

研究の動機と目的

• 再帰的群のカスプ的自動形式表現が、有限位数の外部自己同型で不変であることを証明すること。
• このような表現が、所望の無限小的特徴値と非ゼロコホモロジーを有する条件を確立すること。
• 特に $ \mathrm{GL}(n) $ およびシミレクティック群に対して、コホモロジカルなカスプ形式に関する結果を一般化すること。
• トレース公式の技法を用いて、外部自己同型で安定な表現を含む自動形式理論を拡張すること。

提案手法

• 群の自己同型の下での自動形式の研究を可能にするために、ねじれたアーチャー・トレース公式を用いてスペクトル側と幾何的側を関連付ける。
• アーチメデス的および非アーチメデス的場所における表現の解析に、軌道積分とリーマン数の局所的調和解析を適用する。
• 実および $ p $-進設定の両方でリーマン関数を用いて、コホモロジー上の自己同型のトレースを計算する。
• $ \operatorname{tr}F(\tau) \neq 0 $ を $ \tau $-不変なカスプ的表現の存在に関する主要な基準として用いる。
• 非自明なコホモロジーを持つ $ \mathbb{Q} $ の巡回拡大上でのカスプ的表現の構成に、基本拡大技術を適用する。
• 局所的対称空間のコホモロジーと自動形式の $ F $ に係数を持つ相対的リ Lie 環コホモロジーとの間の同型に依拠する。

実験結果

リサーチクエスチョン

• RQ1 再帰的群 $ \mathbb{G} $ の有限位数の外部自己同型 $ \tau $ がカスプ的自動形式表現を保存するのはどのような条件下か？
• RQ2 $ \mathbb{G}(\mathbb{R}) \rtimes \{1,\tau\} $ の有限次元表現 $ F $ のトレース $ \operatorname{tr}F(\tau) $ が $ \tau $-不変なカスプ的形式の存在を検出するのはいつか？
• RQ3 ねじれたアーチャー・トレース公式をどのように用いて、自己同型の下で非ゼロコホモロジーを持つカスプ的表現を構成できるか？
• RQ4 $ \tau $ の等ランク中心化子がこのような表現の存在を保証するために果たす役割は何か？
• RQ5 巡回拡大上の基本拡大を用いて、自己同型の存在下で非自明なコホモロジーを持つカスプ的表現を構成できるか？

主な発見

• $ \operatorname{tr}F(\tau) \neq 0 $ かつ $ \mathfrak{g}(\mathbb{R}) $ 内の $ \tau $ の中心化子が等ランクならば、$ \mathbb{G}(\mathbb{A}) $ のカスプ的自動形式表現 $ \pi_{\mathbb{A}} $ が $ \tau $ に関して安定であることが保証される。
• 表現 $ \pi_{\mathbb{A}} $ は有限次元表現 $ F $ と同じ無限小的特徴値を持つため、ラングランズ計画と整合性を保つ。
• コホモロジー空間 $ \operatorname{H}^*({\mathfrak{g}}(\mathbb{R}), K_\infty, \pi_{\mathbb{A}} \otimes F) $ は非ゼロであり、非自明なコホモロジカルな支援が確認される。
• 特に $ \mathbb{G} = \mathrm{GL}(2m) $ の場合、整数的で特異的でない無限小的特徴値を持つ、シミレクティック自己同型 $ \tau_c $ に関して不変な臨界的カスプ的表現が存在する。
• 基本拡大を用いて、非自明なコホモロジーを持つ $ \mathrm{GL}(n, \mathbb{A}_K) $ のカスプ的表現を $ \mathbb{Q} $ の巡回拡大 $ K/\mathbb{Q} $ 上で構成する。
• 与えられた条件下で、$ \mathbb{G} $ が $ \mathbb{Q} $ 上に定義された場合、カスプ的コホモロジー $ \mathrm{H}^*_{\mathrm{cusp}}(S(K_f), \mathbb{C}) $ は非ゼロである。