Schreiber 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.

The first article works axiomatically in the style of “synthetic homotopy theory” without need to specify any set-based model for (∞,1)-categories, while the second article shows how to model/present everything in suitable simplicial model categories or fibration categories.

A full formalization of many of the synthetic arguments of the first article in homotopy type theory was later given in


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 generally, in any slices of these. It provides a geometric model for structured 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, and 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).

Folllowup development:

Last revised on December 28, 2021 at 07:55:11. See the history of this page for a list of all contributions to it.