[论文解读] The Tetrahedron algebra, the Onsager algebra, and the $\mathfrak{sl}_2$ loop algebra

Brian Hartwig, Paul Terwilliger|ArXiv.org|Nov 2, 2005

Algebraic structures and combinatorial models参考文献 27被引用 4

一句话总结

本文通过引入具有 $ S_4 $-对称性的生成元与关系，对三重点环代数 $ \mathfrak{sl}_2\otimes\mathbb{K}[T,T^{-1},(T-1)^{-1}] $ 提供了一种新的表述方式，提出了四面体代数 $ \boxtimes $。关键结果是 $ \boxtimes $ 可分解为三个子代数的直和，每个子代数同构于昂萨格代数 $ O $，从而在昂萨格代数与在 $ T=0 $、$ T=\infty $ 和 $ T=1 $ 处具有三点奇点的扩展环代数之间建立了深刻的结构联系。这在更大的对称代数框架下，为昂萨格代数提供了李代数实现。

ABSTRACT

Let $K$ denote a field with characteristic 0 and let $T$ denote an indeterminate. We give a presentation for the three-point loop algebra $\mathfrak{sl}_2 \otimes K\lbrack T, T^{-1},(T-1)^{-1} brack$ via generators and relations. This presentation displays $S_4$-symmetry. Using this presentation we obtain a decomposition of the above loop algebra into a direct sum of three subalgebras, each of which is isomorphic to the Onsager algebra.

研究动机与目标

• 通过生成元与关系，为三重点环代数 $ \mathfrak{sl}_2\otimes\mathbb{K}[T,T^{-1},(T-1)^{-1}] $ 提供一种新表述。
• 建立昂萨格代数 $ O $ 与具有三个奇点的扩展环代数之间的结构联系。
• 证明四面体代数 $ \boxtimes $ 同构于三重点环代数，并且可分解为三个昂萨格代数的直和。
• 揭示三重点环代数代数结构中潜在的 $ S_4 $-对称性。

提出的方法

• 通过定义六组生成元 $ X_{ij} $（$ i,j \in \{0,1,2,3\} $ 且 $ i\neq j $）及三条关系（反对称性、相邻三元组的换位子关系、类似昂萨格代数定义关系的三次关系），定义四面体代数 $ \boxtimes $。
• 通过从标准环代数 $ L(\mathfrak{sl}_2) $ 到 $ \boxtimes $ 的同态，并证明其单射性，证明 $ \boxtimes $ 同构于三重点环代数 $ \mathfrak{sl}_2\otimes\mathbb{K}[T,T^{-1},(T-1)^{-1}] $。
• 通过置换生成元的指标，构造 $ \boxtimes $ 上的 $ S_4 $-作用，证明该作用保持定义关系，并诱导出群同态 $ S_4 \to \mathrm{Aut}(\boxtimes) $。
• 利用昂萨格代数的呈现方式 $[A,[A,[A,B]]] = 4[A,B]$，证明由不相交指标对 $ X_{hi}, X_{jk} $ 生成的子代数同构于昂萨格代数 $ O $。
• 利用同构 $ \sigma: \boxtimes \to L(\mathfrak{sl}_2)^+ $ 及标准同态 $ L(\mathfrak{sl}_2) \to \boxtimes $ 的单射性，建立 $ \boxtimes $ 与三重点环代数之间的同构。
• 证明由特定对 $ X_{12},X_{03} $、$ X_{23},X_{01} $ 和 $ X_{31},X_{02} $ 生成的子代数 $ \Omega $、$ \Omega' $、$ \Omega'' $ 同构于 $ O $，且它们构成 $ \boxtimes $ 的直和分解。

实验结果

研究问题

• RQ1 三重点环代数 $ \mathfrak{sl}_2\otimes\mathbb{K}[T,T^{-1},(T-1)^{-1}] $ 能否通过显示 $ S_4 $-对称性的生成元与关系来表述？
• RQ2 三重点环代数是否存在自然分解为三个子代数，每个子代数同构于昂萨格代数 $ O $？
• RQ3 通过六组生成元上特定关系定义的四面体代数 $ \boxtimes $，如何与三重点环代数及昂萨格代数相关联？
• RQ4 对称群 $ S_4 $ 在三重点环代数的自同构结构中扮演何种角色？
• RQ5 四面体代数 $ \boxtimes $ 对三个昂萨格型子代数的分解，能否通过交换对合 $ d $ 和 $ * $ 的作用来理解，其与 $ S_4 $-对称性有何关联？

主要发现

• 四面体代数 $ \boxtimes $ 同构于三重点环代数 $ \mathfrak{sl}_2\otimes\mathbb{K}[T,T^{-1},(T-1)^{-1}] $，从而以生成元与关系的方式为该代数提供了新表述。
• 对 $ \boxtimes $ 的 $ S_4 $-作用是忠实的，因为群同态 $ S_4 \to \mathrm{Aut}(\boxtimes) $ 是单射，确认了代数结构的完整对称性。
• 对任意三个互异的指标 $ h,i,j \in \{0,1,2,3\} $，元素 $ X_{hi}, X_{ij}, X_{jh} $ 构成 $ \boxtimes $ 的一个子代数的基，该子代数同构于 $ \mathfrak{sl}_2 $，确认了其局部 $ \mathfrak{sl}_2 $-结构。
• 由不相交对 $ \{h,i\}, \{j,k\} $ 的 $ X_{hi} $ 和 $ X_{jk} $ 生成的子代数同构于昂萨格代数 $ O $，因为它满足定义性的三次关系 $[A,[A,[A,B]]] = 4[A,B]$。
• 整个代数 $ \boxtimes $ 可分解为直和 $ \Omega \oplus \Omega' \oplus \Omega'' $，其中每个分量同构于昂萨格代数 $ O $，从而为三重点环代数提供了结构分解。
• 子代数 $ \Omega $、$ \Omega' $ 和 $ \Omega'' $ 分别由对 $ (X_{12},X_{03}) $、$ (X_{23},X_{01}) $ 和 $ (X_{31},X_{02}) $ 生成，且其直和结构在 $ S_4 $-作用下保持不变。