[論文レビュー] 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 \u005Cwidehat{L}$ を証明する。これにより、$\widehat{L}$ が三つのオンサージャー代数と二次元の中心に分解されることを明らかにする。

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$ による対称性を浮き彫りにすること。
• 四面体代数 $\boxtimes$ の中心拡大 $\widehat{\boxtimes}$ と $\widehat{L}$ の間に同型が存在することを確立すること。ここで $\boxtimes$ は $L$ に同型である。
• $\widehat{L}$ を三つのオンサージャー代数と二次元中心の直和に分解すること。この分解が $A_4$ 対称性をどのように反映するかを明らかにすること。

提案手法

• 三重点ループ代数 $L$ を、$\mathfrak{sl}_2$ の公平基底と係数代数 $\mathcal{A} = \mathbb{F}[t, t^{-1}, (t-1)^{-1}]$ の自己同型を用いて、同型 $\sigma: \boxtimes \to L$ を通じて四面体代数 $\boxtimes$ として実現する。
• 生成元 $X_\alpha$ ($\alpha \in A_4$) と中心生成元 $C_\eta$ ($\eta \in N'$) を用いて、$\boxtimes$ の中心拡大 $\widehat{\boxtimes}$ を定義する。ここで $N'$ は交代群 $A_4$ の正規部分群 $N \trianglelefteq A_4$ であるクラインの四元数群の非単位元の集合である。
• $\widehat{\boxtimes}$ の定義関係を確立する：$C_\eta$ の中心性、すべての $C_\eta$ の和が消えること、および $X_\alpha$ と $X_{\zeta\alpha}$ の間の関係が $C_{\alpha^{-1}\zeta\alpha}$ を通じて結ばれること。加えて、オンサージャー代数に類似した二次および三次交換関係を導入する。
• 同型 $\sigma: \boxtimes \to L$ を用いて、普遍中心拡大 $\pi: \widehat{L} \to L$ と可換な図式を形成するように、Lie代数準同型 $\widehat{\sigma}: \widehat{\boxtimes} \to \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}$ は、オンサージャー代数と中心の直和に分解可能か？ もしそうなら、この分解は $A_4$ 対称性をどのように反映するか？
• RQ4 同型 $\sigma: \boxtimes \to L$ はどのように $\widehat{\sigma}: \widehat{\boxtimes} \to \widehat{L}$ に上昇し、$\widehat{L}$ の表示にどのような意味を持つのか？

主な発見

• $\widehat{L}$ は、$\alpha \in A_4$ の生成元 $X_\alpha$ と $\eta \in N'$ の中心生成元 $C_\eta$ を用いた表示を持つ。定義関係は $A_4$ 対称性を明確に示している。
• $\widehat{L}$ の中心は二次元であり、$\sum_{\eta \in N'} C_\eta = 0$ を満たす $C_\eta$ によって張られる。$C_\eta$ は中心的要素である。
• Lie代数 $\widehat{L}$ は直和 $\mathcal{O} \oplus \mathcal{O}' \oplus \mathcal{O}'' \oplus \mathcal{C}$ に分解され、ここで $\mathcal{O}, \mathcal{O}', \mathcal{O}''$ はオンサージャー代数に同型な部分代数であり、$\mathcal{C}$ は二次元中心である。
• 各部分代数 $\mathcal{O}, \mathcal{O}', \mathcal{O}''$ は、オンサージャー代数の関係式 $[X, [X, [X, Y]]] = 4[X, Y]$ を満たす二つの生成元 $X_\alpha$ と $X_{\vartheta\alpha}$ によって生成される。
• $\widehat{\sigma}: \widehat{\boxtimes} \to \widehat{L}$ の同型は、$\widehat{L}$ の普遍性を用いて確立され、$\widehat{\boxtimes}$ の $A_4$ 対称的表示が $\widehat{L}$ に同様の表示を誘導することを確認する。
• $\widehat{\boxtimes}$ の定義関係は、$A_4$ の軌道と生成元 $\zeta = (01)(23)$ および $\vartheta = (012)$ の作用を用いて再表現され、群の対称性が明確に現れる。