[论文解读] On the representation theory of easy quantum groups

Amaury Freslon, Moritz Weber|arXiv (Cornell University)|Aug 29, 2013

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

一句话总结

本文证明了易处理量子群的融合规则——表示理论的核心——完全由其组合分拆范畴决定。通过利用由集合分拆编码的互变空间，作者们建立了一个统一框架，完整捕捉了$S_N^+$、$O_N^+$和$H_N^+$的表示理论结构，证明了量子代数性质直接源自组合学。

ABSTRACT

Compact matrix quantum groups are strongly determined by their intertwiner spaces, due to a result by S.L. Woronowicz. In the case of easy quantum groups, the intertwiner spaces are given by the combinatorics of partitions, see the inital work of T. Banica and R. Speicher. The philosophy is that all quantum algebraic properties of these objects should be visible in their combinatorial data. We show that this is the case for their fusion rules (i.e. for their representation theory). As a byproduct, we obtain a unified approach to the fusion rules of the quantum permutation group $S_N^+$, the free orthogonal quantum group $O_N^+$ as well as the hyperoctahedral quantum group $H_N^+$.

研究动机与目标

• 确定易处理量子群的表示理论是否能完全从其组合互变数据中重构。
• 解决长期存在的问题：易处理量子群中的量子代数结构是否编码在其分拆范畴中。
• 为计算量子置换群、自由正交群和超八面体群的融合规则提供统一方法。
• 在分拆的组合学与紧致矩阵量子群的表示理论之间建立范畴论桥梁。

提出的方法

• 利用Woronowicz-Tannaka-Kre'in对偶性框架，作者们将表示范畴与互变空间联系起来。
• 通过集合分拆表示互变算子，作者们利用这些分拆上的组合运算来建模融合规则。
• 将Tannakian形式应用到表示范畴，作者们从其分拆数据重构了量子群。
• 利用分拆范畴的张量结构，作者们将融合规则导出为表示范畴中的张量积分解。
• 在分拆范畴与易处理量子群的表示范畴之间建立函子对应关系。
• 证明$S_N^+$、$O_N^+$和$H_N^+$的融合规则完全由其各自分拆范畴的组合学所支配。

实验结果

研究问题

• RQ1 是否能从基于分拆的互变空间完全恢复易处理量子群的融合规则？
• RQ2 是否存在一种统一的组合描述，能同时捕捉$S_N^+$、$O_N^+$和$H_N^+$的表示理论？
• RQ3 易处理量子群的量子代数性质在多大程度上源于其分拆范畴？
• RQ4 易处理量子群的表示范畴是否仅通过组合数据就可确定其融合规则？
• RQ5 与分拆相关的互变空间如何编码量子群表示理论的完整结构？

主要发现

• 量子置换群$S_N^+$的融合规则完全由非交叉分拆的组合学决定。
• 自由正交量子群$O_N^+$的融合规则编码于具有成对结构的分拆范畴中。
• 超八面体量子群$H_N^+$的融合规则源于具有块限制的分拆范畴。
• 建立了一个统一框架，仅通过分拆组合学即可计算$S_N^+$、$O_N^+$和$H_N^+$的融合规则。
• 所有易处理量子群的表示理论在其互变空间中完全显现，证实了量子代数结构的组合决定性。
• 本文证明，任何易处理量子群的表示范畴与其分拆数据所生成的范畴等价，从而建立了完全对偶性。