[论文解读] The Coalgebraic Structure of Cell Complexes

Thomas Athorne|arXiv (Cornell University)|Feb 27, 2012

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

一句话总结

本文证明了理查德·加纳（Richard Garner）的猜想：在拓扑空间上的标准代数模型结构中，代数弱因子分解系统（awfs）的左映射恰好是相对胞复形。通过构建一个胞复形结构的范畴，并配备一个到箭头范畴的遗忘函子，作者建立了该范畴与余单子的余代数范畴之间的等价关系，从而证明该 awfs 是自由的，且左映射恰好是相对胞复形。

ABSTRACT

The relative cell complexes with respect to a generating set of cofibrations are an important class of morphisms in any model structure. In the particular case of the standard (algebraic) model structure on $ extbf{Top}$, we give a new expression of these morphisms by defining a category of relative cell complexes, which has a forgetful functor to the arrow category. This allows us to prove a conjecture of Richard Garner: considering the algebraic weak factorisation system given in that algebraic model structure between cofibrations and trivial fibrations, we show that the category of relative cell complexes is equivalent to the category of coalgebras.

研究动机与目标

• 证明理查德·加纳的猜想：在拓扑空间上的标准代数模型结构中，awfs 的左映射恰好是相对胞复形。
• 为相对胞复形提供一个范畴论框架，将其视为结构化的态射，而不仅仅是具有某种性质的态射。
• 通过一个捕捉胞复形普遍性质的伴随关系，建立小对象构造的明确且函子性的构造方法。
• 通过证明其余单子与自由胞复形余单子同构，表明通过标准小对象构造在 Top 上定义的 awfs 是自由的。
• 为将该结果推广到其他范畴（尤其是高阶范畴论相关的范畴，如弱 n-范畴）奠定基础。

提出的方法

• 将胞复形结构的范畴 $\mathbf{CellCx}$ 定义为箭头范畴 $\mathbf{Top}^\mathbf{2}$ 上的一个范畴，其中对象是通过生成协纤维的上包络的超限复合构造的态射。
• 构造一个遗忘函子 $U: \mathbf{CellCx} \to \mathbf{Top}^\mathbf{2}$，将每个胞复形映射到其底层态射。
• 证明 $U$ 有右伴随，从而将小对象构造的普遍性质实现为自由胞复形构造。
• 利用余单子性定理，证明 $\mathbf{CellCx}$ 与余单子 $UK$ 的余代数范畴等价，其中 $K$ 是 awfs 关联的余单子。
• 通过余单子态射的自然同构，证明余单子 $UK$ 同构于拓扑空间上标准 awfs 的余单子 $\mathbb{L}$。
• 利用同构余单子具有等价余代数范畴的事实，得出 awfs 的左映射范畴与 $\mathbf{CellCx}$ 等价，因此每个左映射都是相对胞复形。

实验结果

研究问题

• RQ1 在 Top 上的标准代数弱因子分解系统中，左映射是否恰好是相对胞复形？
• RQ2 小对象构造能否被重构为胞复形结构范畴上的普遍自由构造？
• RQ3 从胞复形结构到态射的遗忘函子是否保守且余单子性成立，从而允许余代数等价？
• RQ4 是否可以通过生成协纤维的上包络的超限复合，完整捕捉 awfs 中左映射的结构？
• RQ5 该构造在其他范畴和 awfs 中（尤其是涉及非单射胞复形形状的情形）的推广程度如何？

主要发现

• 胞复形结构的范畴 $\mathbf{CellCx}$ 在 $\mathbf{Top}^\mathbf{2}$ 上与余单子 $UK$ 的余代数范畴等价，确立了胞复形的余代数本质。
• 遗忘函子 $U: \mathbf{CellCx} \to \mathbf{Top}^\mathbf{2}$ 是余单子性的，因此胞复形的结构完全由其底层态射与余代数数据捕获。
• awfs $(UK, E)$ 同构于拓扑空间上的标准 awfs $(\mathbb{L}, \mathbb{R})$，证明了该 awfs 关于生成集 $\mathcal{J}$ 是自由的。
• 在拓扑空间上的标准 awfs 中，具有左映射结构的每个态射都是相对胞复形，从而证实了加纳的猜想。
• 该构造将小对象构造推广为在余极限、上包络和复合下取自由完备化的形式，与加纳增强版小对象构造的三步过程相吻合。
• 在生成映射非单射的设定下，该结果不成立，因为此类映射可能导致遗忘函子不保守，且胞复形结构不唯一。