[论文解读] Closed Model Categories for Presheaves of Simplicial Groupoids and Presheaves of 2-Groupoids

Zhiming Luo, Peter Bubenik+1 more|arXiv (Cornell University)|Jan 6, 2003

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

一句话总结

本文在小范畴上的单纯道路群胚与2-群胚的预层范畴上建立了Quillen闭模型结构，证明其同伦范畴分别与单纯预层及同伦2-型的同伦范畴等价。该构造依赖于单纯集与高阶群胚之间的伴随函子，通过$\overline{W}$函子提升弱等价与纤维化，从而得到实现2-型同伦理论的Quillen等价。

ABSTRACT

It is shown that the category of presheaves of simplicial groupoids and the category of presheaves of 2-groupoids have Quillen closed model structures. Furthermore, their homotopy categories are equivalent to the homotopy categories of simplicial presheaves and homotopy 2-types, respectively.

研究动机与目标

• 将Quillen的闭模型范畴框架扩展至小范畴上的单纯群胚与2-群胚的预层。
• 证明这些范畴具有与现有单纯预层模型相容的良好同伦理论。
• 在这些预层范畴的同伦范畴与单纯预层及同伦2-型的同伦范畴之间建立Quillen等价。
• 通过高阶群胚结构为分类$G$-扭子与2-扭子提供同伦基础。

提出的方法

• 利用伴随函子$G: \Delta^{op} \to s\mathbf{Gd}$及其右伴随$\overline{W}$，将单纯预层上的模型结构转移至单纯群胚的预层上。
• 通过$\overline{W}$函子在$s\mathbf{Gd}Pre(\mathcal{C})$中定义纤维化与弱等价，从${\bf S}Pre(\mathcal{C})$中提升全局纤维化与拓扑弱等价。
• 应用Jardine的技术验证$s\mathbf{Gd}Pre(\mathcal{C})$与${\bf 2-Gpd}Pre(\mathcal{C})$上模型结构的Quillen公理，包括提升与分解性质。
• 使用小对象方法构造函子性分解，确保余纤维化与平凡余纤维化具有良好行为。
• 证明$\overline{W}$函子保持纤维化与弱等价，从而支持Quillen伴随函子的构造。
• 证明在同伦范畴上诱导的伴随函子形成等价，且$G$与$\overline{W}$构成2-群胚的Quillen等价。

实验结果

研究问题

• RQ1 小范畴上的单纯群胚预层范畴是否 admits Quillen闭模型结构？
• RQ2 能否证明单纯群胚预层的同伦范畴与单纯预层的同伦范畴等价？
• RQ3 2-群胚预层范畴是否 admits 与2-型同伦理论相容的闭模型结构？
• RQ4 单纯预层与2-群胚预层之间的伴随函子是否为Quillen等价，并在同伦范畴上诱导等价？
• RQ5 在预层背景下，$\overline{W}$函子保持纤维化与弱等价的条件是什么？

主要发现

• 单纯群胚预层范畴$s\mathbf{Gd}Pre(\mathcal{C})$ admits Quillen闭模型结构，其纤维化与弱等价通过$\overline{W}$函子定义。
• 同伦范畴$Ho(s\mathbf{Gd}Pre(\mathcal{C}))$与单纯预层的同伦范畴$Ho({\bf S}Pre(\mathcal{C}))$等价。
• 2-群胚预层范畴${\bf 2-Gpd}Pre(\mathcal{C})$ admits Quillen闭模型结构，其纤维化与弱等价通过${\bf S}Pre(\mathcal{C})$中的提升经由$\overline{W}$函子获得。
• 伴随函子$G: {\bf S}Pre(\mathcal{C}) \rightleftarrows {\bf 2-Gpd}Pre(\mathcal{C}) : \overline{W}$为Quillen伴随函子，且在同伦范畴上诱导等价。
• 同伦范畴$Ho({\bf 2-Gpd}Pre(\mathcal{C}))$与$Ho({\bf S}Pre(\mathcal{C}))$中同伦2-型的全子范畴等价，即高阶同伦群在2次以上为平凡的单纯预层。
• 对任意2-群胚预层$K$，自然映射$\varphi: G\overline{W}(K) \to K$为弱等价，且$\pi_i(\overline{W}K|_U, \ast) = 0$对$i > 2$成立，确认其为2-型性质。