vector bundle, 2-vector bundle, (∞,1)-vector bundle
real, complex/holomorphic, quaternionic
group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
(2,1)-quasitopos?
structures in a cohesive (∞,1)-topos
For a model for an ∞-group, there is often a model for the universal principal ∞-bundle that itself carries a group structure such that the canonical inclusion is a homomorphism of group objects. This extra groupal structure is important for various constructions.
For an ordinary bare group, the action groupoid of the right multiplcation action of on itself
is contractible. We may think of this as the groupoid of inner automorphisms inside the automorphism 2-group of . But it is also simply isomorphic to the codiscrete groupoid on the set underlying . In this latter form the 2-group structure on is manifest, which corresponds to the crossed module .
It is also manifest then that this fits with the one-object delooping groupoid of into a sequence
where the first morphism is a homomorphism of strict 2-groups.
Regarded as a sequence of morphisms in the model KanCplx of the (∞,1)-topos ∞-Grpd this is already a model for the universal -bundle.
If here is refined to a Lie group or topological group then this is a sequence of ∞-Lie groupoids or topological ∞-groupoids, respectively, and also then, this is already a model for the universal -principal bundle, as discussed at ?LieGrpd – the universal G-principal bundle.
By applying the geometric realization functor
we obtain a sequence of topological spaces
where carries the structure of a topological group and the morphism is a topological group homomorphism. For bare groups and under mild assumptions also for general topological groups , this groupal topological model for the universal -bundle obtained from the realization of the groupoid was consider in Segal68.
For ∞Grpd a strict 2-group a groupal model for was given in RobertsSchr07 generalizing the construction mentioned above. This yields a weak 3-group structure on (A Gray-group).
In Roberts07 it is observed that there is also an analog of and that this yields a strict group structure on . In fact, this strictly groupal model of turns out to be isomorphic to the standard model for the universal simplicial principal bundle traditionally denoted . And this statement generalizes…
Every ∞-group may be modeled by a simplicial group . There is a standard Kan complex model for the universal -simplicial principal bundle denoted .
This standard model does happen to have the structure of a simplicial group itself, and this structure is compatible with that of in that the canonical inclusion is a homomorphisms of simplicial groups.
This sounds like a statement that must be well known, but it was maybe not in the literature. The simplicial group structure is spelled out explicitly in Roberts07
Since the construction discussed above is functorial, this generalizes to prresheaves of simplicial groups and hence gives models for group objects and groupal universal principal ∞-bundles in (∞,1)-toposes modeled by the model structure on simplicial presheaves.
(…)
In the (∞,1)-topos of smooth ∞-groupoids we can obtain ∞-groups by Lie integration of -algebras.
Corresponding to this is a construction of Lie-integrated groupal universal principal -bundles:
for an -algebra, there is an -algebra , defined such that its Chevalley-Eilenberg algebra is the Weil algebra of :
Under Lie integration this gives a groupal model for the universal principal -bundle over the ∞-Lie group that integrates .
This is described at
The Lie-integrated universal principal ∞-bundle
The observation that for an ordinary group, its action groupoid sequence – which is the strict 2-group coming from the crossed module - maps under the nerve to the universal -bundle appeared in
A weak 3-group structure on for a strict 2-group is descibed in
The simplicial group structure on for a general simplicial group is stated explicitly in
A general abstract construction of this simplicial group structure is discussed in
The use of L-∞-algebras as -algebraic models for universal -principal bundle (evident as it is) was considered as such in
-algebra connections in Fauser (eds.) Recent Developments in QFT, Birkhäuser (arXiv:0801.3480)
Last revised on June 12, 2024 at 15:51:52. See the history of this page for a list of all contributions to it.