[论文解读] Higher-Dimensional Algebra I: Braided Monoidal 2-Categories

John C. Baez, Martin Neuchl|arXiv (Cornell University)|Nov 19, 1995

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用 23

一句话总结

本文通过半严格单oidal范畴的中心构造了半严格辫子张量2-范畴，推广了范畴论中的中心构造。它证明了一个严格化定理，表明任意半严格辫子张量2-范畴都与一个在某一方向上辫子平凡的范畴等价，为4维拓扑量子场论和高维代数提供了基础框架。

ABSTRACT

We begin with a brief sketch of what is known and conjectured concerning braided monoidal 2-categories and their applications to 4d topological quantum field theories and 2-tangles (surfaces embedded in 4-dimensional space). Then we give concise definitions of semistrict monoidal 2-categories and braided monoidal 2-categories, and show how these may be unpacked to give long explicit definitions similar to, but not quite the same as, those given by Kapranov and Voevodsky. Finally, we describe how to construct a semistrict braided monoidal 2-category Z(C) as the `center' of a semistrict monoidal category C. This is analogous to the construction of a braided monoidal category as the center, or `quantum double', of a monoidal category. As a corollary, our construction yields a strictification theorem for braided monoidal 2-categories.

研究动机与目标

• 为半严格辫子张量2-范畴建立严谨的框架，这对于高维代数和4维拓扑量子场论（TQFT）至关重要。
• 将单oidal范畴中的中心构造推广至单oidal 2-范畴，与范畴论中的经典中心构造相呼应。
• 通过证明等价于一个其中某一辫子分量为平凡的形态，建立辫子张量2-范畴的严格化定理。
• 澄清高阶范畴结构中的相干性与对称性问题，特别是在弱与半严格n-范畴的语境下。
• 弥合辫子张量2-范畴定义中的基础性空白，特别是关于单位对象以及中心构造中结构性不对称性的问题。

提出的方法

• 通过展开的、明确的公理化方式定义半严格单oidal 2-范畴和辫子张量2-范畴，扩展Kapranov与Voevodsky的定义。
• 将半严格单oidal范畴χ的中心π(χ)构造为一个半严格辫子张量2-范畴，使用带有相干数据的自然变换。
• 使用2-态射$\tilde{R}_{(A,B|C)}$和$\tilde{R}_{(A|B,C)}$来编码辫子，其中前者在严格化形式中为平凡。
• 证明中心构造产生一个强辫子张量2-函子，且在对象、态射和2-态射上均为全忠实。
• 通过显式计算ξ、T和R-态射的复合，验证辫子的相干性，表明$R^{\mathcal{Z}(\mathcal{C})}_{A,B} = (T_{A,B}, R_{(T_{A,B},-)} )$。
• 通过使用交换恒等式和相干性公理，验证关键图表的交换性，证明所得2-函子满足强辫子张量2-函子的公理。

实验结果

研究问题

• RQ1 如何构造半严格单oidal范畴的中心，以得到一个辫子张量2-范畴？
• RQ2 半严格辫子张量2-范畴中的辫子受哪些相干性公理支配？它们与弱2-范畴中的公理有何关联？
• RQ3 任意半严格辫子张量2-范畴是否都能严格等价于一个其中$\tilde{R}_{(-,-|-)}$为平凡的范畴？
• RQ4 中心构造为何在$\tilde{R}_{(A,B|C)}$与$\tilde{R}_{(A|B,C)}$之间表现出明显的不对称性？这种不对称性是必要的还是任意的？
• RQ5 单位对象及其辫子在辫子张量2-范畴结构中扮演何种角色？它们如何影响对称性？

主要发现

• 半严格单oidal范畴$\mathcal{C}$的中心$\mathcal{Z}(\mathcal{C})$是一个通过特定相干数据的自然变换构造的半严格辫子张量2-范畴。
• 在$\mathcal{Z}(\mathcal{C})$中，辫子被显式计算为$R^{\mathcal{Z}(\mathcal{C})}_{A,B} = (T_{A,B}, R_{(T_{A,B},-)} )$，表明2-态射分量编码了辫子。
• 强辫子张量2-函子$\mathcal{Z}(\mathcal{C}) \to \mathcal{C}$在对象、态射和2-态射上均为全忠实，暗示了严格化结果。
• 本文证明了任意半严格辫子张量2-范畴都与一个$\tilde{R}_{(-,-|-)}$为平凡的范畴等价，从而确立了严格化定理。
• 该构造揭示了一种结构性不对称：$\tilde{R}_{(A,B|C)}$为平凡，而$\tilde{R}_{(A|B,C)}$不是，这表明在半严格设定中，这种定义选择可能是不可避免的。
• 通过显式图表追踪验证了辫子的相干性，表明由于$S^+ = S^-$和交换恒等式，强辫子张量2-函子所需的两个图表均满足交换性。