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

Gérard Laumon|ArXiv.org|Dec 18, 2002

Homotopy and Cohomology in Algebraic Topology被引用数 5

ひとこと要約

この論文は、等長特徴の局所体上でのユニタリ群に対する基本的補題の幾何的類似を、アフィン・スプリンガー・ファイバーの純粋性予想を用いることで確立する。この予想を仮定すると、著者は、コンパクト化ジャコビアンのコホモロジー群と積のねじれたコホモロジーの間の同型を証明し、正則半単純元の制限を越えて、すべてのこのような元へと結果を拡張する。そのためにグローバルな変形と等配分コホモロジーの技法を用いる。

ABSTRACT

Assuming the purity conjecture for the affine Springer fibers which has been formulated by Goresky, Kottwitz and MacPherson, we prove a geometric analog of the fundamental lemma for unitary groups. Our approach is similar to the one of Goresky, Kottwitz and MacPherson. Our main new ingredient is the link between affine Springer fibers and compactified Jacobians which is described in math.AG/0204109.

研究の動機と目的

• 等長特徴の局所体上でのユニタリ群に対する幾何的基本的補題を、正則半単純元の制限を除いて拡張すること。
• 純粋性予想の下で、コンパクト化ジャコビアンとスプリンガー・ファイバーの積のコホモロジー群の同型を確立すること。
• Goresky、Kottwitz、MacPhersonの手法を、スプリンガー・ファイバーとコンパクト化ジャコビアンの間の関係を用いて一般化すること。
• アフィン・スプリンガー・ファイバーの純粋性予想がユニタリ群に対する幾何的基本的補題を示すことの証明。
• グローバル・リシュツェル・レフシェッツの固定点公式を介して算術的基本的補題を含む幾何的枠組みを提供すること。

提案手法

• アフィン・スプリンガー・ファイバーのコホモロジーの純粋性予想を基礎的仮定として用いる。
• スプリンガー・ファイバー空間上のトーラス作用に関して等配分コホモロジー技法を適用する。
• 特異ファイバーのグローバル変形を、複数の分岐を持つ滑らかな曲線へと行い、幾何学的性質をコンパクト化ジャコビアンに結びつける。
• 特異閉埋め込みのGysin準同型を用い、局所系統 $\mathcal{L}$ をオリエンテーション層として作用させる。
• コキャラクター格子 $\Lambda_I$ による商をとることで、問題を等配分コホモロジーに還元し、商トーラス $\mathbb{G}_m^2$ に注目する。
• 文献[2]のスプリンガー・ファイバーとコンパクト化ジャコビアンの関係に関する重要な結果を用い、$X_I$ のコホモロジーを $Z_I$ のコホモロジーと関連付ける。

実験結果

リサーチクエスチョン

• RQ1 アフィン・スプリンガー・ファイバーの純粋性予想は、等長特徴の局所体上でのユニタリ群に対する幾何的基本的補題を示すか？
• RQ2 幾何的基本的補題は、非分岐最大トーラスに属する正則半単純元に限らず、すべての正則半単純元へと拡張可能か？
• RQ3 コンパクト化ジャコビアンは、スプリンガー・ファイバーの積の特異埋め込みに対するGysin写像を実現するために果たす役割は何か？
• RQ4 滑らかでない状況下で、$Z_I$ 上の局所系統 $\mathcal{L}$ はどのようにオリエンテーションとして機能するか？
• RQ5 純粋性の下で、等配分コホモロジーのアプローチが、同型 $H^{\bullet-2r}(Z_{I_1} \times Z_{I_2}, \mathbb{Q}_\ell)(-r) \xrightarrow{\sim} H^\bullet(Z_I, \mathcal{L})$ を確立できるか？

主な発見

• アフィン・スプリンガー・ファイバーの純粋性予想は、等長特徴の局所体上でのユニタリ群に対する幾何的基本的補題を示す。
• 純粋性仮定の下で、同型 $H^{\bullet-2r}(Z_{I_1} \times Z_{I_2}, \mathbb{Q}_\ell)(-r) \xrightarrow{\sim} H^\bullet(Z_I, \mathcal{L})$ が成り立つ。
• コンパクト化ジャコビアン $Z_I$ のコホモロジーは、積 $Z_{I_1} \times Z_{I_2}$ のねじれたコホモロジーと同型であり、$r = \sum_{i\in I_1,j\in I_2} r_{ij}$ の次数のねじれを伴う。
• 等配分コホモロジーの計算により、$H_\bullet^{\mathbb{G}_m^2}(X_I, \mathbb{Q}_\ell)_m = t^r H_\bullet(X_{I_1} \times X_{I_2}, \mathbb{Q}_\ell)_m[t]$ が得られ、期待される構造が確認された。
• 結果は、グローバル・リシュツェル・レフシェッツの固定点公式を介して算術的基本的補題を含む。
• 特異性にもかかわらず、局所系統 $\mathcal{L}$ を滑らかさの代替として用いることで、コホモロジー群の標準的同型を確立する手法が構築された。