[论文解读] The Universal Central Extension of the Three-point sl_2 Loop Algebra

Georgia Benkart, Paul Terwilliger|arXiv (Cornell University)|Dec 17, 2005

Advanced Topics in Algebra参考文献 6被引用 18

一句话总结

本文提出了一种三点半 $\mathfrak{sl}_2$ 仿射代数 $L = \mathfrak{sl}_2 \otimes \mathbb{F}[t, t^{-1}, (t-1)^{-1}]$ 的普遍中心扩张 $\widehat{L}$ 的新生成元与关系表示，强调其在交错群 $A_4$ 下的对称性。通过将 $L$ 实现为四面体代数 $\boxtimes$，作者通过显式生成元与关系构造了中心扩张 $\widehat{\boxtimes}$，并利用普遍性证明了 $\widehat{\boxtimes} \cong \widehat{L}$，揭示了 $\widehat{L}$ 可分解为三个 Onsager 代数与一个二维中心的结构。

ABSTRACT

We give a presentation of the universal central extension of the three-point loop algebra L over sl_2 by generators and relations. Our presentation arises from the realization of L as the tetrahedron Lie algebra and leads to connections between the universal central extension and the Onsager Lie algebra. Symmetry under the alternating group A_4 features prominently in this work.

研究动机与目标

• 通过生成元与关系提供三点半 $\mathfrak{sl}_2$ 仿射代数普遍中心扩张 $\widehat{L}$ 的新表示。
• 突出 $\widehat{L}$ 在交错群 $A_4$ 下的底层对称性。
• 建立普遍中心扩张 $\widehat{L}$ 与四面体代数 $\boxtimes$ 的中心扩张 $\widehat{\boxtimes}$ 之间的同构关系，其中 $\boxtimes$ 同构于 $L$。
• 利用 $A_4$-对称表示，将 $\widehat{L}$ 分解为三个 Onsager 代数与一个二维中心的直和。

提出的方法

• 通过 $\mathfrak{sl}_2$ 的公平基及系数代数 $\mathcal{A} = \mathbb{F}[t, t^{-1}, (t-1)^{-1}]$ 的自同构，利用同构 $\sigma: \boxtimes \to L$ 将三点半仿射代数 $L$ 实现为四面体代数 $\boxtimes$。
• 定义 $\boxtimes$ 的中心扩张 $\widehat{\boxtimes}$，使用生成元 $X_\alpha$（$\alpha \in A_4$）与中心生成元 $C_\eta$（$\eta \in N'$），其中 $N'$ 是交错群 $A_4$ 中的克莱因四元群 $N \trianglelefteq A_4$ 的非单位元集合。
• 建立 $\widehat{\boxtimes}$ 的定义关系：$C_\eta$ 的中心性，所有 $C_\eta$ 之和为零，以及通过 $C_{\alpha^{-1}\zeta\alpha}$ 关联 $X_\alpha$ 与 $X_{\zeta\alpha}$ 的关系，连同类似 Onsager 代数的二次与三次交换子关系。
• 构造一个李代数同态 $\widehat{\sigma}: \widehat{\boxtimes} \to \widehat{L}$，使其与普遍中心扩张 $\pi: \widehat{L} \to L$ 构成交换图，利用同构 $\sigma: \boxtimes \to L$。
• 通过 $\widehat{L}$ 的普遍性证明 $\widehat{\sigma}$ 是同构，从而将 $\widehat{\boxtimes}$ 的表示转移至 $\widehat{L}$。
• 以 $A_4$ 作用与轨道划分重述 $\widehat{\boxtimes}$ 的表示，使 $A_4$ 对称性在定义关系中显式呈现。

实验结果

研究问题

• RQ1 如何通过生成元与关系描述三点半 $\mathfrak{sl}_2$ 仿射代数的普遍中心扩张 $\widehat{L}$，使其 $A_4$ 对称性显式可见？
• RQ2 四面体代数 $\boxtimes$ 的中心扩张 $\widehat{\boxtimes}$ 的结构是什么？它与 $\widehat{L}$ 有何关系？
• RQ3 $\widehat{L}$ 能否分解为 Onsager 代数与一个中心的直和？若能，这种分解如何反映 $A_4$-对称性？
• RQ4 $\sigma: \boxtimes \to L$ 的同构如何提升为 $\widehat{\sigma}: \widehat{\boxtimes} \to \widehat{L}$ 的同构？这对 $\widehat{L}$ 的表示意味着什么？

主要发现

• 三点半 $\mathfrak{sl}_2$ 仿射代数的普遍中心扩张 $\widehat{L}$ 允许通过生成元 $X_\alpha$（$\alpha \in A_4$）与中心生成元 $C_\eta$（$\eta \in N'$）的表示，其关系使 $A_4$-对称性显式呈现。
• $\widehat{L}$ 的中心是二维的，由满足 $\sum_{\eta \in N'} C_\eta = 0$ 的 $C_\eta$ 生成，且所有 $C_\eta$ 均为中心元素。
• 李代数 $\widehat{L}$ 可分解为直和 $\mathcal{O} \oplus \mathcal{O}' \oplus \mathcal{O}'' \oplus \mathcal{C}$，其中 $\mathcal{O}, \mathcal{O}', \mathcal{O}''$ 是同构于 Onsager 代数的子代数，$\mathcal{C}$ 是二维中心。
• 每个子代数 $\mathcal{O}, \mathcal{O}', \mathcal{O}''$ 由两个元素 $X_\alpha$ 与 $X_{\vartheta\alpha}$ 生成，满足 Onsager 代数关系：$[X, [X, [X, Y]]] = 4[X, Y]$。
• $\widehat{\sigma}: \widehat{\boxtimes} \to \widehat{L}$ 的同构通过 $\widehat{L}$ 的普遍性建立，确认 $\widehat{\boxtimes}$ 的 $A_4$-对称表示诱导出 $\widehat{L}$ 的相应表示。
• $\widehat{\boxtimes}$ 的定义关系以 $A_4$-轨道及生成元 $\zeta = (01)(23)$ 与 $\vartheta = (012)$ 的作用重述，使群对称性显式可见。