nLab
ordinary differential cohomology

Contents

Idea

Ordinary differential cohomology is the differential cohomology-refinement of ordinary cohomology, for instance realized as singular cohomology.

Every generalized (Eilenberg-Steenrod) cohomology-theory has a refinement to differential cohomology. By ordinary differential cohomology one refers, for emphasis, to the differential refinement of ordinary integral cohomology , hence of the cohomology theory represented by the Eilenberg-MacLane spectrum K(,)K(-,\mathbb{Z}). To the extent that integral cohomology is often just called cohomology if the context is clear, ordinary differential cohomology is often called just differential cohomology .

Ordinary differential cohomology classifies circle n-bundles with connection. In low degree this are ordinary circle bundles with connection. In the next degree this are circle 2-group principal 2-bundles / bundle gerbes with 2-connection.

Properties

Here we write H diff (X)H_{diff}^\bullet(X) for the ordinary differential cohomology groups of a smooth manifold XX.

Curvature and characteristic class

There are two natural morphism

  1. underlying characteristic class

    c:H diff (X)H (X,) c : H_{diff}^\bullet(X) \to H^\bullet(X,\mathbb{Z})

    produces the class in integral cohomology that underlies a differential cocycle;

  2. curvature

    F:H diff (X)Ω cl (X) F : H_{diff}^\bullet(X) \to \Omega^\bullet_{cl}(X)

    produces a closed differential form of degree nn. This happens to land in closed differential forms with integral periods (see below).

The following is either a definition, if regarded as an axiomatic characterization of ordinary differential cohomology, or it is an proposition, if regarded as a property of one of the models.

Let XX be a smooth manifold and nn \in \mathbb{N} with n1n \geq 1 Write

  • H diff n(X)H_{diff}^n(X) for the ordinary differential cohomology of XX in degree nn;

  • Ω n1(X)\Omega^{n-1}(X) for the collection of differential forms of degree n1n-1;

  • Ω int n1(X)\Omega^{n-1}_{int}(X) for the collection of differential forms ω\omega of degree n1n-1 that are closed and whose periods are integral: for every γ:S n1X\gamma : S^{n-1} \to X we have the integral S n1γ *ω\int_{S^{n-1}} \gamma^* \omega \in \mathbb{Z} \hookrightarrow \mathbb{R}. Similarly for Ω int n(X)\Omega^n_{int}(X).

  • H n(X,)H^n(X, \mathbb{Z}) and H n(X,U(1))H^n(X, U(1)) for the ordinary cohomology (for instance modeled as singular cohomology) of XX with coefficients in the integers or the circle group (regarded as a discrete group), respectively.

All of these sets are abelian groups: the forms under addition of forms, and the differential cohomology classes are defined or proven (depending on the approach, see above) to have abelian group structure such that the maps to curvatures and characteristic classes, from above are homomorphisms of abelian groups.

Proposition

The differential cohomology H diff n(X)H_{diff}^n(X) of XX fits into short exact sequences of abelian groups

  1. curvature exact sequence

    (1)0H n1(X,U(1))H diff n(X)FΩ int n(X)0 0 \to H^{n-1}(X, U(1)) \to H^n_{diff}(X) \stackrel{F}{\to} \Omega_{int}^n(X) \to 0
  2. characteristic class exact sequence

    (2)0Ω n1(X)/Ω int n1(X)H diff n(X)cH n(X,)0. 0 \to \Omega^{n-1}(X)/\Omega^{n-1}_{int}(X) \to H_{diff}^n(X) \stackrel{c}{\to} H^n(X, \mathbb{Z}) \to 0 \,.

The first sequence (1) says in words: two circle (n1)(n-1)-bundles nn whose curvature coincides differ by a flat circle (n-1)-bundle.

The second sequence (2) says in words: two connections on the same circle (n1)(n-1)-bundle differ by a globally defined connection (n1)(n-1)-form, well defined up to addition of a form with integral periods.

More is true: both these sequences interlock to form the hexagonal differential cohomology diagram of ordinary differential cohomology. For more see at differential cohomology diagram – Examples – Deligne coefficients.

Models

There are various equivalent cocycle-models for ordinary differential cohomology. They include

The last of these are often known as U(1)U(1)-gerbes or bundle gerbes with connection.

Cocycles H diff 2(X)\nabla \in H_{diff}^2(X) in degree 2 ordinary differential cohomology are represented by ordinary circle group-principal bundles with connection on XX. The class c()H 2(X,)c(\nabla) \in H^2(X,\mathbb{Z}) is the Chern class of the underlying circle bundle and the form F Ω cl 2(X)F_\nabla \in \Omega^2_{cl}(X) is the curvature 2-form of the connection \nabla.

Fiber integration

see

Applications

In Chern-Weil theory

For XX a smooth manifold, GG a Lie group with Lie algebra 𝔤\mathfrak{g} and invariant polynomial \langle -\rangle of degree 2n2n, the Chern-Weil homomorphism may be refined to a morphism

H 1(X,G)H diff 2n(X) H^1(X,G) \to H_{diff}^{2n}(X)

from the first nonabelian cohomology of XX classifying GG-principal bundles to degree 2n2n ordinary differential cohomology.

The projection

H 1(X,G)H diff 2n(X)cH 2n(X,) H^1(X,G) \to H_{diff}^{2n}(X) \stackrel{c}{\to} H^{2n}(X,\mathbb{Z})

is the integral characteristic class corresponding to the invariant polynomial and the projection

H 1(X,G)H diff 2n(X)FΩ cl 2n(X) H^1(X,G) \to H_{diff}^{2n}(X) \stackrel{F}{\to} \Omega^{2n}_{cl}(X)

is a differential form which represents the image of this class under H 2n(X,)H 2n(X,)H^{2n}(X,\mathbb{Z}) \to H^{2n}(X,\mathbb{R}) in de Rham cohomology (under the de Rham theorem).

In physics

In physics

In abelian higher dimensional Chern-Simons theory in dimension (4k+3)(4k+3) a field configuration is a cocycle in ordinary differential geometry of degree (2k+2)(2k+2), for kk \in \mathbb{N}.

In a general abstract context

Ordinary differential cohomology (and indeed a cocycle model thereof) is defined generally internal to any cohesive (∞,1)-topos H\mathbf{H}. This is discussed at

For the case H=\mathbf{H} = Smooth∞Grpd this intrinsic definition reproduces the Deligne complex model. This is discussed at

References

A good discussion is in

A characterization by the two characteristic exact sequences is discussed in

In the general abstract context of cohesive (∞,1)-toposes differential cohomology is discussed in

Revised on April 27, 2014 10:59:46 by Urs Schreiber (82.113.98.143)