[论文解读] Invariants of Knots and 3-manifolds from Quantum Groupoids

Dmitri Nikshych, Vladimir Turaev+1 more|arXiv (Cornell University)|Jun 10, 2000

Algebraic structures and combinatorial models参考文献 14被引用 5

一句话总结

该论文通过量子群胚的表示范畴构建了纽结和3-流形的不变量——即有限维弱霍普夫代数。论文引入了拟三角、扭结和模量子群胚，定义了其大衛夫双代数，并证明：连通C*-量子群胚的大衛夫双代数的酉表示范畴构成一个酉模范畴，从而提供了一类新的模范畴构造，推广了在单位根处的量子群构造。

ABSTRACT

We use categories of representations of finite dimensional quantum groupoids (weak Hopf algebras) to construct ribbon and modular categories that give rise to invariants of knots and 3-manifolds.

研究动机与目标

• 通过量子群胚的表示范畴将模范畴的构造从量子群在单位根处的情形推广至更广范围。
• 将扭结与模范畴理论从霍普夫代数推广至更一般的量子群胚（弱霍普夫代数）设定。
• 通过C*-量子群胚及其大衛夫双代数，建立有限指数、有限深度II₁子因子与酉模范畴之间的联系。
• 提供一种新的代数框架，利用量子群胚的表示理论构造纽结与3-流形的不变量。

提出的方法

• 将量子群胚定义为满足特定公理的有限维弱霍普夫代数，其代数、余代数和反元素结构相容。
• 定义量子群胚H的大衛夫双代数D(H)，并证明其为可分解的拟三角量子群胚。
• 通过在量子群胚上施加额外结构——R-矩阵与扭结元——来构造扭结与模量子群胚。
• 为C*-量子群胚定义酉表示范畴URep(H)，并证明其通过大衛夫双代数继承模结构。
• 利用可分解性概念与哈尔测度的存在性，证明在代数闭域上，扭结且可分解的量子群胚H的表示范畴是模范畴。
• 应用纯化程序将表示范畴转化为纯模范畴，确保不变量定义良好且非退化。

实验结果

研究问题

• RQ1 能否将从量子群在单位根处构造模范畴的方法推广至霍普夫代数之外，涵盖量子群胚？
• RQ2 大衛夫双代数构造如何从霍普夫代数推广至量子群胚？其继承了哪些性质？
• RQ3 在何种条件下，量子群胚的表示范畴是模范畴？这与扭结元和可分解性的存在性有何关联？
• RQ4 有限指数、有限深度II₁子因子如何通过C*-量子群胚及其大衛夫双代数的表示理论与酉模范畴联系起来？
• RQ5 由C*-量子群胚的大衛夫双代数生成的模范畴是否等价于A. Ocneanu通过子因子双模构造的模范畴？

主要发现

• 量子群胚H的表示范畴Rep(H)是一个带有对偶性的张量范畴，推广了霍普夫代数表示中所见的结构。
• 量子群胚H的大衛夫双代数D(H)是一个可分解的拟三角量子群胚，扩展了经典的双代数构造。
• 对于连通的C*-量子群胚H，D(H)的酉表示范畴URep(D(H))构成一个酉模范畴，从而提供了新的酉模范畴来源。
• 在代数闭域上，扭结且可分解的量子群胚H的范畴Rep(H)是模范畴，如引理8.2所示。
• 通过大衛夫双代数从量子群胚构造模范畴的方法，推广了已知的从模霍普夫代数与量子群在单位根处构造模范畴的方法。
• 本文猜想：与有限指数、有限深度II₁子因子相关的C*-量子群胚的大衛夫双代数所生成的模范畴URep(D(H))，等价于A. Ocneanu通过子因子双模构造的模范畴。