[論文レビュー] The fundamental lemma of Jacquet-Rallis in positive characteristics

Zhiwei Yun|arXiv (Cornell University)|Jan 7, 2009

Advanced Algebra and Geometry参考文献 16被引用数 31

ひとこと要約

本稿は、特徴量がランク $ n $ より大きい正の特性を持つ局所関数体に対して、Hitchin フibration と Higgs バンドのモジュライ空間上の Frobenius 追跡公式を用いたグローバル幾何的手法により、正の特性における Lie 代数版の Jacquet-Rallis 基本的補題を証明する。主な結果として、対称空間とユニタリ群の設定における軌道的積分の同一性が確立され、関数体の場合における Jacquet-Rallis と Wei Zhang の予想が裏付けられる。

ABSTRACT

We prove both the group version and the Lie algebra version of the Fundamental Lemma appearing in a relative trace formula of Jacquet-Rallis in the function field case when the characteristic is greater than the rank of the relevant groups.

研究の動機と目的

• 特徴量がランク $ n $ より大きい関数体の場合に、Lie 代数版の Jacquet-Rallis 基本的補題を確立すること。
• 符号因子 $ (-1)^{v(A)} $ を除いて、対称空間 $ \mathfrak{s}_n(F) $ とユニタリ Lie 代数 $ \mathfrak{u}_n(F) $ におけるテスト関数の軌道的積分の同一性を証明すること。
• 群版の補題を Lie 代数版への還元により拡張し、一致する要素が存在しない場合の消滅条件を検証すること。
• 具体的には、Hitchin フibration と Frobenius 追跡公式を用いたグローバル幾何的技法を、モジュライスタック上で用いて、計算不能な局所的軌道的積分を制御すること。
• 正の特性における、対称空間およびヘルミート空間の両バージョンの補題について、予想された同一性を確認すること。

提案手法

• Ngô の Langlands-Shelstad 基本的補題の証明に用いられたグローバルからローカルへの戦略を採用し、局所的軌道的積分をグローバルなコhomology不変量に結びつけるために Hitchin モジュライスタックを用いる。
• 固定された場所 $ x_0 $ における局所的データをモデル化するため、滑らかな射影的曲線 $ X $ 上に、除数 $ D $ によって制御される特異性を持つ Higgs バンドのグローバル族を構成する。
• 各点における分離的解析を可能にするために、同型 $ \mathcal{M} \cong \prod_{x \in |X_m|} \mathcal{M}^x_{i_x, a_x, b_x} $ を用いて、グローバルなモジュライ空間を局所的因子に分解する。
• Lefschetz 追跡公式を適用し、局所的モジュライ空間 $ \mathcal{M}^x_{i_x, a_x, b_x} $ および $ \mathcal{N}^x_{a_x, b_x} $ のコホモロジー上の Frobenius 追跡を計算し、それらを軌道的積分に関連付ける。
• 追跡恒等式と半単純化を用いて、局所的 Hitchin ファイバーと局所的アフィン Springer ファイバーの $ \operatorname{Frob}_k $-加群間の同型を確立する。
• 特に、$ x_0 $ を除くすべての点で $ \mathcal{M}^x $ と $ \mathcal{N}^x $ が 0 次元であるため、非自明なコホモロジーは $ x_0 $ のファイバーでのみ寄与し、グローバルな追跡計算が簡略化される。

実験結果

リサーチクエスチョン

• RQ1 特徴量が $ n $ より大きい正の特性における関数体の場合に、Lie 代数版の Jacquet-Rallis 基本的補題は成り立つか？
• RQ2 関数体設定において、群版の補題は Lie 代数版に還元可能か？
• RQ3 対称空間 $ \mathfrak{s}_n(F) $ とユニタリ Lie 代数 $ \mathfrak{u}_n(F) $ における軌道的積分は、符号 $ (-1)^{v(A)} $ を除いて一致するか？
• RQ4 対称空間とユニタリ群の間で一致する要素が存在しない場合、軌道的積分の消滅は一貫しているか？
• RQ5 Hitchin フibration のグローバル幾何が、相対的追跡公式の文脈における局所的同一性を証明するために用いられるか？

主な発見

• 特徴量が $ n $ より大きい関数体の場合に、Lie 代数版の Jacquet-Rallis 基本的補題が証明され、Conjecture 1.1.1 (1) が裏付けられる。
• Proposition 2.6.1 で示されるように、任意の体上で有効な還元の議論により、群版の補題は Lie 代数版から導かれる。
• 一致する要素が存在しない場合の軌道的積分の消滅は、Lemma 2.5.3 で示されるキャンセル機構によって確立される。
• Hitchin フibration 上のグローバルなコホモロジー追跡公式により、局所的モジュライ空間 $ \mathcal{M}^x $ と $ \mathcal{N}^x $ のコホモロジー間の $ \operatorname{Frob}_k $-加群の同型が得られ、Frobenius 追跡が一致する。
• すべての $ j \geq 0 $ に対して、局所的モジュライ空間のコホモロジーにおける $ \operatorname{Frob}_k^m $ のトレースは、$ \operatorname{Tr}(\operatorname{Frob}_k^m, M^j_0) = \operatorname{Tr}(\operatorname{Frob}_k^m, N^j_0) $ を満たし、半単純化された $ \operatorname{Frob}_k $-加群の同型を示唆する。
• $ \operatorname{Frob}_k^2 $-作用が単位的部を決定するため、$ M^j_0 $ と $ N^j_0 $ が $ \operatorname{Frob}_k^2 $-加群として同型であるなら、完全な $ \operatorname{Frob}_k $-加群としても同型であり、証明が完成する。