[論文レビュー] Stabilisation de la formule des traces tordue I: endoscopie tordue sur un corps local

Jean-Loup Waldspurger|arXiv (Cornell University)|Jan 18, 2014

Esophageal and GI Pathology参考文献 8被引用数 16

ひとこと要約

本稿は、特徴値がゼロの局所体上におけるねじれエンドスコピーの基礎的道具を確立し、ねじれトレース公式安定化の幾何的側面に焦点を当てる。伝統的な準分裂群 $G^*$ の代わりにねじれ空間を用いてエンドスコピー・データを再定義し、補助的データに依存しない一意の極限構成による転送因子を導入するとともに、安定共役のガロア不変性を保証し、将来のねじれ設定下でのトレース公式安定化の統一的枠組みを可能にする。

ABSTRACT

This is the first of a series of papers devoted to the stabilization of the twisted trace formula. It is just an introduction. We present the local theory of twisted endoscopy, following the fundamental works of Kottwitz-Shelstad, Labesse and Shelstad. Our presentation is partly new because we try to give canonical definitions of the basic objects, which are more usually defined using auxiliary data. We prove also some results about the image of endoscopic transfer and about the dual transfer of stable distributions whose support is a finite set of stable conjugacy classes.

研究の動機と目的

• 特徴値がゼロの局所体上におけるねじれエンドスコピーの、一意的で幾何的な枠組みを提供し、従来の $G^*$ の手法に代わるものとする。
• 中間群 $G^*$ のような非一意的かつガロア不変でない対応が生じる問題を解決する。
• すべての補助的データにわたる転送因子の一意的極限を定義し、データの変更に対して不変であることを保証する。
• ねじれ空間における安定共役類とそのエンドスコピー対応物との間のガロア不変対応を確立する。
• 幾何的分布とその転送を形式化することで、ねじれトレース公式の完全な安定化の基盤を築く。

提案手法

• 古典的な対 $(G, \theta)$ の代わりに、$\theta$ を自己同型とするねじれ空間 $\tilde{G}$ を導入する。
• エンドスコピー・データ $\mathbf{G}' = (G', \mathcal{G}', \tilde{s})$ を定義し、エンドスコピー群 $\tilde{G}'$ の一意的構成を提供する。
• 中間の準分裂群 $G^*$ を、$G$ の最大トーラスに自然なガロア作用を備えた一意的ガロア加群 $T^*$ に置き換える。
• すべての補助的データ $G'_1$ にわたる転送因子の極限帰納系を構成し、一意的対象 $C_c^\infty(\mathbf{G}')$ を得る。
• サタケ同型を用いて極限代数 $\mathcal{H}'$ を $\widehat{\mathcal{H}}'$ と同一視し、転送の幾何的解釈を可能にする。
• $\omega$-不変幾何的分布を定義し、その転送における核を同定する。これは降下やトレース公式への応用において重要である。

実験結果

リサーチクエスチョン

• RQ1 ねじれエンドスコピーを、ガロア不変性を保ち、$G^*$ のような非一意的群に依存しない形でどのように形式化できるか？
• RQ2 ねじれ空間におけるエンドスコピー・データの一意的構成は何か？ そして、古典的 Kottwitz-Shelstad フレームワークとはどのように異なるか？
• RQ3 補助的データの変更に伴って転送因子はどのように振る舞い、それらを一つの一意的対象に統合できるか？
• RQ4 有限個の安定共役類に台を持つ幾何的分布の転送写像の構造はいかなるものか？
• RQ5 補助的選択に依存せず、ガロア作用を尊重する形式的枠組みを用いて、ねじれトレース公式を安定化できるか？

主な発見

• 本稿は、異なるデータセット間の同型を介して、補助的データに依存しない一意的極限対象 $C_c^\infty(\mathbf{G}')$ を、エンドスコピー群上の関数空間に対して構成する。
• $G^*$ が、$ tilde{G}$ と $ tilde{G}^*$ の安定共役類の間の対応に一意的かつガロア不変でないため、ねじれエンドスコピーには不適切であることが示される。
• 自然なガロア作用を備えた $G$ の最大トーラス $T^*$ が、$G^*$ の代替として本質的であると特定され、一意的かつ不変な構造を提供する。
• 補助的データに依存しない転送因子の極限としての性質により、軌道積分に対する一意的転送写像が可能になる。
• エンドスコピー・データの自己同型群が $C_c^\infty(\mathbf{G}')$ 上に作用する仕組みが明示的に記述され、特に関数上の文字波動による非自明な作用も含む。
• $\omega$-不変幾何的分布の転送写像の核が同定され、とりわけ Renard と Shelstad の結果を用いたアーキメデス型の場合におけるハリシュ・チャンドラの降下における振る舞いの分析がなされる。