[论文解读] Cofibrance and Completion

Andrei Rădulescu-Banu|ArXiv.org|Dec 8, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用 8

一句话总结

本文在模型范畴中构造了关于三元组的Bousfield-Kan完备化函子，利用由小对象构造导出的余锥形替换函子的对角结构。它在 pointed 模型范畴中建立了用于计算完备化相对同伦群的 Bousfield-Kan 族谱序列，依赖于 Dwyer、Kan 和 Hirschhorn 所证明的同伦极限–函数复形交换性质。

ABSTRACT

For a cofibrantly generated Quillen model category, we show that the cofibrant replacement functor constructed using the small object argument admits a cotriple structure. If all acyclic cofibrations are monomorphisms, the fibrant replacement functor constructed using the small object argument admits a triple structure. For a triple in the base category, the associated cosimplicial resolution is not necessarily homotopy invariant. However using a mix of the triple with the cofibrant replacement cotriple we construct a 'homotopically correct' version of the cosimplicial resolution of the triple. This allows us to construct a Bousfield-Kan completion functor with respect to a triple, and for pointed cofibrantly-generated model categories a Bousfield-Kan spectral sequence that computes the relative homotopy groups of the Bousfield-Kan completion of an object. This is the text of my PhD thesis, worked under the supervision of Prof. Haynes Miller, submitted on Feb. 1999 at MIT.

研究动机与目标

• 将 Bousfield-Kan 完备化从单纯集推广到任意模型范畴，使用三元组。
• 在经典单纯方法因缺乏 Reedy 纤维性而失效的模型范畴中，建立一个同伦理论意义良好的完备化函子。
• 在 pointed 模型范畴中构造一个 Bousfield-Kan 族谱序列，用于计算完备化的相对同伦群。
• 证明小对象构造导出的余锥形替换函子具有对角结构，从而支持完备化的构造。
• 在适度条件（即可缩纤维丛为单射）下，证明可对纤维形替换函子进行修改，使其携带余对角结构，从而提高效率与结构清晰度。

提出的方法

• 使用小对象构造来构建一个带有对角结构的余锥形替换函子，确保其与余单纯结构兼容。
• 应用与三元组 (R, ν, M) 关联的标准 Bousfield-Kan 余单纯化解构造，在模型范畴中形成一个余单纯对象。
• 利用 Dwyer-Kan-Hirschhorn 的结果：同伦极限与函数复形可交换，将模型范畴中的陈述约化为单纯集上的陈述。
• 将完备化定义为余单纯对象的总化（同伦极限），确保其计算出正确的同伦理论完备化。
• 通过分析总化的滤子结构，构造一个收敛于完备化相对同伦群的族谱序列。
• 证明由面映射诱导的余单纯映射 $ u_k^{l*} $ 是两两同伦等价的，这是族谱序列构造的关键技术结果。

实验结果

研究问题

• RQ1 Bousfield-Kan 完备化构造能否从单纯集推广到任意模型范畴？
• RQ2 在什么条件下，小对象构造导出的余锥形替换函子能具备完备化所必需的对角结构？
• RQ3 如何在 pointed 模型范畴中构造一个 Bousfield-Kan 族谱序列，以计算完备化的相对同伦群？
• RQ4 模型范畴的何种结构条件（如可缩纤维丛为单射）可使更高效的纤维形替换函子携带余对角结构？
• RQ5 同伦极限–函数复形交换性质在多大程度上能将一般模型范畴的陈述约化为单纯集上的陈述？

主要发现

• 在任意模型范畴中，只要余锥形替换函子具有对角结构，关于三元组的 Bousfield-Kan 完备化即存在。
• 在 pointed 模型范畴中，完备化具有一个 Bousfield-Kan 族谱序列，用于计算相对同伦群，其 $ E_2 $-页由 $ R $-模范畴中的 $ \text{Ext} $-群给出。
• 由标准余单纯结构诱导的余单纯映射 $ u_k^{l*} $ 是两两同伦等价的，这是支持族谱序列构造的关键技术结果。
• 当所有可缩纤维丛均为单射时，小对象构造可被修改，以生成一个携带余对角结构的纤维形替换函子，从而减少冗余。
• 由于解在 pointed 情况下是 Reedy 纤维的，余单纯化解的总化计算出了正确的同伦极限。
• 该构造具有同伦不变性：只要余锥形替换函子与弱等价性相容，弱等价性在完备化函子下即被保持。