[论文解读] An effective method to compute closure ordering for nilpotent orbits of $ heta$-representations

Willem A. de Graaf, É. B. Vinberg+1 more|arXiv (Cornell University)|Jul 10, 2011

Advanced Algebra and Geometry参考文献 14被引用 3

一句话总结

本论文提出了一种算法，用于计算在简单复李代数的θ-表示中幂零轨道的闭包序，该方法利用Hesselink分层和Weyl群作用，通过特征元和轨道维数比较来确定轨道包含关系。该方法可高效计算例外型与经典型θ-群中幂零轨道的哈斯图，验证结果与E₇和E₈的已知分类一致。

ABSTRACT

We develop an algorithm for computing the closure of a given nilpotent $G_0$-orbit in $\g_1$, where $\g_1$ and $G_0$ are coming from a $\Z$ or a $\Z/m\Z$-grading $\g= \bigoplus \g_i$ of a simple complex Lie algebra $\g$.

研究动机与目标

• 开发一种有效算法，用于判断在θ-表示中一个幂零G₀-轨道是否位于另一个的闭包中。
• 解决在例外型与经典型θ-群中计算幂零轨道闭包图的挑战，因统一分类困难。
• 提供一种计算工具，以系统化、算法化的方法替代繁琐的逐案分析。
• 通过重现E7和E8的已知哈斯图，以及例外型李代数实形式的哈斯图，验证方法的正确性。

提出的方法

• 利用幂零元e ∈ g₁的Hesselink特征h，定义Hesselink分层V≥2(h)，其中G₀e = G₀(V≥2(h))。
• 通过检查G₀e′ ∩ V≥2(h)是否非空，来判断轨道包含关系G₀e′ ⊂ G₀e。
• 将G₀替换为Bruhat单元的并集，以有效分析轨道交集。
• 对每个w ∈ W₀（G₀的Weyl群），计算U(w) = V₂(h′) ∩ V≥2(wh)，其中V₂(h′)由满足[h′, v] = 2v的向量v构成。
• 使用维数比较：若对所有v ∈ V₂(h′) \\(G₀e′)，均有dim Z(h′)v < dim Z(h′)e′，则G₀e′ ∉ G₀e。
• 将Weyl群参数化为以单个反射为边的树，系统地探索轨道包含关系。

实验结果

研究问题

• RQ1 如何算法化地判断在θ-表示中一个幂零G₀-轨道是否位于另一个的闭包中？
• RQ2 Hesselink特征在刻画θ-群中轨道闭包关系中起什么作用？
• RQ3 是否能统一计算并计算验证例外型θ-群中幂零轨道的闭包序？
• RQ4 通过Kostant-Sekiguchi对应，例外型李代数复形式与实形式的幂零轨道闭包图之间有何关系？
• RQ5 幂零李代数的退化与θ-表示中轨道闭包之间在多大程度上相对应？

主要发现

• 该算法成功重现了E₇和E₈中幂零轨道的哈斯图，与Mizuno及Beynon–Spaltenstein的结果一致。
• 该方法正确计算了例外复李代数中所有阶为2的θ-群的闭包图，验证了Djoković的结果。
• 对于类型为E₈、符号为(5,5)的θ-群，幂零李代数的集合是不可约的，并存在一个单参数族的最大GL(W)-轨道。
• 对于类型为E₈、符号为(6,3)的θ-群，幂零李代数的集合是不可约的，并存在一个双参数族的最大轨道。
• 符号为(5,5)和(6,3)的哈斯图下部结构一致，反映了与较小符号的商群L/Z的共享关系。
• 在GAP中的实现正确识别了轨道包含关系，并根据表2和表3的字体区分，生成了带签名标签的一致图示。