三维拓扑序中的范畴对称性规范化与体重构

我们使用范畴凝聚的语言给出了规范化非阿贝尔任意子的步骤，这些任意子是三维时空中范畴对称性的体现。我们还描述了如何将凝聚步骤用于其他情境，如拓扑陪集和构造模不变量。通过研究任意子可凝聚性的推广，我们得到了模群的同余子群的表示。最后，我们给出了对任意子去规范化的分析，这与为融合范畴构造 Drinfeld 中心的问题相关；我们将此步骤称为体重构。我们引入了一组关于母理论中的线与壁范畴的约束关系。通过使用这些关系以及子理论的 $S$ 矩阵元素，我们在若干例子中构造了母理论的 $S$ 矩阵元素。