[論文レビュー] Le lemme fondamental pour les groupes unitaires

Gérard Laumon, B. C. Ngô|ArXiv.org|Apr 26, 2004

Advanced Algebra and Geometry被引用数 28

ひとこと要約

本稿は、正標数の局所体上の非分岐ユニタリ群に対して、射影曲線上のHitchin分離の経由による新規変形技法を用いて、Langlands基本補題を証明する。主な結果は、ねじれた軌道積分と安定なエンディスコピック積分の間の予想される等式を確立し、群のランクが残渣標数 p より小さい場合に証明を完了する。

ABSTRACT

Let G be an unramified reductive group over a non archimedian local field F. The so-called "Langlands Fundamental Lemma" is a family of conjectural identities between orbital integrals for G(F) and orbital integrals for endoscopic groups of G. In this paper we prove the Langlands fundamental lemma in the particular case where F is a finite extension of F_p((t)), G is a unitary group and p>rank(G). Waldspurger has shown that this particular case implies the Langlands fundamental lemma for unitary groups of rank

研究の動機と目的

• ベース体が Fp((t)) の有限拡大である場合、かつランクが p より小さい場合に、ユニタリ群に対するLanglands基本補題を確立すること。
• Waldspurgerの Qp 上での基本補題の還元を正標数の設定に拡張し、小ランクのユニタリ群に対する証明を完了すること。
• 軌道積分とそのエンディスコピック群上の軌道積分を結びつけるために、G-不変cohomologyおよび変形技法を用いたcohomologicalアプローチを開発すること。
• 曲線上のユニタリ群に対して、Hitchin分離を用いた幾何的変形により、軌道積分を定義し、安定積分とねじれた軌道積分の比較を可能にすること。
• 幾何的およびcohomologicalな議論を通じて、移行因子が軌道積分の比と一致することを示し、基本補題を検証すること。

提案手法

• Goresky, Kottwitz, MacPhersonの戦略を模倣し、G-不変cohomologyを用いて移行因子をcohomological同型として表現すること。
• 有限体上の射影曲線におけるユニタリ群のHitchin分離を用いて、軌道積分の変形を構成すること。
• Hitchin分離の幾何を用いて、ファイバーの構造とその濃度を分析し、特に群作用と固定点との関係を調べること。
• コンパクト化されたジャコビアンおよび相対双対性の理論を適用し、ファイバーのEuler標数およびcohomological不変量を制御すること。
• Frobenius作用および群 G の作用の下での固定点の数が、|G(k)| / |Gx(k)| の比によって制御されることを活用し、これは軌道積分の測度と関係している。
• 最大トーラスおよびその内包形のHaar測度の正規化を用いて、共役類間の軌道積分の比較における一貫性を保証すること。

実験結果

リサーチクエスチョン

• RQ1 正標数の局所体上のユニタリ群に対して、Langlands基本補題は成り立つか。特に、残渣標数 p が群のランクより大きい場合に成り立つか。
• RQ2 ユニタリ群とそのエンディスコピック群の間の移行因子は、Hitchin分離を用いて幾何的に実現可能か。
• RQ3 Galois群およびWeyl群の作用を通じて、群上の軌道積分と安定エンディスコピック積分の関係は何か。
• RQ4 Waldspurgerの方法を用いて、p進体の場合の基本補題を関数体の場合に還元可能か。もし可能であれば、その証明はどのように行えるか。
• RQ5 Hitchin分離は、軌道積分の変形および基本補題に必要なcohomological同型の確立にどのような役割を果たすか。

主な発見

• ランク n < p の非分岐ユニタリ群に対して、Fp((t)) 上でLanglands基本補題が証明された。
• 証明により、Oγ^κ(1K) = Δ(γ,δ) · SOδ^H(1K^H) という等式が確立され、予想された移行因子の等式が確認された。
• Hitchin分離を用いた軌道積分の変形により、群とそのエンディスコピックデータとの間に幾何的ブリッジが構築された。
• 点 x におけるHitchin写像のファイバー濃度が |G(k)| / |Gx(k)| に等しいことが示され、これは軌道積分で用いられる測度正規化と一致する。
• G-不変cohomologyを用いたcohomologicalアプローチにより、基本補題がcohomologyの同型に還元され、コンパクト化されたジャコビアンの幾何を用いて検証された。
• この結果により、Qp 上のランクが p より小さいユニタリ群に対しても、Waldspurgerの還元により基本補題が成立することが示された。