Higher gauge theory I: 2-Bundles
arXiv:math/0410328
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).
82 pages (LaTeX), 216 diagrams (Xy-pic). Version 3: Major update, new sections, new theorems
References in corpus (6)
Cited by in corpus (31)
- An Invitation to Higher Gauge Theory
- Notes on generalized global symmetries in QFT
- Parallel Transport and Functors
- Non-Abelian Tensor Multiplet Equations from Twistor Space
- Non Abelian Differentiable Gerbes
- Fivebrane Structures
- Higher Symplectic Geometry
- Principal infinity-bundles - Presentations
- Internal categories, anafunctors and localisations
- AQFT from n-functorial QFT
- Exact completions and small sheaves
- A Construction of String 2-Group Models using a Transgression-Regression Technique
- Non-Commutative Geometry, Categories and Quantum Physics
- Connections on non-abelian Gerbes and their Holonomy
- Four Equivalent Versions of Non-Abelian Gerbes
- Simplicial principal bundles in parametrized spaces
- A Cubical Set Approach to 2-Bundles with Connection and Wilson Surfaces
- Extended TQFT's and Quantum Gravity
- 3-form Yang-Mills based on 2-crossed modules
- Smooth loop stacks of differentiable stacks and gerbes
- Classifying theory for simplicial parametrized groups
- Twisted actions of categorical groups
- Principal actions of stacky Lie groupoids
- Twisted-Product Categorical Bundles
- Integrating central extensions of Lie algebras via Lie 2-groups
- Bundle gerbes on supermanifolds
- 2-Group Actions and Moduli Spaces of Higher Gauge Theory
- A twisted tale of cochains and connections
- The derivator of setoids
- A 2-Site for Continuous 2-Group Actions
- Lie groupoids and crossed module-valued gerbes over stacks