[论文解读] Fibrations and homotopy colimits of simplicial sheaves

Charles Rezk|ArXiv.org|Nov 6, 1998

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

一句话总结

本文证明了在格罗滕迪克拓扑上的单纯层范畴中，同伦拉回沿同伦上积分配，推广了庞佩在拓扑空间中的结果。本文引入了‘锐映射’的概念——即拟纤维丛的同伦类比——其在逆像函子下保持不变，并具有粘合性质，从而通过小对象方法与模型范畴技术在单纯层中证明了分配律。

ABSTRACT

We show that homotopy pullbacks of sheaves of simplicial sets over a Grothendieck topology distribute over homotopy colimits; this generalizes a result of Puppe about topological spaces. In addition, we show that inverse image functors between categories of simplicial sheaves preserve homotopy pullback squares. The method we use introduces the notion of a sharp map, which is analogous to the notion of a quasi-fibration of spaces, and seems to be of independent interest.

研究动机与目标

• 将庞佩在拓扑空间中关于同伦拉回与上积的结果推广到格罗滕迪克拓扑上的单纯层范畴。
• 为单纯层引入并研究‘锐映射’——即拟纤维丛的同伦推广——其在基变换与粘合下表现良好。
• 证明单纯层范畴之间的逆像函子保持同伦笛卡尔正方形，将层化推广至同伦范畴。
• 通过小对象方法构造单纯层上的模型范畴结构，并通过提升性质刻画纤维化。
• 证明锐映射在同伦上积下保持不变，从而为主要的分配律结果提供支持。

提出的方法

• 将‘锐映射’定义为所有基变换均产生同伦笛卡尔正方形的映射，推广拓扑中拟纤维丛的概念。
• 使用小对象方法将映射分解为余纤维化后接纤维化，适用于单纯层的模型范畴。
• 将平凡纤维化刻画为对生成的可逆余纤维化 $yb \times \Lambda^k[n] \to yb \times \Delta[n]$ 具有右提升性质的映射。
• 利用层拓扑的布尔性质构造单纯层的过滤结构，并证明提升性质。
• 证明平凡余纤维化类等于生成可逆余纤维化沿上包络的传递复合的重言式。
• 通过在滤过上积中的一个提升论证，建立锐映射的粘合性质，从而证明其在同伦上积下保持不变。

实验结果

研究问题

• RQ1 在格罗滕迪克拓扑的单纯层范畴中，同伦拉回是否对同伦上积分配？
• RQ2 能否将拟纤维丛的概念推广至单纯层，使其保持关键同伦性质（如粘合与基变换）？
• RQ3 单纯层范畴之间的逆像函子是否保持同伦笛卡尔正方形？
• RQ4 是否存在一个构造性小对象方法，用于在单纯层的模型范畴中实现函子性分解？
• RQ5 锐映射是否在同伦上积下保持不变？若是，这如何导致拉回对上积的分配律？

主要发现

• 在单纯层中，同伦拉回对同伦上积分配：若 $Y$ 是一个同伦上积图，且所有正方形 (1.2) 均为同伦笛卡尔正方形，则 $X$ 也是一个同伦上积图。
• 逆像函子 $p^*: s\mathcal{E}' \to s\mathcal{E}$ 保持同伦笛卡尔正方形，因此层化保持同伦拉回。
• 锐映射——即所有基变换均产生同伦笛卡尔正方形的映射——在同伦上积下保持不变，这是证明分配律的关键。
• 单纯层上的模型范畴结构通过小对象方法构造，纤维化由对 $yb \times \Lambda^k[n] \to yb \times \Delta[n]$ 的提升性质刻画。
• 在 $s{\operatorname{Sh}}{\mathcal{B}}$ 中，平凡余纤维化类恰好是生成可逆余纤维化沿上包络的传递复合的重言式。
• 锐映射可沿同伦一致的图进行粘合，推广了拓扑中拟纤维丛的粘合性质。