[论文解读] Higher gauge theory I: 2-Bundles

Toby Bartels|ArXiv.org|Oct 14, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 20被引用 51

一句话总结

本文通过使用微分流形范畴、李2-群和2-范畴结构，引入了2-丛——范畴化纤维丛——的范畴化框架，为规范理论提供了新视角。它建立了主2-丛2-范畴与非交换2-丛（gerbe）2-范畴之间的等价关系，表明2-丛的分类由上同调数据（2-转移）决定，从而在2-范畴层面上统一了高阶规范理论与2-丛理论。

ABSTRACT

I categorify the definition of fibre bundle, replacing smooth manifolds with differentiable categories, Lie groups with coherent Lie 2-groups, and bundles with a suitable notion of 2-bundle. To link this with previous work, I show that certain 2-categories of principal 2-bundles are equivalent to certain 2-categories of (nonabelian) gerbes. This relationship can be (and has been) extended to connections on 2-bundles and gerbes. The main theorem, from a perspective internal to this paper, is that the 2-category of 2-bundles over a given 2-space under a given 2-group is (up to equivalence) independent of the fibre and can be expressed in terms of cohomological data (called 2-transitions). From the perspective of linking to previous work on gerbes, the main theorem is that when the 2-space is the 2-space corresponding to a given space and the 2-group is the automorphism 2-group of a given group, then this 2-category is equivalent to the 2-category of gerbes over that space under that group (being described by the same cohomological data).

研究动机与目标

• 通过使用微分流形范畴和李2-群，将纤维丛推广至高阶范畴，引入2-丛。
• 建立主2-丛与非交换2-丛之间的范畴等价，将高阶规范理论与2-丛理论联系起来。
• 证明在2-群作用下，对给定2-空间的2-丛2-范畴与纤维无关，且完全由上同调2-转移数据决定。
• 使用2-群和2-挠子（2-torsors）形式化G-2-丛的结构，将经典G-丛理论推广至高阶范畴。

提出的方法

• 通过2-范畴的拉回和2-关系，将流形替换为微分流形2-空间，李群替换为一致的李2-群，实现纤维丛的范畴化。
• 在2-空间2-范畴中使用2-拉回和2-覆盖定义2-丛，通过2-转移数据确保局部平凡性。
• 利用2-转移态射和编码于2-群字符串图中的协强律，构建G-2-丛的2-范畴。
• 使用交叉模建模2-群，并在2-空间上定义作用，从而构造G-2-挠子和相关2-丛。
• 通过共享的上同调分类（使用2-转移数据），建立G-2-丛2-范畴与2-丛2-范畴之间的等价关系。
• 使用字符串图和2-范畴的普遍性质（如2-拉回、2-商）形式化高阶规范结构中的协强性和自然性。

实验结果

研究问题

• RQ1 如何通过2-范畴和2-群的概念将纤维丛的观念范畴化，以定义2-丛？
• RQ2 2-丛与非交换2-丛之间的精确范畴等价关系是什么？它如何通过上同调数据建立？
• RQ3 在2-空间上，2-丛2-范畴在多大程度上与纤维无关？它如何由2-转移数据分类？
• RQ4 2-群在2-空间上的作用如何推广群在空间上的作用？由此产生哪些结构（如2-挠子）？
• RQ5 交叉模在编码李2-群结构及其在2-丛背景下的作用方面起到什么作用？

主要发现

• 给定2-空间和2-群下，2-丛的2-范畴与2-转移的2-范畴等价，表明其分类与纤维无关，且完全由上同调数据决定。
• 当2-空间对应于拓扑空间且2-群为某群的自同构2-群时，G-2-丛的2-范畴与该空间上同一群下的2-丛2-范畴等价。
• G-2-丛的分类由满足编码于2-群字符串图中的协强律的2-转移数据决定。
• 通过2-范畴拉回和2-映射，形式化了相关G-2-丛的构造，推广了经典关联丛的构造方法。
• 该理论在2-范畴层面上精确建立了主2-丛与非交换2-丛之间的等价关系，统一了高阶规范理论中的两个核心框架。
• 使用交叉模为李2-群提供了明确的代数模型，使2-转移数据和在2-空间上的作用能够进行显式计算。