[論文レビュー] Symmetric linear functions of the restricted quantum group $\bar{U}_qsl_2(\mathbb{C})$

Yusuke Arike|ArXiv.org|Jun 8, 2007

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

ひとこと要約

本稿は、$q = e^{/pi i/p}$ における制限量子群 $overline{U}_q\mathfrak{sl}_2(\mathbb{C})$ 上の対称線形関数の空間の次元を決定し、それが $3p - 1$ であることを示している。部分代数 $mathcal{Q}_s$ の基本代数を分析することで、$mathcal{Q}_s / [mathcal{Q}_s, mathcal{Q}_s]$ の構造を計算し、$1 \leq s \leq p-1$ の場合に3次元、$s = 0, p$ の場合に1次元であることを証明し、最終的な次元数が得られる。

ABSTRACT

We determine a set of primitive idempotents and the basic algebra of the restricted quantum group $\bar{U}_qsl_2(\mathbb{C})$. As a result, we can show the dimension of the space of symmetric linear functions of $\bar{U}_qsl_2(\mathbb{C})$ is $3p-1$

研究の動機と目的

• 制限量子群 $\u0016overline{U}_q\mathfrak{sl}_2(\mathbb{C})$ 上の対称線形関数の空間の次元を決定すること。
• 対数的 conformal field theory における conformal blocks と、有限次元代数上の対称線形関数の空間との間の関係を確立すること。
• $\u0016overline{U}_q\mathfrak{sl}_2(\mathbb{C})$ の部分代数 $\mathcal{Q}_s$（$0 \leq s \leq p$）の基本代数の構造を計算すること。
• $\u0016overline{U}_q\mathfrak{sl}_2(\mathbb{C})$ 上の対称線形関数の空間の次元が $3p - 1$ であることを証明すること。

提案手法

• 著者たちは、Nesbitt と Scott が確立した事実に基づき、有限次元代数上の対称線形関数の空間がその基本代数上のそれと同型であることを用いる。
• 彼らは $\u0016overline{U}_q\mathfrak{sl}_2(\mathbb{C})$ を $\bigoplus_{s=0}^p \mathcal{Q}_s$ に分解し、各 $\mathcal{Q}_s$ を別々に分析する。
• $1 \leq s \leq p-1$ の場合、基本代数 $B_s$ の基底を8つの要素 $e_s^+, e_{p-s}^-, X_0^\pm, Y_0^\pm, A_0^\pm$ として特定する。
• 彼らは、量子群の構造と生成子の作用から導かれる関係を用いて、これらの基底要素間の乗法表を完全に計算する。
• 彼らは $[B_s, B_s]$ である交換子部分空間を明示的に計算し、$\{X_0^\pm, Y_0^\pm, A_0^+ - A_0^-\}$ で張られることが示される。
• 対称線形関数空間と $B_s / [B_s, B_s]$ 間の同型関係を用いて、各 $B_s$ における対称関数空間の次元を計算する。

実験結果

リサーチクエスチョン

• RQ1 制限量子群 $\u0016overline{U}_q\mathfrak{sl}_2(\mathbb{C})$ 上の対称線形関数の空間の次元は何か？
• RQ2 部分代数 $\mathcal{Q}_s$ の基本代数の構造は、対称線形関数の空間にどのように影響を与えるか？
• RQ3 $1 \leq s \leq p-1$ の場合、$B_s / [B_s, B_s]$ の次元は何か？
• RQ4 分解 $\u0016overline{U}_q\mathfrak{sl}_2(\mathbb{C}) = \bigoplus_{s=0}^p \mathcal{Q}_s$ は、対称線形関数の計算をどのように促進するか？
• RQ5 $\u0016overline{U}_q\mathfrak{sl}_2(\mathbb{C})$ 上の対称線形関数の空間は、その基本代数を用いて計算可能か？

主な発見

• $\u0016overline{U}_q\mathfrak{sl}_2(\mathbb{C})$ 上の対称線形関数の空間の次元は $3p - 1$ である。
• $1 \leq s \leq p-1$ の場合、部分代数 $\mathcal{Q}_s$ の基本代数 $B_s$ は8次元であり、表1の関係によって完全に決定される乗法表を持つ。
• $B_s / [B_s, B_s]$ は $1 \leq s \leq p-1$ の場合に3次元であり、基底は $\{e_s^+, e_{p-s}^-, A_0^+ - A_0^-, X_0^+, Y_0^+\}$ を交換子で割ったものである。
• $\mathcal{Q}_0$ と $\mathcal{Q}_p$ は1次元で可換であるため、それらの対称関数空間は1次元である。
• $[B_s, B_s]$ は $\{X_0^+, X_0^-, Y_0^+, Y_0^-, A_0^+ - A_0^-, A_0^- - A_0^+\}$ で張られるが、関係を考慮すると独立な生成子は3つに減少する。
• 最終的な次元 $3p - 1$ は、$p-1$ 個の非自明な $\mathcal{Q}_s$ それぞれに対して3つの対称関数次元が寄与し、$\mathcal{Q}_0$ と $\mathcal{Q}_p$ それぞれに1つの次元が寄与することで生じる。