[论文解读] Generalized spin representations

Guntram Hainke, Ralf Koehl+1 more|arXiv (Cornell University)|Oct 25, 2011

Advanced Algebra and Geometry参考文献 24被引用 9

一句话总结

本文为在形式实域上的可对称化 Kac–Moody 代数的极大紧致子代数 𝔨 引入了广义旋表示，并证明其可通过到 Clifford 代数的李代数同态，得到非平凡的有限维约化（通常为半单）商。关键结果表明，对于实数域上的 $E_n$ 系列，该构造给出了单射同态，其像为已知同构类型的紧致半单李代数，从而提供了一种初等方法，用于确定分裂实 $E_6$、$E_7$ 和 $E_8$ 的极大紧致子代数的结构。

ABSTRACT

We introduce the notion of a generalized spin representation of the maximal compact subalgebra of a symmetrizable Kac-Moody algebra in order to show that, if defined over a formally real field, every such subalgebra has a non-trivial reductive finite-dimensional quotient. The appendix illustrates how to compute the isomorphism types of these quotients for the real $E_n$ series. In passing this provides an elementary way of determining the isomorphism types of the maximal compact subalgebras of the semisimple split real Lie algebras of types $E_6$, $E_7$, $E_8$.

研究动机与目标

• 建立任意可对称化 Kac–Moody 代数在形式实域上其极大紧致子代数 𝔨 的非平凡有限维表示的存在性。
• 将 $\mathfrak{k}(E_{10})(\mathbb{R})$ 的 32 维旋表示推广至所有可对称化 Kac–Moody 代数。
• 为分裂实 Lie 代数 $E_6$、$E_7$ 和 $E_8$ 的极大紧致子代数提供一种初等且统一的方法，以计算其同构类型。
• 利用广义旋表示与 Clifford 代数技术，阐明这些子代数的结构。

提出的方法

• 通过向量空间上满足基于 Kac–Moody 代数 Dynkin 图的特定反对易关系与平方关系的线性算子 $A_i$，定义广义旋表示。
• 构造从极大紧致子代数 $\mathfrak{k}$ 到 Clifford 代数 $C(\mathbb{R}^n, q)$ 的李代数子代数 $\mathfrak{m}$ 的李代数同态 $\rho$。
• 利用 $\mathbb{R}^n$ 上的标准正定二次型 $q$ 定义 Clifford 代数结构，该结构编码了旋表示关系。
• 应用附录中注记 4.5 的判别准则，验证将生成元 $X_i$ 映射到 $C$ 中特定元素的赋值，确实定义了一个李代数同态。
• 利用 $E_n$ Dynkin 图的结构，以标准正交基向量 $v_j$ 的乘积显式定义生成元 $X_i$，确保满足正确的反对易关系。
• 通过维数比较与已知李代数同构关系，识别出像 $\mathfrak{m} = \operatorname{im}(\rho)$ 为已知类型的紧致半单李代数。

实验结果

研究问题

• RQ1 每个可对称化 Kac–Moody 代数在形式实域上的极大紧致子代数是否都存在非平凡的有限维商？
• RQ2 能否将 $\mathfrak{k}(E_{10})(\mathbb{R})$ 的 32 维旋表示推广至其他 Kac–Moody 代数及其类型？
• RQ3 分裂实 Lie 代数 $E_6$、$E_7$ 或 $E_8$ 的极大紧致子代数的同构类型是什么？
• RQ4 如何以一种统一且初等的方式计算这些极大紧致子代数的结构？

主要发现

• 对于实数域上的 $E_n$ 系列且 $n \geq 3$，广义旋表示 $\rho$ 将极大紧致子代数 $\mathfrak{k}$ 单射地映射到 Clifford 代数 $C(\mathbb{R}^n, q)$ 的李代数子代数 $\mathfrak{m}$ 中。
• 像 $\mathfrak{m}$ 是紧致且半单的，其同构类型由基底二次型的维数与符号决定。
• 当 $n=4$ 时，$\dim_{\mathbb{R}}(\mathfrak{k}) = 10$，且 $\mathfrak{m} \cong \mathfrak{sp}(2) \cong \mathfrak{so}(5)$。
• 当 $n=5$ 时，$\dim_{\mathbb{R}}(\mathfrak{k}) = 20$，且 $\mathfrak{m} \cong \mathfrak{sp}(2) \oplus \mathfrak{sp}(2) \cong \mathfrak{so}(5) \oplus \mathfrak{so}(5)$。
• 当 $n=6$ 时，$\dim_{\mathbb{R}}(\mathfrak{k}) = 36$，且 $\mathfrak{m} \cong \mathfrak{sp}(4)$。
• 当 $n=7$ 时，$\dim_{\mathbb{R}}(\mathfrak{k}) = 63$，且 $\mathfrak{m} \cong \mathfrak{su}(8)$。
• 当 $n=8$ 时，$\dim_{\mathbb{R}}(\mathfrak{k}) = 120$，且 $\mathfrak{m} \cong \mathfrak{so}(16)$。