[论文解读] On fibrant objects in model categories

Valery Isaev|arXiv (Cornell University)|Dec 16, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 3被引用 4

一句话总结

本文對模型范畴中纤维化对象之间的弱等价性进行了表征，表明当所有对象均为纤维化时，弱等价性可完全通过生成协纤维化来描述。本文提出一种构造所有对象均为纤维化之模型结构的方法，仅需验证简单且可检查的条件，并给出了生成平凡协纤维化的显式构造，简化了此类设定下模型范畴公理的验证。

ABSTRACT

In this paper, we study properties of maps between fibrant objects in model categories. We give a characterization of weak equivalences between fibrant object. If every object of a model category is fibrant, then we give a simple description of a set of generating cofibrations. We show that to construct such model structure it is enough to check some relatively simple conditions.

研究动机与目标

• 使用生成协纤维化表征模型范畴中纤维化对象之间的弱等价性。
• 提供一种构造所有对象均为纤维化的模型范畴的构造性方法。
• 表明此类模型结构由其协纤维化类唯一确定，并在所有此类模型结构中为最小弱等价类。
• 在所有对象均为纤维化时，给出生成平凡协纤维化的显式简单构造。
• 表明所有对象均为纤维化的模型结构类严格窄于左决定性模型结构类。

提出的方法

• 使用相对柱体对象和同伦延拓性质来定义映射之间的同伦关系。
• 引入纯态射的概念，并通过同伦关系上的提升性质分析纤维化对象。
• 定义一类映射 J_I-cell，其对域属于 I 的对象具有相对于 ∼*（同伦关系的自反传递闭包）的右提升性质。
• 通过将 [id_X, id_X]: X∐X → X 因子分解为协纤维化和平凡纤维化来构造柱体对象。
• 验证同伦延拓性和对称性性质（例如，C(X) 上存在对合 s），以确保与模型范畴公理的相容性。
• 将这些条件应用于拓扑空间和严格 ω-范畴上，通过检查生成协纤维化和柱体对象，验证模型范畴公理。

实验结果

研究问题

• RQ1 在模型范畴中，纤维化对象之间的弱等价性如何表征？
• RQ2 是否可以通过仅验证简单、局部条件来构造一个所有对象均为纤维化的模型结构？
• RQ3 当所有对象均为纤维化时，如何显式构造一组生成平凡协纤维化？
• RQ4 所有对象均为纤维化的模型结构与左决定性模型结构之间有何关系？
• RQ5 为何在单纯集上存在一个以单射为协纤维化的左决定性模型结构，并不意味着存在一个所有对象均为纤维化的模型结构？

主要发现

• 纤维化对象之间的弱等价性由其对生成协纤维化的右提升性质（相对于 ∼*）表征，提供了一个弱等价性的简单判别准则。
• 当所有对象均为纤维化时，弱等价类由协纤维化类唯一确定，并且在所有此类模型结构中为最小弱等价类。
• 可通过同伦延拓性质和柱体对象显式构造生成平凡协纤维化集合，避免对定义域和值域的基数限制。
• 存在所有对象均为纤维化的模型结构，其条件严格强于左决定性；例如，在单单纯集上，若以单射为协纤维化，则由于柱体构造受阻，不存在此类模型结构。
• 定理 4.2 和命题 4.6 中的构造方法允许通过检查生成协纤维化和柱体对象，简单验证模型范畴公理，如在拓扑空间的标准模型结构中所展示的那样。