[论文解读] On certain varieties attached to a Weyl group element

G. Lusztig|arXiv (Cornell University)|Dec 9, 2010

Advanced Algebra and Geometry参考文献 12被引用 19

一句话总结

本文研究与 Weyl 群元素相关的代数簇，重点关注这些簇的拟自同构中的 braid 群关系。通过使用约化表达式和 braid 半群结构，证明了对于某些 Weyl 群元素，簇 $X_w$ 存在一个与 braid 群关系相关的分解，从而在循环 Hecke 代数的背景下扩展了 Brou{\'e} 和 Michel 的早期猜想。

ABSTRACT

Let w be an elliptic element of the Weyl group of a connected reductive group G. Let X be the set of pairs (g,B) where g is an element of G, B is a Borel subgroup of G and B,gBg^{-1} are in relative position w. Then G acts naturally on X. Assume that w has minimal length in its conjugacy class. We show that the set of G-orbits in X has a well defined structure of an affine algebraic variety V. When G is a classical group we show that this variety is an affine space modulo the action of a finite diagonalizable group. In this case we also construct some nontrivial automorphisms of X.

研究动机与目标

• 理解与 Weyl 群元素 $w$ 相关的簇 $X_w$ 的几何结构。
• 在 braid 半群 $\beta^+$ 的背景下，建立 $X_w$ 的拟自同构之间的 braid 群关系。
• 针对特定 $w$ 的情况，验证 Brou{\'e} 和 Michel 提出的更强猜想，该猜想涉及循环 Hecke 代数。
• 通过良好元素将问题约化为与 $w$ 长度相同的 $\cdot$-共轭形式，从而简化分析。
• 通过构造连接 $w$ 和 $w_0$ 的一系列 braid 移动，证明定理 0.3(a)。

提出的方法

• 利用与 Coxeter 群 $W$ 相关的 braid 半群 $\beta^+$，通过典范映射将 $W$ 嵌入 $\beta^+$。
• 应用 Geck-Michel、Geck-Kim-Pfeiffer 和 He 关于“良好元素”的结果，将 $w$ 共轭为满足条件 ($*$) 的形式。
• 构造一系列 braid 移动，通过将顺序为 $u$ 的交替对 $s,t$ 逐步替换为其 braid 映像 $t,s,t,\dots$，将 $w$ 的约化表达式转换为 $w_0$ 的表达式。
• 利用拟同构 $\hat{\sigma}_i$ 将 $X_w$ 的结构与 braid 群作用联系起来。
• 分析 $X_w$ 中某点的稳定子群 $Z$，证明其是幂零的且包含于一个 Borel 子群中。
• 利用分解 $ww^\bullet w^{\bullet 2}\cdots w^{\bullet e-1} = 1$ 和 $\hat{w}\hat{w}^\bullet\cdots\hat{w}^{\bullet e-1} = \hat{w}_0 z$ 在 $\beta^+$ 中推导出主要结果。

实验结果

研究问题

• RQ1 在与 Weyl 群元素 $w$ 相关的簇 $X_w$ 的拟自同构中，braid 群关系如何产生？
• RQ2 Brou{\'e} 和 Michel 提出的更强猜想（涉及循环 Hecke 代数）是否可在特定 $w$ 的情况下得到验证？
• RQ3 “良好元素”在通过 $\cdot$-共轭简化 $X_w$ 结构方面起到什么作用？
• RQ4 braid 半群 $\beta^+$ 如何编码 $w$ 和 $w_0$ 的约化表达式的组合结构？
• RQ5 $X_w$ 中稳定子群 $Z$ 的几何意义是什么？

主要发现

• 当 $w$ 满足条件 ($*$) 时，簇 $X_w$ 存在一个与 braid 群关系相关的分解，该条件在 $\cdot$-共轭后成立。
• 对于满足 ($*$) 的 $w$，在 $W$ 中有 $ww^\bullet w^{\bullet 2}\cdots w^{\bullet e-1} = 1$，且在 $\beta^+$ 中有 $\hat{w}\hat{w}^\bullet\cdots\hat{w}^{\bullet e-1} = \hat{w}_0 z$，其中 $z \in \beta^+$。
• 左侧和右侧 braid 乘积中生成元的数量满足 $ke = f + h$，其中 $k$ 是 $w$ 的长度，$e$ 是指数，$f,h$ 分别是 $w_0$ 和 $z$ 的长度。
• 通过将顺序为 $u$ 的交替对 $s,t$ 依次替换为其 braid 映像 $t,s,t,\dots$，构造出连接 $w$ 和 $w_0$ 的 braid 移动序列，且在 $\beta^+$ 中保持乘积不变。
• $X_w$ 中某点的稳定子群 $Z$ 是幂零的且包含于一个 Borel 子群中，确认了该作用的几何约束。
• 定理 0.3(a) 的证明被约化为 $w$ 满足 ($*$) 的情况，通过共轭不变性与拟同构实现。