[论文解读] The homotopy theory of equivalence relations

Finnur Lárusson|arXiv (Cornell University)|Nov 12, 2006

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

一句话总结

本文在等价关系的范畴上建立了一个基础模型结构——将其视为分划集，其中纤维化映射为商映射，胞复映射为单射，弱等价为商集上的双射。主要贡献在于证明该模型结构是恰当且组合性的（但非细胞的），同伦余极限与普通余极限一致，并提供了一个具体、易懂的抽象同伦理论模型，技术负担极低。

ABSTRACT

We give a detailed exposition of the homotopy theory of equivalence relations, perhaps the simplest nontrivial example of a model structure.

研究动机与目标

• 通过等价关系作为最简单的非平凡模型范畴，提供一个自包含且易于理解的抽象同伦理论入门。
• 证明等价关系的范畴支持一个行为良好的模型结构，具有清晰的几何与范畴论解释。
• 作为几何与图表同伦理论应用的基础工具，尤其在高阶结构（如单纯集）显得过于复杂时。
• 阐明此设定下同伦极限与余极限的行为，证明余极限保持可去映射。

提出的方法

• 将胞复映射定义为单射，纤维化映射定义为保持等价类的商映射，弱等价定义为在商集上诱导双射的映射。
• 在分划集范畴中验证 Quillen 的模型范畴公理。
• 证明该模型结构是恰当的：沿胞复映射的上包络保持弱等价，沿纤维化映射的下包络也保持弱等价。
• 通过构造一组小的生成胞复映射与可去胞复映射，证明该模型结构是组合性的。
• 通过等价关系的预层上的逐点纤维化结构构造同伦极限。
• 使用映射路径空间构造，将同伦拉直积表示为映射到乘积的等化子，证明其与同伦等化子同构。

实验结果

研究问题

• RQ1 如何在等价关系的范畴上定义模型结构？其是否满足 Quillen 的公理？
• RQ2 所得模型结构是否恰当、组合性或细胞性？
• RQ3 在此模型结构中，普通余极限是否计算同伦余极限？
• RQ4 同伦极限如何表现？能否显式构造？
• RQ5 在等价关系的预层范畴中，逐点纤维化结构起何作用？

主要发现

• 该模型结构在等价关系上的同伦范畴与集合范畴等价，仅反映 π₀ 层次的信息。
• 该模型结构是恰当的：沿胞复映射的上包络与沿纤维化映射的下包络均保持弱等价。
• 该模型结构是组合性的，但非细胞性的，与单纯集或拓扑空间上的标准模型结构相区别。
• 同伦余极限与普通余极限一致，因为余极限保持可去映射。
• 同伦极限不被普通极限保持；其通过映射路径空间构造，且与一对映射的同伦等化子同构。
• 在预层范畴中，同伦极限与余极限可逐点计算，且逐点可去映射诱导出余极限上的可去映射。