[论文解读] A categorical construction of 4D TQFTs

Louis Crane, David N. Yetter|ArXiv.org|Jan 15, 1993

Black Holes and Theoretical Physics参考文献 16被引用 45

一句话总结

本文提出了一种基于模张量范畴（MTCs）的4维拓扑量子场论（4D TQFT）的范畴构造，推广了从MTCs构造3D TQFT的方法。通过为三角剖分的4-流形分配广义的15j符号和修正因子，作者定义了一个在Pachner移动下不变的拓扑不变量，从而建立了一个受Ooguri提议启发、根植于单位根处量子群表示的正式4D TQFT框架。

ABSTRACT

We construct a four dimensional topological Quantum Field Theory from a modular tensor category. We complete the proof in the case of SU(2)q at a root of unity. Our construction may be important in the physical interpretation of the Chern Simons state in the Ashtekar variables.

研究动机与目标

• 构建一个类似于从模张量范畴（MTCs）构造的3D TQFT的4D TQFT，填补数学上对4D拓扑不变量理解的空白。
• 解决尽管有物理动机但仍未实现的、与唐纳森-弗洛尔理论对应的数学上严格的4D TQFT的缺失问题。
• 将Ooguri对4-流形不变量的发散形式表达式，通过根单位处的量子群表示，转化为收敛且拓扑不变的构造。
• 为4D不变量提供一个范畴框架，推广3D TQFT构造，并暗示量子群、拓扑与量子引力之间更深层次的联系。

提出的方法

• 该构造使用4-流形的三角剖分，并基于模张量范畴中不可约对象对面对和内部切割的标记，为每个4-单纯形分配广义的15j符号。
• 每个4-单纯形通过将四孔球面（由剖分中的四面体切割形成）的三叶分解导出的15j符号乘积贡献其贡献。
• 为低维单纯形（边、顶点）引入修正因子，以确保在Pachner移动下的不变性。
• 不变量被定义为对所有面对、内部切割和内射算子的标记求和，通过归一化确保不同三角剖分间的一致性。
• 该方法依赖于图解重组公式和MTC的辫子结构，以处理S³中的曲面嵌入与粘合。
• 通过证明5-单纯形边界两半的贡献在共同的S³曲面上约化为相同的计算结果，利用已知的MTC恒等式，证明该构造在Pachner移动下不变。

实验结果

研究问题

• RQ1 能否以类似于3D TQFT构造的方式，从模张量范畴构造一个4D TQFT？
• RQ2 如何通过根单位处的量子群表示，将Ooguri对4-流形不变量的发散形式表达式正则化并使其数学上严格？
• RQ3 辫子张量范畴和曲面分解（如三叶结构）在通过三角剖分定义4D拓扑不变量中起什么作用？
• RQ4 该构造得到的不变量与唐纳森-弗洛尔理论有何关系？它能否检测4-流形的微分结构？
• RQ5 该构造能否从MTCs推广到更高阶的范畴结构，如2-范畴或3-范畴？

主要发现

• 本文使用三角剖分和模张量范畴，通过广义15j符号与修正因子，为4-流形构造了一个拓扑不变量。
• 证明了该不变量在Pachner移动下不变，确认其拓扑性质，并确立了正式的4D TQFT。
• 通过用基于根单位处量子群表示的明确定义的不变量替代发散表达式，推广了Ooguri的提议。
• 该方法自然地整合了MTC的辫子与耦合数据，使其对范畴的完整结构敏感，而不仅限于其表示环。
• 不变量被定义为对面对、内部切割和内射算子的标记求和，通过归一化确保不同三角剖分间的一致性。
• 该构造暗示了更深层的范畴结构，其中MTC作为具有一个对象的2-范畴发挥作用，提示4D TQFT可能具有更广泛的2-范畴框架。