[论文解读] A Connection between Easy Quantum Groups, Varieties of Groups and Reflection Groups

Sven Raum, Moritz Weber|arXiv (Cornell University)|Dec 19, 2012

Advanced Operator Algebra Research参考文献 38被引用 7

一句话总结

本文通过将分拆范畴嵌入无限自由积 $\mathbb{Z}_2^{*\infty}$ 的 $S_0$-不变子群，建立了易处理量子群、对称反射群与分拆范畴之间的三角对应关系。核心贡献在于为群的种类构造了一种新型量子不变量，并通过此关联构造出不可数多个新的量子等距群，揭示了量子群、组合数学与离散群论之间深刻的联系。

ABSTRACT

We present a link between easy quantum groups, discrete groups and combinatorics. By this, we infer new connections between quantum isometry groups, reflection groups, varieties of groups and the combinatorics of partitions. More precisely, we consider easy quantum groups and find a relation to subgroups of the infinite free product $\mathbb Z_2^{*\infty}$ of $\mathbb Z_2=\mathbb Z/2\mathbb Z$. We obtain a link with reflection groups and thus with varieties of groups, which yields a statement on the complexity of the class of easy quantum groups on the one hand, and a "quantum invariant" for varieties of groups on the other hand. Moreover, we reveal a triangular relationship between easy quantum groups, categories of partitions and discrete groups (reflection groups). As a by-product, we obtain a large number of new quantum isometry groups.

研究动机与目标

• 通过组合结构，建立易处理量子群、群的种类与反射群之间的新颖联系。
• 通过与不可数个群的种类的关联，证明易处理量子群的类是不可数的。
• 利用分拆范畴与离散群表示之间的相互作用，为群的种类构造一种量子不变量。
• 揭示分拆范畴、易处理量子群与对称反射群之间在三个领域间均保持交换性的三角关系。
• 通过对称反射群的群对偶应用量子等距群构造，生成大量新的易处理量子群。

提出的方法

• 从分拆范畴到 $\mathbb{Z}_2^{*\infty}$ 的 $S_0$-不变子群的单射映射构造。
• 利用 Banica-Speicher 对应关系，通过其互变空间将每个分拆范畴与一个易处理量子群关联。
• 将对称反射群定义为 $\mathbb{Z}_2^{*n}$ 对 $S_0$-不变子群交集的商，从而将其与分拆范畴关联。
• 对称反射群的群对偶应用量子等距群构造，以获得新的易处理量子群实例。
• 通过普遍 $C^*$-代数构造，在分拆范畴、易处理量子群与对称反射群之间建立交换三角形。
• 对有限生成的对称反射群使用归纳极限构造，将结果推广至无限生成情形。

实验结果

研究问题

• RQ1 如何系统地将分拆范畴与 $\mathbb{Z}_2^{*\infty}$ 的子群关联，以揭示新的代数结构？
• RQ2 易处理量子群与群的种类之间存在何种关系？该关系如何导出群种类的量子不变量？
• RQ3 能否利用量子等距群构造，从反射群生成新的易处理量子群实例？
• RQ4 分拆范畴、易处理量子群与对称反射群之间的三角对应关系的精确性质是什么？
• RQ5 可简化超八面体量子群与对称反射群及其相关分拆范畴之间有何关系？

主要发现

• 在有限生成情况下，可简化超八面体分拆范畴与对称反射群之间存在一一对应。
• 该构造在分拆范畴、易处理量子群与对称反射群之间产生一个交换三角形，证实了深层的结构对偶性。
• 易处理量子群的类是不可数的，因为其通过反射群构造与不可数个群的种类集合之间存在双射。
• 通过相关易处理量子群的互变空间，为群的种类定义了一种新型量子不变量。
• 通过将量子等距群函子应用于对称反射群的群对偶，构造出大量新的量子等距群。
• 在对称反射群 $G$ 上，作用忠实且等距的极大量子子群被实现为一种可简化超八面体量子群。