[論文レビュー] Perverse Sheaves on Real Loop Grassmannians

David Nadler|ArXiv.org|Feb 18, 2002

Advanced Algebra and Geometry参考文献 15被引用数 4

ひとこと要約

本稿は、複素再帰的群 $G$ の実形式 $G_{\mathbb{R}}$ の実ループグラスマンニアン $\operatorname{Gr}_{\mathbb{R}}$ 上の perverse sheaf の圏と、$\check{G}$ の連結な再帰的複素部分群 $\check{H} \subset \check{G}$ の有限次元表現の圏との間でテンソル同値性を確立する。ここで $\check{H}$ のルート系は $G_{\mathbb{R}}$ の制限ルート系から導かれる。この結果により、特定の実代数的写像が分解定理を満たすことが示され、複素幾何的表現論が実設定へと拡張される。

ABSTRACT

The aim of this paper is to identify a certain tensor category of perverse sheaves on the real loop Grassmannian of a real form $G_{\mathbb R}$ of a connected reductive complex algebraic group $G$ with the category of finite-dimensional representations of a connected reductive complex algebraic subgroup $\check H$ of the dual group $\check G$. The root system of $\check H$ is closely related to the restricted root system of the real form $G_{\mathbb R}$. The fact that $\check H$ is reductive implies that an interesting family of real algebraic maps satisfies the conclusion of the Decomposition Theorem of Beilinson-Bernstein-Deligne.

研究の動機と目的

• 複素ループグラスマンニアンから実ループグラスマンニアンへ幾何的サタケ同値性を拡張すること。そのために、$\operatorname{Gr}_{\mathbb{R}}$ 上の perverse sheaf のテンソル圏を $\check{G}$ の部分群 $\check{H} \subset \check{G}$ の表現と同定すること。
• 関連する部分群 $\check{H}$ が、$\check{G}$ のレヴィ部分群の対合による固定点の単位成分として得られることを示し、そのルート系が $G_{\mathbb{R}}$ の制限ルート系と関連することを示すこと。
• 部分群 $\check{H}$ の構造を用いて、特定の実代数的写像に対して分解定理が成り立つことを示し、複素の結果を実設定へと拡張すること。
• 実形式の文脈において、$G$ と $\check{G}$ の双対性を、$\operatorname{Gr}_{\mathbb{R}}$ 上の perverse sheaf を用いて具体的に実現すること。

提案手法

• 実ループグラスマンニアン $\operatorname{Gr}_{\mathbb{R}}$ 上の perverse sheaf のテンソル圏を、その有限次元的かつ偶数余次元のストラティフィケーションを活用して構成する。
• $G({\mathcal{O}})$-同変な $\operatorname{Gr}$ 上の perverse sheaf の圏から、コワイト格子 $\Lambda_T$ で重みづけられたベクトル空間の圏へのキャラクターファンクター $\operatorname{Ch}$ を定義する。
• 忘却ファンクター $\operatorname{F}$ を用いて、重み空間 $F^\lambda(\operatorname{IC}^\lambda)$ を抽出し、これが表現における最高重量直線と一致することを示す。
• $\mathbb{H} = \operatorname{F} \circ \operatorname{Ch}$ のファイバー関手の自己同型群 $\operatorname{Aut}^\otimes(\mathbb{H})$ が、最大トーラス $\check{T}$ とボレル部分群 $\check{B}$ を持つ再帰的群であることを示す。
• $\operatorname{Aut}^\otimes(\mathbb{H})$ と $\check{G}$ の間で、基本的ルートデータの同型を確立し、$\operatorname{Aut}^\otimes(\mathbb{H})$ の基本的コルートが $G$ の基本的根と一致し、ドミナント重みが $G$ のドミナントコワイトと一致することを示す。
• $\check{H}$ を、$\check{G}$ のレヴィ部分群における対合の固定点の単位成分として得られる $\check{G}$ の連結な再帰的部分群と特定する。ここで $\check{H}$ のルート系は $G_{\mathbb{R}}$ の制限ルート系に対応する。

実験結果

リサーチクエスチョン

• RQ1 幾何的サタケ同値性は、複素ループグラスマンニアンから実ループグラスマンニアンへどのように拡張可能か？
• RQ2 実ループグラスマンニアン上の perverse sheaf をパラメトライズする再帰的群 $\check{H} \subset \check{G}$ の明確な構造は何か？
• RQ3 この文脈において、分解定理のような位相的定理が、実代数的写像に対してどの程度成り立つか？
• RQ4 $\check{H}$ のルート系は、実形式 $G_{\mathbb{R}}$ の制限ルート系とどのように関係しているか？
• RQ5 $G$ と $\check{G}$ の双対性は、$\operatorname{Gr}_{\mathbb{R}}$ 上の perverse sheaf を用いて具体的に実現可能か？

主な発見

• $G({\mathcal{O}})$-同変な実ループグラスマンニアン $\operatorname{Gr}_{\mathbb{R}}$ 上の perverse sheaf の圏は、連結な再帰的複素代数的部分群 $\check{H} \subset \check{G}$ の有限次元表現の圏と同値である。
• $\check{H}$ のルート系は、実形式 $G_{\mathbb{R}}$ の制限ルート系と同型であり、$\check{\frak{h}}$ のランクは ${\frak{g}}_{\mathbb{R}}$ の実ランクに等しい。
• $\check{H}$ のウェイル群は、$G_{\mathbb{R}}$ の小さなウェイル群と同型である。
• $G_{\mathbb{R}}$ がコンパクトなとき、$\check{H}$ は自明であり、$\operatorname{Gr}_{\mathbb{R}}$ は一点である。
• スプリットまたは準スプリットな実形式では、$\check{H}$ が $\check{G}$ のレヴィ部分群における対合の固定点の単位成分として得られ、基本的ルートデータに基づく自然な構成が可能である。
• $\check{H}$ の再帰性のおかげで、特定の実代数的写像に対して分解定理が成り立つ。これにより、複素の結果が実設定へと拡張される。