[论文解读] Quasistrict symmetric monoidal 2-categories via wire diagrams

Bruce Bartlett|arXiv (Cornell University)|Sep 7, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 15被引用 46

一句话总结

本文引入了一种称为线图（wire diagrams）的图形演算，以直观且计算高效的方式重新表述由 Schommer-Pries 定义的准严格对称单一路径 2-范畴。通过使用三维拓扑记号重新诠释交换同构与相干性结构，作者简化了计算，并提供了严格化结果的可视化证明：每个对称单一路径 2-双范畴都与一个准严格对称单一路径 2-范畴等价。

ABSTRACT

In this paper we give an expository account of quasistrict symmetric monoidal 2-categories, as introduced by Schommer-Pries. We reformulate the definition using a graphical calculus called wire diagrams, which facilitates computations and emphasizes the central role played by the interchangor coherence isomorphisms.

研究动机与目标

• 为一种更严格的对称单一路径 2-双范畴变体——准严格对称单一路径 2-范畴——提供一种易于理解的解说性说明。
• 通过一种新颖的图形演算——线图——重新表述其定义，突出交换同构相干性同构的作用。
• 促进在对称单一路径 2-双范畴中的具体计算，特别是在三维拓扑量子场论的背景下。
• 为处理高阶范畴结构提供一种可视化且计算上可处理的框架，其动机源于实际计算挑战。
• 证明线图可作为稳定三维代数的自然记号，类似于二维中的弦图。

提出的方法

• 将线图引入为一种三维图形演算，其中：张量积沿页面向外延伸，1-态射复合沿垂直方向进行，2-态射复合沿从左到右的方向进行。
• 使用线图表示 1-态射为垂直的线，2-态射为线上的节点或方框，并通过堆叠或连接实现复合。
• 将交换同构重新解释为一种基本的图形操作，通过交换图中水平与垂直复合的顺序来实现。
• 利用图形记号简化并可视化相干性同构，特别是对称同构 β_{f,g} 及其与复合的相容性。
• 应用线图演算来验证相干性恒等式，例如方程 (12)，通过设定特定恒等式来恢复已知公式 (11)。
• 利用该演算支持严格化结果：每个对称单一路径 2-双范畴都与一个准严格对称单一路径 2-范畴等价。

实验结果

研究问题

• RQ1 如何使准严格对称单一路径 2-范畴的抽象定义更具计算可及性？
• RQ2 何种图形记号能有效表示对称单一路径 2-双范畴中交换同构同构与相干性数据？
• RQ3 线图演算能否简化高阶范畴中相干性恒等式的验证？
• RQ4 线图在多大程度上可作为三维代数中计算的实际工具？
• RQ5 该图形演算如何支持对称单一路径 2-双范畴的严格化结果？

主要发现

• 线图演算为准严格对称单一路径 2-范畴提供了可视化且计算高效的记号，使复杂的相干性结构更加直观。
• 交换同构自然地通过一种拓扑操作可视化，该操作交换图中复合的顺序，从而明确其作用。
• 通过在相干性恒等式 (12) 中设定 g′=id 且 f=id，成功恢复了 β_{f,g} 的公式，确认其与已知相干性公理的一致性。
• 本文证明，线图足以以可控方式表达并验证对称单一路径 2-双范畴的完整相干性数据。
• 图形方法为严格化结果提供了基础：每个对称单一路径 2-双范畴都与一个准严格对称单一路径 2-范畴等价。
• 该方法在实践中证明是有效的，因为它在三维 TQFT 背景下成功完成了原本难以处理的计算。