[论文解读] Twisted Toroidal Lie Algebras

Johan van de Leur|ArXiv.org|Jun 14, 2001

Algebraic structures and combinatorial models参考文献 21被引用 7

一句话总结

本文通过在有限维单李代数上使用 $n$ 个可交换的有限阶自同构，构造了扭曲的 $n$-环面李代数，推广了扭曲仿射李代数。当 $n=2$ 时，通过自同构的联合对角化，显式实现了与 K. Saito 所分类的所有扩展仿射根系相关的扩展仿射李代数，方法是构造 2-环面李代数的子代数。

ABSTRACT

Using $n$ finite order automorphisms on a simple complex Lie algebra we construct twisted $n$-toroidal Lie algebras. Thus obtaining Lie algebras wich have a rootspace decomposition. For the case $n=2$ we list certain simple Lie algebras and their automorphisms, which produce twisted 2-toroidal algebras. In this way we obtain Lie algebras that are related to all Extended Affine Root Systems of K. Saito.

研究动机与目标

• 将扭曲仿射李代数的构造推广到使用多个可交换自同构的高阶环面情形。
• 为作为 2-环面李代数子代数的扩展仿射李代数（双仿射代数）提供系统化的构造方法。
• 建立扭曲 $n$-环面李代数与 K. Saito 分类的所有扩展仿射根系之间的直接联系。
• 提供一种与基于仿射李代数自同构的先前方法相比更自然、更直接的替代构造方法。
• 展示该方法可推广至 $N$-环面代数，超越 $N=2$ 的情形。

提出的方法

• 在有限维单复李代数 $\dot{\mathfrak{g}}$ 上使用 $n$ 个可交换的有限阶自同构，定义多重分次分解 $\dot{\mathfrak{g}} = \bigoplus_{\overline{k} \in \mathbb{Z}/n\mathbb{Z}} \dot{\mathfrak{g}}_{\overline{k}}$。
• 将扭曲 $n$-环面李代数构造为 $\mathfrak{g}(\Sigma) = \bigoplus_{k \in \mathbb{Z}^n} \dot{\mathfrak{g}}_{\overline{k}} \otimes \mathbb{C}[t_1^{\pm 1}, \dots, t_n^{\pm 1}]$。
• 当 $n=2$ 时，通过特定矩阵 $J_0, J_1, \dots, J_m$ 在 $\dot{\mathfrak{g}}$ 上的伴随作用定义自同构 $\sigma_0, \sigma_1$。
• 将所得李代数 $\mathfrak{g}(\Sigma)$ 实现为一个 2-环面代数的子代数，其根空间分解与 Saito 的扩展仿射根系一致。
• 通过分析权空间 $\dot{\mathfrak{g}}_{(\overline{i}_0, \overline{i}_1)}$ 及其不可约表示，验证根系结构。
• 使用 $\dot{\mathfrak{g}}$ 的显式矩阵实现（例如，$D_{\ell+2^m}$ 用于与 $B_\ell$ 相关的系统，$A_{2\ell+2^{m+1}-1}$ 用于与 $BC_\ell$ 相关的系统）来构造自同构。

实验结果

研究问题

• RQ1 如何从有限维单李代数上的可交换有限阶自同构系统性地构造扭曲 $n$-环面李代数？
• RQ2 K. Saito 的哪些扩展仿射根系可作为此类扭曲 $n$-环面代数的根系出现？
• RQ3 双仿射李代数的构造能否超越标准仿射李代数的扭曲方式而被推广？
• RQ4 多个自同构的联合对角化在实现扩展仿射李代数的根空间分解中起什么作用？
• RQ5 扭曲环面代数的权空间如何反映相应根系的结构，特别是在根长混合的情况下？

主要发现

• 该构造生成了具有根空间分解的扭曲 $n$-环面李代数，当 $n=2$ 时，可实现 K. Saito 所有扩展仿射根系。
• 当 $X_\ell = B_\ell$ 时，根系 $R(X_\ell)^{(t,t,\ldots,t,1,1,\ldots,1)}$ 通过 $\dot{\mathfrak{g}} = D_{\ell+2^m}$ 和由 $J_0, \dots, J_m$ 定义的自同构实现。
• 当 $X_\ell = G_2$ 且 $t=2$ 时，构造与根系 $R(BC_\ell)^{(2,2,\ldots,2,1,1,\ldots,1)}(2)$ 一致，使用 $\dot{\mathfrak{g}} = A_{2\ell+2^{m+1}-1}$ 和特定自同构。
• 零权空间 $\dot{\mathfrak{g}}_{(\overline{0},\overline{0})}$ 始终是类型为 $B_\ell$ 的单李代数，对应于有限型根系。
• 非零权空间分解为 $B_\ell$ 的不可约表示与平凡的一维表示的直和，其维数与根系结构一致。
• 该方法自然推广至 $N$-环面代数，相较于基于仿射李代数扭曲的先前方法，提供了更直接的构造方式。