[论文解读] Constructing model categories with prescribed fibrant objects

Alexandru E. Stanculescu|arXiv (Cornell University)|Aug 29, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用 6

一句话总结

本文提出了一种改进的识别原则，用于构建具有显式描述的纤维化对象的可共生成Quillen模型范畴，该原则利用弱因子分解系统和两出六性质条件。该技术被应用于在张量化单纯模型范畴上的小范畴的富集范畴中建立组合模型结构，以及在该类范畴中幺半群的左Bousfield局部化，其中纤维化对象被精确刻画为局部对象。

ABSTRACT

We present a weak form of a recognition principle for Quillen model categories due to J.H. Smith. We use it to put a model category structure on the category of small categories enriched over a suitable monoidal simplicial model category. The proof uses a part of the model structure on small simplicial categories due to J. Bergner. We give an application of the weak form of Smith's result to left Bousfield localizations of categories of monoids in a suitable monoidal model category.

研究动机与目标

• 开发一种实用的识别原则，用于构建可共生成模型范畴，其中纤维化对象被显式刻画。
• 通过引入一种改进的技术，解决在验证Smith定理中条件c2（即缠结复闭包与同伦复合的封闭性）时的困难。
• 通过聚焦于纤维化对象及其之间的纤维化映射，对纤维化进行部分描述，从而改进经典Smith定理。
• 将该技术应用于建立小范畴在张量化单单纯型模型范畴上的富集范畴中的模型结构。
• 将该方法扩展至张量化模型范畴中幺半群范畴的左Bousfield局部化，将纤维化幺半群刻画为满足局部条件的对象。

提出的方法

• 采用Smith识别原则的弱形式，通过使用弱因子分解系统和两出六性质，避免直接验证c2条件。
• 利用在“天真纤维化”对象之间的“天真纤维化”类（即 inj₀(J)）来描述纤维化对象及其之间的纤维化映射。
• 将该技术应用于小范畴在张量化单单纯型模型范畴上的富集范畴，修改Bergner的证明以适配新框架。
• 引入“S-扩展幺半群公理”以确保局部化设定下张量结构与局部等价性的兼容性。
• 通过幺半群与基范畴之间的自由-遗忘伴随关系转移模型结构，其中弱等价性定义为TS-局部等价性。
• 通过两出六性质以及在富集设定下对推出与超限复合的封闭性，验证识别原则的条件。

实验结果

研究问题

• RQ1 如何在不依赖于直接验证Smith定理中条件c2的前提下，构建具有显式描述纤维化对象的模型范畴结构？
• RQ2 在左Bousfield局部化中，何种条件可确保模型范畴中的纤维化对象恰好是S-局部对象？
• RQ3 即使未完全刻画完整纤维化映射，是否仍能通过生成集的提升性质来描述纤维化对象之间的纤维化映射？
• RQ4 在何种条件下，张量化模型范畴的左Bousfield局部化会诱导出幺半群范畴上的模型结构？
• RQ5 如何表述S-扩展幺半群公理，以确保局部化模型结构中张量结构与局部等价性兼容？

主要发现

• 本文建立了一种新的识别原则，通过聚焦于两出六性质与改进的弱因子分解系统，简化了对可共生成条件（c2）的验证。
• 证明了在满足适当假设的张量化单单纯型模型范畴上，小范畴的富集范畴中存在组合模型结构，其纤维化对象恰好是相对于给定映射集的局部对象。
• 在张量化模型范畴中幺半群范畴的模型结构中，纤维化对象被证明恰好是TS-局部幺半群，其中TS-局部意指其底对象为S-局部。
• 通过自由-遗忘伴随关系与S-扩展幺半群公理，构造了幺半群范畴上的模型结构，确保纤维化对象之间的纤维化映射恰好是“天真纤维化”映射。
• 该技术修正了先前结果（注记2.8）中的一个漏洞，并提供了一套系统化的方法，用于将模型结构转移到富集与局部化设定中。
• 该方法使得在适度的共形性与兼容性假设下，能够构造出保持张量结构且为组合性的幺半群范畴的左Bousfield局部化。