[论文解读] The $G$-stable pieces of the wonderful compactification

Xuhua He|ArXiv.org|Dec 15, 2004

Advanced Algebra and Geometry参考文献 6被引用 10

一句话总结

本文研究了半单代数群 $G$ 的美妙紧化 $ar{G}$ 中 $G$-稳定块的闭包性质与胞腔分解。证明了若一个 $G$-稳定块的闭包仅包含有限个 $G$-轨道，则其 admits 胞腔分解，为在 $ar{G}$ 上建立抛物特征层的 Kazhdan–Lusztig 理论奠定了基础。

ABSTRACT

Let $G$ be a connected, simple algebraic group over an algebraically closed field. There is a partition of the wonderful compactification $\bar{G}$ of $G$ into finite many $G$-stable pieces, which were introduced by Lusztig. In this paper, we will investigate the closure of any $G$-stable piece in $\bar{G}$. We will show that the closure is a disjoint union of some $G$-stable pieces, which was first conjectured by Lusztig. We will also prove the existence of cellular decomposition if the closure contains finitely many $G$-orbits.

研究动机与目标

• 理解半单代数群 $G$ 的美妙紧化 $ar{G}$ 中 $G$-稳定块的闭包结构。
• 确立 $G$-稳定块闭包 admits 胞腔分解的条件。
• 为在 $ar{G}$ 上发展抛物特征层的 Kazhdan–Lusztig 理论提供必要的几何框架。
• 通过索引集 $(J,w)$ 上的偏序，将 $B \times B$-轨道闭包的结果推广至 $G$-稳定块。

提出的方法

• 使用 Lusztig 引入的以对 $(J,w)$ 索引的 $G$-稳定块分解，其中 $J \subset I$，$w \in W^J$ 为该陪集中的最短长度元素。
• 在集合 $W_\delta(J,w)$ 上引入一个偏序 $\leqslant^\prime$，通过 $\delta(I_2)$ 中的反射序列来描述闭包关系。
• 应用“通过纤维进行紧化”的技术，分析闭包的几何结构并构造胞腔分解。
• 依赖 Springer 的结果：某些 $B \times B$-轨道的并同构于仿射空间，并将此思想推广至 $G$-稳定块。
• 利用 $G \times G$ 在 $\tilde{Z}_{J,y,\delta}$ 上的作用，构造 $X^{(J,w,\delta)}_u$ 为纤维化在 $\mathcal{B}$ 上且具有仿射空间纤维的 $G$-概形。
• 证明当 $I_2 = \varnothing$ 时，概形 $X^{(J,w,\delta)}_u$ 同构于 $\mathcal{B}$ 上的向量丛，因此 admits 胞腔分解。

实验结果

研究问题

• RQ1 在什么条件下，美妙紧化 $ar{G}$ 中 $G$-稳定块的闭包 admits 胞腔分解？
• RQ2 一个 $G$-稳定块的闭包如何与其他 $G$-稳定块相关联？其关系由何种偏序控制？
• RQ3 $G$-稳定块的几何结构能否用于在 $ar{G}$ 上构造抛物特征层的 Kazhdan–Lusztig 理论？
• RQ4 在将结果从 $G$ 推广至 $\hat{G}$ 时，拟半单群 $\hat{G}$ 的非连通分支 $G^1$ 发挥了何种作用？

主要发现

• 任何 $G$-稳定块的闭包都是其他 $G$-稳定块的并，其包含关系由索引集 $(J,w)$ 上的偏序控制。
• 若一个 $G$-稳定块的闭包仅包含有限个 $G$-轨道，则其 admits 胞腔分解。
• 当闭包仅含有限个轨道时，$W_\delta(J,w)$ 上的偏序 $\leqslant^\prime$ 是良定义的，确保分解为 $\alpha$-划分。
• 当 $I_2 = \varnothing$ 时，概形 $X^{(J,w,\delta)}_u$ 同构于 $\mathcal{B}$ 上的向量丛，因此 admits 胞腔分解。
• 结果可推广至任意可能非连通的拟半单群 $\hat{G}$ 的连通分支 $G^1$，其结构为 $G$-情形的“扭曲”版本。
• 闭包 $\overline{Z^w_{J,\delta}}$ 可分解为不交并 $\sqcup_{u \in W_\delta(J,w)} X^{(J,w,\delta)}_u$，且当轨道数有限时，此分解为胞腔分解。