nLab
higher gauge field

Context

Physics

physics, mathematical physics, philosophy of physics

Surveys, textbooks and lecture notes


theory (physics), model (physics)

experiment, measurement, computable physics

Differential cohomology

Contents

Idea

An ordinary gauge field (such as the electromagnetic field or the fields that induce the nuclear force) is a field (in the sense of physics) which is locally represented by a differential 1-forms (the “gauge potential”) and whose field strength is, locally a differential 2-form. For instance for the electromagnetic field this differential 2-form is the Faraday tensor.

Roughly speaking, a higher gauge field is similarly a field which is locally represented by differential forms of higher degree.

One “reason” why an ordinary gauge field has a gauge potential given, lcoally, by a differential 1-forms AA is that the trajectory of a charged particle is a 1-dimensional curve in spacetime XX, its worldline, hence a smooth function γ:Σ 1X\gamma \colon \Sigma_1 \to X, and that the canonical way to produce an action functional on the mapping space of such curves is the integration of 1-forms over curves:

exp(iS gauge):γPexp( Σ 1γ *A). \exp(\tfrac{i}{\hbar} S_{gauge}) \;\colon\; \gamma \mapsto P \exp\left( \int_{\Sigma_1} \gamma^\ast A \right) \,.

This is the parallel transport map or the holonomy map, if Σ 1\Sigma_1 is a closed manifold. The contribution to the Euler-Lagrange equation of the particle obtained from the variation of this action functional is the Lorentz force which is exerrted by the background gauge field on the particle.

When one generalizes in this picture from 0-dimesional particles with 1-dimensional worldlines to pp-dimensional particles (often called “p-branes”) with (p+1)(p+1)-dimensional worldvolumes γ p+1:Σ p+1X\gamma_{p+1} \colon \Sigma_{p+1} \to X, then one needs, locally, a differential (p+1)-form A p+1A_{p+1} on spacetime XX

exp(iS highergauge):γPexp( Σ p+1γ p+1 *A p+1). \exp(\tfrac{i}{\hbar} S_{higher\,gauge}) \;\colon\; \gamma \mapsto P \exp\left( \int_{\Sigma_{p+1}} \gamma_{p+1}^\ast A_{p+1} \right) \,.

The field strength or flux of such a higher gauge field is, accordingly, locally the (p+2)(p+2)-form F p+2F_{p+2}.

The archetypical example of such a higher gauge field is the (hypothetical) Kalb-Ramond field or B-field (a precursor of the axion field under KK-compactification) to which the charged 1-brane, the “string”, couples. This is locally a differential 2-form B 2B_2, and the gauge-coupling term in the action functional for the string is accordinly, locally, of the form

exp(iS stringygauge):γPexp( Σ 2γ 2 *B 2). \exp(\tfrac{i}{\hbar} S_{stringy\,gauge}) \;\colon\; \gamma \mapsto P \exp\left( \int_{\Sigma_{2}} \gamma_2^\ast B_2 \right) \,.

It keeps going this way: next one may consider “2-branes”, i.e. membranes and these will couple to a 3-form gauge field. For instance the membrane which gives the name to M-theory (the M2-brane) couples to a 3-form field called the supergravity C-field.

But there is an important further aspect to higher gauge fields, which makes this simple picture of higher degree differential forms drastically more rich:

Where an ordinary gauge field has gauge transformations A 1A 1A_1 \mapsto A'_1 given, locally, by smooth functions (0-forms) λ 0\lambda_0 via the de Rham differential d dRd_{dR}

A 1=A 1+d dRλ 0 A'_1 = A_1 + d_{dR} \lambda_0

so a higher gauge field has, locally, higher gauge transformations given by pp-forms λ p\lambda_p:

A p+1=A p+1+d dRλ p. A'_{p+1} = A_{p+1} + d_{dR} \lambda_{p} \,.

But for p0p \geq 0 then a crucial new effect appears: these gauge transfomrations, being higher differential forms themselves have “gauge-of-gauge transformations” between them, given by lower degree forms.

This phenomenon implies that higher gauge fields have a rich global (“topological”) structure, witnessed by the higher analog of their instanton sectors. Namely while a higher gauge field to which a p-brane may couple is locally given by a (p+1)(p+1)-form A p+1A_{p+1}, as one moves across coordinate charts this form gauge transforms by a pp-form, which then itself, as one passes along two charts, transforms by a (p1)(p-1)-form, and so ever on.

The global structure for higher gauge fields obtained by carrying out this globalization via higher gauge transformations is the higher analog of that of a fiber bundle with connection on a bundle in higher differential geometry. This is sometimes known as a gerbe or, more generally, a principal infinity-bundle.

In fact the situation that there is just one gauge potential of degree (p+1)(p+1) with field strength of degree (p+2)(p+2) is just the simplest case, the “ordinary” case. More abstractly one says that such higher gauge fields are cocycles in ordinary differential cohomology.

More generally it may happen in higher gauge theory that the gauge potential is a formal linear combination of differential forms in various degrees.

The canonical example of this phenomenon is the RR-field in string theory. This has, locally, a gauge potential being a differential form in every even degree, or every odd degree. If one is careful about the higher gauge transformations in this situation to find the correct global structre (the “instanton sector”) structure of the higher gauge field, then one finds that this now is a cocycle in a differential generalized cohomology, namley in what is called differential topological K-theory. This may be understood as a higher and generalized form of the famous Dirac charge quantization condition for the electromagnetic field, see Freed 00. A lot of the fine detail of the anomaly cancellation in type II string theory depends on being careful about the global nature of this K-theoretic higher gauge RR-field (Distler-Freed-Moore 09)

Examples

References

Introduction and exposition includes

For technical introduction to the RR-field as a higher gauge field see

For foundations of higher prequantum field theory see

For foundations of higher gauge theory formalized in homotopy type theory see

Revised on February 22, 2017 18:04:33 by Urs Schreiber (81.30.227.122)