[论文解读] Higher-dimensional categories with finite derivation type

Yves Guiraud, Philippe Malbos|ArXiv.org|Oct 8, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 26被引用 25

一句话总结

本文使用多图（polygraphs）将有限推导类型（FDT）的概念引入n-范畴，并推广了Squier在词重写系统中的原始定义。研究确立了临界分支（critical branching）作为判断FDT的关键工具，证明了某些3-多图（如表示结合律和辫群的多图）尽管是收敛的，却因存在无限同伦基而无法拥有FDT。

ABSTRACT

We study convergent (terminating and confluent) presentations of n-categories. Using the notion of polygraph (or computad), we introduce the homotopical property of finite derivation type for n-categories, generalizing the one introduced by Squier for word rewriting systems. We characterize this property by using the notion of critical branching. In particular, we define sufficient conditions for an n-category to have finite derivation type. Through examples, we present several techniques based on derivations of 2-categories to study convergent presentations by 3-polygraphs.

研究动机与目标

• 将有限推导类型（FDT）的概念从词重写系统推广至使用多图表示的高维范畴。
• 通过收敛表示中的临界分支同伦性质，刻画n-范畴中的FDT。
• 利用2-范畴中的推导技术，提供n-范畴具有有限推导类型的充分条件。
• 证明FDT在Tietze等价下保持不变，从而确认其为所呈现n-范畴的结构性质。
• 构造显式反例，表明某些收敛的3-多图即使具有有限表示，也不存在有限推导类型。

提出的方法

• 使用多图（或计算图）作为n-范畴的表示，通过生成元与关系递归定义n-细胞。
• 引入轨道n-范畴Σ^⊤作为自由群胚增强结构，以建模n-范畴中的同伦关系。
• 将同伦基定义为(n+1)-细胞族，其生成完整的同伦关系，使所有平行n-细胞彼此等价。
• 应用多图中的临界分支概念，分析约化序列的并归性与终止性。
• 采用推导与次数论证（例如，利用推导d为细胞赋值），证明有限同伦基不存在。
• 利用Tietze等价证明FDT在表示等价下保持不变，从而确保其为n-范畴本身的性质，而非仅依赖于表示形式。

实验结果

研究问题

• RQ1 在何种条件下，通过多图呈现的收敛n-范畴具有有限推导类型？
• RQ2 如何利用多图中的临界分支判断给定n-范畴是否具有有限推导类型？
• RQ3 有限推导类型是否在多图表示的Tietze等价下保持不变？
• RQ4 是否存在收敛的3-多图不具有有限推导类型？若是，其结构特征为何？
• RQ5 同伦基与推导在证明某些3-多图中不存在有限同伦基的过程中起何作用？

主要发现

• 表示结合律的3-多图不具有有限推导类型，其根本原因在于不存在有限同伦基。
• 带有Yang-Baxter关系与对合关系的辫群（或置换群）的3-多图同样不具有有限推导类型。
• 可在3-多图的自由2-范畴上定义推导d，为细胞赋值；若无法将某些值（如a_{n+1}）表示为低次项之和，则表明不存在有限同伦基。
• 由n索引的4-细胞族构成反例的极小同伦基，但该族为无限集，故任何有限子族均无法生成完整的同伦关系。
• 证明依赖于：任何有限子族均无法涵盖所有必要的4-细胞关系，从而导致矛盾。
• 反例表明，即使在低维情形（如3-多图）中，收敛性（终止性与并归性）也并不蕴含有限推导类型。