[論文レビュー] Stabilisation de la formule des traces tordue VII: descente globale

Jean-Loup Waldspurger|arXiv (Cornell University)|Sep 3, 2014

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

ひとこと要約

本稿は、数体上の再帰的群に対するねじれエンドスコピーの文脈において、ねじれトレース公式のグローバル降下を確立し、準分裂で内因的ねじれの群について、安定トレース公式がグローバル降下の下で安定することを証明する。この研究は、安定共役類によるパラメトライゼーション、ハリッシュ＝チャンドラの降下法、およびコットヴィッツの消去論法のねじれ版に依存しており、主要な結果はねじれ基本補題およびシリーズにおける先行研究からの補助定理の正当性に依存する。

ABSTRACT

We begin the proof of the stabilization of the twisted trace formula. Here we prove that almost all "coefficients" appearing in this formula are equal to their endoscopic counterpart. It is the generalization to the twisted case of the result proved by Arthur in his second article on the stabilization of the trace formula.

研究の動機と目的

• 数体上の準分裂で内因的ねじれの再帰的群について、グローバル降下の下での安定トレース公式の安定性を証明すること。
• 安定トレース公式におけるねじれおよびねじれでない分布の等価性を、有限個の例外的共役類を除き確立すること。
• 直接的な共役類同定を必要としないパラメータ空間を用いて、安定共役類によるフレームワークを拡張すること。
• ラベスの研究によるコhomオロジー的制御を活用し、ハリッシュ＝チャンドラの降下によりグローバル問題を単純な分布に還元すること。
• 論理的依存関係を逆転させ、ねじれエンドスコピック転送定理を基本ケースとして用いることで、証明を完了すること。

提案手法

• 安定半単純共役類を分類するためのパラメータ空間 $\mathbf{Stab}(\tilde{G}(F))$ を導入し、直接的な共役類同定を必要としないグローバルパラメトライゼーションを可能にする。
• グローバルなハリッシュ＝チャンドラの降下を適用し、問題を単純な分布に還元する。この還元は、ラベスの研究によるねじれトーラスのコホモロジー的制御によって制御される。
• ねじれエンドスコピーにおける重み付き基本補題（チャウドゥアル＝ローモン）と、ねじれ版のコットヴィッツの消去論法を用いて、ねじれ設定における降下を扱う。
• 非標準エンドスコピック三重の使用により、ねじれの障害を排除し、非ねじれエンドスコピック転送に帰着する。
• シリーズにおける先行結果、特に定理 [VI] 5.6 を根拠とした再帰的議論により、残りのケースを解決する。
• 第9節で論理的流れを逆転させ、定理 [VI] 5.4 を基本ケースとして用い、定理 [VI] 5.6 を証明することで、帰納法の循環を完了する。

実験結果

リサーチクエスチョン

• RQ1 ねじれエンドスコピック群のグローバル降下の下で、安定トレース公式がいつ不変となるか。
• RQ2 直接的な共役類データを必要とせず、安定半単純共役類を分類するグローバルパラメータ空間をどのように定義できるか。
• RQ3 非標準エンドスコピック三重は、ねじれトレース公式の安定化においてどのような役割を果たすか。
• RQ4 等式 $A^{{\tilde{G}},{\cal E}}(V,{\cal O}_V,\omega) = A^{{\tilde{G}}}(V,{\cal O}_V,\omega)$ が破綻する場合とは何か。また、有限個の補正で修復可能か。
• RQ5 ねじれ基本補題およびコットヴィッツの消去原理を、グローバルでねじれの設定にどのように適応できるか。

主な発見

• 定理 [VI] 5.2 が証明された：$\mathcal{O}_V$ が安定半単純共役類であるとき、準分裂で内因的ねじれの群について $SA^{\tilde{G}}(V,{\cal O}_V)$ は安定である。
• 定理 [VI] 5.4 は、すべての安定半単純共役類 $\mathcal{O}_V$ について成り立つが、有限個の例外を除く。残りのケースは定理 [VI] 5.6 によって解決された。
• $\mathbf{Stab}(\tilde{G}(F))$ は、ねじれ設定における安定半単純共役類のグローバルで単射的かつしばしば全射的な分類を提供する。
• ハリッシュ＝チャンドラの方法によるグローバル降下は、コホモロジー的制御がラベスのトーラスに関する結果によって提供される単純な分布に問題を還元する。
• 証明は再帰的構造に依存しており、定理 [VI] 5.4 が定理 [VI] 5.6 を示し、逆に定理 [VI] 5.6 が定理 [VI] 5.4 を示す。すべての再帰的ステップが検証された時点で、完全な循環が達成される。
• 最終的な等式 $I^{\tilde{G}}(\underline{A}^{\tilde{G},{\cal E}}(V,\mu,\omega_{\bar{G}}),f) = I^{\tilde{G}}(A^{\tilde{G}}(V,{\cal X}),f)$ が確立され、$X(f) = 0$ を示唆する。これにより、望ましい分布の等価性が証明された。