[论文解读] Regular Representation of the Quantum Heisenberg Double $U_q(sl(2))$, $Fun_{q}(SL(2))$ ($q$ is a root of unity)

D. V. Gluschenkov, A. V. Lyakhovskaya|ArXiv.org|Nov 12, 1993

Advanced Algebra and Geometry参考文献 1被引用 4

一句话总结

本文在 $ q $ 为单位根时，构建并分析了由 $ U_q(sl(2)) $ 和 $ Fun_q(SL(2)) $ 构成的量子海森伯双代数的正则表示。它明确描述了量子群与函数代数之间的配对，以 $ SL_q(2) $ 生成元表示卡西米尔算子的根子空间结构，并完整刻画了表示空间及其分解。

ABSTRACT

Pairing between the universal enveloping algebra $U_q(sl(2))$ and the algebra of functions over $SL_q(2)$ is obtained in explicit terms. The regular representation of the quantum double is constructed and investigated. The structure of the root subspaces of the Casimir operator is revealed and described in terms of $SL_q(2)$ elements.

研究动机与目标

• 在 $ q $ 为单位根时，构建量子海森伯双代数 $ U_q(sl(2)) \bowtie Fun_q(SL(2)) $ 的正则表示。
• 以生成元与关系的形式，显式描述 $ U_q(sl(2)) $ 与 $ Fun_q(SL(2)) $ 之间的配对。
• 分析正则表示中卡西米尔算子的根子空间结构。
• 以 $ SL_q(2) $-代数元素的形式，表达表示空间的分解。

提出的方法

• 通过双重配对将量子双代数构造为 $ U_q(sl(2)) $ 和 $ Fun_q(SL(2)) $ 的霍普夫代数扩张。
• 利用 $ R $-矩阵和量子群关系，显式推导 $ U_q(sl(2)) $ 与 $ Fun_q(SL(2)) $ 之间的配对。
• 将正则表示实现为量子群 $ SL_q(2) $ 上的函数空间，其作用通过左乘与右乘算子定义。
• 通过量子群结构和 $ R $-矩阵形式，识别卡西米尔算子并分析其本征值分解。
• 以 $ SL_q(2) $ 矩阵元的形式，刻画卡西米尔算子根子空间的结构，揭示其代数结构。
• 利用量子群的权空间分解，将表示空间分解为不可约分量。

实验结果

研究问题

• RQ1 在单位根 $ q $ 情况下，$ U_q(sl(2)) $ 与 $ Fun_q(SL(2)) $ 之间的对偶配对如何显式实现？
• RQ2 在单位根情况下，量子双代数 $ U_q(sl(2)) \bowtie Fun_q(SL(2)) $ 的正则表示结构如何？
• RQ3 卡西米尔算子的根子空间如何以 $ SL_q(2) $ 生成元表示？
• RQ4 量子群结构在决定正则表示空间分解中起什么作用？
• RQ5 卡西米尔算子在正则表示上如何作用，其谱性质是什么？

主要发现

• 利用量子 $ R $-矩阵和量子群的标准关系，显式构建了 $ U_q(sl(2)) $ 与 $ Fun_q(SL(2)) $ 之间的配对。
• 量子双代数的正则表示被实现为 $ SL_q(2) $ 上的函数空间，其作用通过左乘与右乘算子定义。
• 卡西米尔算子的根子空间被证明可分解为不可约分量，且其结构可用 $ SL_q(2) $ 的矩阵元描述。
• 表示空间可完全分解为权空间，卡西米尔算子在每个子空间上作用为对角算子。
• 卡西米尔算子的本征值与本征空间结构完全以 $ SL_q(2) $-代数数据刻画。
• 本文完整描述了在单位根情况下正则表示的结构，包括卡西米尔算子的行为及其谱分解。