[論文レビュー] Classification of irreducible representations of the q-deformed algebra U'_q(so_n)

A. U. Klimyk|ArXiv.org|Oct 3, 2001

Algebraic structures and combinatorial models参考文献 17被引用数 8

ひとこと要約

この論文は、$ q $ が単位根でないとき、非標準的 $ q $-量子化代数 $ U'_q({\rm so}_n) $ の有限次元非可約表現を分類し、それらが古典的型と非古典的型に分けられることを示している。昇降演算子、重み、最高重みベクトルの明示的公式を提供しており、特に $ U'_q({\rm so}_3) $ および $ U'_q({\rm so}_4) $ に対して詳細な実現が与えられている。非古典的型の表現は $ q \to 1 $ において特異的である。

ABSTRACT

A classification of finite dimensional irreducible representations of the nonstandard $q$-deformation $U'_q(so_n)$ of the universal enveloping algebra $U(so(n, C))$ of the Lie algebra $so(n, C)$ (which does not coincides with the Drinfeld--Jimbo quantized universal enveloping algebra $U_q(so_n)$) is given for the case when $q$ is not a root of unity. It is shown that such representations are exhausted by representations of the classical and nonclassical types. Examples of the algebras $U'_q(so_3)$ and $U'_q(so_4)$ are considered in detail. The notions of weights, highest weights, highest weight vectors are introduced. Raising and lowering operators for irreducible finite dimensional representations of $U'_q(so_n)$ and explicit formulas for them are given. They depend on a weight upon which they act. Sketch of proofs of the main assertions are given.

研究の動機と目的

• SO_q(n+1) および SO_q(n,1) から SO_q(n) への一貫した量子群還元が欠けている問題に対処し、Gel'fand–Tsetlin 型基底を構成するために不可欠である。
• Drinfeld–Jimbo 量子包あらわし代数とは異なる、非標準的 $ q $-変形 $ U'_q({\rm so}_n) $ の有限次元非可約表現の分類を提供する。
• 古典的型表現（$ q $-量子化された古典的 so_n 表現）と非古典的型表現（$ q \to 1 $ で特異的）を $ U'_q({\rm so}_n) $ に対して特徴づける。
• 生成子 $ I_{i,i-1} $ の基底ベクトルへの作用に対して、$ q $-整数および重み依存演算子を用いた明示的公式を確立する。
• 非古典的型表現が半整数最高重みおよび自己同型群パラメータ $ \varepsilon_i = \pm 1 $ を通じて生じることを示し、$ U'_q({\rm so}_4) $ の表現の枠組みを拡張する。

提案手法

• 生成子 $ I_{k,k-1} = E_{k,k-1} - E_{k-1,k} $ 間の三重関係の変形によって $ U'_q({\rm so}_n) $ を定義し、カルタン部分代数からのセール関係を用いない。
• 古典的リー代数の枠組みを一般化して、$ U'_q({\rm so}_n) $ の文脈における重み、最高重み、最高重みベクトルの概念を導入する。
• 重みに依存する $ q $-整数 $[x]_q$ の有理関数として、昇降演算子を明示的に構成する。
• $ q $-量子化された交換関係を用いて、パラメータ $ j, j' $ および $ \varepsilon_1, \varepsilon_2, \varepsilon_3 $ を持つ基底 $ |k,l\rangle $ を持つベクトル空間への表現の明示的行列実現を得る。
• $ U'_q({\rm so}_3) $ および $ U'_q({\rm so}_4) $ に理論を適用し、古典的型表現が $ r, s \in \mathbb{Z} $ または $ \frac{1}{2}\mathbb{Z} $ で $ r \geq |s| $ を満たすものとしてラベル付けされ、非古典的型は半整数 $ r, s $ で $ r \geq s > 0 $ かつ自己同型パラメータを伴うことを示す。
• 構築された表現がすべての有限次元非可約表現を尽くしており、非可約性がスケッチされ、参照付きで証明されている。

実験結果

リサーチクエスチョン

• RQ1 $ q $ が単位根でないとき、非標準的 $ q $-量子化代数 $ U'_q({\rm so}_n) $ の有限次元非可約表現の完全な分類は何か？
• RQ2 $ U'_q({\rm so}_n) $ の昇降演算子は、作用するベクトルの重みにどのように依存するか？ その明示的代数的形は何か？
• RQ3 $ U'_q({\rm so}_n) $ における古典的型表現と非古典的型表現の違いは何か？ 特に $ q \to 1 $ での挙動および最高重み構造の観点から。
• RQ4 $ U'_q({\rm so}_4) $ の表現はどのように構成されるか？ また、パラメータ $ \varepsilon_1, \varepsilon_2, \varepsilon_3 = \pm 1 $ は非古典的型を定義するために果たす役割は何か？
• RQ5 $ U'_q({\rm so}_n) $ の表現は $ q $-アナロジーの Gel'fand–Tsetlin 基底によって実現可能か？ また、これはテンソル積分解とどのように関係するか？

主な発見

• $ q $ が単位根でないとき、$ U'_q({\rm so}_n) $ のすべての有限次元非可約表現は、古典的型または非古典的型のいずれかに属する。
• 古典的型表現は、$ r \geq |s| $ を満たす $ r, s \in \mathbb{Z} $ または $ \frac{1}{2}\mathbb{Z} $ の二つの数によってラベル付けされ、古典的 so_n 表現の $ q $-量子化である。
• 非古典的型表現は、$ q \to 1 $ の極限で特異的であり、最高重み $ r, s $ がともに半整数で $ r \geq s > 0 $ を満たし、$ \varepsilon_1, \varepsilon_2, \varepsilon_3 = \pm 1 $ によってラベル付けされる。
• 基底ベクトル $ |k,l\rangle $ における生成子 $ I_{i,i-1} $ の作用に対して明示的公式が提供されており、$ T_{jj'}(I_{32}) $ は $ q $-整数および重み依存係数を含む有理関数として表現される。
• $ U'_q({\rm so}_4) $ において、古典的型表現は $ k \in \{-j, \dots, j\} $、$ l \in \{-j', \dots, j'\} $ である基底 $ |k,l\rangle $ 上で作用し、$ T_{jj'}(I_{21})|k,l\rangle = i[k+l]_q |k,l\rangle $、$ T_{jj'}(I_{43})|k,l\rangle = i[k-l]_q |k,l\rangle $ で定義される。
• 非古典的型表現は $ j $ または $ j' $ が半整数である基底上で定義され、$ T^\varepsilon_{jj'}(I_{32}) $ の公式は $ \varepsilon_3(-1)^l $ または $ \varepsilon_3(-1)^k $ を含む項を含み、非自明な自己同型群作用を反映している。