[论文解读] On exceptional nilpotents in semisimple Lie algebras

A. G. Élashvili, Victor G. Kač+1 more|arXiv (Cornell University)|Dec 8, 2008

Advanced Topics in Algebra参考文献 10被引用 11

一句话总结

本文通过简化并扩展异常对 (m, e) 的定义，对半单李代数中的异常幂零元进行分类，其中 m 为正整数，e 为满足 h(e) ≤ m 且 dim Z(e) = d(m) 的幂零元。关键结果是：对于任意半单李代数，给定 m 时，至多存在一个此类幂零元 e（模共轭），且通过利用特征值和根高数据显式计算 d(m)，该分类在所有单李代数（包括例外型）中均完整成立，所有异常轨道均在 Hasse 图中被识别。

ABSTRACT

We classify all pairs (m,e), where m is a positive integer and e is a nilpotent element of a semisimple Lie algebra, which arise in the classification of simple rational W-algebras.

研究动机与目标

• 简化并澄清由 Kac 和 Wakimoto 在 W-代数与有理顶点代数背景下引入的半单李代数中异常对 (m, e) 的定义。
• 对所有半单李代数中的所有异常对 (m, e) 进行分类，证明对任意 m 和半单 g，至多存在一个幂零元 e（模共轭），使得 (m, e) 为异常对。
• 将分类从 A_n 型扩展至所有经典型与例外型李代数，包括 E6、E7、E8、F4 和 G2，利用根系数据与自同构作用。
• 通过将中心化子的维数 dim Z(e) 与阶为 m 的主自同构的固定点维数 d(m) 联系起来，为识别异常幂零元提供概念性与计算性框架。

提出的方法

• 定义 d(m) = dim g^{σ_m}，即阶为 m 的主自同构 σ_m 的固定点子代数的维数，通过根高与根向量上的特征值 ε_m^{ht(α)} 计算。
• 使用公式 d(m) = n + 2∑[m_i/m]，其中 m_i 为李代数的指数，n 为秩，计算所有经典型与例外型李代数的 d(m)。
• 利用 sl₂-三元组与 Levi 子代数对幂零轨道进行分类，以确定 h(e)，即中心化子 L(e) 的 Coxeter 数，以及每个幂零元 e 的 dim Z(e)。
• 为每个例外李代数（G2、F4、E6、E7、E8）构建 Hasse 图，标记 Coxeter 数为 m 且 dim Z(e) = d(m) 的轨道，以视觉识别异常幂零元。
• 通过将 d(m) 值与已有文献（如 [4]、[11]）中已知的中心化子维数比较，验证条件 dim Z(e) = d(m) 仅对特定幂零轨道成立。
• 利用中心化子的结构性质与自同构作用，证明任意异常幂零元 e 均为本原型，即在其中心化子 Levi 子代数 L(e) 中为正则元。

实验结果

研究问题

• RQ1 对于给定的半单李代数 g 和正整数 m，满足 h(e) ≤ m 且 dim Z(e) = d(m) 的幂零元 e（模共轭）有多少个？
• RQ2 所有单李代数（包括例外型 E6、E7、E8、F4 和 G2）中异常对 (m, e) 的完整分类是什么？
• RQ3 主自同构 σ_m 作用下固定点子代数的维数 d(m) 如何与幂零轨道及其中心化子的结构相关联？
• RQ4 是否可以简化并使异常对的定义更具概念清晰性，同时保持其在 W-代数构造中的原始物理与代数意义？
• RQ5 是否存在非本原型的异常幂零元？若存在，它们如何影响分类？

主要发现

• 对于任意半单李代数 g 和正整数 m，至多存在一个幂零元 e（模共轭），使得对 (m, e) 为异常对。
• 异常对的分类可归约为单李代数，且对每个单代数 g，所有异常对均通过根系数据与 d(m) 计算显式确定。
• 在所有情况下，异常幂零元恰好是满足 dim Z(e) = d(m) 且 h(e) ≤ m 的那些，且这些均在 G2、F4、E6、E7 和 E8 的 Hasse 图中被识别。
• 当 m ≥ h(g) 时，唯一的异常对为 (m, e)，其中 e 为正则元，此类对称为平凡异常对。
• 所有异常幂零元均为本原型，即在其中心化子 Levi 子代数 L(e) 中为正则元。
• 异常幂零轨道的完整列表以 Hasse 图形式呈现（图 2–6），每个轨道均以 L(e) 的类型与 Z(e) 的维数标注。