Geometric models for 2-gerbes

Question

One can think of a complex line bundle as a geometric model for an integral cohomology class of degree 2. Similarly, a locally-trivial bundle of $C^*$-algebras with fiber B(H) (the $C^*$-algebra of bounded operators on an infinite-dimensional Hilbert space) can be thought of as a geometric model for an integral cohomology class of degree 3. One can say that such a bundle is a 1-gerbe, while a complex line bundle is a 0-gerbe. Are there similarly nice models for integral cohomology classes of degree 4 (that is, for 2-gerbes)?

Answer 1

One fairly concrete way to view these things is via the Cech model (= transition functions). But maybe this isn't what you were looking for...

Say the base space $X$ is a manifold or finite $CW$-complex. Choose a cover by contractible open sets $\amalg U_{i}\rightarrow X$.

A line bundle on $X$ is the data of functions $f_{ij}:U_{ij}\rightarrow U(1)$ on double overlaps, satisfying certain conditions on triple overlaps $U_{ijk}$.

A 1-gerble on $X$ is the data of line bundles $L_{ij}\rightarrow U_{ij}$ on double overlaps, isomorphisms $\phi_{ijk}:L_{ij}\otimes L_{jk}\rightarrow L_{ik}$ on triple overlaps, satisfying certain conditions on quadruple overlaps $U_{ijkl}$. Assuming the cover is nice enough, this is equivalent to functions $f_{ijk}:U_{ijk}\rightarrow U(1)$ satisfying conditions on $U_{ijkl}$.

So a 2-gerble would be either: assign a 1-gerble to each double overlap, as well as the appropriate coherence data on higher overlaps (which seems baffling to me), or: repeat the 1-gerbe recipe but start at triple overlaps, or: repeat the 0-gerbe recipe but start at quadruple overlaps.

Answer 2

Two possible ideas. One is that you can realize $K(\mathbb{Z},3)$ as the quotient $U(HS)/PU(\infty)$ where $U(HS)$ is the unitary group on the Hilbert space of Hilbert-Schmidt operators. However, I don’t know if you can see the group structure in this model to make a principal bundle. This construction is in

• Alan L. Carey, Diarmuid Crowley, Michael K. Murray, Principal Bundles and the Dixmier Douady Class, Commun.Math.Phys. 193 (1998) pp 171-196, doi:10.1007/s002200050323, arXiv:hep-th/9702147.

There is also Andre Henriques’s conjecture that the outer automorphisms of a hyperfinite type III factor model $K(\mathbb{Z},3)$. See `Naturally occuring' $K(\pi, n)$ spaces, for $n \geq 2$.

Answer 3

Bundle $n$-gerbes seem to be what you are looking for.

Bundle gerbes can be defined w.r.t. an open cover (then it is what John Greenwood wrote), but don't have to. Instead of a cover, any surjective submersion is ok. $k$-fold intersections are then replaced by $k$-fold fibre products.

A nice example are basic bundle gerbes over compact Lie groups. For the groups $SU(n)$ and $Sp(n)$, one can construct them using an open cover of the Lie group, with a canonical line bundle over the double intersections. For the other simply-connected Lie groups, one needs to "resolve" the open sets by principal bundles over them, related to certain stabilizer subgroups. The union of their total space then gives a surjective submersion mapping to $G$, over whose 2-fold fibre product then again a canonical line bundle can be defined.

A further example are so-called lifting bundle gerbes, which are constructed from the problem of lifting the structure group of a principal bundle along a central extension. In this case, the surjective submersion is the bundle projection.

For bundle 2-gerbes, there is the Chern-Simons bundle 2-gerbe. Its surjective submersions is the bundle projection of a principal $G$-bundle. Over its 2-fold fibre product, it has a bundle gerbe, over its three-fold fibre product, a bundle gerbe isomorphism, over its 4-fold fibre product, a 2-isomorphism, and over its 5-fold fibre product, a condition. The Chern-Simons bundle 2-gerbe represents a class in $H^4(M,\mathbb{Z})$, the level of a Chern-Simons theory over $M$. It also carries a canonical connection, whose 3-holonomy is the value of the Chern-Simons theory on closed oriented 3-manifolds. This works for arbitrary Lie groups $G$, with no need to assume simply-connectedness.