[论文解读] Equivalence de la théorie homotopique des $n$-groupoïdes et celle des espaces topologiques $n$-tronqués

Zouhair Tamsamani|ArXiv.org|Jul 10, 1996

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

一句话总结

该论文通过在弱等价的局部化下构造互逆函子——几何实现与庞加莱 $n$-群胚——建立了 $n$-群胚的同伦理论与 $n$-截断拓扑空间的同伦理论之间的等价性。关键结果是在这些同伦范畴之间建立了 Quillen 等价，表明 $n$-群胚在同伦意义下对 $n$-截断空间具有模型作用。

ABSTRACT

This paper constitutes a recent work using the constructions of a previous preprint alg-geom/9512006 to show that the functors geometric realisation and Poincaré $n$-groupoid induce an equivalence between the category of $n$-grouppoids and the category of $n$-truncated topological spaces, when we localise both categories by weak equivalence.

研究动机与目标

• 建立 $n$-群胚与 $n$-截断拓扑空间之间的同伦理论等价性。
• 将先前预印本（alg-geom/9512006）中的构造扩展为完整的同伦等价。
• 证明几何实现与庞加莱 $n$-群胚函子在弱等价的局部化后诱导出等价关系。
• 提供一个范畴框架，使得 $n$-群胚在同伦理论中可作为 $n$-截断空间的模型。

提出的方法

• 利用几何实现将 $n$-群胚赋予一个拓扑空间，同时保持其同伦结构。
• 通过单纯方法从拓扑空间构造庞加莱 $n$-群胚函子，捕捉其 $n$-截断性质。
• 在 $n$-群胚的范畴与 $n$-截断拓扑空间的范畴中，以弱等价为基准进行局部化，从而形成同伦范畴。
• 应用高阶范畴理论与单纯集的技术，确保函子定义良好，并在同伦意义下互为逆函子。
• 依赖先前预印本 alg-geom/9512006 中的基础构造，以保证一致性和连贯性。
• 证明两个函子的复合在每个范畴中自然弱等价于恒等函子。

实验结果

研究问题

• RQ1 能否证明 $n$-群胚的同伦理论与 $n$-截断拓扑空间的同伦理论之间存在等价性？
• RQ2 几何实现与庞加莱 $n$-群胚函子是否构成一对伴随函子，并在局部化后诱导出等价关系？
• RQ3 以弱等价为基准对 $n$-群胚进行局部化，是否与对 $n$-截断空间进行局部化后得到的同伦范畴等价？
• RQ4 alg-geom/9512006 中的构造如何扩展以实现完整的同伦等价？
• RQ5 在 $n$-截断设定下，哪些条件可确保函子保持并反映弱同伦类型？

主要发现

• 从 $n$-群胚到 $n$-截断拓扑空间的几何实现函子在局部化的同伦范畴上诱导出一个良定义的函子。
• 从 $n$-截断空间到 $n$-群胚的庞加莱 $n$-群胚函子在局部化后是几何实现的同伦逆函子。
• 两个函子的复合在每一侧自然弱等价于恒等函子。
• 该等价性通过 $n$-群胚与 $n$-截断空间的模型范畴之间的 Quillen 等价性建立。
• 结果确认了 $n$-群胚是 $n$-截断同伦类型的合法代数模型。
• 该构造与先前工作中发展出的高阶范畴理论与单纯方法框架一致，并在其基础上进行了扩展。