[論文レビュー] The $q$-tetrahedron algebra and its finite dimensional irreducible modules

Tatsuro Ito, Paul Terwilliger|ArXiv.org|Feb 9, 2006

Algebraic structures and combinatorial models参考文献 23被引用数 6

ひとこと要約

本稿は、古典的四面体代数 $\boxtimes$ の量子版である量子四面体代数 $\boxtimes_q$ を導入し、$U_q(\mathfrak{sl}_2)$、$U_q(\mathfrak{sl}_2)$ ループ代数、および $U_q(\widehat{\mathfrak{sl}}_2)$ の正部分代数との構造的関係を確立する。主な結果は、$q$ が単位根でなく、体が代数的に閉じているという仮定の下で、タイプ1の有限次元非可約 $\boxtimes_q$-加群の同型類と、タイプ $(1,1)$ の非零（NonNil）有限次元非可約 ${\mathcal{A}}_q$-加群の同型類との間で、全単射対応が存在することである。

ABSTRACT

Recently B. Hartwig and the second author found a presentation for the three-point $sl_2$ loop algebra via generators and relations. To obtain this presentation they defined an algebra $\boxtimes$ by generators and relations, and displayed an isomorphism from $\boxtimes$ to the three-point $sl_2$ loop algebra. We introduce a quantum analog of $\boxtimes$ which we call $\boxtimes_q$. We define $\boxtimes_q$ via generators and relations. We show how $\boxtimes_q$ is related to the quantum group $U_q(sl_2)$, the $U_q(sl_2)$ loop algebra, and the positive part of $U_q(\hat{sl_2})$. We describe the finite dimensional irreducible $\boxtimes_q$-modules under the assumption that $q$ is not a root of 1, and the underlying field is algebraically closed.

研究の動機と目的

• 古典的四面体代数 $\boxtimes$ の量子版 $\boxtimes_q$ を生成元と関係式を用いて定義する。
• $\boxtimes_q$ と $U_q(\mathfrak{sl}_2)$、$U_q(\mathfrak{sl}_2)$ ループ代数、および $U_q(\widehat{\mathfrak{sl}}_2)$ の正部分代数との構造的関係を明確にする。
• $q$ が単位根でなく、底体が代数的に閉じている場合に、有限次元非可約 $\boxtimes_q$-加群の完全な分類を求める。
• $\boxtimes_q$-加群のタイプ1と、非零（NonNil）${\mathcal{A}}_q$-加群のタイプ $(1,1)$ の間の明確な対応関係を確立する。

提案手法

• 四面体の辺に対応する6つの生成元を用いて $\boxtimes_q$ を定義し、古典的 $\boxtimes$ 代数の関係式を量子的設定に一般化する。
• $U_q(\mathfrak{sl}_2)$ から $\boxtimes_q$ の部分代数へのホモモーティズムを確立し、古典的 $\mathfrak{sl}_2$-埋め込みを一般化する。
• $\boxtimes_q$ が $U_q(\mathfrak{sl}_2)$ ループ代数へ全射であることを示し、古典的状況に類似する。
• ${\mathcal{A}}_q$、$U_q(\widehat{\mathfrak{sl}}_2)$ の正部分代数との関係を、オンサージャー代数埋め込みの量子版を通じて確立する。
• ${\mathcal{A}}_q$ の有限次元非可約加群（タイプ $(1,1)$）の同一ベクトル空間上に、2つの生成元 $x$ と $y$ の作用を用いて一意な $\boxtimes_q$-加群構造を構成する。
• この構成が、タイプ1の有限次元非可約 $\boxtimes_q$-加群の同型類と、非零（NonNil）有限次元非可約 ${\mathcal{A}}_q$-加群（タイプ $(1,1)$）の同型類との間で全単射を与えることを証明する。

実験結果

リサーチクエスチョン

• RQ1 古典的四面体代数 $\boxtimes$ をどのように量子変形することで、その量子版 $\boxtimes_q$ を得られるか？
• RQ2 $\boxtimes_q$ と $U_q(\mathfrak{sl}_2)$、$U_q(\mathfrak{sl}_2)$ ループ代数、${\mathcal{A}}_q$ 間の構造的関係は何か？
• RQ3 $q$ が単位根でなく、底体が代数的に閉じている場合に、有限次元非可約 $\boxtimes_q$-加群の完全な分類は何か？
• RQ4 $\boxtimes_q$-加群のタイプ1と非零（NonNil）${\mathcal{A}}_q$-加群のタイプ $(1,1)$ の間に、自然な対応関係があるか？
• RQ5 反自己同型 $\omega$ は、$\boxtimes_q$ の双対加群や加群のねじれ構造を定義する上で果たす役割は何か？

主な発見

• 量子四面体代数 $\boxtimes_q$ は、古典的 $\boxtimes$ 代数を量子的設定に一般化した生成元と関係式によって定義される。
• $U_q(\mathfrak{sl}_2)$ から $\boxtimes_q$ の部分代数への自然なホモモーティズムが存在し、古典的 $\mathfrak{sl}_2$-埋め込みを一般化する。
• $\boxtimes_q$ は $U_q(\mathfrak{sl}_2)$ ループ代数へ全射である。これは古典的関係を拡張する。
• ${\mathcal{A}}_q$、$U_q(\widehat{\mathfrak{sl}}_2)$ の正部分代数との関係は、$\boxtimes$ におけるオンサージャー代数埋め込みの量子版に類似しており、$\boxtimes_q$ は ${\mathcal{A}}_q$ を部分代数として含む。
• タイプ1の有限次元非可約 $\boxtimes_q$-加群の同型類と、非零（NonNil）有限次元非可約 ${\mathcal{A}}_q$-加群（タイプ $(1,1)$）の同型類との間に、自然な全単射対応が存在する。
• 任意の有限次元非可約 ${\mathcal{A}}_q$-加群（タイプ $(1,1)$）に対して、同じベクトル空間上に一意な $\boxtimes_q$-加群構造が存在し、その中で生成元 $x_{01}$ と $x_{23}$ が ${\mathcal{A}}_q$ の2つの生成元として作用する。この構造は非可約的で、タイプ1に属する。