Principal -bundles: general theory
From MaRDI portal
Publication:897095
DOI10.1007/S40062-014-0083-6zbMATH Open1349.18032arXiv1207.0248OpenAlexW1991307965MaRDI QIDQ897095FDOQ897095
Urs Schreiber, Danny Stevenson, Thomas Nikolaus
Publication date: 16 December 2015
Published in: Journal of Homotopy and Related Structures (Search for Journal in Brave)
Abstract: The theory of principal bundles makes sense in any infinity-topos, such as that of topological, of smooth, or of otherwise geometric infinity-groupoids/infinity-stacks, and more generally in slices of these. It provides a natural geometric model for structured higher nonabelian cohomology and controls general fiber bundles in terms of associated bundles. For suitable choices of structure infinity-group G these G-principal infinity-bundles reproduce the theories of ordinary principal bundles, of bundle gerbes/principal 2-bundles and of bundle 2-gerbes and generalize these to their further higher and equivariant analogs. The induced associated infinity-bundles subsume the notions of gerbes and higher gerbes in the literature. We discuss here this general theory of principal infinity-bundles, intimately related to the axioms of Giraud, Toen-Vezzosi, Rezk and Lurie that characterize infinity-toposes. We show a natural equivalence between principal infinity-bundles and intrinsic nonabelian cocycles, implying the classification of principal infinity-bundles by nonabelian sheaf hyper-cohomology. We observe that the theory of geometric fiber infinity-bundles associated to principal infinity-bundles subsumes a theory of infinity-gerbes and of twisted infinity-bundles, with twists deriving from local coefficient infinity-bundles, which we define, relate to extensions of principal infinity-bundles and show to be classified by a corresponding notion of twisted cohomology, identified with the cohomology of a corresponding slice infinity-topos. In a companion article [NSSb] we discuss explicit presentations of this theory in categories of simplicial (pre)sheaves by hyper-Cech cohomology and by simplicial weakly-principal bundles; and in [NSSc] we discuss various examples and applications of the theory.
Full work available at URL: https://arxiv.org/abs/1207.0248
Abstract and axiomatic homotopy theory in algebraic topology (55U35) Fiber spaces and bundles in algebraic topology (55R99)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Higher Topos Theory (AM-170)
- Twisted \(K\)-theory and \(K\)-theory of bundle gerbes
- Bundle Gerbes
- On extensions of principal bundles
- Four equivalent versions of nonabelian gerbes
- Bundle 2-Gerbes
- Twisted differential string and fivebrane structures
- Principal \(\infty\)-bundles: presentations
- Homotopical algebraic geometry. I: Topos theory
- Notes on 1- and 2-Gerbes
- Unoriented WZW models and holonomy of bundle gerbes
- A LOOP SPACE FORMULATION FOR GEOMETRIC LIFTING PROBLEMS
- Lifting problems and transgression for non-abelian gerbes
- Classifying spaces and fibrations of simplicial sheaves
- Twists of K-theory and TMF
- A classification theorem for fibre spaces
- Classifying spaces and classifying topoi
- Higher principal bundles
- On the classification of fibrations
- Classification of extensions of principal bundles and transitive Lie groupoids with prescribed kernel and cokernel
Cited In (42)
- Extended higher cup-product Chern-Simons theories
- Gauge enhancement of super M-branes via parametrized stable homotopy theory
- THE INTERSECTION MOTIVE OF THE MODULI STACK OF SHTUKAS
- Fluxes, bundle gerbes and 2-Hilbert spaces
- Stratified homotopy theory of topological \(\infty\)-stacks: a toolbox
- AKSZ models of semistrict higher gauge theory
- Characteristic classes as complete obstructions
- Title not available (Why is that?)
- Topological quantum gates in homotopy type theory
- The index map in algebraic \(K\)-theory
- Atiyah sequence and gauge transformations of a principal 2-bundle over a Lie groupoid
- Supersymmetric Yang-Mills theory as higher Chern-Simons theory
- Twisted cohomotopy implies M5-brane anomaly cancellation
- Twistorial cohomotopy implies Green–Schwarz anomaly cancellation
- Title not available (Why is that?)
- Equivariant cohomotopy implies orientifold tadpole cancellation
- Principal \(\infty\)-bundles: presentations
- The first Pontryagin class of a quadratic Lie 2-algebroid
- Higher geometry for non-geometric T-duals
- The 2-Hilbert space of a prequantum bundle gerbe
- On the \'etale homotopy type of higher stacks
- The Rational Higher Structure of M‐theory
- Gerbes in geometry, field theory, and quantisation
- Smooth 2-group extensions and symmetries of bundle gerbes
- Twisted smooth Deligne cohomology
- Principal \(\infty\)-bundles and smooth string group models
- On the normally ordered tensor product and duality for Tate objects
- The Wess-Zumino-Witten term of the M5-brane and differential cohomotopy
- Twisted Cohomotopy implies M-theory anomaly cancellation on 8-manifolds
- An integral model structure and truncation theory for coherent group actions
- Extension theory and fermionic strongly fusion 2-categories (with an appendix by Thibault Didier Décoppet and Theo Johnson-Freyd)
- ‐Algebras, the BV Formalism, and Classical Fields
- Topological sectors for heterotic M5-brane charges under hypothesis H
- Higher Structures in M‐Theory
- Twisted differential cohomology
- Towards an extended/higher correspondence. Generalised geometry, bundle gerbes and global double field theory
- Rational sphere valued supercocycles in \(M\)-theory and type IIA string theory
- Diffeological principal bundles and principal infinity bundles
- Twisted cohomotopy implies twisted string structure on M5-branes
- Towards an M5-brane model I: A 6d superconformal field theory
- Cyclification of orbifolds
- Super-exceptional geometry: origin of heterotic M-theory and super-exceptional embedding construction of M5
This page was built for publication: Principal \(\infty \)-bundles: general theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q897095)
