[论文解读] A 3-categorical perspective on G-crossed braided categories

Corey Jones, David Penneys+1 more|ArXiv.org|Sep 1, 2020

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

一句话总结

本文建立了 1-满射 G-带点 3-范畴与 G-交叉辫状范畴之间的 3-范畴等价，统一了高阶范畴论与拓扑量子场论的视角。通过严格化为 Gray-范畴，并在严格 G-带点 3-范畴与严格 G-交叉辫状范畴之间构造 2-等价，作者证明了此类 3-范畴的 4-范畴与 G-交叉辫状范畴的 2-范畴等价，将 Delooping 假设推广至非平凡群。

ABSTRACT

A braided monoidal category may be considered a $3$-category with one object and one $1$-morphism. In this paper, we show that, more generally, $3$-categories with one object and $1$-morphisms given by elements of a group $G$ correspond to $G$-crossed braided categories, certain mathematical structures which have emerged as important invariants of low-dimensional quantum field theories. More precisely, we show that the 4-category of $3$-categories $\mathcal{C}$ equipped with a 3-functor $\mathrm{B}G o \mathcal{C}$ which is essentially surjective on objects and $1$-morphisms is equivalent to the $2$-category of $G$-crossed braided categories. This provides a uniform approach to various constructions of $G$-crossed braided categories.

研究动机与目标

• 使用 3-范畴中的群作用建立 G-交叉辫状范畴的高阶范畴框架。
• 通过严格化，解决 1-满射 G-带点 3-范畴的 4-范畴与 G-交叉辫状范畴的 2-范畴之间的差异。
• 将 Delooping 假设从平凡群推广至非平凡群，表明 G-交叉辫状范畴自然源自 1-满射 G-带点 3-范畴。
• 为拓扑与共形场论中 G-交叉辫状范畴的构造提供统一的范畴基础。

提出的方法

• 利用 Delooping 假设，将辫状张量范畴解释为仅含一个对象和一个 1-态射的 3-范畴。
• 通过 3-函子 π: BG → C 定义 1-满射 G-带点 3-范畴，其中 BG 是群 G 的 Delooping。
• 将 3-范畴 C 严格化为一个仅含一个对象、且 1-态射在复合下构成群 G 的 Gray-范畴。
• 在严格 G-带点 3-范畴的 2-范畴与严格 G-交叉辫状范畴的 2-范畴之间构造严格 2-等价。
• 利用 Galvez-Carrillo 的结果（每个 G-交叉辫状范畴都与一个严格范畴等价），将等价关系扩展至完整的 2-范畴。
• 通过图形化演算与弦图中的自然性，验证等价关系的相干性条件，特别是张量算子与张量自然变换。

实验结果

研究问题

• RQ1 如何系统地从高阶范畴结构推导出 G-交叉辫状范畴？
• RQ2 在 3-范畴的语境下，G-交叉辫状范畴背后的精确高阶范畴结构是什么？
• RQ3 1-满射 G-带点 3-范畴如何编码 G-交叉辫状范畴的完整数据？
• RQ4 能否使用 3-范畴理论将 Delooping 假设从平凡群推广至非平凡群？
• RQ5 严格化在建立 3-范畴与 G-交叉辫状范畴之间等价关系中起到何种作用？

主要发现

• 1-满射 G-带点 3-范畴的 4-范畴与 G-交叉辫状范畴的 2-范畴等价，建立了基础性的统一。
• 该等价通过穿过严格 G-带点 3-范畴与严格 G-交叉辫状范畴的严格 2-等价的 zig-zag 路径实现。
• 每个 G-交叉辫状范畴都与一个严格范畴等价，使得等价关系可在严格层面上构造。
• G-带点 3-范畴的 4-范畴中，其同态 2-范畴是可缩的，确认了其 2-范畴的本质。
• 该构造推广了经典 Delooping 假设：当 G = {e} 时，结果恢复了辫状张量范畴与两次退化的 3-范畴之间的等价。
• 该等价通过显式数据实现：G-交叉辫状范畴由 3-范畴的 1-态射与 2-态射通过基于 Gray-范畴的图形化演算构造。