[論文レビュー] 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$ が三重点ループ代数 $\mathfrak{sl}_2\otimes\mathbb{K}[T,T^{-1},(T-1)^{-1}]$ に同型であることを証明する。
• $\boxtimes$ にインデックスの置換による $S_4$-作用を定義し、この作用が定義関係を保存し、群準同型 $S_4 \to \mathrm{Aut}(\boxtimes)$ を誘導することを示す。
• 互いに素なインデックスのペア $\{h,i\}, \{j,k\}$ に対して、$X_{hi}, X_{jk}$ が生成する部分代数がオンサージャー代数 $O$ に同型であることを示し、$O$ の $[A,[A,[A,B]]] = 4[A,B]$ による提示を用いる。
• $\boxtimes$ と三重点ループ代数の同型 $\sigma: \boxtimes \to L(\mathfrak{sl}_2)^+$ と、標準的準同型 $L(\mathfrak{sl}_2) \to \boxtimes$ の単射性を用いて、$\boxtimes$ と三重点ループ代数の同型を確立する。
• $\Omega$, $\Omega'$, $\Omega''$ と表される部分代数（それぞれ $X_{12},X_{03}$, $X_{23},X_{01}$, $X_{31},X_{02}$ によって生成）がオンサージャー代数 $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}$ が生成する部分代数は、定義関係 $[A,[A,[A,B]]] = 4[A,B]$ を満たすため、オンサージャー代数 $O$ に同型である。
• $\boxtimes$ 全体は直和 $\Omega \oplus \Omega' \oplus \Omega''$ に分解され、各項がオンサージャー代数 $O$ に同型である。これにより、三重点ループ代数の構造的分解が得られる。
• $\Omega$, $\Omega'$, $\Omega''$ はそれぞれ $(X_{12},X_{03})$, $(X_{23},X_{01})$, $(X_{31},X_{02})$ によって生成され、$S_4$-作用のもとでその直和構造が保存される。