Special and general types
A bundle gerbe or circle 2-bundle has a unique characteristic class in integral cohomology in degree 3, the higher analog of the Chern class of a circle group-principal bundle (or complex line bundle): this is called the Dixmier-Douady class of the bundle gerbe.
In the literature one find a universal Dixmier-Douady class defined for different entities, notably for projective unitary-principal bundles and for -bundle gerbes, as well as for C-star algebra constructions related to these. All these notions are equivalent in one sense, namely in bare homotopy theory, but differ in other sense, namely in geometric homotopy theory.
In bare homotopy-type theory
The classifying space of the circle 2-group is an Eilenberg-MacLane space . The bare Dixmier-Douday class is the universal characteristic class
exhibited by this equivalence. Hence if we identify with , then the DD-class is the identity on this space.
This is directly analogous to how the first Chern class is, as a universal characteristic class, the identity on .
This means conversely that the equivalence class of a -bundle gerbe/circle 2-bundle is entirely characterized by its Dixmier-Douady class.
In smooth homotopy-type theory
The circle 2-group naturally carries a smooth structure, hence is naturally regarded not just as an ∞-group in ∞Grpd, but as a smooth ∞-group in Smooth∞Grpd.
For each , the central extension of Lie groups
that exhibits the unitary group as a circle group-extension of the projective unitary group induces the corresponding morphism of smooth moduli stacks
This is part of a long fiber sequence in which continues to the right by a connecting homomorphism
in . Here the last morphism is presented in simplicial presheaves by the zig-zag/∞-anafunctor of sheaves of crossed modules
To get rid of the dependence on the rank – to stabilize the rank – we may form the directed colimit of smooth moduli stacks
On these we have the smooth universal class
Since the (∞,1)-topos Smooth∞Grpd has universal colimits, it follows that there is a fiber sequence
exhibiting the moduli stack of smooth stable unitary bundles as the homotopy fiber of .