[论文解读] Homotopical interpretation of globular complex by multipointed d-space

Philippe Gaucher|ArXiv.org|Oct 18, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 42被引用 19

一句话总结

本文在多点d-空间（Grandis的d-空间的一种变体）上建立了组合模型范畴结构，其中胞状复形恰好是胞状对象。证明了该模型范畴的同伦范畴与流的同伦范畴等价，使得流的底层同伦类型函子可被解释为总左导出函子，从而通过同伦余极限简化同伦计算。

ABSTRACT

Globular complexes were introduced by E. Goubault and the author in arXiv:math/0107060 to model higher dimensional automata. Globular complexes are topological spaces equipped with a globular decomposition which is the directed analogue of the cellular decomposition of a CW-complex. We prove that there exists a combinatorial model category such that the cellular objects are exactly the globular complexes and such that the homotopy category is equivalent to the homotopy category of flows introduced in arXiv:math/0308054. The underlying category of this model category is a variant of M. Grandis' notion of d-space over a topological space colimit generated by simplices. This result enables us to understand the relationship between the framework of flows and other works in directed algebraic topology using d-spaces. It also enables us to prove that the underlying homotopy type functor of flows constructed in arXiv:math/0308063 can be interpreted up to equivalences of categories as the total left derived functor of a left Quillen adjoint.

研究动机与目标

• 通过Grandis d-空间的变体，为胞状复形提供同伦解释。
• 构建一个模型范畴，使得胞状复形恰好是胞状对象。
• 证明多点d-空间的同伦范畴与流的同伦范畴等价。
• 将流的底层同伦类型函子解释为左Quillen伴随的总左导出函子。
• 通过导出函子实现定向代数拓扑中同伦论计算的简化。

提出的方法

• 引入M. Grandis的d-空间概念的变体，专为定向同伦理论设计。
• 在Δ-生成拓扑空间范畴中工作，以确保组合性与局部可表示性。
• 通过一种新的组合分解方式定义胞状复形，使用形如 $ Z \times_{\Delta} S^{n-1} \to Z \times_{\Delta} D^n $ 的上包络映射。
• 利用胞状对象与可生成性技术，在多点d-空间范畴上构造模型结构。
• 通过伴随函子定理与可及性论证，证明该模型范畴是单纯且左适当的。
• 利用Quillen伴随与导出函子，建立多点d-空间的同伦范畴与流的同伦范畴之间的等价性。

实验结果

研究问题

• RQ1 能否在d-空间的变体框架下，通过组合模型范畴完全捕捉胞状复形？
• RQ2 多点d-空间的同伦范畴是否与流的同伦范畴等价？
• RQ3 流的底层同伦类型函子能否表示为左Quillen伴随的总左导出函子？
• RQ4 Δ-生成空间结构在确保组合性与可及性方面起到什么作用？
• RQ5 多点d-空间上的单纯结构如何支持模型范畴公理？

主要发现

• 在Δ-生成空间上的多点d-空间范畴上，存在一个组合模型结构，其中胞状复形恰好是胞状对象。
• 多点d-空间的同伦范畴与流的同伦范畴等价，建立了这两个框架之间的基础联系。
• 流的底层同伦类型函子等价于某个左Quillen伴随的总左导出函子，从而简化了其在同伦计算中的应用。
• 多点d-空间的模型范畴是单纯范畴，其张量积与余张量结构通过几何实现与映射空间定义。
• 该构造确保了同伦余极限技术可用于计算流的底层同伦类型。
• 多点d-空间范畴是局部可表示的，并且 admits 所有小余极限，解决了原始胞状复形范畴的局限性。