[论文解读] Cofibrations in Homotopy Theory

Andrei Rădulescu-Banu|arXiv (Cornell University)|Sep 30, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 22被引用 52

一句话总结

本文引入了安德森-布朗-西辛斯基（Anderson-Brown-Cisinski，简称ABC）配边范畴，作为同伦理论的最小公理化框架，聚焦于配边与弱等价关系，以构建同伦余极限。证明了每个ABC配边范畴均为强左海勒导出范畴，推广了奎伦模型范畴，并为导出函子与导出器提供了自然的设定环境。

ABSTRACT

We define Anderson-Brown-Cisinski (ABC) cofibration categories, and construct homotopy colimits of diagrams of objects in ABC cofibration categories. Homotopy colimits for Quillen model categories are obtained as a particular case. We attach to each ABC cofibration category a left Heller derivator. A dual theory is developed for homotopy limits in ABC fibration categories and for right Heller derivators. These constructions provide a natural framework for 'doing homotopy theory' in ABC (co)fibration categories.

研究动机与目标

• 基于配边与弱等价关系，构建一个独立于纤维化的同伦理论最小公理系统。
• 仅利用配边与弱等价关系，在ABC配边范畴中构造同伦余极限。
• 建立ABC配边范畴与导出器之间的联系，特别是与左海勒导出器的关系。
• 将该框架对偶化，以定义纤维范畴与右海勒导出器。
• 通过证明奎伦模型范畴是ABC配边范畴的特例并具有更强的导出性质，推广奎伦模型范畴。

提出的方法

• 通过公理CF1–CF6定义ABC配边范畴，强调配边与弱等价关系。
• 在同伦范畴中，通过余极限函子的左导出函子构造同伦余极限。
• 利用同伦分式计算法建模弱等价关系并推导函子。
• 通过因子化与延拓引理验证导出器公理（Der1–Der5）来证明导出性。
• 应用格罗滕迪克构造与凯恩扩张，关联图与导出器。
• 通过对偶性定义纤维范畴与右海勒导出器，与配边情形镜像对应。

实验结果

研究问题

• RQ1 是否可以在仅具备配边与弱等价关系而无需纤维化的范畴中构造同伦余极限？
• RQ2 哪些最小公理足以保证同伦余极限与导出函子的存在性？
• RQ3 ABC配边范畴与奎伦模型范畴及瓦尔德豪森范畴之间有何关系？
• RQ4 ABC配边范畴的强左海勒导出性是否可由弱于CF6的公理推出？
• RQ5 该理论能否通过双偶纤维范畴与右导出器扩展至同伦极限？

主要发现

• 每个ABC配边范畴均为强左海勒导出范畴，即其预导出器满足左海勒导出器的所有公理。
• ABC配边范畴中的同伦余极限可表示为余极限函子的总左导出函子。
• 证明了奎伦模型范畴是ABC配边范畴的特例，因此也具备强海勒导出性。
• 对偶理论在纤维范畴中导出强右海勒导出性，将框架扩展至同伦极限。
• 提出一个猜想：CF1–CF5本身可能已足够实现强左海勒导出性，暗示CF6可能为冗余公理。
• 在ABC配边范畴中，抽象奎伦伴随性质被证明为导出器框架的推论。