[论文解读] Representations of Lie algebras arising from polytopes

R. M. Green|ArXiv.org|Apr 18, 2007

Algebraic structures and combinatorial models参考文献 13被引用 8

一句话总结

本文提出了一种新颖且基础的构造方法，通过格点多面体（如超立方体、超八面体、$2_{21}$ 和 $3_{21}$）的顶点，构建复数单李代数的极小表示。通过在极小系统框架下直接从这些多面体的几何结构定义线性算子，该方法在无需预先掌握李群理论的前提下，构造出李代数的Chevalley生成元，从而仅通过组合与几何手段，实现所有极小表示（包括自旋表示和自然表示）。

ABSTRACT

We present an extremely elementary construction of the simple Lie algebras over the complex numbers in all of their minuscule representations, using the vertices of various polytopes. The construction itself requires no complicated combinatorics and essentially no Lie theory other than the definition of a Lie algebra; in fact, the Lie algebras themselves appear as by-products of the construction.

研究动机与目标

• 通过仅使用对称格点多面体的顶点，提供复数单李代数极小表示的简单且基础的构造方法。
• 通过将李代数结构作为几何构造的副产品推导，消除对高级组合学或李代数理论的依赖。
• 在单一几何框架内统一描述经典型与例外型（包括 $E_6$、$E_7$、$B_n$、$D_n$、$C_n$、$A_{n-1}$）的极小表示。
• 证明每个表示的晶体图与权格可以由多面体的顶点结构与边标记直接实现。
• 证明由根组合诱导的权偏序关系对应于可由多面体几何结构实现的分配格结构。

提出的方法

• 定义一个‘极小系统’，由两个有限集合组成：$\Psi$（格点多面体的顶点）和 $\Delta$（$\mathbb{R}^n$ 中的一组向量），并满足两个基本几何条件（定义 2.1）。
• 在维度为 $|\Psi|$ 的向量空间上，利用 $\Delta$ 的元素构造线性算子，其中每个算子对应一个根向量（定义 2.2）。
• 证明当 $\Delta$ 对应于单根或包含 $\alpha_0 = -\theta$ 的扩展Dynkin根时，这些算子满足复数单李代数Chevalley生成元的定义关系。
• 利用多面体顶点之间的几何距离与正交性性质，验证算子作用对应于根向量的权移。
• 利用多面体的对称性（例如，$3_{21}$ 对应 $E_7$，$2_{21}$ 对应 $E_6$），将 56 维与 27 维的极小表示实现为在顶点上的置换模。
• 将构造与仿射 Kac–Moody 代数联系起来，以解释模在限制下的行为，例如 $E_7$ 的 56 维模限制为两个 28 维的 $A_7$-模。

实验结果

研究问题

• RQ1 能否仅通过使用对称格点多面体的顶点，而无需预先构造李代数，来构建复数单李代数的极小表示？
• RQ2 是否存在一种统一且基础的几何方法，通过多面体顶点与根向量，实现所有极小表示（包括 $E_6$ 和 $E_7$ 等例外型）？
• RQ3 能否直接从多面体的顶点与边结构可视化极小表示的晶体图？
• RQ4 由根组合诱导的权偏序关系是否对应于可由多面体几何结构推导出的分配格结构？
• RQ5 通过多面体构造的表示在限制到子代数时表现出何种行为？这一行为能否通过仿射李代数的扩张来解释？

主要发现

• 所有复数单李代数的极小表示，包括 $E_7$ 的 56 维表示与 $E_6$ 的 27 维表示，均可直接从 $3_{21}$ 与 $2_{21}$ 多面体的顶点构造得出。
• $\mathfrak{e}_7$ 的 56 维表示源自 $3_{21}$ 多面体的 56 个顶点，根向量作为长度为 $\sqrt{32}$ 的根向量差的顶点间位移作用。
• $\mathfrak{b}_n$ 与 $\mathfrak{d}_n$ 的自旋表示被实现为在 $n$ 维超立方体顶点上的置换模，而 $A_{n-1}$ 的极小表示则通过限制得到。
• $\mathfrak{c}_n$ 与 $\mathfrak{d}_n$ 的自然表示由 $n$ 维超八面体的顶点构造，其作用对应于根空间的位移。
• 每个极小表示的晶体图可直接作为多面体顶点上的带标签图实现，其中标记为 $\mathbb{a} \in \Delta$ 的边连接相差 $\mathbb{a}$ 的顶点。
• 在 $\Psi$ 上的权偏序集在交与并运算下形成分配格，其结构自然由多面体的几何与极小系统条件诱导。