[论文解读] Fine gradings on the simple Lie algebras of type $E$

Cristina Draper, Alberto Elduque|arXiv (Cornell University)|Mar 3, 2014

Advanced Topics in Algebra参考文献 30被引用 2

一句话总结

本文整理并系统化了在特征零的代数闭域上，例外李代数 E6、E7 和 E8 的所有已知精细加细。通过使用自同构群中的极大阿贝尔对角化（MAD）子群，本文列出了按其通用加细群分类的所有精细加细，推测该列表在等价意义下是完备的，每种代数有 14 种加细——其中 13 种已列出，第 14 种为根空间分解。

ABSTRACT

Some fine gradings on the exceptional Lie algebras $\mathfrak{e}_6$, $\mathfrak{e}_7$ and $\mathfrak{e}_8$ are described. This list tries to be exhaustive.

研究动机与目标

• 整理并系统化在特征零的代数闭域上，例外李代数 e6、e7 和 e8 的所有已知精细加细。
• 通过其通用加细群，提供这些加细的统一描述，确保一致性和完备性。
• 推测本文列出的精细加细列表在等价意义下对 e6、e7 和 e8 是完备的，仅排除根空间分解。
• 建立精细加细与 Aut(er)（r=6,7,8）中极大阿贝尔对角化（MAD）子群之间的联系，从而将分类问题简化为对这些子群的共轭类研究。
• 为未来分类工作奠定基础，通过中心化子、自同构以及基于张量积和复合代数的结构模型分析加细。

提出的方法

• 通过 Aut(e6)、Aut(e7) 和 Aut(e8) 中极大阿贝尔对角化（MAD）子群的特征空间分解对精细加细进行分类。
• 利用精细加细与 MAD 子群之间的对应关系，将分类问题简化为对这些子群共轭类的研究。
• 通过从 E6、E7 和 E8 的扩展 Dynkin 图中移除节点，构造自同构来生成加细。
• 通过向量空间与李代数的张量积建模加细（例如，L = L̄0 ⊕ L̄1 ⊕ L̄2 ⊕ L̄3，其中 L̄0 = sl(W) ⊕ sl(V)），并计算中心化子以识别通用加细群。
• 利用已知的复合代数和可构造代数上的加细（例如，56 维可构造代数上的 Z3₄-加细）来诱导 e8 上的加细。
• 通过比较通用加细群和自同构的共轭类（特别是涉及 Z4 和 Z2 作用的情况）来验证加细的等价性。

实验结果

研究问题

• RQ1 在特征零的代数闭域上，例外李代数 e6、e7 和 e8 的完整精细加细列表是什么？
• RQ2 本文描述的加细在等价意义下是否完备，仅排除根空间分解？
• RQ3 e8 上的精细加细如何与低维代数（如可构造代数或复合代数）上的加细相关联？
• RQ4 每个 e6、e7 和 e8 的精细加细的通用加细群结构是什么？
• RQ5 精细加细的分类能否简化为研究从扩展 Dynkin 图中移除节点所生成的自同构的中心化子？

主要发现

• 本文列出了 e6 上的 13 种不同精细加细，其通用加细群包括 Z⁶₂、Z⁴₃、Z³₂ × Z²₃ 和 Z³₄ 等。
• 对于 e7，描述了 13 种精细加细，其通用群包括 Z⁷₂、Z²₂ × Z³₃、Z³₄ × Z₂ 和 Z⁸₂，其中后者为 Z⁸₂-加细。
• 在 e8 上，整理了 13 种精细加细，包括 Z⁸₂-加细、Z⁵₃-加细、Z³₆-加细和 Z³₅-加细，其中后者与 Alekseevskii 描述的 MAD 子群同构。
• e8 上的 Z³₄ × Z²-加细（等价于 (8g12)）通过额外自同构从 Z⁴-加细构造而成，其中心化子同构于 PSL(8) × PSL(2) 模去一个对角子群。
• e8 上的 Z³₄ × Z-加细（等价于 (8g11)）被证明源于一个 56 维可构造代数上的 Z³₄-加细，尽管该代数本身的加细尚未完全分类。
• 在 [DVpr] 中已证实该猜想对 e6 成立，作者推测同一列表对 e7 和 e8 也完备，意味着每种代数恰好有 14 个共轭类的 MAD 子群。