nLab
twisted bundle

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Contents

Idea

A twisted principal-bundle is the object classified by a cocycle in twisted cohomology the way an ordinary principal bundle is the object classified by a cocycle in plain cohomology (generally in nonabelian cohomology).

For G^\hat G a group, a G^\hat G-principal bundle is classified in degree 1 nonabelian cohomology with coefficients in the delooped groupoid BG^\mathbf{B} \hat G.

Given a realization of G^\hat G as an abelian extension

AG^G A \to \hat G \to G

of groups, i.e. given a fibration sequence

BABG^BG \mathbf{B}A \to \mathbf{B}\hat G \to \mathbf{B}G

of groupoids such that BA\mathbf{B}A is once deloopable so that the fibration sequence continues to the right at least one step as

BG^BGB 2A \mathbf{B}\hat G \to \mathbf{B}G \to \mathbf{B}^2 A

the general mechanism of twisted cohomology induces a notion of twisted G^\hat G-cohomology. The fibrations classified by this are the twisted G^\hat G-bundles.

Definition

We give a discussion of twisted bundles as a realization of twisted cohomology in any cohesive (∞,1)-topos H\mathbf{H} as described in the section cohesive (∞,1)-topos – twisted cohomology. For the cases that H=\mathbf{H} = ETop∞Grpd or H=\mathbf{H} = Smooth∞Grpd this reproduces the traditional notion of topological and smooth twisted bundles, respectively, whose twists are correspondingly topological or smooth bundle gerbes/circle n-bundles.

Setup

Let B n1U(1)H\mathbf{B}^{n-1}U(1) \in \mathbf{H} be the circle n-group. We shall concentrate here for definiteness on twists in B 2U(1)\mathbf{B}^2 U(1)-cohomology, since that reproduces the usual notions of twisted bundles found in the literature. But every other choice would work, too, and yield a corresponding notion of twisted bundles.

Fix once and for all an ∞-group GHG \in \mathbf{H} and a cocycle

c:BGB 2U(1) \mathbf{c} : \mathbf{B}G \to \mathbf{B}^2 U(1)

representing a characteristic class

[c]H Smooth 2(BG,U(1)) [\mathbf{c}] \in H_{Smooth}^2(\mathbf{B}G,U(1))

Notice that if GG is a compact Lie group, as usual for the discussion of twisted bundles where G=PU(n)G = P U(n) is the projective unitary group in some dimension nn, then by this theorem we have that

H Smooth 2(BG,U(1))H 3(BG,), H_{Smooth}^2(\mathbf{B}G, U(1)) \simeq H^3(B G, \mathbb{Z}) \,,

where on the right we have the ordinary integral cohomology of the classifying space BGB G \in Top of GG.

The abstract definition

Let GG and c\mathbf{c} be as above.

Definition

Write

BG^BGcB 2U(1) \mathbf{B}\hat G \to \mathbf{B}G \stackrel{\mathbf{c}}{\to} \mathbf{B}^2 U(1)

for the homotopy fiber of c\mathbf{c}.

This identifies G^\hat G as the group extension of GG by the 2-cocycle c\mathbf{c}.

Note

Equivalently this means that

BU(1)BG^BG \mathbf{B}U(1) \to \mathbf{B}\hat G \to \mathbf{B}G

is the smooth circle 2-bundle/bundle gerbe classified by c\mathbf{c}; and its loop space object

U(1)G^G U(1) \to \hat G \to G

the corresponding circle group principal bundle on GG.

Let XHX \in \mathbf{H} be any object. From twisted cohomology we have the following notion.

Definition

The degree-1 total twisted cohomology H tw 1(X,G^)H_{tw}^1(X, \hat G) of XX with coefficients in G^\hat G, def. 1, relative to the characteristic class [c][\mathbf{c}] is the set

H tw 1(X,G^):=π 0H tw(X,GH^) H^1_{tw}(X, \hat G) := \pi_0 \mathbf{H}_{tw}(X, \mathbf{G}\hat H)

of connected components of the (∞,1)-pullback

H tw(X,BG^) tw H Smooth 2(X,U(1)) H(X,BG) c * H(X,B 2U(1)), \array{ \mathbf{H}_{tw}(X, \mathbf{B}\hat G) &\stackrel{tw}{\to}& H_{Smooth}^2(X,U(1)) \\ \downarrow && \downarrow \\ \mathbf{H}(X, \mathbf{B}G) &\stackrel{\mathbf{c}_*}{\to}& \mathbf{H}(X, \mathbf{B}^2 U(1)) } \,,

where the right verticsl morphism is any section of the truncation projection from cocycles to cohomology classes.

Given a twisting class [α]H Smooth 2(U(1))[\alpha] \in H^2_{Smooth}(U(1)) we say that

H [α] 1(X,G^):=H tw 1(X,G^)× [α]* H_{[\alpha]}^1(X,\hat G) := H^1_{tw}(X, \hat G) \times_{[\alpha]} *

is the [α][\alpha]-twisted cohomology of XX with coefficients in G^\hat G relative to c\mathbf{c}.

Note

For [α]=0[\alpha] = 0 the trivial twist, [α][\alpha]-twisted cohomology coincides with ordinary cohomology:

H [α]=0 1(X,G^)H Smooth 1(X,G^). H^1_{[\alpha] = 0}(X, \hat G) \simeq H^1_{Smooth}(X, \hat G) \,.

By the discussion at principal ∞-bundle we may identify the elements of H Smooth 1(X,G^)H^1_{Smooth}(X, \hat G) with G^\hat G-principal ∞-bundles PXP \to X. In particular if G^\hat G is an ordinary Lie group and XX is an ordinary smooth manifold, then these are ordinary G^\hat G-principal bundles over XX. This justifies equivalently calling the elements of H tw 1(X,G^)H^1_{tw}(X,\hat G) twisted principal \infty-bundles; and we shall write

G^TwBund(X):=H tw 1(X,G^), \hat G TwBund(X) := H^1_{tw}(X, \hat G) \,,

where throughout we leave the characteristic class [c][\mathbf{c}] with respect to which the twisting is defined implcitly understood.

Explicit cocycles

We unwind the abstract definition, def. 2, to obtain the explicit definition of twisted bundles by Cech cocycles the way they appear in the traditional literature (see the General References below).

Proposition

Let U(1)G^GU(1) \to \hat G \to G be a group extension of topological groups.

Let XX \in Mfd \hookrightarrow ETop∞Grpd =:H=: \mathbf{H} be a paracompact topological manifold with good open cover {U iX}\{U_i \to X\}.

  1. Relative to this every twisting cocycle [α]H ETop 2(X,U(1))[\alpha] \in H^2_{ETop}(X, U(1)) is a Cech cohomology representative given by a collection of functions

    {α ijk:U iU jU kU(1)} \{ \alpha_{i j k} : U_i \cap U_j \cap U_k \to U(1) \}

    satisfying on every quadruple intersection the equation

    α ijkα ikl=α jklα ijl. \alpha_{i j k} \alpha_{i k l} = \alpha_{j k l} \alpha_{i j l} \,.
  2. I terms of this cocycle data the twisted cohomology H [α] 1(X,G^)H^1_{[\alpha]}(X, \hat G) is given by equivalence classes of cocycles consisting of

    1. collections of functions

      {g ij:U iU jG^} \{g_{i j} : U_i \cap U_j \to \hat G \}

      subject to the condition that on each triple overlap the equation

      g ijg˙ jk=g ikα ijk g_{i j} \dot g_{j k} = g_{i k} \cdot \alpha_{i j k}

      holds, where on the right we are injecting α ijk\alpha_{i j k} via U(1)G^U(1) \to \hat G into G^\hat G
      and then form the product there;

    2. subject to the equivalence relation that identifies two such collections of cocycle data {g ij}\{g_{i j}\} and {g ij}\{g'_{i j}\} if there exists functions

      {h i:U iG^} \{h_i : U_i \to \hat G\}

      and

      {β ij:U iU jU^(1)} \{\beta_{i j} : U_i \cap U_j \to \hat U(1)\}

      such that

      β ijβ jk=β ik \beta_{i j} \beta_{j k} = \beta_{i k}

      and

      g ij=h i 1g ijh jβ ij. g'_{i j} = h_i^{-1} \cdot g_{i j} \cdot h_j \cdot \beta_{i j} \,.
Proof

We pass to the standard presentation of ETop∞Grpd by the projective local model structure on simplicial presheaves over the site CartSp. We then compute the defining (∞,1)-pullback by a homotopy pullback there.

Write BG^ c,B 2U(1) c[CartSp op,sSet]\mathbf{B}\hat G_{c}, \mathbf{B}^2 U(1)_c \in [CartSp^{op}, sSet] etc. for the standard models of the abstract objects of these names by simplicial presheaves. Write accordingly B(U(1)G^) c\mathbf{B}(U(1) \to \hat G)_c for the delooping of the crossed module associated to the central extension G^G\hat G \to G.

In terms of this the characteristic class c\mathbf{c} is represented by the ∞-anafunctor

B(U(1)G^) c c B(U(1)1) c=B 2U(1) c BG c, \array{ \mathbf{B}(U(1) \to \hat G)_c &\stackrel{\mathbf{c}}{\to}& \mathbf{B}(U(1) \to 1)_c = \mathbf{B}^2 U(1)_c \\ \downarrow^{\mathrlap{\simeq}} \\ \mathbf{B}G_c } \,,

where the top horizontal morphism is the evident projection onto the U(1)U(1)-labels. Moreover, the Cech nerve of the good open cover {U iX}\{U_i \to X\} forms a cofibrant resolution

C({U i})X \emptyset \hookrightarrow C(\{U_i\}) \stackrel{\simeq}{\to} X

and so α\alpha is presented by an ∞-anafunctor

C({U i}) α B 2U(1) c X. \array{ C(\{U_i\}) &\stackrel{\alpha}{\to}& \mathbf{B}^2 U(1)_c \\ \downarrow^{\mathrlap{\simeq}} \\ X } \,.

Using that [CartSp op,sSet] proj[CartSp^{op}, sSet]_{proj} is a simplicial model category this means in conclusion that the homotopy pullback in question is given by the ordinary pullback of simplicial sets

H [α] 1(X,G^) * α [CartSp op,sSet](C({U i}),B(U(1)G^) c) c * [CartSp op,sSet](C({U i}),B 2U(1) c). \array{ \mathbf{H}^1_{[\alpha]}(X,\hat G) &\to& * \\ \downarrow && \downarrow^{\mathrlap{\alpha}} \\ [CartSp^{op}, sSet](C(\{U_i\}), \mathbf{B}(U(1) \to \hat G)_c) &\stackrel{\mathbf{c}_*}{\to}& [CartSp^{op}, sSet](C(\{U_i\}), \mathbf{B}^2 U(1)_c) } \,.

An object of the resulting simplicial set is then seen to be a simplicial map g:C({U i})B(U(1)G^) cg : C(\{U_i\}) \to \mathbf{B}(U(1) \to \hat G)_c that assigns

g: (x,j) (x,i) (x,k) g ij(x) α ijk(x) g jk(x) g ik(x) g \;\; : \;\; \array{ && (x,j) \\ & \nearrow &\Downarrow& \searrow \\ (x,i) &&\to&& (x,k) } \;\;\;\; \mapsto \;\;\;\; \array{ && \bullet \\ & {}^{\mathllap{g_{i j}(x)}}\nearrow &\Downarrow^{\alpha_{i j k}(x)}& \searrow^{\mathrlap{g_{j k}(x)}} \\ \bullet &&\underset{g_{i k}(x)}{\to}&& \bullet }

such that projection out along B(U(1)G^) cB(U(1)1) c=B 2U(1) c\mathbf{B}(U(1) \to \hat G)_c \to \mathbf{B}(U(1) \to 1)_c = \mathbf{B}^2 U(1)_c produces α\alpha.

Similarily for the morphisms. Writing out what these diagrams in B(U(1)G^) c\mathbf{B}(U(1) \to \hat G)_c mean in equations, one finds the formulas claimed above.

Properties

General

(…)

Consider the extension U(1)U(n)PU(n)U(1) \to U(n) \to P U(n) of the projective unitary group to the unitary group for all nn. Then direct sum of matrices gives a sum operation

H [α] 1(X,PU(n 1))×H [α] 1(X,PU(n 2))H [α] 1(X,PU(n 1+n 2)) H^1_{[\alpha]}(X, P U(n_1)) \times H^1_{[\alpha]}(X, P U(n_2)) \to H^1_{[\alpha]}(X, P U(n_1 + n_2))

and a tensor product operation

H [α 1] 1(X,PU(n))×H [α 2] 1(X,PU(n))H [α 1]+[α 2] 1(X,PU(n 1n 2)) H^1_{[\alpha_1]}(X, P U(n)) \times H^1_{[\alpha_2]}(X, P U(n)) \to H^1_{[\alpha_1]+ [\alpha_2]}(X, P U(n_1 \cdot n_2))

(…)

Twisted K-theory

Equivalence classes of twisted U(n)U(n)-bundles for fixed BU(1)\mathbf{B}U(1)-twist α\alpha form a model for topological α\alpha-twisted K-theory. See there for details.

References

General

The notion and term twisted bundle (with finite rank) apparently first appears in

The equivalent notion of gerbe module apparently appears first in

there explicitly in terms of Cech cocycles relative to an open cover. The generalization to infinite rank and arbitrary covering morphisms was amplified in (CBMMS) below.

In twisted K-theory

Just as vector bundles model cocycles in K-theory, twisted vector bundles model cocycles in twisted K-theory.

For twists cc that are torsion class (i.e. have finite order as group elements in the cohomology group H(X,B 2A)H(X,\mathbf{B}^2 A) ) this was realized in

which also, apparently, is the source where gerbe modules as such were first introduced.

The generalization of this construction to non-torsion twists requires using vectorial bundles instead of plain vector bundles. Full twisted K-theory in terms of twisted vectorial bundles was realized in

There the twisted cocycle equation discussed above appears on the bottom of page 7.

Then there is

  • Max Karoubi, Twisted bundles and twisted K-theory, Clay Mathematics Proceedings, Volume 19 (2011) (pdf)

As 2-sections of 2-bundles

The observation that twisted vector bundles may be understood as higher-order sections of 2-vector bundles associated with circle 2-bundles/bundle gerbes appears in

  • Urs Schreiber, Quantum 2-States: Sections of 2-vector bundles Talk at Higher categories and their applications, Fields institute (2007) (pdf).

A discussion of this with 2-connections taken into account is in section 4.4.3 of

A discussion in the context of principal infinity-bundles (as opposed to higher vector bundles), is in section “2.3.5 Twisted cohomology and sections” and then in section “3.3.7.2 Twisted 1-bundles – twisted K-theory”

The observation then re-appears independently in

Revised on February 2, 2013 14:38:49 by Urs Schreiber (89.204.135.108)