[论文解读] Deformations of (Bi) tensor Categories

Louis Crane, David N. Yetter|ArXiv.org|Dec 5, 1996

Algebraic structures and combinatorial models参考文献 6被引用 19

一句话总结

本文通过引入一个双复形，发展了（双）张量范畴——特别是双代数范畴——的形变理论，其第三个上同调类分类了无穷小形变。该框架被应用于吕施蒂格的范畴化量子群和有限群范畴，发现形变仅受限于秩≥3的李代数，暗示其可能与弦理论和量子引力中的物理相关对称性存在联系。

ABSTRACT

We define the cohomology and formal deformation theories for algebra and bialgebra categories. We suggest some approaches to finding nontrivial deformations of the categories associated to the quantum groups by the work of Lusztig.

研究动机与目标

• 通过推广上同调框架，将形变理论从霍普夫代数推广到霍普夫范畴。
• 解决吕施蒂格的范畴化量子群中缺乏有限截断的问题，否则会导致4D拓扑量子场论中态和发散。
• 探索双代数范畴的无穷小形变是否可延拓为形式或全局形变。
• 研究此类形变在4D拓扑量子场论和量子引力背景下的物理相关性。
• 确定形变存在的条件，特别是针对特殊李代数（如F₄和E₆）及其与弦理论的潜在联系。

提出的方法

• 构建一个双代数范畴的双复形，其第三个上同调类分类无穷小形变。
• 将代数和双代数的霍赫希尔德型上同调框架适配到张量范畴，重点关注结合子和单位子。
• 将该复形应用于有限群范畴和吕施蒂格的范畴化量子群（通过旗流形上的 perverse sheaves）。
• 将形变与根 lattice 的群上同调联系起来，将形变方程转化为上边界方程。
• 利用双复形计算将无穷小形变延拓为形式幂级数形变的障碍。
• 通过范畴化版本的雷舍蒂欣量子群构造或旗流形的非交换形变，探索可能的全局构造。

实验结果

研究问题

• RQ1 能否通过上同调双复形将霍普夫代数的形变理论推广到双代数范畴？
• RQ2 哪些李代数允许其关联双代数范畴的非平凡无穷小形变，会引发何种约束？
• RQ3 能否计算将无穷小形变延拓为形式幂级数形变的障碍，并在特定情况下证明其消失？
• RQ4 形变的存在性是否与弦理论和超引力中出现的特殊李代数（如F₄、E₆）存在联系？
• RQ5 能否构造吕施蒂格的范畴化量子群的全局形变，从而解决4D TQFT态和中的发散问题？

主要发现

• 双代数范畴的无穷小形变由双复形的第三个上同调类分类，类似于代数的霍赫希尔德上同调。
• 对于吕施蒂格的范畴化量子群，形变方程约化为根 lattice 群上同调中的上边界方程。
• 在此框架下，仅秩至少为三的李代数才允许非平凡的无穷小形变，原因在于基本环面上的3-形式结构。
• 利用同一双复形可计算将一阶形变延拓至高阶的障碍，尽管障碍消失并不保证能收敛到全局形变。
• 该框架表明，形变可能仅存在于特殊李代数（如F₄和E₆）中，这些代数具有如三重对称性等例外几何结构。
• 结果为通过系统方法形变范畴化量子群，从而构建有限4D TQFT提供了潜在路径。