[论文解读] Classifying spaces and fibrations of simplicial sheaves

Matthias Wendt|arXiv (Cornell University)|Sep 15, 2010

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

一句话总结

本文在某个概形上的单纯层范畴中建立了纤维丛的两类分类框架：一是通过布朗表示性定理对带基点的纤维丛进行分类，得到一个带基点的分类空间 $B^fF$；二是通过同伦自同构的单值自乘群的巴尔构造，得到一个无基点的分类空间 $B(*, \operatorname{hAut}_\bullet(F), *)$。关键结果是：在单纯层 $X$ 上的局部平凡纤维丛的等价类与到相应分类空间的同伦类之间存在自然双射。

ABSTRACT

In this paper, we discuss the construction of classifying spaces of fibre sequences in model categories of simplicial sheaves. One construction proceeds via Brown representability and provides a classification in the pointed model category. The second construction is given by the classifying space of the monoid of homotopy self-equivalences of a simplicial sheaf and provides the unpointed classification.

研究动机与目标

• 开发一个关于概形上单纯层范畴的同伦范畴中纤维丛的分类理论。
• 将原本针对单纯集合与拓扑空间的经典分类空间构造，推广至单纯层的设定。
• 利用不同的同伦技术——布朗表示性与巴尔构造——分别建立带基点与无基点的分类结果。
• 通过单纯层实现内部分类，而非仅限于单纯集合，从而支持在 $Α^1$-同伦理论中的应用。
• 证明局部平凡纤维丛与通过两种方法构造的分类空间之间的映射的同伦类之间存在双射关系。

提出的方法

• 在单纯层的带基点模型范畴中使用布朗表示性，为具有纤维 $F$ 的纤维丛构造一个带基点的分类空间 $B^fF$。
• 将无基点的分类空间构造为单值自同构的单值自乘群上的巴尔构造 $B(*, \operatorname{hAut}_\bullet(F), *)$，其底为 $F$ 的同伦自同构的单纯层。
• 在格罗滕迪克拓扑中引入局部平凡性的概念，以推广“所有纤维具有与 $F$ 同伦等价类型”这一条件。
• 应用同伦分配律（最初由 Rezk 提出），以证明纤维丛的粘合性，并确保表示性条件得以满足。
• 使用超覆盖来表示同伦范畴中的映射，并通过主化过程从给定纤维丛构造分类映射。
• 建立同伦类映射与纤维丛等价类之间的自然变换，通过显式构造与同伦不变性证明双射性。

实验结果

研究问题

• RQ1 如何将单纯集合中纤维丛的经典分类方法推广至概形上的单纯层？
• RQ2 在单纯层的同伦范畴中，哪些条件能保证与固定纤维 $F$ 相关的纤维函子是可表示的？
• RQ3 对 $F$ 的同伦自同构的单值自乘群进行巴尔构造，如何在单纯层范畴中对无基点纤维丛进行分类？
• RQ4 同伦分配律在实现纤维丛的粘合性以及在单纯层设定中构造分类空间的过程中起到什么作用？
• RQ5 带基点与无基点的分类理论之间有何关系，特别是 $\pi_0\operatorname{hAut}_\bullet(F)$ 作用于带基点纤维丛集合时？

主要发现

• 带基点的分类空间 $B^fF$ 通过从 $X$ 到 $B^fF$ 的带基点同伦类 $[X, B^fF]$，对以 $F$ 为纤维的局部平凡纤维丛（模去根等价）实现分类，且存在从这类纤维丛的等价类到 $[X, B^fF]$ 的自然双射。
• 无基点的分类空间 $B(*, \operatorname{hAut}_\bullet(F), *)$ 通过从 $X$ 到 $B(*, \operatorname{hAut}_\bullet(F), *)$ 的无基点同伦类 $[X, B(*, \operatorname{hAut}_\bullet(F), *)]$，对以 $F$ 为纤维的局部平凡纤维丛（模去等价）实现分类，且存在从纤维丛等价类到 $[X, B(*, \operatorname{hAut}_\bullet(F), *)]$ 的自然双射。
• 这两个分类空间通过 $\pi_0\operatorname{hAut}_\bullet(F)$ 的作用相互关联：将带基点分类集关于该作用取商，即得无基点分类集。
• 该构造关键依赖于同伦分配律，它允许同伦极限与同伦余极限的交换，从而实现通过超覆盖粘合纤维丛。
• 分类映射通过超覆盖的平凡化与主化过程构造，其中在交集上的过渡数据导出到 $\operatorname{hAut}_\bullet(F)$ 的映射，从而导出到巴尔构造的映射。
• 通过证明两个自然变换的复合在两个方向上均为恒等映射，并利用超覆盖的同伦不变性，建立了纤维丛与到分类空间的映射之间的双射关系。