[论文解读] Finite Quantum Groupoids and Their Applications

Dmitri Nikshych, Leonid Vaînerman|ArXiv.org|Jun 7, 2000

Algebraic structures and combinatorial models参考文献 48被引用 120

一句话总结

本文确立了有限量子群胚（弱霍普夫代数）作为有限深度子因子、动力量子群以及纽结和3-流形不变量的统一框架。它表明，量子群胚的表示范畴继承了张量结构与对偶结构，通过德林菲尔德双扭构造和扭曲构造，可构建辫子、带结与模范畴，其在子因子理论中的应用通过伽罗瓦对应及布雷泰利图中的主图描述得以实现。

ABSTRACT

We give a survey of the theory of finite quantum groupoids (weak Hopf algebras), including foundations of the theory and applications to finite depth subfactors, dynamical deformations of quantum groups, and invariants of knots and 3-manifolds.

研究动机与目标

• 发展有限量子群胚（弱霍普夫代数）的完整理论，将其作为霍普夫代数与有限群胚的推广。
• 在C*-量子群胚作用于冯诺依曼代数的背景下，建立有限深度子因子与之的伽罗瓦对应。
• 证明量子群胚的表示范畴自然产生辫子、带结与模范畴，从而实现纽结与3-流形不变量的构造。
• 展示在单位根处对量子群的动态扭曲如何产生有限量子群胚，并给出量子动态杨-巴克斯方程的解。

提出的方法

• 使用斯威德勒记法表示共乘法与弱霍普夫代数公理，以在域k上定义量子群胚。
• 构造德林菲尔德双扭与拟三角结构，以在表示范畴上诱导辫子张量范畴。
• 对霍普夫代数应用扭曲程序，以生成动力量子群与自对偶的有限量子群胚。
• 定义 smash 积与对偶性以作用于推广布兰纳-蒙哥马利对偶性至量子群胚设定。
• 利用哈尔积分与反极平方来刻画量子群胚中的半单性与C*-结构。
• 通过识别表示范畴与双模范畴中简单对象，从包含关系 bBt ⊂bB 的布雷泰利图推导主图。

实验结果

研究问题

• RQ1 有限量子群胚如何作为有限深度子因子的非交换对称？
• RQ2 德林菲尔德双扭构造在从量子群胚生成模范畴中起什么作用？
• RQ3 在单位根处对 Uq(g) 的动态扭曲如何导致有限量子群胚与量子动态杨-巴克斯方程的解？
• RQ4 量子群胚的表示范畴以何种方式实现辫子、带结与模结构？
• RQ5 如何从量子群胚包含关系的布雷泰利图重构子因子的主图？

主要发现

• 有限量子群胚 H 的表示范畴 Rep(H) 是一个具有对偶性的张量范畴，当 H 具有拟三角、带结或可分解结构时，该范畴成为辫子、带结或模范畴。
• 有限量子群胚 H 是半单的，当且仅当其存在归一化的积分，这将马什克定理推广至弱霍普夫代数设定。
• 有限深度子因子 N ⊂ M 的双模范畴与量子群胚 B 的余模范畴等价，从而建立伽罗瓦对应。
• 深度为2的子因子 N ⊂ N>⊳K 的主图由包含平凡表示的布雷泰利图中连通分支给出。
• 对于 C*-量子群胚 B，包含关系 bBt ⊂bB 给出子因子 N ⊂N>⊳B 的主图，其中 bBt 是对偶余理想在映射下的像。
• 在单位根处对 Uq(g) 的动态扭曲产生自对偶的有限量子群胚，从而提供量子动态杨-巴克斯方程的解。