[论文解读] Homotopy Theory of Orbispaces

André Henriques, David Gepner|ArXiv.org|Jan 31, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 21被引用 48

一句话总结

本文通过轨道范畴函子（Orb-spaces）——即从拓扑群的轨道范畴到空间范畴的反变函子——建立了一个关于轨道空间的同伦理论，提供了一个统一并推广了等变同伦理论与层论方法的同伦理论框架。其核心贡献在于建立了 Orb-spaces 与纤维化拓扑堆栈之间的 Quillen 等价性，表明轨道空间的同伦类型可由其轨道范畴函子完全捕捉。

ABSTRACT

Given a topological group G, its orbit category Orb_G has the transitive G-spaces G/H as objects and the G-equivariant maps between them as morphisms. A well known theorem of Elmendorf then states that the category of G-spaces and the category of contravariant functors Func(Orb_G,Spaces) have equivalent homotopy theories. We extend this result to the context of orbispaces, with the role of Orb_G now played by a category whose objects are topological groups and whose morphisms are given by Hom(H,G) = Mono(H,G) x_G EG. On our way, we endow the category of topological groupoids with notions of weak equivalence, fibrant objects, and cofibrant objects, and show that it then shares many of the properties of a Quillen model category.

研究动机与目标

• 开发一种轨道空间的同伦理论，该理论推广了等变同伦理论，并与基于堆栈的形式体系相一致。
• 将 Orb-spaces 定义为拓扑群的轨道范畴到拓扑空间范畴的反变函子，从而实现对轨道空间的同伦论处理。
• 建立 Orb-spaces 的模型范畴与纤维化拓扑堆栈的模型范畴之间的 Quillen 等价性，证明其同伦结构的等价性。
• 提供一个框架，使得轨道空间的同伦群与弱等价性可通过其固定点集被检测，推广了 Elmendorf 定理。

提出的方法

• 本文将 Orb-spaces 定义为拓扑群 G 的轨道范畴到拓扑空间范畴的连续反变函子。
• 在 Orb-spaces 上引入一个模型结构，其中弱等价性由群作用下的固定点集来检测，推广了 Elmendorf 定理。
• 作者通过几何实现与堆栈化函子，建立了 Orb-spaces 的模型范畴与纤维化拓扑堆栈的模型范畴之间的 Quillen 等价性。
• 他们利用胞腔拓扑群胚与纤维化替换来建模堆栈，确保同伦不变性及与下降性质的相容性。
• 证明依赖于 2-范畴的余极限与广义预层结构的性质，以关联群胚作用与堆栈结构。
• 关键技术工具包括推出-拉回图以及拓扑范畴中余极限构造的同胚结果。

实验结果

研究问题

• RQ1 如何形式化轨道空间的同伦理论，使其既能推广等变同伦理论，又能与基于堆栈的方法相一致？
• RQ2 Orb-spaces 上应采用何种正确的模型范畴结构，以捕捉轨道空间的同伦类型？
• RQ3 Orb-spaces 的范畴与纤维化拓扑堆栈的范畴之间是否存在 Quillen 等价性？
• RQ4 轨道空间的同伦群如何与群作用下的固定点集相关联？
• RQ5 拓扑堆栈的同伦类型能否从其对应的 Orb-space 中恢复？

主要发现

• Orb-spaces 的范畴配备了一个 Quillen 模型结构，其中弱等价性由固定点集检测，推广了 Elmendorf 定理由有限群到拓扑群的情形。
• 存在一个 Quillen 等价性，连接 Orb-spaces 的模型范畴与纤维化拓扑堆栈的模型范畴，确立了其同伦等价性。
• 拓扑堆栈的同伦类型完全由其对应的 Orb-space 决定，意味着在纤维化替换下，堆栈化过程保持同伦类型。
• 纤维化拓扑群胚的几何实现产生一个拓扑堆栈，其同伦类型与对应的 Orb-space 相匹配。
• 引理 A.8 中的推出-拉回图确认了拓扑堆栈中余极限构造与拉回运算可交换，确保了同伦余极限的相容性。
• 本文证明了纤维化拓扑群胚是堆栈，且其几何实现准确地建模了轨道空间的正确同伦类型。