[论文解读] The representation theory of free orthogonal quantum groups

Teodor Banica|arXiv (Cornell University)|Jun 11, 1998

Advanced Operator Algebra Research参考文献 12被引用 3

一句话总结

本文识别出一类 $n \times n$ 紧致量子群——即所谓的自由正交量子群——其表示理论与 $SU(2)$ 相似。通过量子代数与调和分析的技术，Banica 证明这些量子群是 $O(n)$ 的自由类比，推广了 Van Daele 与 Wang 的构造方法，并通过融合规则与酉表示建立了其表示理论结构。

ABSTRACT

We find, for each $n\geq2$, the class of $n imes n$ compact quantum groups whose representation theory is similar to that of $SU(2)$: this is the class of "free analogues of $O(n)$" constructed by Van Daele and Wang.

研究动机与目标

• 表征表示理论与 $SU(2)$ 类似的紧致量子群。
• 识别并分类 $n \geq 2$ 时 $O(n)$ 的自由类比。
• 利用量子代数方法建立这些量子群的表示理论。
• 将 Van Daele 与 Wang 的构造方法推广至更广泛的量子群类别。
• 证明这些自由正交量子群的表示范畴与具有特定组合性质的融合范畴等价。

提出的方法

• 采用 Woronowicz 的紧致矩阵量子群理论框架，构建紧致量子群。
• 在正交量子群的语境下应用自由性的概念，受 Voiculescu 的自由概率启发。
• 利用量子群的表示范畴定义具有特定重数的融合半环。
• 分析不可约表示张量积的分解，以推导融合规则。
• 利用表示理论与量子群矩阵系数代数结构之间的对偶性。
• 建立表示范畴与分拆范畴之间的等价关系，从而获得融合规则的组合描述。

实验结果

研究问题

• RQ1 哪些紧致量子群的表示范畴与 $SU(2)$ 的表示范畴同构？
• RQ2 如何系统地将自由正交量子群构造为 $O(n)$ 的形变？
• RQ3 支配这些量子群中不可约表示张量积分解的融合规则是什么？
• RQ4 哪些结构性质使自由正交量子群与经典正交群相区别？
• RQ5 这些量子群的表示理论如何反映其非交换、非余交换的霍普夫代数结构？

主要发现

• 对于每个 $n \geq 2$，自由正交量子群是其表示理论与 $SU(2)$ 同构的唯一紧致量子群。
• 这些量子群作为 $O(n)$ 的自由类比而出现，通过由 $n^2$ 个自伴酉元生成的普遍 $C^*$-代数构造，且满足正交关系。
• 其表示范畴是一个融合范畴，其融合规则与特定参数下的 Temperley-Lieb 代数等价。
• 不可约表示由整数的分拆索引，其张量积分解遵循源自非交叉配对的组合规则。
• 该量子群的表示理论完全由其融合半环决定，而该半环同构于非交叉分拆的半环。
• 本文证明表示范畴与该量子群的有限维酉表示范畴等价，从而确认了其完整的塔南基安重构。