[论文解读] Perverse Sheaves on Real Loop Grassmannians

David Nadler|ArXiv.org|Feb 18, 2002

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

一句话总结

本文在实形式 $G_{\mathbb{R}}$ 的复半单群 $G$ 的实环 Grassmannian $\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}$ 的表示联系起来，将几何 Satake 等价性推广至实环 Grassmannian。
• 证明相关子群 $\check{H}$ 是 $\check{G}$ 的 Levi 子群的对合作用下固定点的恒同连通分支，其根系与 $G_{\mathbb{R}}$ 的限制根系相关联。
• 通过 $\check{H}$ 的结构证明某些实代数映射满足分解定理，将复情形的结果推广至实情形。
• 在实形式的背景下，通过 $\operatorname{Gr}_{\mathbb{R}}$ 上的 perverse sheaf，提供 $G$ 与 $\check{G}$ 之间对偶性的具体实现。

提出的方法

• 构建实环 Grassmannian $\operatorname{Gr}_{\mathbb{R}}$ 上的 perverse sheaf 的张量范畴，利用其有限维且余维数为偶数的分层结构。
• 定义从 $G({\mathcal{O}})$-等变 perverse sheaf 在 $\operatorname{Gr}$ 上的范畴到以余权格 $\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}$ 和 Borel 子群 $\check{B}$ 的半单群。
• 在 $\operatorname{Aut}^\otimes(\mathbb{H})$ 与 $\check{G}$ 之间建立基于根数据的同构，表明 $\operatorname{Aut}^\otimes(\mathbb{H})$ 的基本余根与 $G$ 的基本根匹配，且其优权与 $G$ 的优余权匹配。
• 将 $\check{H}$ 识别为 $\check{G}$ 的连通半子群，其根系通过 $\check{G}$ 的 Levi 子群上对合作用的固定点，与 $G_{\mathbb{R}}$ 的限制根系相对应。

实验结果

研究问题

• RQ1 如何将几何 Satake 等价性从复环 Grassmannian 推广至实环 Grassmannian？
• RQ2 参数化 $\operatorname{Gr}_{\mathbb{R}}$ 上 perverse sheaf 的半子群 $\check{H} \subset \check{G}$ 的精确结构是什么？
• RQ3 在此背景下，拓扑定理如分解定理在实代数映射上成立到何种程度？
• RQ4 $\check{H}$ 的根系与实形式 $G_{\mathbb{R}}$ 的限制根系有何关系？
• RQ5 能否通过 $\operatorname{Gr}_{\mathbb{R}}$ 上的 perverse sheaf 具体实现 $G$ 与 $\check{G}$ 之间的对偶性？

主要发现

• 在实环 Grassmannian $\operatorname{Gr}_{\mathbb{R}}$ 上的 $G({\mathcal{O}})$-等变 perverse sheaf 的范畴与 $\check{G}$ 的连通半单复代数子群 $\check{H} \subset \check{G}$ 的有限维表示范畴之间存在等价。
• $\check{H}$ 的根系同构于实形式 $G_{\mathbb{R}}$ 的限制根系，且 $\check{\frak{h}}$ 的秩等于 ${\frak{g}}_{\mathbb{R}}$ 的实秩。
• $\check{H}$ 的 Weyl 群同构于 $G_{\mathbb{R}}$ 的小 Weyl 群。
• 当 $G_{\mathbb{R}}$ 为紧致时，$\check{H}$ 为平凡群，且 $\operatorname{Gr}_{\mathbb{R}}$ 为单点。
• 对于分裂或拟分裂实形式，$\check{H}$ 是 $\check{G}$ 的 Levi 子群上对合作用的固定点的恒同连通分支，其构造可通过基于根数据的自然方式给出。
• 由于 $\check{H}$ 的半单性，分解定理对某些实代数映射成立，从而将复情形的结果推广至实情形。