[论文解读] Representations of Two-parameter Quantum Orthogonal and Symplectic Groups

Nantel Bergeron, Yun Gao+1 more|arXiv (Cornell University)|Oct 6, 2005

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

一句话总结

本文建立了对类型 B、C 和 D（正交与辛）的两参量量子群的有限维权模的完全可约性，扩展了先前对类型 A 的结果。通过构造 R-矩阵与量子卡西米尔算子，作者证明了当 $rs^{-1}$ 不是单位根时，每个有限维模均可分解为单模的直和，将完全可约性定理由类型 A 推广至更广泛的经典类型。

ABSTRACT

We investigate the finite-dimensional representation theory of two-parameter quantum orthogonal and symplectic groups that we found in [BGH] under the assumption that $rs^{-1}$ is not a root of unity and extend some results [BW1, BW2] obtained for type $A$ to types $B$, $C$ and $D$. We construct the corresponding $R$-matrices and the quantum Casimir operators, by which we prove that the complete reducibility Theorem also holds for the categories of finite-dimensional weight modules for types $B$, $C$, $D$.

研究动机与目标

• 将两参量量子群类型 A 的完全可约性定理推广至类型 B、C 和 D。
• 为经典类型 B、C 和 D 的两参量量子群构造 R-矩阵与量子卡西米尔算子。
• 在 $rs^{-1}$ 不是单位根的条件下，建立两参量正交与辛量子群的表示理论。
• 将 [BW1, BW2] 中关于类型 A 的结果推广至经典李代数类型 B、C 和 D。

提出的方法

• 作者基于根系数据，利用生成元 $e_i, f_i, \rho_i^{/pm 1}, \rho_i'^{/pm 1}$ 和配对 $\langle \omega_i', \omega_j \rangle$，定义了类型为 $\frak{g} = \frak{so}_{2n+1}, \frak{sp}_{2n}, \frak{so}_{2n}$ 的两参量量子群 $U_{r,s}(\frak{g})$。
• 他们利用 R-矩阵与 R-矩阵的对称化乘积构造了量子卡西米尔算子 $\Omega$，并确保其与 $U_{r,s}(\frak{g})$ 的作用可交换。
• 证明了 $\Omega \omega$ 在最高权模上的特征值为 $(rs^{-1})^{\frac{1}{2}}$ 的幂，其显式依赖于平移后的最高权 $\lambda + \rho$。
• 利用 $rs^{-1}$ 不是单位根的条件，通过基于权支配性与特征值唯一性的反证法，证明了 Verma 模商模的单性。
• 验证了 $\Omega \omega$ 与所有生成元 $e_i, f_i, \omega_j, \omega_j'$ 可交换，从而确保其在有限维模范畴中为中心算子。
• 通过推广 Kac 对仿射 Kac-Moody 代数的论证，基于 $\Omega \omega$ 的中心性与谱性质，推导出有限维模的完全可约性。

实验结果

研究问题

• RQ1 两参量量子群类型 B、C 和 D 的有限维权模是否满足完全可约性定理？
• RQ2 能否为两参量正交与辛量子群构造 R-矩阵与量子卡西米尔算子？
• RQ3 在类型 B、C 和 D 中，量子卡西米尔算子 $\Omega \omega$ 在最高权模上的特征值行为如何？
• RQ4 在两参量设定下，Verma 模的商模的单性在何种条件下可推出其不可约性？
• RQ5 在两参量框架下，类型 A 量子群的表示论性质在多大程度上可推广至类型 B、C 和 D？

主要发现

• 量子卡西米尔算子 $\Omega \omega$ 在任意单最高权模 $L(\lambda)$ 上的作用为恒等算子的标量倍，其特征值为 $(rs^{-1})^{\frac{\Delta_{X,B}}{2}(\lambda + \rho, \lambda + \rho)}$，其中 $\Delta_{X,B}$ 是由根系导出的双线性型。
• 算子 $\Omega \omega$ 与 $U_{r,s}(\frak{g})$ 在范畴 $\mathcal{O}$ 中任意模上的作用可交换，使其成为有限维模的自同态代数中的中心元素。
• 对于任意有限维模 $M$，$\Omega \omega|_M$ 的特征值为 $(rs^{-1})^{\frac{1}{2}}$ 的整数次幂，从而保证了谱的离散性。
• 若 $rs^{-1}$ 不是单位根，则任一非零 Verma 模的有限维商模均为单模，这意味着对所有 $\lambda \in \Lambda^+$ 有 $L'(\lambda) = L(\lambda)$。
• 在相同条件下，所有在 $U^0$ 作用下可对角化的有限维 $U_{r,s}(\frak{g})$-模均为完全可约模，从而将类型 A 的结果推广至类型 B、C 和 D。