[論文レビュー] Stabilisation de la formule des traces tordue V: intégrales orbitales et endoscopie sur le corps réel

Jean-Loup Waldspurger|arXiv (Cornell University)|Apr 9, 2014

Spectral Theory in Mathematical Physics被引用数 4

ひとこと要約

本稿は、実数体上での twisted trace formula の安定化フレームワークを確立する。新しい分布空間 $ D_{\text{tr-orb}}(\tilde{M}(\mathbb{R}), \omega) $ を導入することで、重み付き軌道積分を軌道的でない幾何的分布へ拡張する。$ \mathbb{R} $ 上では軌道的分布空間と幾何的分布空間が一致しないという問題を、再帰的安定化と極限過程による積分定義により解決する。中心仮定として、強正則元に対して安定および非安定な重み付き軌道積分が一致することを仮定すると、trace formula のすべての主要な構成要素が適切に定義されることを証明する。

ABSTRACT

It is one of a series of articles whose goal is to stabilize the twisted trace formula. In two previous papers, we have considered the stabilization of weighted orbital integrals over a non-archimedean local field. Here we consider the similar question over the real field. The principal result is the same: all expected properties are deduced from the stabilization of weighted orbital integrals relative to strongly regular elements.

研究の動機と目的

• 実数体上では成立しないが、非アーチメデス的局所体では成立する $ D_{\text{orb}}(\tilde{G}(\mathbb{R}), \omega) = D_{\text{geom}}(\tilde{G}(\mathbb{R}), \omega) $ の不成立を解消すること。
• 重み付き軌道積分 $ I_{\tilde{M}}^{\tilde{G}}(\boldsymbol{\gamma}, f) $ を、$ \tilde{G} $-同正則な元を含む、軌道的でない幾何的分布 $ \boldsymbol{\gamma} \in D_{\text{geom}}(\tilde{M}(\mathbb{R}), \omega) $ へ拡張すること。
• 端的転送に関して閉じており、安定化プログラムと整合性を持つ再帰的に定義された空間 $ D_{\text{tr-orb}}(\tilde{M}(\mathbb{R}), \omega) $ を構成すること。
• 強正則な $ \boldsymbol{\gamma} $ に対して $ I_{\tilde{M}}^{\tilde{G},{\cal E}}(\boldsymbol{\gamma}, f) = I_{\tilde{M}}^{\tilde{G}}(\boldsymbol{\gamma}, f) $ が成り立つという中心仮定のもとで、trace formula のすべての構成要素が適切に定義されることを証明すること。
• 準分裂、内的捩れ、およびパラメータが自明（$ {\bf a} = 1 $）の場合に非自明な結果を得ること。この場合、中心仮定は Arthur の結果から従う。

提案手法

• すべての端的データ $ {\bf M}' $ に対して、$ D_{\text{tr-orb}}^{\text{st}}(\tilde{M}'(\mathbb{R})) $ からの端的転送に関して閉じており、$ D_{\text{orb}}(\tilde{M}(\mathbb{R}), \omega) $ を含む最小の空間として $ D_{\text{tr-orb}}(\tilde{M}(\mathbb{R}), \omega) $ を定義する。
• 軌道的でない分布 $ \boldsymbol{\gamma} \in D_{\text{tr-orb}}(\tilde{M}(\mathbb{R}), \omega) $ に対して、Arthur の特異的台に関する方法に類似した極限過程を用いて $ I_{\tilde{M}}^{\tilde{G}}(\boldsymbol{\gamma}, f) $ を定義する。
• 関数 $ a \mapsto I_{\tilde{M}}^{\tilde{G}}(a\boldsymbol{\gamma}, f) $ の $ a = 1 $ におけるジェルム展開を用いて、分布の挙動を制御し、安定性を保証する。
• すべての誘導対象（レヴィ部分群、可換部分群、端的データ）が $ \mathbb{C} $ 上で定義されたままであることに依存し、再帰的構造を保つように、再帰的にレヴィ部分群および端的データに適用する。
• 強正則な $ \boldsymbol{\gamma} $ に対して、$ I_{\tilde{M}}^{\tilde{G},{\cal E}}(\boldsymbol{\gamma}, f) = I_{\tilde{M}}^{\tilde{G}}(\boldsymbol{\gamma}, f) $ が成り立つという重要な恒等式を、すべての定義と証明を可能にする中心仮定として確立する。
• 安定分布が $ D_{\text{tr-orb}}^{\text{st}}(\tilde{G}(\mathbb{R}), \omega) $ に属する場合、それが安定な幾何的分布から生じることを示し、構成が安定化プログラムと整合することを確認する。

実験結果

リサーチクエスチョン

• RQ1 なぜ実数体上では軌道的 $ \omega $-不変分布空間と幾何的 $ \omega $-不変分布空間が一致しないのか？（非アーチメデス的の場合とは異なる。）
• RQ2 実数体上では、重み付き軌道積分を軌道的分布から幾何的分布へ意味的に拡張する方法は何か？
• RQ3 どのような再帰的構造が、実数的状況下での端的転送が安定性と可積分性を保つことを保証するのか？
• RQ4 強正則な $ \boldsymbol{\gamma} $ に対して、恒等式 $ I_{\tilde{M}}^{\tilde{G},{\cal E}}(\boldsymbol{\gamma}, f) = I_{\tilde{M}}^{\tilde{G}}(\boldsymbol{\gamma}, f) $ が仮定されたり、証明されたりする条件は何か？
• RQ5 準分裂、内的捩れ、およびパラメータが自明（$ {\bf a} = 1 $）の場合に、非自明な結果を得られるか？この場合、中心仮定は既知である。

主な発見

• 空間 $ D_{\text{tr-orb}}(\tilde{M}(\mathbb{R}), \omega) $ は、$ D_{\text{orb}}(\tilde{M}(\mathbb{R}), \omega) $ を含み、すべての端的データからの端的転送に関して閉じている最小の空間として構成され、転送写像に関して安定であることが保証される。
• 重み付き軌道積分 $ I_{\tilde{M}}^{\tilde{G}}(\boldsymbol{\gamma}, f) $ は、Arthur の特異的台に関する方法に類似した極限過程により、$ \boldsymbol{\gamma} \in D_{\text{tr-orb}}(\tilde{M}(\mathbb{R}), \omega) $ へ拡張される。
• 中心仮定である、強正則な $ \tilde{G} $-正則元に対して安定および非安定な重み付き軌道積分が一致すること — これが、すべてのフレームワークが適切に定義されるために必要かつ十分である。
• 準分裂、内的捩れ、およびパラメータが自明（$ {\bf a} = 1 $）の場合、中心仮定は Arthur の結果から従うため、非自明かつ条件なしの結果が得られる。
• $ a \mapsto I_{\tilde{M}}^{\tilde{G}}(a\boldsymbol{\gamma}, f) $ の $ a = 1 $ におけるジェルムは制御された空間に属し、再帰的構成と整合性を保証する。
• $ D_{\text{tr-orb}}^{\text{st}}(\tilde{G}(\mathbb{R}), \omega) $ に属する安定分布は、すべて安定な幾何的分布から生じる。これにより、構成が安定化プログラムと整合することを確認できる。