[論文レビュー] Finite-dimensional irreducible $U_q(\mathfrak{sl}_2)$-modules from the equitable point of view

Paul Terwilliger|arXiv (Cornell University)|Mar 25, 2013

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

ひとこと要約

本稿は、量子群の公平的表現を用いて、有限次元非可約 $U_q(\mathfrak{sl}_2)$-加群の包括的な線形代数的および幾何的記述を提供する。このような加群は、六つの分解、三つのフラッグ、および十二の基底を有し、それらは双対性および双線形形式を通じて関連づけられる。$x$、$y$、$z$ はそれぞれ対角作用素、降下作用素、上昇作用素として作用し、代数は双対的三重組の線形変換によって特徴づけられる。

ABSTRACT

We consider the quantum algebra $U_q(\mathfrak{sl}_2)$ with $q$ not a root of unity. We describe the finite-dimensional irreducible $U_q(\mathfrak{sl}_2)$-modules from the point of view of the equitable presentation.

研究の動機と目的

• 公平的表現の観点から、有限次元非可約 $U_q(\mathfrak{sl}_2)$-加群の完全な記述を提供すること。
• 加群 $V$ 及びその双対 $V^*$ における六つの分解、三つのフラッグ、十二の基底を体系的に関連付けること。
• 公平的生成子 $x,y,z$ 及びその冪零的類似 $n_x,n_y,n_z$ のこれらの構造への作用を特徴づけること。
• $U_q(\mathfrak{sl}_2)$ の双対的三重組の線形変換による特徴づけを確立すること。

提案手法

• $U_q(\mathfrak{sl}_2)$ 内に公平的生成子 $x, y^{\pm1}, z$ 及びその冪零的類似 $n_x, n_y, n_z$ を導入する。
• 双対性ペアリング $(\cdot, \cdot): V \times V^* \to \mathbb{F}$ を定義し、これにより $V^*$ 上の $U_{q^{-1}}(\mathfrak{sl}_2)$-加群構造を引き上げる。
• $n_x, n_y, n_z$ のべきの像として $V$ 及び $V^*$ 上に三つのフラッグを構成し、それらが互いに逆対的であることを示す。
• $x,y,z$ の固有空間分解として $V$ 及び $V^*$ の六つの分解を表示し、固有値を $\{q^{d-2i}\}_{i=0}^d$ とする。
• 回転子を用いて $x,y,z$ の巡回置換を誘導し、十二の基底におけるその行列表現を計算する。
• $U_q(\mathfrak{sl}_2)$ を、任意の三重の自己準同型が三つの基底において指定された行列型（対角、下・上二重対角）を示し、固有値列が $b$-再帰的である場合に $q$-Serre 関係を満たすという定理により特徴づける。

実験結果

リサーチクエスチョン

• RQ1 有限次元非可約 $U_q(\mathfrak{sl}_2)$-加群の六つの分解は、互いにどのように関係し、双対加群とどのように関係するか？
• RQ2 $V$ 上の三つのフラッグと六つの分解の間の明確な関係は何か？また、$x,y,z$ 及び $n_x,n_y,n_z$ の作用によってそれらはどのように保存されるか？
• RQ3 $V$ 及び $V^*$ 上の十二の基底はどのように相互に関係し、$x,y,z$ 及び $n_x,n_y,n_z$ の行列表現はこれらの基底においてどのように振る舞うか？
• RQ4 $U_q(\mathfrak{sl}_2)$ は、三つの基底において特定の行列型を示す三つの自己準同型の作用によって、内因的に特徴づけられるか？
• RQ5 固有値列にどのような条件を課すと、このような三重の自己準同型が $U_q(\mathfrak{sl}_2)$-加群または $\mathfrak{sl}_2$-加群を生成するか？

主な発見

• 任意の有限次元非可約 $U_q(\mathfrak{sl}_2)$-加群 $V$（次元 $d+1$）に対して、作用素 $x,y,z$ は固有値 $\{q^{d-2i}\}_{i=0}^d$ を持ち、対角化可能である。
• 双対空間 $V^*$ には自然に $U_{q^{-1}}(\mathfrak{sl}_2)$-加群構造が入り、双対性ペアリングはすべての $\zeta \in U_q(\mathfrak{sl}_2)$ に対して $(\zeta u, v) = (u, \zeta^\dagger v)$ を満たす。
• $V$ 上の三つのフラッグは $\xi \in \{x,y,z\}$ に対して $\{n_\xi^i V\}_{i=0}^d$ で与えられ、それぞれが他の二つの生成子の作用に関して不変な次元 $d-i+1$ のフラッグとして一意的である。
• $V$ の六つの分解は $x,y,z$ の固有空間分解であり、各分解の双対分解は $V^*$ の六つの分解のうちの一つである。
• $V$ の十二の基底における $x,y,z$ の行列は、対角行列、下二重対角行列、または上二重対角行列であり、対角成分は $\{q^{d-2i}\}_{i=0}^d$ または $\{q^{2i-d}\}_{i=0}^d$ であり、二重対角行列は定数の行和または列和を持つ。
• $V$ 上の三重の自己準同型が、三つの基底においてそれぞれ対角、下二重対角、上二重対角行列として作用する場合、固有値列が $b = q^{-2}$ に対して $b$-再帰的であるならば、$U_q(\mathfrak{sl}_2)$-加群を生成する。$b=1$ ならば $\mathfrak{sl}_2$-加群を生成する。