[论文解读] Closure of Steinberg fibers and affine Deligne-Lusztig varieties

Xuhua He|arXiv (Cornell University)|Mar 1, 2010

Advanced Algebra and Geometry参考文献 20被引用 5

一句话总结

本文建立了仿射 Deligne-Lusztig 代数簇 $X_w(1)$ 的空性/非空性与 $\bar{G}$ 中斯坦伯格纤维的闭包与 $B \times B$-轨道交集之间的对应关系。利用斯普林格的特殊化映射，证明了当 $w$ 的平移部分为拟正则时，$X_w(1)$ 为空或非空当且仅当 $\bar{G}$ 中对应的交集为空或非空，从而为斯坦伯格纤维闭包的显式描述提供了新证明，并将结果推广至扩展仿射 Weyl 群的最低两个-sided 单元之外。

ABSTRACT

We discuss some connections between the closure $\bar F$ of a Steinberg fiber in the wonderful compactification of an adjoint group and the affine Deligne-Lusztig varieties $X_w(1)$ in the affine flag variety. Among other things, we describe the emptiness/nonemptiness pattern of $X_w(1)$ if the translation part of $w$ is quasi-regular. As a by-product, we give a new proof of the explicit description of $\bar F$, first obtained in \cite{H1}.

研究动机与目标

• 理解仿射旗流形中仿射 Deligne-Lusztig 代数簇 $X_w(1)$ 的空性/非空性模式。
• 将此模式与美妙紧化 $\bar{G}$ 中斯坦伯格纤维闭包的几何性质相关联。
• 为斯坦伯格纤维闭包的显式描述提供新证明，该描述此前已在 [9] 中建立。
• 将空性/非空性判别准则推广至扩展仿射 Weyl 群的最低两个-sided 单元之外。
• 建立 $G(L)$ 中的 $K$-稳定块与 $\bar{G}$ 中的 $G$-稳定块之间的对应关系，以及 $I' \times I'$-轨道与 $B \times B$-轨道之间的对应关系。

提出的方法

• 利用从环群 $G(L)$ 到美妙紧化 $\bar{G}$ 的斯普林格特殊化映射，该映射诱导了轨道分解之间的对应关系。
• 分析 $G(L)$ 沿 $I' \times I'$-轨道的分解，并通过特殊化映射将其与 $\bar{G}$ 沿 $B \times B$-轨道的分解相关联。
• 研究 $G(L)$ 沿 $K$-稳定块的分解，并将其与 $\bar{G}$ 沿 $G$-稳定块的分解（包括闭包关系）相关联。
• 应用扩展仿射 Weyl 群 $\tilde{W}$ 中的拟正则平移部分概念，以对 $X_w(1)$ 的空性进行分类。
• 运用组合群论与根系数据（如 $\rho^\vee_J$, $I(\lambda)$, $W^J$）分析 Weyl 群元素上的支集条件。
• 通过归纳法与轨道包含关系论证，利用 [9], [10], [11], [12], 和 [7] 的结果证明主要定理。

实验结果

研究问题

• RQ1 当 $w$ 的平移部分为拟正则时，仿射 Deligne-Lusztig 代数簇 $X_w(1)$ 何时非空？
• RQ2 美妙紧化 $\bar{G}$ 中斯坦伯格纤维的闭包与 $X_w(1)$ 的几何性质有何关联？
• RQ3 是否能通过 $\bar{G}$ 中 $B \times B$-轨道的交集来确定 $X_w(1)$ 的空性/非空性模式？
• RQ4 当 $w$ 位于 $\tilde{W}$ 的最低两个-sided 单元之外时，$X_w(1)$ 非空的精确条件是什么？
• RQ5 从 $G(L)$ 到 $\bar{G}$ 的特殊化映射在多大程度上可用于在环群与紧化空间之间传递轨道与稳定性数据？

主要发现

• 当 $w$ 的平移部分为拟正则时，$X_w(1)$ 为空当且仅当斯坦伯格纤维闭包与 $\bar{G}$ 中对应 $B \times B$-轨道的交集为空。
• 当 $w$ 的平移部分为拟正则时，$X_w(1)$ 的非空性等价于 $\bar{F}$ 与由 $w$ 索引的 $B \times B$-轨道交集的非空性。
• 本文通过特殊化映射与轨道对应关系，为斯坦伯格纤维闭包 $\bar{F}$ 的描述提供了新证明，该描述最初在 [9] 中获得。
• 本文证明：若 $w = x\epsilon^{-\lambda}y^{-1}$，其中 $\lambda \in Y^+$，$I(\lambda) = J \subsetneq S$，则当 $\text{supp}(y^{-1}x) \neq S$ 时，$X_w(1) = \emptyset$，从而推广了 [7, 命题 9.4.4]。
• 当 $y=1$ 且 $\text{supp}(x)=S$，或对所有 $u \in W_J$ 有 $\text{supp}(uy^{-1}xu^{-1}) = S$ 时，在 $\lambda$ 满足适当的主导性与大小条件时，有 $X_w(1) \neq \emptyset$，如推论 5.3(2) 所述。
• 本文提供了一个例子，表明 $\text{supp}(y^{-1}x) = S$ 不足以保证非空；必须满足更强的条件 $\text{supp}(uy^{-1}xu^{-1}) = S$ 对所有 $u \in W_J$ 成立。