group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
Simplicial groups model all ∞-groups in ∞Grpd. Accordingly principal ∞-bundles in ∞Grpd (a discrete -bundle) should be modeled by Kan complexes equipped with a principal action by a simplicial group. It is suficient to assume the action to be strict. This yields the notion of simplicial principal bundles .
(strict principal simplicial bundle)
A strict simplicial principal bundle is…
(weakly principal simplicial bundle)
For a simplicial group, a Kan fibration of Kan complexes equipped with a -action on over
is a weakly -principal simplicial bundle if the shear map
(to the fiber product of with itself over ) is a simplicial weak equivalence.
(e.g. NSS 12b, Def. 3.79)
A simplicial -principal bundle is necessarily a Kan fibration.
This appears as (May, Lemma 18.2).
Let be a twisted cartesian product of the simplicial set with a simplicial group . Then with respect to the canonical -action this is a simplicial principal bundle.
This is (May, prop. 18.4).
It is simplicial principal bundles of this form that one is mainly interested in. These are the objects that are classified by the evident classifying space . This is discussed below.
Recall from generalized universal bundle that a universal -principal simplicial bundle should be a principal bundle such that every other -principal simplicial bundle arises up to equivalence as the pullback of along a morphism .
A standard model for the delooping Kan complex for a simplicial group goes by the simplicial set,
This is described at simplicial group - delooping. The following establishes a model for the universal simplicial bundle over this model of .
For a simplicial group, define the simplicial set to be the decalage of
By the discussion at homotopy pullback this means that for any Kan complex, an ordinary pullback diagram
in sSet exhibits as the homotopy pullback in / (∞,1)-pullback in ∞Grpd
i.e. as the homotopy fiber of the cocycle .
We call the simplicial -principal bundle corresponding to .
Let be the twisting function corresponding to by the above discussion.
Then the simplicial set is explicitly given by the formula called the twisted Cartesian product :
its cells are
with face and degeneracy maps
if
.
Here are some pointers on where precisely in the literature the above statements can be found.
One useful reference is
There the abbreviation PCTP ( principal twisted cartesian product ) is used for what above we called just twisted Cartesian products.
The fact that every PTCP defined by a twisting function arises as the pullback of along a morphism of simplicial sets can be found there by combining
the last sentence on p. 81 which asserts that pullbacks of PTCPs along morphisms of simplicial sets yield PTCPs corresponding to the composite of with ;
section 21 which establishes that is the PTCP for some universal twisting function .
lemma 21.9 states in the language of composites of twisting functions that every PTCP comes from composing a cocycle with the universal twisting function . In view of the relation to pullbacks in item 1, this yields the statement in the form we stated it above.
An explicit version of the statement that twisted Cartesian products are nothing but pullbacks of a generalized universal bundle is on page 148 of
On page 239 there it is mentioned that
is a model for the loop space object fiber sequence
One place in the literature where the observation that is the decalage of is mentioned fairly explicitly is page 85 of
Discussion of topological simplicial principal bundles is in
Discussion of principal simplicial bundles in more general categories of simplicial presheaves (presenting (infinity,1)-toposes):
Last revised on November 28, 2023 at 14:04:20. See the history of this page for a list of all contributions to it.