[论文解读] Introduction to the language of stacks and gerbes

Ieke Moerdijk|ArXiv.org|Dec 19, 2002

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

一句话总结

本文通过非交换Čech上同调，以简洁易懂的方式介绍了层和2-层（gerbes），聚焦于其在分类主丛与丛2-层等几何结构中的作用。文章建立了2-层、群丛层与微分几何之间的联系，展示了De Rham上同调中的曲率类如何从丛2-层上的群丛联络中导出。

ABSTRACT

This is an introduction to gerbes for topologists, with emphasis on non-abelian cohomology.

研究动机与目标

• 为无代数几何背景的拓扑学学生提供一个自包含且教学性强的层与2-层入门介绍。
• 使用纤维范畴与层的语言，解释给定带（band）的2-层如何通过非交换Čech上循环（degree 2）分类。
• 通过引入丛2-层及其在De Rham上同调中的曲率类，将抽象的2-层理论与微分几何联系起来。
• 通过Mayer-Vietoris方法，展示丛2-层上群丛联络的存在性及其与曲率形式的关系。

提出的方法

• 利用预层、层与étale空间的框架，通过范畴伴随关系建立对层的直观理解。
• 引入纤维范畴、预层（prestacks）与层（stacks），作为预层、分离预层与层的类比。
• 通过带（liens）定义2-层，并利用非交换Čech上循环（degree 2）构造其分类。
• 证明每个固定带的2-层等价类均可由一个群丛层表示。
• 应用Mayer-Vietoris技巧，将曲率形式从 $M \times_X M$ 拉回到 $U \times_X U$，再拉回到 $X$。
• 通过关联 $S^1$-丛上的普通联络的拉回及其张量积，构造丛2-层上的群丛联络。

实验结果

研究问题

• RQ1 如何利用非交换Čech上同调（degree 2）对2-层进行分类？
• RQ2 纤维范畴、预层与层之间的范畴关系是什么？其结构如何类比于层论中的层级结构？
• RQ3 丛2-层上的群丛联络如何与De Rham上同调中的曲率形式相关联？
• RQ4 在何种条件下可保证丛2-层上群丛联络的存在性？如何显式构造？
• RQ5 丛2-层的曲率类如何与由其Čech上循环导出的上同调类一致？

主要发现

• 每个固定带的2-层等价类均可由一个群丛层表示，从而实现了非交换2阶上同调的范畴化实现。
• 丛2-层上群丛联络的曲率2-形式 $\kappa$ 在 $M \times_X M \times_X M$ 上满足上循环条件 $\pi_{12}^*(\kappa) + \pi_{23}^*(\kappa) = \pi_{13}^*(\kappa)$。
• 通过Mayer-Vietoris，$U \times_X U$ 上的曲率 $\kappa$ 可上拉为 $U$ 上的2-形式 $\lambda$，使得 $\kappa = \pi_2^*(\lambda) - \pi_1^*(\lambda)$。
• 在 $X$ 上定义的3-形式 $\xi$ 满足 $d\lambda = \pi^*(\xi)$，其为闭且积分形式，其上同调类 $[\xi] \in H^3_{\text{DR}}(X)$ 与Čech上循环导出的类一致。
• 丛2-层上的群丛联络始终存在，可通过 $M$ 上 $S^1$-丛上普通联络的拉回及其张量积显式构造。
• 在 $G \to M \times_X M$ 上诱导的联络与群丛结构相容，且其曲率满足所需的上循环恒等式。