Principal ∞-bundles -- theory, presentations and applications

A pair of two articles on bundles in higher geometry:

This is a sub-project in the context of differential cohomology in a cohesive topos.


1) General theory

Abstract The theory of GG-principal bundles makes sense in any (∞,1)-topos, such as that of topological or of smooth ∞-groupoids and more general in any slices of these. It provides a geometric model for structured structrued higher nonabelian (sheaf hyper-) cohomology and controls general fiber bundles in terms of associated bundles. For suitable group objects GG these GG-principal ∞-bundles reproduce the theory of ordinary principal bundles , of principal 2-bundles , of gerbes and 2-gerbes , of bundle gerbes and bundle 2-gerbes and generalizes them to higher analogs of arbitrary degree. The induced associated ∞-bundles subsume the notion of Giraud's gerbes, Breen's 2-gerbes, Lurie's nn-gerbes, and generalize these to the notion of nonabelian ∞-gerbes; which are the universal local coefficient bundles for nonabelian twisted cohomology.

We discuss the general abstract theory of principal ∞-bundles, observe that it is induced directly by the ∞-Giraud axioms that characterize(∞,1)-toposes. A central result is a natural equivalence between principal ∞-bundles and intrinsic nonabelian cocycles, implying the classification of principal \infty-bundles by nonabelian sheaf hyper-cohomology. We observe that the theory of geometric fiber ∞-bundles associated to principal \infty-bundles subsumes a theory of ∞-gerbes and of twisted ∞-bundles, with twists deriving from local coefficient ∞-bundles, which we define, relate to extension of principal \infty-bundles and show to be classified by a corresponding notion of twisted cohomology, identified with the cohomology of a corresponding slice (∞,1)-topos.

2) Presentations

Abstract We discuss two aspects of the presentation of the theory of principal ∞-bundles in an (∞,1)-topos in terms of categories of simplicial (pre)sheaves.

First we show that over a ∞-cohesive site CC and for GG a presheaf of simplicial groups which is CC-acyclic, GG-principal ∞-bundles over any object in the (∞,1)-topos over CC are classified by hyper-Cech cohomology with coefficients in GG. Then we show that over a site CC with enough points, principal ∞-bundles in the (∞,1)-topos are presented by ordinary simplicial bundles in the sheaf topos that satisfy principality by stalkwise weak equivalences. Finally we discuss explicit details of these presentations for the discrete site (in discrete ∞-groupoids) and the smooth site (in smooth ∞-groupoids, generalizing Lie groupoids and differentiable stacks).

3) Applications


Revised on November 17, 2015 06:03:42 by Urs Schreiber (