[论文解读] The Homotopy Theory of Simplicially Enriched Multicategories

Marcy Robertson|arXiv (Cornell University)|Nov 17, 2011

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

一句话总结

本文在紧致对称多范畴（small symmetric multicategories）的范畴上建立了以单纯集为系数的纤维生成 Quillen 模型范畴结构，统一了单纯范畴上的 Bergner 模型结构与彩色操作律上的 Berger-Moerdijk 模型结构。核心贡献在于为通过单纯集增强的高阶范畴理论与 $(∞,1)$-操作律中的代数结构提供了同伦理论框架。

ABSTRACT

In this paper we construct a cofibrantly generated model category structure on the category of all small symmetric multicategories enriched in simplicial sets.

研究动机与目标

• 在以单纯集为系数的小对称多范畴的范畴上构造 Quillen 模型范畴结构。
• 将单纯范畴上的 Bergner 模型结构与 $S$-彩色操作律上的 Berger-Moerdijk 模型结构统一起来。
• 为研究 $(∞,1)$-范畴与 $(∞,1)$-操作律中的代数结构提供同伦理论框架。
• 将操作律与多范畴理论拓展至具有单纯集同伦对象的增强设定，支持导出代数构造。

提出的方法

• 使用小对象方法将任意多函子分解为一个纤维上同调映射后接一个无扭纤维，确保模型结构的存在性。
• 通过在生成胞腔上取上包络的方式，利用纤维生成模型范畴理论定义生成纤维与无扭纤维。
• 利用 $ar{I}$ 与 $ar{J}$ 类的态射生成弱等价与纤维，确保其在重取与 2-出-3 性质下封闭。
• 通过 $π_0$ 函子检测弱等价，并利用上包络图与包含映射的拉回验证提升性质。
• 利用操作的 $Σ_n$-等变性，确保与单纯集增强下的对称张量结构相容。
• 应用纤维分类与提升性质验证 Quillen 模型范畴公理，特别是无扭纤维的提升条件。

实验结果

研究问题

• RQ1 如何在以单纯集为系数的小对称多范畴范畴上构造 Quillen 模型结构？
• RQ2 该模型结构如何统一单纯范畴上的 Bergner 模型结构与 $S$-彩色操作律上的 Berger-Moerdijk 模型结构？
• RQ3 在该增强设定下，多函子成为弱等价、纤维或纤维的充要条件是什么？
• RQ4 单纯集增强多范畴的同伦理论与 $(∞,1)$-操作律的同伦理论有何关联？

主要发现

• 在以单纯集为系数的小对称多范畴范畴上，存在一个纤维生成的 Quillen 模型范畴结构。
• 弱等价由 $π_0$ 函子检测，该函子保持上包络并反映模型结构中的弱等价。
• 每个无扭纤维都是弱等价，且每个既是纤维又是弱等价的映射都是无扭纤维，满足 2-出-3 性质。
• 该模型结构通过小对象方法与重取封闭性构建，生成纤维与无扭纤维通过 $ar{I}$ 与 $ar{J}$ 上的上包络定义。
• 利用拉回分解与单纯映射的逐度分析，验证了无扭纤维与纤维的提升性质。
• 该构造与对称张量结构及多范畴运算的 $Σ_n$-等变性相容，确保同伦一致性。