[论文解读] 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-变形代数 $ U'_q({ m so}_n) $ 的有限维不可约表示进行了分类，表明当 $ q $ 不是单位根时，这些表示可分为经典型与非经典型。文章给出了提升算符与下降算符、权重及最高权向量的显式公式，并对 $ U'_q({ m so}_3) $ 和 $ U'_q({ m 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 型基至关重要。
• 对非标准 q-变形 $ U({ m so}_n) $ 的 $ U'_q({ m so}_n) $ 的有限维不可约表示进行分类，其与 Drinfeld–Jimbo 量化包络代数不同。
• 刻画 $ U'_q({ m so}_n) $ 的两类表示：经典型表示（即 $ q $-变形的经典 $ { m so}_n $ 表示）与非经典型表示（在 $ q \to 1 $ 时奇异）。
• 建立生成元 $ I_{i,i-1} $ 在基向量上作用的显式公式，使用 $ q $-整数与依赖于权重的算符。
• 将框架扩展至 $ U'_q({ m so}_4) $ 的表示，说明非经典型表示如何由半整数最高权与自同构群参数 $ \varepsilon_i = \pm 1 $ 生成。

提出的方法

• 通过生成元 $ I_{k,k-1} = E_{k,k-1} - E_{k-1,k} $ 之间的三线性关系的变形来定义 $ U'_q({ m so}_n) $，而非使用来自 Cartan 子代数的 Serre 关系。
• 在 $ U'_q({ m so}_n) $ 的背景下引入权重、最高权重与最高权向量的概念，推广经典李代数框架。
• 显式构造提升与下降算符，作为依赖于其作用向量权重的 $ q $-整数 $[x]_q$ 的有理函数。
• 利用 $ q $-变形交换关系，推导出在以 $ j, j' $ 和 $ \varepsilon_1, \varepsilon_2, \varepsilon_3 $ 参数化的基 $ |k,l\rangle $ 的向量空间上的表示的显式矩阵实现。
• 将理论应用于 $ U'_q({ m so}_3) $ 与 $ U'_q({ m so}_4) $，表明经典型表示由 $ r, s \in \mathbb{Z} $ 或 $ \frac{1}{2}\mathbb{Z} $ 标记，满足 $ r \geq |s| $；而非经典型则要求半整数 $ r, s $ 满足 $ r \geq s > 0 $ 且包含自同构参数。
• 验证所构造的表示是不可约的，并穷尽了 $ U'_q({ m so}_n) $ 的所有有限维不可约表示，证明概要并引用文献。

实验结果

研究问题

• RQ1 当 $ q $ 不是单位根时，非标准 q-变形代数 $ U'_q({ m so}_n) $ 的所有有限维不可约表示的完整分类是什么？
• RQ2 提升与下降算符在 $ U'_q({ m so}_n) $ 中如何依赖于其作用向量的权重？其显式代数形式是什么？
• RQ3 在 $ U'_q({ m so}_n) $ 中，经典型表示与非经典型表示有何区别，特别是在 $ q \to 1 $ 时的行为与最高权结构方面？
• RQ4 如何构造 $ U'_q({ m so}_4) $ 的表示？参数 $ \varepsilon_1, \varepsilon_2, \varepsilon_3 = \pm 1 $ 在定义非经典型表示中起什么作用？
• RQ5 能否通过 $ q $-变形的 Gel'fand–Tsetlin 基实现 $ U'_q({ m so}_n) $ 的表示？这与张量积分解有何关联？

主要发现

• 当 $ q $ 不是单位根时，$ U'_q({ m so}_n) $ 的所有有限维不可约表示均为经典型或非经典型。
• 经典型表示由两个数 $ r, s $ 标记，满足 $ r \geq |s| $，且 $ r, s \in \mathbb{Z} $ 或 $ \frac{1}{2}\mathbb{Z} $，是经典 $ { m so}_n $ 表示的 $ q $-变形。
• 非经典型表示在经典极限 $ q \to 1 $ 时奇异，其最高权 $ r, s $ 均为半整数且满足 $ r \geq s > 0 $，由 $ \varepsilon_1, \varepsilon_2, \varepsilon_3 = \pm 1 $ 标记。
• 给出了生成元 $ I_{i,i-1} $ 在基向量 $ |k,l\rangle $ 上作用的显式公式，其中 $ T_{jj'}(I_{32}) $ 表示为包含 $ q $-整数与依赖于权重的系数的有理函数。
• 对于 $ U'_q({ m so}_4) $，经典型表示作用于基 $ |k,l\rangle $，其中 $ k \in \{-j, \dots, j\} $，$ l \in \{-j', \dots, j'\} $，定义为 $ 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 $ 项，反映了非平凡自同构群的作用。