[論文レビュー] Stabilisation de la formule des traces tordue III: intégrales orbitales et endoscopie sur un corps local non-archimédien; réductions et preuves

Jean-Loup Waldspurger|arXiv (Cornell University)|Feb 12, 2014

Spectral Theory in Mathematical Physics参考文献 2被引用数 9

ひとこと要約

本論文は、非アーチメデス的局所体の文脈において、正則性仮定の下で、歪み付き重み付き軌道積分とそのエンデスコピック版の等価性を示すことにより、歪み付きトレース公式の安定化を確立する。グローバル手法、ガーメン展開、降下技術を用い、特に非標準エンデスコピック三つ組が生じる場合に、一般の場合をより小さな群に還元し、帰納法と再帰的降下により主要な等式を証明することで、歪み付きエンデスコピック転送の背後にある基本的等式を確認する。

ABSTRACT

This is one of a series of articles, in collaboration with C. Moeglin, whose goal is to stabilize the twisted trace formula. In the previous article, we have stated several assertions about the stabilization of weighted orbital integrals over a non-archimedean field. Those integrals depend on a conjugacy class in our twisted space. Here we deduce all these assertions from a unique one, where the conjugacy class is assumed to be strongly regular.

研究の動機と目的

• 非アーチメデス的局所体上の再帰的群に対して非自明な歪み付きの歪み付きトレース公式の安定化を証明すること。
• 分布の台に強い正則性条件を課した下で、歪み付き重み付き軌道積分とそのエンデスコピック類似物の等価性を確立すること。
• 特に歪み付き設定における非標準エンデスコピック三つ組が生じる場合に、帰納法と降下を用いて一般の場合をより小さな群に還元すること。
• ガーメン展開と転送写像に関連する主要な等式を証明することで、エンデスコピー理論を歪み付きの場合に拡張すること。
• 極限論法と漸近展開を用いて、台が強く正則でない場合でも等式が成り立つことを示すことにより、定理[II] 1.16の完全な証明を完成させること。

提案手法

• 強く正則な台を持つ場合に、エンデスコピック積分と非エンデスコピック積分の等価性を示す主要仮定（Hyp）を証明するため、グローバル手法を用いる。
• シャリカ理論からのガーメン展開技術を応用し、恒等元の近傍における積分の挙動を分析し、レヴィ部分群の根系に添え字が付いた項に分解する。
• 問題をより小さな群に還元するために降下技術を用い、特に歪み付き群における半単純元の中心化部分群に注目する。
• 降下とエンデスコピック転送を組み合わせた歪み付き設定で生じる「非標準エンデスコピック三つ組」を導入し、それらを処理する。
• 群の次元に関する再帰的帰納法を用い、中心化部分群のランクが小さい場合に問題を還元する。
• 特に非トーショントルスの状況において、転送写像の理論とエンデスコピック転送の降下との整合性に依存する。

実験結果

リサーチクエスチョン

• RQ1 エンデスコピック転送された歪み付き軌道積分が元の積分と一致するのはどのような条件下か？
• RQ2 歪み付き設定において降下とエンデスコピック理論を組み合わせる際、非標準エンデスコピック三つ組が出現するのをどのように処理できるか？
• RQ3 ガーメン展開は歪み付きトレース公式の安定化において果たす役割は何か？
• RQ4 極限論法を用いて、積分の等価性が強く正則な場合から一般の場合へどのように拡張できるか？
• RQ5 降下法は、歪み付き設定において、安定化問題をより小さな群に還元するためにどのように機能するか？

主な発見

• 仮定（Hyp）の下で、すべての $ \boldsymbol{\nu} $ に対して $ \tilde{G} $-同型な台を持つ場合に、等式 $ I_{\tilde{M}}^{\tilde{G},{\bf E}}(\boldsymbol{\nu},{\bf f}) = I_{\tilde{M}}^{\tilde{G}}(\boldsymbol{\nu},{\bf f}) $ が成り立つ。
• 最大トーラス $ A_{\tilde{M}}(F) $ における $ a \to 1 $ の極限過程は、$ |\alpha(a) - \alpha(a)^{-1}|_F $ に比例する項を含む漸近展開を生じ、これによりエンデスコピック項と非エンデスコピック項の差が消える。
• 帰納法と降下を用いて、すべての根 $ J $（最大のものも含む）に対して、$ \rho_J^{{\cal E}}(\boldsymbol{\gamma},a)^{\tilde{G}} = \rho_J(\boldsymbol{\gamma},a)^{\tilde{G}} $ が証明され、安定化の議論が完了する。
• $ \tilde{G} = G $ かつ自明な歪みの場合、半単純元の中心化の構造を用いて、群のランクに関する帰納法により結果が得られる。
• 非自明な歪みの場合は、半単純元の中心化のニュートラル成分に還元され、ここでは非歪み付き理論が適用可能になる。
• 最終的に、再帰的降下とガーメン解析を用いて、すべての関連する分布に対して主要な等式を証明することで、歪み付きトレース公式の完全な安定化が確認される。