nLab
twisted differential cohomology

Contents

Contents

Idea

The flavour of generalized cohomology which is both twisted as well as differential is called twisted differential cohomology (or: differential twisted cohomology).

A key motivation for twisted differential cohomology is its role in string theory as the type of generalized cohomology theory that classifies higher gauge fields (following Freed 00), notably in the example of twisted differential K-theory classifying the RR-field twisted by the B-field (see below).

Definition

Observing that

  1. differential cohomology may be understood as being the intrinsic cohomology inside an (∞,1)-topos H\mathbf{H} which is cohesive (see at differential cohomology diagram);

  2. twisted cohomology may be understood as being the intrinsic cohomology inside the tangent (∞,1)-topos THT \mathbf{H} of the given ambient (∞,1)-topos H\mathbf{H}

and since

one may define twisted differential cohomology in generality to be the intrinsic cohomology inside cohesive tangent (∞,1)-toposes THT \mathbf{H} (Schreiber 13, Sec. 4.1.2, Schreiber 14, slide 16).

The objects of such a THT \mathbf{H} may be understood as sheaves of parametrized spectra (Braunack-Mayer 19, Theorem 3.4). For example with H=\mathbf{H} = Smooth∞Grpd the objects of TSmthGrpdT Smth\infty Grpd are smooth parametrized spectra. In this sense the formulation of twisted differential cohomology via cohesive tangent (∞,1)-topos generalizes the classical Brown representability theorem (identifying plain generalized (Eilenberg-Steenrod) cohomology theories with plain spectra) to twisted and differential cohomology.

By means of a suitable model category presentation of tangent (∞,1)-toposes, Braunack-Mayer 19, Example 3.23 proves that a more explicit component-based definition of twisted differential cohomology due to Bunke-Nikolaus 14 is a special case of this general definition from Schreiber 13, Sec. 4.1.2.

Examples

Twisted de Rham cohomology

A simple example of twisted cohomology is twisted de Rham cohomology (see there for more), the twisted generalization of de Rham cohomology.

Twisted differential K-theory

The archetypical example is twisted differential K-theory, which combines twisted K-theory with differential K-theory. To the extent that D-brane charge is classified by K-theory (see there), it is twisted differential K-theory that is relevant: the differential aspect captures the higher gauge field called the RR-field, and the twisted aspects captures the higher gauge field called the B-field, in string theory.

This example of D-brane charge used to be one of the main motivations for finding a definition and construction of twisted differential cohomology theories. Earlier account of D-brane charge theory had to assume without a construction that such a theory exists (e.g. DFM 09).

Other higher gauge fields in string theory/M-theory are expected to be cocycles in twisted differential cohomology theories for other generalized cohomology theories apart from K-thery. For instance the hypothesis that the M-theory C-field is topologically a cocycle in twisted cohomotopy (FSS19b, FSS19c) means that with all differential form data added. it is actually a cocycle in twisted differential cohomotopy.

References

The general abstract definition of twisted differential cohomology as the intrinsic cohomology of cohesive tangent (∞,1)-toposes is due to

Discussion of twisted differential K-theory along these lines includes

A more component-based definition was given in

A proof that the definition of Bunke-Nikolaus 14 is a special case of that of Schreiber 13, Sec. 4.2.1 is due to

For more discussion of twisted differential cohomology as the intrinsic cohomology of Goodwillie-tangent spaces of cohesive (∞,1)-topos see there.

Last revised on July 23, 2019 at 10:36:02. See the history of this page for a list of all contributions to it.