[论文解读] The periodic table of $n$-categories for low dimensions II: degenerate tricategories

Eugenia Cheng, Nick Gurski|ArXiv.org|Jun 15, 2007

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

一句话总结

本文通过建立单环双范畴的完全代数定义并构造三范畴 MonBicat，完成了对退化三范畴的代数分析。证明了三重退化三范畴与交换幺半群范畴三等价，并表明虽然双重退化三范畴导出辫状单环范畴，但除非显著改变三范畴结构，否则无法与 BrMonCat 直接比较——仅有一种此类修改能实现真正的等价。

ABSTRACT

We continue the project begun in ``The periodic table of $n$-categories for low dimensions I'' by examining degenerate tricategories and comparing them with the structures predicted by the Periodic table. For triply degenerate tricategories we exhibit a triequivalence with the partially discrete tricategory of commutative monoids. For the doubly degenerate case we explain how to construct a braided monoidal category from a given doubly degenerate category, but show that this does not induce a straightforward comparison between \bfseries{BrMonCat} and \bfseries{Tricat}. We show how to alter the natural structure of \bfseries{Tricat} in two different ways to provide a comparison, but show that only the more brutal alteration yields an equivalence. Finally we study degenerate tricategories in order to give the first fully algebraic definition of monoidal bicategories and the full tricategory structure \bfseries{MonBicat}.

研究动机与目标

• 完成由 n-范畴周期表所预测的退化三范畴的代数表征。
• 以完全代数的非弱意义定义单环双范畴，避免依赖同调定理。
• 显式构造三范畴 MonBicat，包括所有高阶态射与同调数据。
• 通过修改 Tricat 的三范畴结构，解决双重退化三范畴与辫状单环范畴之间的不匹配问题。
• 澄清 k-退化 n-范畴与 k-重单环 (n−k)-范畴之间的关系，尤其在三范畴情形下。

提出的方法

• 分析三重退化三范畴，证明其与交换幺半群的偏离离散三范畴三等价。
• 通过其 0-态射上的诱导结构，从双重退化三范畴构造辫状单环范畴。
• 识别 Tricat 上自然三范畴结构无法与 BrMonCat 直接比较的原因，即同调细胞非可逆。
• 引入 Tricat 的两个修改版本以恢复等价性，仅更激进的修改能实现真正的三等价。
• 使用图示推理与同调公理（包括变换与扰动）验证 MonBicat 的完整三范畴结构。
• 应用维数转移原理，将 k-退化 n-范畴重新解释为具有 k 个相容单环结构的 (n−k)-范畴。

实验结果

研究问题

• RQ1 三重退化三范畴的精确代数结构是什么？它与交换幺半群有何关系？
• RQ2 能否以完全代数的方式利用双重退化三范畴定义辫状单环范畴？
• RQ3 Tricat 上的自然三范畴结构为何无法与 BrMonCat 直接比较？如何修复？
• RQ4 为实现与 BrMonCat 的三等价，对 Tricat 需要进行何种修改？
• RQ5 如何在不依赖同调定理或弱结构的前提下，代数化定义单环双范畴？

主要发现

• 三重退化三范畴与交换幺半群的偏离离散三范畴三等价，证实了周期表预测。
• 双重退化三范畴自然导出辫状单环范畴，但 Tricat 上的标准三范畴结构无法实现与 BrMonCat 的直接比较。
• 仅当将 Tricat 的同调细胞完全可逆化时，才能实现与 BrMonCat 的真正三等价。
• 本文首次提供了单环双范畴的完全代数定义，包含所有高阶态射与同调数据。
• MonBicat 三范畴被显式构造，所有复合法则、变换、变换、扰动均通过图示公理验证。
• 该分析确认，k-退化 n-范畴与 k-重单环 (n−k)-范畴之间存在关联，但需对目标三范畴进行结构调整才可实现等价。