nLab field (physics)

Redirected from "quantum field".
Contents

This entry is about the notion in physics in the sense of field theory (classical/quantum field theory). For the different notion of the same name in algebra see at field.


Context

Physics

physics, mathematical physics, philosophy of physics

Surveys, textbooks and lecture notes


theory (physics), model (physics)

experiment, measurement, computable physics

Fields and quanta

fields and particles in particle physics

and in the standard model of particle physics:

force field gauge bosons

scalar bosons

matter field fermions (spinors, Dirac fields)

flavors of fundamental fermions in the
standard model of particle physics:
generation of fermions1st generation2nd generation3d generation
quarks (qq)
up-typeup quark (uu)charm quark (cc)top quark (tt)
down-typedown quark (dd)strange quark (ss)bottom quark (bb)
leptons
chargedelectronmuontauon
neutralelectron neutrinomuon neutrinotau neutrino
bound states:
mesonslight mesons:
pion (udu d)
ρ-meson (udu d)
ω-meson (udu d)
f1-meson
a1-meson
strange-mesons:
ϕ-meson (ss¯s \bar s),
kaon, K*-meson (usu s, dsd s)
eta-meson (uu+dd+ssu u + d d + s s)

charmed heavy mesons:
D-meson (uc u c, dcd c, scs c)
J/ψ-meson (cc¯c \bar c)
bottom heavy mesons:
B-meson (qbq b)
ϒ-meson (bb¯b \bar b)
baryonsnucleons:
proton (uud)(u u d)
neutron (udd)(u d d)

(also: antiparticles)

effective particles

hadrons (bound states of the above quarks)

solitons

in grand unified theory

minimally extended supersymmetric standard model

superpartners

bosinos:

sfermions:

dark matter candidates

Exotica

auxiliary fields

Higher geometry

Contents

Idea

In fundamental physics the basic entities that are being described are called fields, as they appear in the terms classical field theory and quantum field theory.

General

The basic example that probably gives the whole concept its name is the electric field and the magnetic field in the theory of electromagnetism: if we fix a coordinate chart of spacetime, then the electromagnetic field splits into the electric field and the magnetic field which are both modeled by a vector field, traditionally denoted E\vec E and B\vec B, respectively, on this coordinate chart. The value E(x)\vec E(x) of the vector field at a given point of spacetime is a vector that expresses the magnitude and direction of the electric force that is exerted on an electrically charged particle at xx.

In fact more fundamentally, if we do not specify a coordinate chart, then the electromagnetic field is not in fact represented by two vector fields. Rather, its field strength is represented by a differential 2-form, hence a tensor field of rank (0,2)(0,2), but the the whole field as such is not a tensor field, but is a cocycle of degree-2 in ordinary differential cohomology: a circle bundle with connection.

Or for instance the field of gravity if modeled as a pseudo-Riemannian metric is a tensor field of rank (2,0)(2,0) – but subject to the constraint that this be pointwise non-degenerate. More fundamentally the field of gravity is instead a vielbein field.

Similar statements hold for all forces of nature, such as the force of gravity and the weak nuclear force and strong nuclear force: a configuration of these is mathematically modeled by connections. Their field strengths are rank (0,2)(0,2)-tensor fields.

The electromagnetic field and the field of gravity are the physical fields that historically gave rise to what is now called classical field theory. But it turns out that fundamentally, in quantum physics, also all matter in physics is constituted by fields in a similar sense. Specifically, where force fields in physics are usually connections on a bundle, matter fields are sections of associated bundles.

Field theory was originally discovered as a theory of fields on spacetime. But also the physical system consisting of a single particle propagating in a fixed spacetime XX is described by a field theory. In this case the field is not defined on spacetime, but on the abstract worldline of the particle, say the real line \mathbb{R}. A configuration of the system, namely a trajectory of the particle, is then a smooth function ϕ:X\phi \;\colon\; \mathbb{R}\to X. This function may be regarded as a field on the worldline and in then called a sigma-model field. The quantum mechanics of a single particle may be equivalently thought of as a quantum field theory on the 1-dimensional worldline of the particle.

This perspective generalizes. Next one can consider fields on 2-dimensional surfaces Σ 2\Sigma_2 which again are given by maps into some spacetime XX. The corresponding 2-dimensional sigma-model quantum field theory is then said to describe not a particle but a string propagating in spacetime, defined on the worldsheet Σ 2\Sigma_2, replacing the worldline of the particle. For Σ\Sigma of dimension 3 one accordingly speaks of the worldvolume of a membrane and then for Σ\Sigma of general dimension here one speaks of the worldvolume of a brane.

But there is no fundamental distinction between physical fields on spaces that are interpreted as spacetimes and those that are interpreted as worldvolumes of objects propagating in a fixed spacetime. In general these notions mix. For instance the full description of relativistic particles and relativistic strings involves a field that is really a field of gravity on the worldvolume. Conversely, theories on spacetimes that arise by Kaluza-Klein compactification of higher dimensional theories typically have “scalar moduli fields” that used to be components of the field of gravity in higher dimensions but now after compactifications become maps into some auxiliary target space, hence again sigma-model fields.

A first idea of quantum fields

We introduce here the basic concepts of Lagrangian field theory, first for prequantum field theory and then for its deformation quantization to perturbative quantum field theory.

In full beauty these concepts are extremely general; but in this section the aim is to give a first good idea of the subject, and therefore we present for the moment only a restricted setup, notably assuming that spacetime is Minkowski spacetime, that the field bundle (see below) is an ordinary and trivial fiber bundle and that all fields are bosonic.

This does subsume what is considered in most traditional texts on the subject. In subsequent sections we will eventually discuss more general situations, notably we will eventually allow spacetime to be any globally hyperbolic Lorentzian manifold and the field bundle to be an super infinity-Lie algebroid. This is sufficient generality to capture the established perturbative BRST-BV quantization of fermions coupled to gauge fields on curved spacetimes.

Throughout we use the case of the real scalar field as an illustrative running example, which we develop alongside with the theory. The discussion of other field species that are of more genuine interest in applications is postponed to their dedicated sections below.

Spacetime

Thoughout, let

p p \in \mathbb{N}

be a natural number and write

Σ p,1( p+1,η) \Sigma \coloneqq \mathbb{R}^{p,1} \coloneqq (\mathbb{R}^{p+1}, \eta)

for Minkowski spacetime of dimension p+1p+1, hence for the smooth manifold which is the Cartesian space p+1\mathbb{R}^{p+1} of dimension p+1p+1 equipped with the constant pseudo-Riemannian metric η\eta which at the origin is given by the standard quadratic form of signature

(,+,,+) (-, +, \cdots, +)

in terms of the canonical coordinate functions

x k: p+1 x^k \;\colon\; \mathbb{R}^{p+1} \longrightarrow \mathbb{R}

which we index starting at zero: (x k) k=0 p(x^k)_{k = 0}^p.

We write

dvol Σ∶−dx 0dx 1dx pΩ p+1( p,1) dvol_\Sigma \;\coloneq\; d x^0 \wedge d x^1 \wedge \cdots \wedge d x^p \in \Omega^{p+1}(\mathbb{R}^{p,1})

for the induced volume form, and we call

dx 0Ω 1(Σ) d x^0 \in \Omega^1(\Sigma)

the canonical representative of the canonical time orientation on Minkowski spacetime.

Fields

A field configuration on a given spacetime Σ\Sigma is meant to be some kind of quantity assigned to each point of spacetime (each event), such that this assignment varies smoothly with spacetime points. For instance an electromagnetic field configuration is at each point of spacetime a collection of vectors that encode the direction in which a charged particle passing through that point will feel a force (the Lorentz force).

This is readily formalized: If

FSmthMfd F \in SmthMfd

is the smooth manifold of “values” that the the given kind of field may take at any spacetime point, then a field configuration Φ\Phi is modeled as a smooth function from spacetime to this space of values:

Φ:ΣF. \Phi \;\colon\; \Sigma \longrightarrow F \,.

It will be useful to unify spacetime and the space of field values into a single space, the Cartesian product

EΣ×F E \;\coloneqq\; \Sigma \times F

and to think of this equipped with the projection map onto the first factor as a fiber bundle of spaces of field values over spacetime

E Σ×F fb pr 1 Σ. \array{ E &\coloneqq& \Sigma \times F \\ {}^{\mathllap{fb}}\downarrow & \swarrow_{\mathrlap{pr_1}} \\ \Sigma } \,.

This is then called the field bundle, which specifies the kind of values that the given field species may take at any point of spacetime. Since the space FF of field values is the fiber of this fiber bundle, it is sometimes also called the field fiber.

Definition

(fields)

Given a spacetime Σ\Sigma and a field bundle E fb Σ\array{E \\ \downarrow^{\mathrlap{fb}} \\ \Sigma }, then a field configuration (of type specified by this field bundle) is a smooth section of this bundle, namely a smooth function of the form Φ:ΣE\Phi \colon \Sigma \longrightarrow E such that composed with the projection map it is the identity function, i.e. such that fbΦ=idfb \circ \Phi = id, or, diagrammatically, such that

E Φ fb Σ = Σ. \array{ && E \\ & {}^{\mathllap{\Phi}}\nearrow & \downarrow^{\mathrlap{fb}} \\ \Sigma & = & \Sigma } \,.

The field configuration space is the smooth space of all these, to be denoted

Γ Σ(E)SmoothSet. \Gamma_\Sigma(E) \in SmoothSet \,.

This is the set of all field configurations Φ\Phi as above, and it is equipped with the structure of a smooth set by declaring that a smooth family of field configurations, parameterized over any Cartesian space UU is a smooth function

U×Σ Φ ()() E (u,x) Φ u(x) \array{ U \times \Sigma &\overset{\Phi_{(-)}(-)}{\longrightarrow}& E \\ (u,x) &\mapsto& \Phi_u(x) }

such that for each uUu \in U we have pΦ u()=id Σp \circ \Phi_{u}(-) = id_\Sigma, i.e.

E Φ ()() fb U×Σ pr 2 Σ. \array{ && E \\ & {}^{\mathllap{\Phi_{(-)}(-)}}\nearrow & \downarrow^{\mathrlap{fb}} \\ U \times \Sigma &\underset{pr_2}{\longrightarrow}& \Sigma } \,.
Example

(trivial vector bundle as a field bundle)

In applications the field fiber FF is often a finite dimensional Euclidean space and equipped with the structure of a vector space. In this case the trivial field bundle with fiber FF is of course a trivial vector bundle.

Choosing any linear basis (ϕ a) a=1 s(\phi^a)_{a = 1}^s of the field fiber, then over Minkowski spacetime we have canonical coordinates on the total space of the field bundle

((x μ) μ=0 p,(ϕ a) a=1 s). ( (x^\mu)_{\mu = 0}^p, ( \phi^a )_{a = 1}^s ) \,.
Example

(real scalar field)

If Σ\Sigma is a spacetime and if

F F \coloneqq \mathbb{R}

is simply the real line, then the corresponding trivial field bundle

Σ× pr 1 Σ \array{ \Sigma \times \mathbb{R} \\ {}^{\mathllap{pr_1}}\downarrow \\ \Sigma }

is the trivial real line bundle (a special case of example ) and the corresponding field is called the real scalar field on Σ\Sigma. A configuration of this field is simply a smooth function on Σ\Sigma with values in the real numbers:

Γ Σ(Σ×)C (Σ). \Gamma_\Sigma(\Sigma \times \mathbb{R}) \;\simeq\; C^\infty(\Sigma) \,.

Field variations

Given a field bundle as above, we know what type of quantities the corresponding fields assign to a given spacetime point. Among all consistent such field configurations, some are to qualify as those that “may occur in reality” if we think of the field theory as a means to describe parts of the observable universe. Moreover, if the reality to be described does not exhibit “action at a distance” then admissibility of its field configurations should be determined over arbitrary small spacetime regions, in fact over the infinitesimal neighbourhood of any point. This means equivalently that the realized field configurations should be those that satisfy a specific differential equation, hence an equation between the value of its derivatives at any spacetime point.

In order to formalize this, it is useful to first collect all the possible derivatives that a field may have at any given point into one big space of “field derivatives at spacetime points”. This collection is called the jet bundle of the field bundle, given as def. below.

Moving around in this space means to change the possible value of fields and their derivatives, hence to vary the fields. Accordingly variational calculus is just differential calculus on a jet bundle, this we consider in def. below.

Definition

(jet bundle of a trivial vector bundle over Minkowski spacetime)

Given a field fiber vector space F= sF = \mathbb{R}^s with linear basis (ϕ a) a=1 s(\phi^a)_{a = 1}^s, then for kk \in \mathbb{N} a natural number, the order-kk jet bundle

J Σ k(E) jb k Σ \array{ J^k_{\Sigma}( E ) \\ \downarrow^{\mathrlap{jb_k}} \\ \Sigma }

over Minkowski spacetime Σ\Sigma of the trivial vector bundle

EΣ×F E \coloneqq \Sigma \times F

is the Cartesian space which is spanned by coordinate functions to be denoted as follows:

((x μ),(ϕ a),(ϕ ,μ a),(ϕ ,μ 1μ 2 a),,(ϕ ,μ 1μ k a)) \left( (x^\mu) \,,\, (\phi^a ) \,,\, ( \phi^a_{,\mu} ) \,,\, ( \phi^a_{,\mu_1\mu_2} ) \,,\, \cdots \,,\, ( \phi^a_{,\mu_1 \cdots \mu_k} ) \right)

where the indices μ,μ 1,μ 2,\mu, \mu_1, \mu_2, \cdots range from 0 to pp, while the index aa ranges from 11 to ss. In terms of these coordinates the bundle projection map jb kjb_k is just the one that remembers the spacetime coordinates x μx^\mu and forgets the values of the field ϕ a\phi^a and its derivatives ϕ μ\phi_{\mu}. Similarly there are intermediate projection maps

jb 3,2 J Σ 2(E) jb 2,1 J Σ 1(E) jb 1 E jb 2 jb 1 fb Σ \array{ \cdots &\overset{jb_{3,2}}{\longrightarrow}& J^{2}_\Sigma(E) &\overset{jb_{2,1}}{\longrightarrow}& J^1_\Sigma(E) &\overset{jb_1}{\longrightarrow}& E \\ && &{}_{\mathllap{jb_2}}\searrow& {}^{\mathllap{jb_1}}\downarrow &\swarrow_{\mathrlap{fb}}& \\ && && \Sigma && }

given by forgetting coordinates with more indices.

The infinite-order jet bundle

J Σ (E)SmoothSet J^\infty_\Sigma(E) \in SmoothSet

is the smooth set defined so that a smooth function

UfJ Σ (E) U \overset{f}{\longrightarrow} J^\infty_\Sigma(E)

from some Cartesian space UU is equivalently a system of ordinary smooth functions

(Uf kJ Σ k(E)) k \left( U \overset{f_k}{\longrightarrow} J^k_\Sigma(E) \right)_{k \in \mathbb{N}}

into all the finite-order jet bundles, such that this is compatible with the above projection maps, i.e. such that

k(jb k+1,kf k+1=f k). \underset{k \in \mathbb{N}}{\forall} \left( jb_{k+1,k} \circ f_{k+1} = f_k \right) \,.

Finally jet prolongation is that function from the space of sections of the original bundle to the space of sections of the jet bundle which records the field Φ\Phi and all its spacetimes derivatives:

Γ Σ(E) j Γ Σ(J Σ (E)) (Φ a) ((Φ a),(Φ ax μ),( 2Φ ax μ 1x μ 2),). \array{ \Gamma_\Sigma(E) &\overset{j^\infty}{\longrightarrow}& \Gamma_\Sigma(J^\infty_\Sigma(E)) \\ (\Phi^a) &\mapsto& \left( (\Phi^a) \,,\, ( \frac{\partial \Phi^a}{\partial x^\mu} ) \,,\, ( \frac{\partial^2 \Phi^a}{\partial x^{\mu_1} \partial x^{\mu_2}} ) \,,\, \cdots \right) } \,.

Smooth functions on jet bundles turn out to locally depend on only finitely many of the jet coordinates:

Proposition

Given a jet bundle J Σ (E)J^\infty_\Sigma(E) as in def. , then a smooth function out of it

J Σ (E)X J^\infty_\Sigma(E) \longrightarrow X

is such that around each point of J Σ (E)J^\infty_\Sigma(E) there is a neighbourhood UJ Σ (E)U \subset J^\infty_\Sigma(E) on which it is given by a function on a smooth function on J Σ k(E)J^k_\Sigma(E) for some finite kk.

Definition

(variational bicomplex)

On the jet bundle J Σ (E)J^\infty_\Sigma(E) of a trivial vector bundle over Minkowski spacetime as in def. we may consider its de Rham complex of differential forms; we write its de Rham differential in boldface:

d:Ω (J Σ (E))Ω +1(J Σ (E)). \mathbf{d} \;\colon\; \Omega^\bullet(J^\infty_\Sigma(E)) \longrightarrow \Omega^{\bullet+1}(J^\infty_\Sigma(E)) \,.

Since the jet bundle unified spacetime with field values, we want to decompose this differential into a contribution coming from forming the total derivatives of fields along spacetime (“horizontal derivatives”), and actual variation of fields at a fixed spacetime point (“vertical derivatives”):

The total spacetime derivative or horizontal derivative on J Σ (E)J^\infty_\Sigma(E) is the map on differential forms on the jet bundle of the form

d:Ω (J Σ (E))Ω +1(J Σ (E)) d \;\colon\; \Omega^\bullet( J^\infty_\Sigma(E) ) \longrightarrow \Omega^{\bullet+1}( J^\infty_\Sigma(E) )

which on functions f:J Σ (E)f \colon J^\infty_\Sigma(E) \to \mathbb{R} (i.e. on 0-forms) is defined by

df dfdx μdx μ μ=0p(fx μ+fϕ aϕ ,μ a+fϕ ,ν aϕ ,νμ a+)dx μ \begin{aligned} d f & \coloneqq \frac{d f}{d x^\mu} \mathbf{d} x^\mu \\ & \coloneqq \underoverset{\mu = 0}{p}{\sum} \left( \frac{\partial f}{\partial x^\mu} + \frac{\partial f}{\partial \phi^a} \phi^a_{,\mu} + \frac{ \partial f }{ \partial \phi^a_{,\nu}} \phi^a_{,\nu \mu } + \cdots \right) \mathbf{d} x^\mu \end{aligned}

and extended to all forms by the graded Leibniz rule, hence as a nilpotent derivation of degree +1.

The vertical derivative

δ:Ω (J Σ (E))Ω +1(J Σ (E)) \delta \;\colon\; \Omega^\bullet( J^\infty_\Sigma(E) ) \longrightarrow \Omega^{\bullet+1}( J^\infty_\Sigma(E) )

is what remains of the full de Rham differential when the total spacetime derivative (horizontal derivative) is subtracted:

δdd. \delta \coloneqq \mathbf{d} - d \,.

This defines a bigrading on the de Rham complex of J Σ (E)J^\infty_\Sigma(E), into horizontal degree rr and vertical degree ss:

Ω (J Σ (E))r,sΩ r,s(E) \Omega^\bullet\left( J^\infty_\Sigma(E) \right) \;\coloneqq\; \underset{r,s}{\oplus} \Omega^{r,s}(E)

such that the horizontal and vertical derivative increase horizontal or vertical degree, respectively:

C (J Σ (E))= Ω 0,0(E) d Ω 1,0(E) d Ω 2,0(E) d δ δ δ Ω 0,1(E) d Ω 1,1(E) d Ω 2,1(E) d δ δ δ Ω 0,2(E) d Ω 1,2(E) d Ω 2,2(E) d δ δ δ . \array{ C^\infty(J^\infty_\Sigma(E)) = & \Omega^{0,0}(E) &\overset{d}{\longrightarrow}& \Omega^{1,0}(E) &\overset{d}{\longrightarrow}& \Omega^{2,0}(E) &\overset{d}{\longrightarrow}& \cdots \\ & \downarrow^{\mathrlap{\delta}} && \downarrow^{\mathrlap{\delta}} && \downarrow^{\mathrlap{\delta}} \\ & \Omega^{0,1}(E) &\overset{d}{\longrightarrow}& \Omega^{1,1}(E) &\overset{d}{\longrightarrow}& \Omega^{2,1}(E) &\overset{d}{\longrightarrow}& \cdots \\ & \downarrow^{\mathrlap{\delta}} && \downarrow^{\mathrlap{\delta}} && \downarrow^{\mathrlap{\delta}} \\ & \Omega^{0,2}(E) &\overset{d}{\longrightarrow}& \Omega^{1,2}(E) &\overset{d}{\longrightarrow}& \Omega^{2,2}(E) &\overset{d}{\longrightarrow}& \cdots \\ & \downarrow^{\mathrlap{\delta}} && \downarrow^{\mathrlap{\delta}} && \downarrow^{\mathrlap{\delta}} \\ & \vdots && \vdots && \vdots } \,.

This is called the variational bicomplex.

derivatives on jet bundle

symbolsname
d\mathbf{d}de Rham differential
ddx μddx μd \coloneqq d x^\mu \frac{d}{d x^\mu}(total) horizontal derivative
ddx μx μ+ϕ ,μ aϕ a+ \frac{d}{d x^\mu} \coloneqq \frac{\partial}{\partial x^\mu} + \phi^a_{,\mu} \frac{\partial}{\partial \phi^a} + \cdots (total) horizontal derivative along μ\partial_\mu
δdd\delta \coloneqq \mathbf{d} - d(variational) vertical derivative
δ ELLdL+dΘ\delta_{EL} L \coloneqq \mathbf{d}L + d \ThetaEuler-Lagrange variational derivative
Example

(basic facts about variational calculus)

Given the jet bundle of a field bundle as in def. , then in its variational bicomplex (def. ) we have the following:

  • The horizontal derivative of a spacetime coordinate function x μx^\mu coincides with its ordinary de Rham differential

    dx μ=dx μΩ 1,0(E) d x^\mu = \mathbf{d} x^\mu \in \Omega^{1,0}(E)

    and hence this is a horizontal 1-form.

  • Therefore the vertical derivative of a spacetime coordinate vanishes:

    δx μ=0. \delta x^\mu = 0 \,.
  • In particular the given volume form on Σ\Sigma gives a horizontal p+1p+1-form

    dvol Σ=dx 0dx 1dx pΩ p+1,0. dvol_\Sigma = d x^0 \wedge d x^1 \wedge \cdots \wedge d x^p \in \Omega^{p+1,0} \,.
  • Generally any horizontal kk-form is of the form

    f μ 1μ kdx μ 1dx μ kΩ k,0(E) f_{\mu_1 \cdots \mu_k} d x^{\mu_1} \wedge \cdots \wedge d x^{\mu_k} \;\in\; \Omega^{k,0}(E)

    for f μ 1μ k=f μ 1μ k((x μ),(ϕ a),(ϕ ,μ a))f_{\mu_1 \cdots \mu_k} = f_{\mu_1 \cdots \mu_k}\left((x^\mu), (\phi^a), (\phi^a_{,\mu})\right) any smooth function of the spacetime coordinates and the field coordinates.

  • The horizontal differential of the vertical differential δϕ\delta \phi of a field variable is the differential 2-form of horizontal degree 1 and vertical degree 2 given by

    d(δϕ a) =δ(dϕ a) =(δϕ ,μ a)dx μ. \begin{aligned} d (\delta \phi^a) & = - \delta (d \phi_a) \\ & = - (\delta \phi^a_{,\mu}) \wedge \mathbf{d} x^\mu \end{aligned} \,.

    In words this says that “the spacetime derivative of the variation of the field is the variation of its spacetime derivative”.

Definition

(local Lagrangian density)

Given a field bundle EE over a (p+1)(p+1)-dimensional Minkowski spacetime Σ\Sigma as in example , then a local Lagrangian density L\mathbf{L} (for the field species thus defined) is a horizontal differential form of degree (p+1)(p+1) on the corresponding jet bundle (def. ):

LΩ p+1,0(E). \mathbf{L} \;\in \; \Omega^{p+1,0}(E) \,.

By example any such Lagrangian density may uniquely be written as

L=Ldvol Σ \mathbf{L} = L dvol_\Sigma

with L=L((x μ),(ϕ a),(ϕ ,μ a),)L = L((x^\mu), (\phi^a), (\phi^a_{,\mu}), \cdots ) a smooth function on the jet bundle.

Proposition

(Euler-Lagrange operator)

If a Lagrangian density L\mathbf{L} as in def. , then its de Rham differential has a unique decomposition as a sum of two terms

dL=δ ELLdΘ \mathbf{d} \mathbf{L} = \delta_{EL} \mathbf{L} - d \Theta

such that δ EL\delta_{EL} is a “source form”:

δ ELLΩ p+1,0(E)δΩ 0,0(E)Ω p+1,1(E). \delta_{EL} \mathbf{L} \in \Omega^{p+1,0}(E) \wedge \delta \Omega^{0,0}(E) \; \subset \Omega^{p+1,1}(E) \,.

The map

δ EL:Ω p+1,0(E)Ω s p+1,1(E) \delta_{EL} \;\colon\; \Omega^{p+1,0}(E) \longrightarrow \Omega^{p+1,1}_s(E)

thus defined is called the Euler-Lagrange operator and is explicitly given by

δ ELLdvol Σ δLδϕ aδϕ advol Σ (Lϕ addx μLϕ ,μ a+d 2dx μ 1dx μ 2Lϕ μ 1,μ 2 a)δϕ advol Σ. \begin{aligned} \delta_{EL} L \, dvol_\Sigma & \coloneqq \frac{\delta L}{ \delta \phi^a} \delta \phi^a \wedge dvol_\Sigma \\ & \coloneqq \left( \frac{\partial L}{\partial \phi^a} - \frac{d}{d x^\mu} \frac{\partial L}{\partial \phi^a_{,\mu}} + \frac{d^2}{d x^{\mu^1} d x^{\mu^2}} \frac{\partial L}{\partial \phi^a_{\mu_1, \mu_2}} - \cdots \right) \delta \phi^a \wedge dvol_\Sigma \,. \end{aligned}

The remaining term dΘd \Theta is unique, while ΘΩ p,1(E)\Theta \in \Omega^{p,1}(E) is unique only up to terms in the image of dd. One possible choice is

(1)Θ +Lϕ ,μ aδϕ aι μdvol Σ =+(Lϕ ,νμ aδϕ ,ν addx νLϕ ,μν aδϕ ,μ a)ι μdvol Σ =+, \begin{aligned} \Theta & \coloneqq \phantom{+} \frac{\partial L}{\partial \phi^a_{,\mu}} \delta \phi^a \; \wedge \iota_{\partial_\mu} dvol_\Sigma \\ & \phantom{=} + \left( \frac{\partial L}{\partial \phi^a_{,\nu \mu}} \delta \phi^a_{,\nu} - \frac{d}{d x^\nu} \frac{\partial L}{\partial \phi^a_{,\mu \nu}} \delta \phi^a_{,\mu} \right) \wedge \iota_{\partial_\mu} dvol_\Sigma \\ & \phantom{=} + \cdots \,, \end{aligned}

where

ι μdvol Σ(1) μdx 0dx μ1dx μ+1dx p \iota_{\partial_{\mu}} dvol_\Sigma \;\coloneqq\; (-1)^{\mu} d x^0 \wedge \cdots d x^{\mu-1} \wedge d x^{\mu+1} \wedge \cdots \wedge d x^p

denotes the contraction of the volume form with the vector field μ\partial_\mu.

Proof

Using L=Ldvol Σ\mathbf{L} = L dvol_\Sigma and that dL=0d \mathbf{L} = 0 by degree reasons, we find

dL =(Lϕ aδϕ a+Lϕ ,μ aδϕ ,μ a+Lϕ ,μ 1μ 2 aδϕ ,μ 1μ 2 a+)dvol Σ. \begin{aligned} \mathbf{d}\mathbf{L} & = \left( \frac{\partial L}{\partial \phi^a} \delta \phi^a + \frac{\partial L}{\partial \phi^a_{,\mu}} \delta \phi^a_{,\mu} + \frac{\partial L}{\partial \phi^a_{,\mu_1 \mu_2}} \delta \phi^a_{,\mu_1 \mu_2} + \cdots \right) \wedge dvol_{\Sigma} \end{aligned} \,.

The idea now is to have dΘd \Theta pick up those terms that would appear as boundary terms under the integral Σj (Φ) *dL\int_\Sigma j^\infty(\Phi)^\ast \mathbf{d}L if we were to consider integration by parts to remove spacetime derivatives of δϕ a\delta \phi^a.

We compute, using example , the total horizontal derivative of Θ\Theta from (1) as follows:

dΘ =(d(Lϕ ,μ aδϕ a)+d(Lϕ ,νμ aδϕ ,ν addx νLϕ μν aδϕ a)+)ι μdvol Σ =(((dLϕ ,μ a)δϕ aLϕ ,μ aδdϕ a)+((dLϕ ,νμ a)δϕ ,ν aLϕ ,νμ aδdϕ ,ν a(dddx νLϕ ,μν a)δϕ a+ddx νLϕ ,μν aδdϕ a)+)ι μdvol Σ =((ddx μLϕ ,μ aδϕ a+Lϕ ,μ aδϕ ,μ a)+(ddx μLϕ ,νμ aδϕ ,ν a+Lϕ ,νμ aδϕ ,νμ ad 2dx μdx νLϕ ,μν aδϕ addx νLϕ ,μν aδϕ ,μ a)+)dvol Σ, \begin{aligned} d \Theta & = \left( d \left( \frac{\partial L}{\partial \phi^a_{,\mu}} \delta \phi^a \right) + d \left( \frac{\partial L}{\partial \phi^a_{,\nu \mu}} \delta \phi^a_{,\nu} - \frac{d}{d x^\nu} \frac{\partial L}{\partial \phi^a_{\mu \nu}} \delta \phi^a \right) + \cdots \right) \wedge \iota_{\partial_\mu} dvol_\Sigma \\ & = \left( \left( \left( d \frac{\partial L}{\partial \phi^a_{,\mu}} \right) \wedge \delta \phi^a - \frac{\partial L}{\partial \phi^a_{,\mu}} \delta d \phi^a \right) + \left( \left(d \frac{\partial L}{\partial \phi^a_{,\nu \mu}}\right) \wedge \delta \phi^a_{,\nu} - \frac{\partial L}{\partial \phi^a_{,\nu \mu}} \delta d \phi^a_{,\nu} - \left( d \frac{d}{d x^\nu} \frac{\partial L}{\partial \phi^a_{,\mu \nu}} \right) \wedge \delta \phi^a + \frac{d}{d x^\nu} \frac{\partial L}{\partial \phi^a_{,\mu \nu}} \delta d \phi^a \right) + \cdots \right) \wedge \iota_{\partial_\mu} dvol_\Sigma \\ & = - \left( \left( \frac{d}{d x^\mu} \frac{\partial L}{\partial \phi^a_{,\mu}} \delta \phi^a + \frac{\partial L}{\partial \phi^a_{,\mu}} \delta \phi^a_{,\mu} \right) + \left( \frac{d}{d x^\mu} \frac{\partial L}{\partial \phi^a_{,\nu \mu}} \delta \phi^a_{,\nu} + \frac{\partial L}{\partial \phi^a_{,\nu \mu}} \delta \phi^a_{,\nu \mu} - \frac{d^2}{ d x^\mu d x^\nu} \frac{\partial L}{\partial \phi^a_{,\mu \nu}} \delta \phi^a - \frac{d}{d x^\nu} \frac{\partial L}{\partial \phi^a_{,\mu \nu}} \delta \phi^a_{,\mu} \right) + \cdots \right) \wedge dvol_\Sigma \,, \end{aligned}

where in the last line we used that

dx μ 1ι μ 2dvol Σ={dvol Σ | ifμ 1=μ 2 0 | otherwise d x^{\mu_1} \wedge \iota_{\partial_{\mu_2}} dvol_\Sigma = \left\{ \array{ dvol_\Sigma &\vert& \text{if}\, \mu_1 = \mu_2 \\ 0 &\vert& \text{otherwise} } \right.

Here the two terms proportional to ddx νLϕ ,μν aδϕ ,μ a\frac{d}{d x^\nu} \frac{\partial L}{\partial \phi^a_{,\mu \nu}} \delta \phi^a_{,\mu} cancel out, and we are left with

dΘ=(ddx μLϕ ,μ ad 2dx μdx νLϕ ,μν a+)δϕ advol Σ(Lϕ ,μ aδϕ ,μ a+Lϕ ,νμ aδϕ ,νμ a+)dvol Σ d \Theta \;=\; - \left( \frac{d}{d x^\mu} \frac{\partial L}{\partial \phi^a_{,\mu}} - \frac{d^2}{ d x^\mu d x^\nu} \frac{\partial L}{\partial \phi^a_{,\mu \nu}} + \cdots \right) \delta \phi^a \wedge dvol_\Sigma - \left( \frac{\partial L}{\partial \phi^a_{,\mu}} \delta \phi^a_{,\mu} + \frac{\partial L}{\partial \phi^a_{,\nu \mu}} \delta \phi^a_{,\nu \mu} + \cdots \right) \wedge dvol_\Sigma

Hence dΘ-d \Theta shares with dL\mathbf{d} \mathbf{L} the terms that are proportional to δϕ ,μ 1μ k a\delta \phi^a_{,\mu_1 \cdots \mu_k} for k1k \geq 1, and so the remaining terms are proportional to δϕ a\delta \phi^a, as claimed:

dL+dΘ=(Lϕ addx μLϕ ,μ a+d 2dx μdx νLϕ ,μν a+)δϕ advol Σδ ELL. \mathbf{d}L + d \Theta = \underset{ \delta_{EL}\mathbf{L} }{ \underbrace{ \left( \frac{\partial L}{\partial \phi^a} - \frac{d}{d x^\mu}\frac{\partial L}{\partial \phi^a_{,\mu}} + \frac{d^2}{d x^\mu d x^\nu} \frac{\partial L}{\partial \phi^a_{,\mu\nu}} + \cdots \right) \delta \phi^a \wedge dvol_\Sigma }} \,.

Equations of motion

Definition

(Euler-Lagrange equation of motion)

Given a field bundle EE over spacetime Σ\Sigma as in example equipped with a local Lagrangian density LΩ p+1,1(E)\mathbf{L} \in \Omega^{p+1,1}(E) as in def. then the corresponding Euler-Lagrange equation of motion on fields ΦΓ Σ(E)\Phi \in \Gamma_\Sigma(E) is the equation

j (Φ) *(δ ELL)=0, j^\infty(\Phi)^\ast \left(\delta_{EL} \mathbf{L}\right) = 0 \,,

where j (Φ):ΣJ (E)j^\infty(\Phi) \colon \Sigma \to J^\infty(E) denotes the jet prolongation of Φ\Phi (def. ), j (E) *j^\infty(E)^\ast the operation of pullback of differential forms along this function, and δ EL\delta_{EL} is the Euler-Lagrange operator from prop. .

By that same proposition this equation is equivalently the differential equation

(Lϕ addx μLϕ ,μ a+d 2dx μdx νLϕ ,μν a)((x μ),(Φ a),(Φ ax μ, 2Φ ax μx ν))=0. \left( \frac{\partial L}{\partial \phi^a} - \frac{d}{d x^\mu} \frac{\partial L}{\partial \phi^a_{,\mu}} + \frac{d^2}{d x^\mu d x^\nu} \frac{\partial L}{\partial \phi^a_{,\mu\nu}} - \cdots \right) \left( (x^\mu), (\Phi^a), \left( \frac{\partial \Phi^a}{\partial x^\mu}, \frac{\partial^2 \Phi^a}{\partial x^\mu \partial x^\nu} \right) \right) \;=\; 0 \,.

We write

Γ Σ(E) δ ELL=0Γ Σ(E) \Gamma_\Sigma(E)_{\delta_{EL} L = 0} \hookrightarrow \Gamma_\Sigma(E)

for the smooth subspace of the space of all field configurations on those that solve this differential equation.

The traditional idea of field bundles and its problems

A traditional approach to formalizing the notion of physical field is to declare that the specification of a theory in physics/physical system comes with a fiber bundle EXE \to X over the spacetime/worldvolume XX (or better: naturally over all spacetimes, see at Locality below) called the field bundle and that a field configuration of the system is a section of this field bundle. This is for instance the basis for the theory of the variational bicomplex, hence of BV-BRST formalism for expressing covariant phase spaces, for standard multisymplectic geometry, etc.

While this goes in the right direction, it cannot be quite the final answer, as it misses crucial properties that are demanded of a general notion of field. We now discuss these problems:

  1. Large gauge transformations

  2. Locality

  3. Spin structures and other G-structures

  4. Background fields

  5. Higher gauge fields

In the course of discussing the problems we also motivate and indicate their solution by a more natural notion of field moduli in higher geometry. This is then discussed in full detail in the Definition-section below.

Large gauge transformations

In gauge theory specifically but in physics generally, physical fields come equipped with a notion of which fields configurations, while nominally different, are equivalent, called gauge equivalent and it is crucial to retain the information of gauge equivalences and not pass to equivalence classes of gauge equivalent fields. This means that generically for any physical theory, even if all field configurations would be represented by a section of some field bundle, many such sections are in fact to be regarded as being equivalent. Or more precisely, there should be a groupoid or ∞-groupoid of field configurations of which the sections of the field bundle only form the space of objects, while the gauge transformations form the morphisms and the higher gauge transformations of order nn form the n-morphisms.

To some extent this is dealt with in traditional variational calculus: after a choice of action functional on the space of field configurations, BV-BRST formalism spits out a derived L-∞ algebroid whose objects are field configurations, and whose 1-cells are infinitesimal invariances of the given action functional.

This goes in the right direction– it is the Lie differentiation of the more encompassing smooth ∞-groupoid of fields and gauge transformations – but has several problems, the main one being that this does now know about the large gauge transformations, those which are not connected to the identity (because it only sees infinitesimal data). These are important in the full quantum theory.

Famous examples of the importance of large gauge transformations appear in

Locality

Fields defined as sections of field bundles cannot capture gauge phenomena in a local way, as is necessary for a manifestly local formulation such in extended prequantum field theory, extended quantum field theory (sometimes called the “multi-tiered” formulation).

Specifically, in Yang-Mills theory for gauge group GG, a field configuration – a gauge field configuration – is a combination of an instanton sector – modeled by the equivalence class of a GG-principal bundle PP – and the “gauge potential”, modeled by a connection on this bundle (see below at Gauge fields for details). There is a fiber bundle E(P)XE(P) \to X such that its sections are precisely the connections on PXP \to X, and so cE(P c)X\coprod_{c} E(P_c) \to X, where cc ranges over the instanton sectors, is a field bundle for Yang-Mills fields on XX.

But this construction is not local: if we consider this assignment of field bundles to all suitable manifolds XX, and if UXU \to X is a cover of XX, then we cannot in general obtain the field bundle on XX by gluing the field bundle on the cover. This is because locally every GG-principal bundle has trivial class, so that locally there is always only a single (the trivial) instanton sector.

This failure of locality is often not recognized in the literature, since many if not most descriptions of physics restrict to trivial spacetime topology and/or restrict to perturbation theory only. A formulation accurate and encompassing enough to see this issue is AQFT on curved spacetimes. A reference that explicitly runs into this non-locality issue of the field bundle in gauge theory in this context is (Benini-Dappiaggi-Schenkel 13, Schenkel 14): the authors define a functor from spacetimes equipped with a GG-principal bundle that assigns the algebras of observables of the corresponding Yang-Mills fields built from the field bundle of connections on the given principal bundles; and they observe that the result fails to be a local net in that the inclusion of observables of a smaller spacetime into a larger patch may fail the isotony axiom (BDS, remark 5.6). The authors then try to circumvent this by restricting to trivial instanton sectors. The fix later appears in (Benini-Schenkel-Szabo 15), where the authors then consider proper stacks of fields.

But notice that instanton sectors is a non-negligible phenomenon. For instance the very vacuum in the standard model of particle physics is a superposition of all possible instanton sectors (see at instanton in QCD for more on this). And there are field theories where the fields consist entirely of “instanton sectors” and where there is no infinitesimal information about the gauge group at all: these are theories whose gauge group is a discrete group, which includes notably Dijkgraaf-Witten theory and its higher analogy such as the Yetter model. This means that for these theories a local field bundle formalism can see nothing of the actual fields and also traditional tools applied to a global field bundle (such as traditional BV-BRST formalism) see nothing of the actual fields. All this is fixed by the formulation that we discuss below.

But this example already points to the general nature of the problem with field bundles, and also to its solution: while the instanton-component of Yang-Mills fields are not section of a bundle, they famously are sections of a stack – the “moduli stack BG\mathbf{B}G of GG-principal bundles”, an object in higher geometry.

The problem with the locality of the field bundle for Yang-Mills theory is solved by passing from fiber bundles to fiber ∞-bundles: in the higher differential geometry there is an object BG conn\mathbf{B}G_{conn} – the moduli stack of GG-principal connections (being the stackification of the groupoid of Lie algebra-valued forms) such that maps XBG connX \to \mathbf{B}G_{conn} are equivalent to Yang-Mills fields on XX (even including their gauge transformations). This means that if we allow field bundles in higher geometry – fiber ∞-bundles, then that for Yang-Mills theory over XX is even a trivial field bundle, namely the projection

X×BG connX X \times \mathbf{B}G_{conn} \to X

out of the product of spacetime with the moduli stack of fields.

This is a differential refinement of what is called the trivial GG-gerbe on XX, which is

X×BGX X \times \mathbf{B}G \to X

and hence the “field bundle for instanton sectors” of Yang-Mills fields.

In summary: there cannot be a fiber bundle such that its sheaf of local sections is the sheaf of configurations of the Yang-Mills field. But there is a fiber 2-bundle whose stack of sections is the stack of configurations of the Yang-Mills field.

Judging from these examples one might be tempted to guess that the notion of field fiber bundle should simply be replaced by that of field fiber ∞-bundle. But in fact what the example rather suggests is that what matters directly is the moduli stack Fields\mathbf{Fields} of fields, which for GG-Yang-Mills theory is simply

Fields=BG conn. \mathbf{Fields} = \mathbf{B}G_{conn} \,.

This perspective, which we describe in detail below also has the pleasant effect that it drastically simplifies and unifies notions of quantum field theory, for this says equivalently that if only we allow spaces in higher geometry, then Yang-Mills theory is a sigma-model quantum field theory: one whose fields are simply maps to a given target space, only that this target space here is a stack.

But there are more advantages, slightly less obvious. These we come to in the following points.

Spin-structures and other GG-structures

Some fields in physics are (or involve) choices of G-structure in the sense of reduction and lift of structure groups. Well-known examples include the choice of orientation and of Spin structure in field theories with fermion fields (discussed in detail in Fermions below). Often in the literature the choice of orientation and Spin structure is treated as an external parameter, but detailed analysis at least in low-dimensional examples shows that the in the full theory this is really a field configuration. For instance in path integral quantization for theories with fermions, part of the integral over all field configurations is a sum over Spin structures.

Now, a spin structure is equivalently a section of something, but again not of a principal bundle, but of an analog in higher geometry, a principal 2-bundle.

To see how this works, first recall the case of orientations, whose description as sections of the orientation bundle is familiar.

For a spacetime represented by a smooth manifold XX of dimension nn, let

τ X:XBGL(n) \tau_X \;\colon\; X \to \mathbf{B}GL(n)

be the map that modulates its tangent bundle (discussed at geometry of physics - tangent bundle). Consider then the following diagram, which shows lifts of this map to the classifying spaces/moduli stacks for various other groups (this is the Whitehead tower of BO(n)\mathbf{B}O(n)):

BSpin(n) 12p 1 B 3U(1) s X BSO(n) w 2 B 2 2 o X X e X BO(n) w 1 B 2 τ X BGL(n) \array{ && \vdots \\ && \downarrow \\ && \mathbf{B}Spin(n) &\stackrel{\tfrac{1}{2}\mathbf{p}_1}{\to}& \mathbf{B}^3 U(1) \\ &\mathllap{s_X}\nearrow& \downarrow \\ && \mathbf{B}SO(n) &\stackrel{\mathbf{w}_2}{\to}& \mathbf{B}^2 \mathbb{Z}_2 \\ &{}^{\mathllap{o_X}}\nearrow& \downarrow \\ X & \stackrel{e_X}{\to}& \mathbf{B}O(n) &\stackrel{\mathbf{w}_1}{\to}& \mathbf{B}\mathbb{Z}_2 \\ &{}_{\mathrlap{\tau_X}} \searrow& \downarrow \\ && \mathbf{B}GL(n) }

A lift of the tangent bundle map τ X\tau_X to a map e X:XBO(n)e_X \colon X \to \mathbf{B}O(n) as indicated is a choice of orthogonal structure (a vielbein field, discussed in detail below in Ordinary gravity). For the present discussion assume that this is given.

The a further lift to o X:XBSO(n)o_X : X \to \mathbf{B}SO(n) is a choice of orientation, and finally a lift to s X:XBSpin(n)s_X : X \to \mathbf{B}Spin(n) is a choice of spin structure.

Now, every hook-shaped sub-diagram in the above of the form

BG^ BG c B nA \array{ \mathbf{B}\hat G \\ \downarrow \\ \mathbf{B}G &\stackrel{\mathbf{c}}{\to}& \mathbf{B}^n A }

is a homotopy fiber sequence. By the universal property of the homotopy pullback this means that the “space” – really: homotopy type or just type, for short – of lifts of a given map XBGX \to \mathbf{B}G to a map XBG^X \to \mathbf{B}\hat G is equivalently the type of trivializations of the composite XBGcB nAX \to \mathbf{B}G \stackrel{\mathbf{c}}{\to} \mathbf{B}^n A.

Now if we have an orthogonal structure e X:XBO(n)e_X : X \to \mathbf{B}O(n) given, then this composite map according to the above diagram is

w 1(e X):XB 2. \mathbf{w}_1(e_X) \;\colon\; X \to \mathbf{B}\mathbb{Z}_2 \,.

This represents the first Stiefel-Whitney class [w 1(τ X)]H 1(X, 2)[w_1(\tau_X)] \in H^1(X, \mathbb{Z}_2) of τ X\tau_X, and it classifies a 2\mathbb{Z}_2-principal bundle, hence a double cover X^X\hat X \to X and this is precisely the orientation bundle of XX. Sections of this bundle are choices of orientation on XX, hence are “orientation-structure fields”.

Assume then such orientation field o Xo_X is given. Then in the next step the relevant composite map is

w 2(o X):XB 2 2. \mathbf{w}_2(o_X) \;\colon\; X \to \mathbf{B}^2 \mathbb{Z}_2 \,.

This now represents the second Stiefel-Whitney class [w 2(τ X)]H 2(X, 2)[w_2(\tau_X)] \in H^2(X, \mathbb{Z}_2) of XX and classifies a (B 2)(\mathbf{B}\mathbb{Z}_2)-principal 2-bundle

B 2 P X. \array{ \mathbf{B}\mathbb{Z}_2 &\to& P \\ && \downarrow \\ && X } \,.

This is sometimes called the SpinSpin-lifting bundle gerbe of o Xo_X. A choice of Spin structure is a choice of section of this 2-bundle. Hence spin structures are parts of fields in physics which are not sections of a field 1-bundle. Again, this is faithfully captured only in higher geometry.

This is only the most famous phenomenon in a large class of similar structures of fields in field theory. Notably in higher dimensional supergravity and in string theory there are fields which are ever higher lifts through this Whitehead towerhigher spin structures, such as String structures and Fivebrane structures in the next two steps. Accordingly, these are fields which are equivalently sections of principal 3-bundles (the “Chern-Simons circle 3-bundle”) and principal 7-bundles (the “Chern-Simons circle 7-bundle”).

Background fields

Comparison of the above discussions under Locality and Spin structures shows that there we had a higher-geometric field bundle of Yang-Mills fields which was hower “trivial” in the sense that it was a projection out of the product of spacetime with a moduli stack, so that a field configuration was equivalently of sigma-model-type, namely simply a map ϕ::XBG conn\phi \colon : X \to \mathbf{B}G_{conn}; whereas here the “spin-lifting 2-bundles” and its higher analogs are, in general, not of this product form, hence “Spin structure”-fields, at least superficially do not seem to be of sigma-model-type, even in higher geometry.

But a closer inspection shows that in fact both situations are entirely analogous – once we realize that here these Spin-structure fields are not really defined just on XX, but on XX equipped with its orientation o Xo_X. Since, by the same logic as above, also the orientation is a “field”, we may call it a background field. It serves as “background” over which spin structure fields can be considered.

In higher geometry incarnated naturally as higher topos theory, this state of affairs is naturally modeled and indeed yields again a moduli stack of spin structure fields and makes spin-structures be sigma-model-type fields, as follows:

the natural way to regard both XX as well as its orientation structure o Xo_X as a single object is to regard the map Xo XBSO(n)X \stackrel{o_X}{\to} \mathbf{B}SO(n) as an object in the slice (2,1)-topos H /BSO(n)\mathbf{H}_{/\mathbf{B}SO(n)}. In here an object is a map of stacks into BSO(n)\mathbf{B}SO(n), and a morphism is map of the domains of these maps together with a homotopy filling the evident triangle diagram. Notably a lift of the orientation structure o Xo_X to a spin structure s Xs_X as above, hence a diagram of the form

X s X BSpin(n) o X SpinStruc n BSO(n) \array{ X &&\stackrel{s_X}{\to}&& \mathbf{B}Spin(n) \\ & {}_{\mathllap{o_X}}\searrow &\swArrow_\simeq& \swarrow_{\mathrlap{\mathbf{SpinStruc}_n}} \\ && \mathbf{B}SO(n) }

is equivalently a map

o XSpinStruc n o_X \to \mathbf{SpinStruc}_n

in H /BSO(n)\mathbf{H}_{/\mathbf{B}SO(n)}. This is again of the same simple form of the Yang-Mills fields on XX, which are maps

XBG conn, X \to \mathbf{B}G_{conn} \,,

but in the collection of stacks H\mathbf{H} itself, not in a slice.

The slice here encodes the presence of background fields – namely orientations in this case – whose moduli stack in turn is, in this case, BSO(n)\mathbf{B}SO(n).

Notice that also the field of gravity has a background field in this precise sense: as metioned above, a gravitational field configuration is a lift of τ X\tau_X through BO(n)OrthStruc nBGL(n)\mathbf{B}O(n) \stackrel{\mathbf{OrthStruc}_n}{\to} \mathbf{B}GL(n), hence a map

τ XOrthStruc n \tau_X \to \mathbf{OrthStruc}_n

in the slice H /BGL(n)\mathbf{H}_{/\mathbf{B}GL(n)}. (Discussed in detail in Ordinary gravity below.) Hence also gravity becomes a sigma-model-type field theory in higher geometry. Notice that here it is smooth structure on XX, as embodied in τ X\tau_X, which is the background.

Now, at least for the field of gravity one can of course emulate the fields also by sections of a field bundle (while already for the second next step in the Whitehead tower, Spin structures, this is no longer the case, as we have seen). But even so, the field bundle formalism clearly misses then the relation between fields and background fields.

In particular for two reasons

  1. Typically the presence of background fields indicates that in a more comprehensive discussion background fields are also fields that vary;

  2. Often background fields on one space affect fields on another space.

An archetypical example for both these effects combined is 3d Chern-Simons theory with a compact, simple and simply connected gauge group GG in the presence of Wilson lines. This is a theory on 3-dimensional spacetime/worldvolume Σ\Sigma whose fields are GG-gauge fields as for Yang-Mills theory above, hence given by maps Φ:ΣBG conn\Phi \colon \Sigma \to \mathbf{B}G_{conn}. At the same time, this theory has a “coupling” to a 1-dimensional theory which describes particles propagating around knots C:S 1ΣC : S^1 \to \Sigma in Σ\Sigma for which the restriction Φ| C\Phi|_C serves as the background gauge field. Specifically, a field configuration of this 1-dimensional theory is equivalently a map in the slice H /BG conn\mathbf{H}_{/\mathbf{B}G_{conn}} which in H\mathbf{H} is given by a diagram of the form

S 1 Ω 1(,𝔤//T) C OrbitStruct BG conn \array{ S^1 &&\to&& \Omega^1(-,\mathfrak{g}//T) \\ & {}_{\mathllap{C}}\searrow &\swArrow& \swarrow_{\mathrlap{\mathbf{OrbitStruct}}} \\ && \mathbf{B}G_{conn} }

for some map on the right which we discuss in detail below in Chern-Simons fields with Wilson line fields.

Here considering just these fields in the background of a fixed Φ| C\Phi|_C produced a 1-dimensional quantum field theory whose partition function is that “Wilson loop” observable of Φ| C\Phi|_C. But this is not considered in isolation. The whole point of the relation of Chern-Simons theory to the Jones polynomial knot invariant of the knot CC is that one consider also Φ\Phi as a dynamical field, not as a fixed background. Indeed, in the full theory of Chern-Simons with Wilson loops that includes both the fields on Σ\Sigma as well as those on the knot, a field configuration is the diagram as above but regarded as the square

S 1 Ω 1(,𝔤)//T C OrbitStruc Σ Φ BG conn, \array{ S^1 &\to& \Omega^1(-,\mathfrak{g})//T \\ {}^{\mathllap{C}}\downarrow &\swArrow& \downarrow^{\mathrlap{\mathbf{OrbitStruc}}} \\ \Sigma &\stackrel{\Phi}{\to}& \mathbf{B}G_{conn} } \,,

hence, again, a single map

COrbiStruc C \to \mathbf{OrbiStruc}

but now in the arrow (∞,1)-topos H (Δ 1)\mathbf{H}^{(\Delta^1)}.

This subtle interplay of “bulk fields” and “defect fields” which is here captured most naturally in terms of higher geometry cannot really be expressed accurately just in terms of field bundles.

Higher gauge fields

Above we have seen the generalization of field bundles to higher geometry already for traditional notions such as Yang-Mills fields and Spin-structures. But many theories considered in in theoretical physics have fields that are more “explicitly” entities in higher geometry.

For instance the higher analog of the electromagnetic field which is called the B-field or Kalb-Ramond field is a 2-connection on a principal 2-bundle. There is no way to faithfully encode this as a section of any ordinary fiber bundle. It follows that for instance also the magnetic charge anomaly (as discussed there) has no accurate description in terms of field bundles. Next the supergravity C-field is a 3-connection on a principal 3-bundle, and so on.

There is a wide variety of higher dimensional Chern-Simons theories whose fields are such higher gauge fields. In some traditional literature one sees parts of this theory be discussed by standard BV-BRST formalism applied to field bundles, namely by ignoring the non-trivial instanton sectors and pretending that a field configuration for these ∞-connections are given by globally dedined differential forms. In some special cases (for instance for spacetimes/worldvolumes of very special topology or low dimension) this can be sufficient to capture everything, but in general (for instance for U(1)U(1)-higher dimensional Chern-Simons theory and its holographically dual self-dual higher gauge theory) it is not.

The solution: Field \infty-bundles and moduli \infty-stacks of fields

By the above, defining a physical field to be a section of some bundle goes in the right direction, but misses crucial aspects of physical fields. These problems are fixed by passing to higher geometry.

Below in Definition we discuss a natural unified formulation of the notion of physical field in terms of higher geometry (the central definition being def. ) and then we spell out many Examples.

This definition turns out to be equivalent, at least under mild conditions, to a formulation where fields are sections of an associated ∞-bundle, hence a “field \infty-bundle”. This we discuss in Properties – Relation of fields to sections of ∞-bundles. But this is just one of several equivalent perspectives on physical fields, and not always the most transparent one. In fact, sections of higher associated bundles are best known in the literature on twisted cohomology and indeed one equivalent characterization of fields is as cocycles in twisted cohomology in the general sense of cohomology in an (∞,1)-topos. This we discuss below in Relation to twisted cohomology.

In summary we find and discuss that

fields\simeqtwisted relative cohesive cocycles

Definition

We give a general abstract definition of physical fields in

Then we consider some general abstract operations on fields in

Physical fields

A notion of field in physics is part of a specification of physical theory or physical model. We consider specifically the framework of prequantum field theory. Here a theory/model is specified by (or at least comes with) an action functional. The field content of the theory is part of the specification of the domain of the action functional. Therefore in def. below we define action functionals and the fields relative to this notion.

We work in the following context.

Context

Let H\mathbf{H} be a cohesive (∞,1)-topos. For many of the examples below it is furthermore assumed that H\mathbf{H} is equipped with differential cohesion. This implies in particular that there is a notion of smooth manifold internal to H\mathbf{H}.

Fix 𝔾Grp(H)\mathbb{G} \in Grp(\mathbf{H}) a group object in H\mathbf{H}, hence a cohesive ∞-group.

For the main definition below we need the following basic notation.

Definition

For BHB \in \mathbf{H} any object, and X,AH /BX,A \in \mathbf{H}_{/B} two objects in the slice (∞,1)-topos, write

[X,A] HB[X,A]H [X,A]_{\mathbf{H}} \coloneqq \underset{B}{\prod} [X,A] \in \mathbf{H}

for the H\mathbf{H}-valued hom object between XX and AA: the dependent product over B*B \to * of the internal hom [X,A]H /B[X, A] \in \mathbf{H}_{/B}.

The following defines the notion of action functional and as part of the data it defines the notion of physical field.

Definition

Given an object BgFieldsH\mathbf{BgFields} \in \mathbf{H} and given two objects, to be denoted Φ X,FieldsH /B\Phi_X, \mathbf{Fields} \in \mathbf{H}_{/B}, in the slice over BgFields\mathbf{BgFields}, then an action functional in (H,𝔾)\mathbf{H}, \mathbb{G}) “on fields on XX” is a morphism

S:[Φ X,Fields] H𝔾. S \;\colon\; [\Phi_X, \mathbf{Fields}]_{\mathbf{H}} \to \mathbb{G} \,.

In this context we say that

  • the dependent sum XBgFieldΦ XX \coloneqq \underset{\mathbf{BgField}}{\sum} \Phi_X is the worldvolume or spacetime;

  • the morphism Φ X:XBgFields\Phi_X \;\colon\; X \to \mathbf{BgFields} is the background field;

  • the object Fields\mathbf{Fields} is the moduli ∞-stack of fields;

  • the elements of [Φ X,Fields] H[\Phi_X,\mathbf{Fields}]_{\mathbf{H}}, hence (see prop. below) the morphisms

    ϕ:Φ XFields \phi \;\colon\; \Phi_X \to \mathbf{Fields}

    in H /BgFields\mathbf{H}_{/\mathbf{BgFields}}, hence the diagrams

    X ϕ BgFieldsFields Φ X Fields BgFields \array{ X &&\stackrel{\phi}{\to}&& \underset{\mathbf{BgFields}}{\sum} \mathbf{Fields} \\ & {}_{\mathllap{\Phi_X}}\searrow &\swArrow& \swarrow_{\mathrlap{\mathbf{Fields}}} \\ && \mathbf{BgFields} }

    in H\mathbf{H}, are the fields on XX;

  • a gauge transformation is a homotopy in [Φ X,Fields] H[\Phi_X, \mathbf{Fields}]_{\mathbf{H}}, hence a

    ϕϕ \phi \Rightarrow \phi'
  • a higher gauge transformation is a higher homotopy in [Φ X,Fields] H[\Phi_X, \mathbf{Fields}]_{\mathbf{H}}.

Remark

Definition provides a unified perspective on fields from several perspectives.

On the one hand, it almost explicitly says that in higher geometry all fields are “sigma-model fields” (see below at Examples – Scalar and Sigma-model fields): if we regard the moduli ∞-stack Fields\mathbf{Fields} as the target space then fields are simply maps from their domain (when regarded as spacetime and background field) to this target space.

On the other hand, we see below in Relation to sections of ∞-bundles that from another perspective def. says that all fields are sections of an associated ∞-bundle to an \infty-bundle modulated by the background fields. This means that in higher geometry all fields are “matter fields” (see below at Matter fields) charged under the background gauge field.

Finally, we see below in Relation to twisted cohomology that from yet another perspective def. says that fields are equivalently cocycles in general twisted cohomology. This perspective is traditionally known for certain examples (see Examples – Chan-Paton gauge fields below), but we see below that it is useful in its full generality. For instance the field of gravity is in a precise sense a 0-cocycle with coefficients in the coset space GL(n)/O(n)GL(n)/O(n) that is twisted by the tangent bundle of spacetime (which exhibits the background gauge structure for gravity: the smooth structure of spacetime). An inkling of this perspective is certainly visible in the traditional literature, notably in the generalization to type II geometry and T-duality, and here we see how this is a precise mechanism on the same conceptual footing with the twisted K-theory seen over D-branes.

Restriction and pullback of physical fields

It is familiar from basic examples that not every type of physical field on a spacetime/worldvolume XX can be pulled back (in the sense of pullback of functions) along any smooth function f:YXf \;\colon\;Y \to X. For instance the field of gravity, a vielbein field or pseudo-Riemannian metric, discussed below in Ordinary graviry may be pulled back only along local diffeomorphisms. More generally, one needs other properties on ff to pull back a given field and in fact in general one needs extra structure.

In view of def. above this is immediate: by that definition a field on XX in general does not just depend on XX, but in fact also on the background field structure denoted Φ X\Phi_X. Accordingly, it can be pulled back only along maps that also carry this background field structure along.

Remark

Since by def. a physical field is a map ϕ:Φ XFields\phi \colon \Phi_X \to \mathbf{Fields} in H /BgFields\mathbf{H}_{/\mathbf{BgFields}}, it may be “pulled back” along maps of spacetime/worldvolume f:YXf \colon Y \to X when these are extended to maps Φ YΦ X\Phi_Y \to \Phi_X in H /BgFields\mathbf{H}_{/\mathbf{BgFields}} of the background fields, hence to diagrams in H\mathbf{H} of the form

Y f X Φ Y κ Phi X BgFields, \array{ Y &&\stackrel{f}{\to}&& X \\ & {}_{\mathllap{\Phi_Y}}\searrow &\swArrow_{\kappa}& \swarrow_{\mathrlap{Phi_X}} \\ && \mathbf{BgFields} } \,,

hence maps f:XYf : X \to Y equipped with a choice of equivalence

κ;:f *Φ XΦ Y \kappa ;\colon\; f^*\Phi_X \simeq \Phi_Y

between the background fields.

In standard Examples discussed below we see that this is a familar fact. For instance applied to the field of gravity (see Gravity below) it says that the gravitational field can be pulled back precisely along local diffeomorphisms, or that spin structures on oriented manifolds (see Spin structures below) can be pulled back along orientation-preserving maps. Or : for Chan-Paton gauge fields on D-branes (see Chan-Paton gauge fields) it reproduces the familiar gauge relation for the B-field on D-branes known in string theory, which is already less trivial. But the statement applies in full generality.

Boundary and defect fields

In def. the background field Φ X\Phi_X is a fixed datum of the domain (spacetime/worldvolume) on which the physical fields are defined. In some models and for some of the fields this is precisely what one needs, but in other models one may need to be able to also regard the background fields as dynamical fields and to be able to switch between these perspectives, for instance to pass to a setup where what used to be a configuration of some field is now taken to be a fixed background field for the remaining fields. We now discuss how this more general setup is naturally formulated as a generalization of def. .

For H\mathbf{H} an (∞,1)-topos and Fields:BgFieldsFieldsBgFields\mathbf{Fields} \colon \underset{\mathbf{BgFields}}{\sum} \mathbf{Fields} \to \mathbf{BgFields} a morphism in H\mathbf{H}, we may consider this also as an object in the arrow (∞,1)-topos H (Δ 1)\mathbf{H}^{(\Delta^1)} (the (∞,1)-functor (∞,1)-category from the interval category/1-simplex to H\mathbf{H}).

A generic object in H (Δ 1)\mathbf{H}^{(\Delta^1)} here is a morphism ι X\iota_X in H\mathbf{H}. When we think of this as a domain on which to define fields we will write this

ι X:X defX bulk \iota_X \;\colon\; X_{def} \to X_{bulk}

where the subscripts are for “bulk” and for “defect” (as in QFT with defects). A field in H (Δ 1)\mathbf{H}^{(\Delta^1)} which is given by a map

ϕ:ι XFields \phi \;\colon\; \iota_X \to \mathbf{Fields}

in H (Δ 1)\mathbf{H}^{(\Delta^1)} is equivalently a diagram of the form

X def ϕ def Fields def ι X Fields X bulk ϕ bulk Fields bulk \array{ X_{def} &\stackrel{\phi_{def}}{\to}& \mathbf{Fields}_{def} \\ {}^{\mathllap{\iota_X}}\downarrow &\swArrow& \downarrow^{\mathrlap{\mathbf{Fields}}} \\ X_{bulk} &\stackrel{\phi_{bulk}}{\to}& \mathbf{Fields}_{bulk} }

in H\mathbf{H}.

This we interpret as a configuration consisting of

  1. a bulk field configuration ϕ bulk\phi_{bulk}

  2. a defect field configuration ϕ def\phi_{def},

  3. a gauge transformation that relates the restriction (or more generally: pullback to X defX_{def}) of the bulk field to the embedding (or more generally: push-forward) of the defect field into the bulk field configuration on the defect.

Remark

If ϕ bulk\phi_{bulk} is regarded as fixed, then this is equivalently a field configuration as in def. defined on X defX_{def} and for background field the composite

Φ X defι X *ϕ bulk:X defι XXϕ bulkFields bulk. \Phi_{X_{def}} \coloneqq \iota_X^* \phi_{bulk} \;\colon\; X_{def} \stackrel{\iota_X}{\to} X \stackrel{\phi_{bulk}}{\to} \mathbf{Fields}_{bulk} \,.

This “fixing of bulk fields to background fields for defect fields” we discuss in more detail below in Properties – Moduli stacks of fields.

We formalize the moduli \infty-stack of all bulk and boundary fields as follows

Definition

Write

H (Δ 1)Γ HDisc HH \mathbf{H}^{(\Delta^1)} \stackrel{\overset{Disc_{\mathbf{H}}}{\leftarrow}}{\underset{\Gamma_{\mathbf{H}}}{\to}} \mathbf{H}

for the canonical geometric morphism.

Definition

For ι X;:X defX bulk\iota_X ;\colon\; X_{def} \to X_{bulk} and Fields:Fields defFields bulk\mathbf{Fields} \;\colon\; \mathbf{Fields}_{def} \to \mathbf{Fields}_{bulk} morphisms in H\mathbf{H}, we say that

[ι X,Fields] HΓ H[ι X,Fields]H [\iota_X, \mathbf{Fields}]_{\mathbf{H}} \coloneqq \Gamma_{\mathbf{H}}[\iota_X, \mathbf{Fields}] \;\; \in \mathbf{H}

is the moduli ∞-stack of bulk and boundary fields on ι X\iota_X.

Several examples of this are discussed below.

Properties

The definition of fields in def. is in fact the central part of a general theory of cohomology and principal ∞-bundles in higher geometry/(∞,1)-topos theory and various insights into prequantum field theory follow by making this perspective explicit. This is what we do here

  1. Moduli ∞-stacks of fields

  2. Relation of fields to sections of ∞-bundles

  3. Relation of fields to twisted cohomology

  4. Relation of fields to relative cohomology

The central results that underlie these identifications are in (NSS), also dcct, section 3.6.10, 3.6.11, 3.6.12, 3.6.15.

Moduli \infty-stacks of fields

The object [Φ X,Fields] HH[\Phi_X, \mathbf{Fields}]_{\mathbf{H}} \in \mathbf{H} of def. we may call the moduli ∞-stack of fields. Here we discuss various properties of this object.

Proposition

The ∞-groupoid of global elements of [X,Fields] H[X, \mathbf{Fields}]_{\mathbf{H}} is

H(*,[Φ X,Fields H])Γ[Φ X,Fields] HH /BgFields(Φ X,Fields). \mathbf{H}(*,[\Phi_X, \mathbf{Fields}_{\mathbf{H}}]) \simeq \Gamma [\Phi_X, \mathbf{Fields}]_{\mathbf{H}} \simeq \mathbf{H}_{/\mathbf{BgFields}}(\Phi_X, \mathbf{Fields}) \,.
Proof

Using the adjunction equivalences we have

H(*,[Φ X,Fields] H) H(*,BgFields[Φ X,Fields]) H /BgFields(BgFields *(*),[Φ X,Fields]) H /BgFields(*,[Φ X,Fields]) H /BgFields(Φ X,Fields) \begin{aligned} \mathbf{H}(*, [\Phi_X, \mathbf{Fields}]_{\mathbf{H}}) & \simeq \mathbf{H}(*, \underset{\mathbf{BgFields}}{\prod} [\Phi_X, \mathbf{Fields}]) \\ & \simeq \mathbf{H}_{/\mathbf{BgFields}}(\mathbf{BgFields}^*(*), [\Phi_X, \mathbf{Fields}]) \\ & \simeq \mathbf{H}_{/\mathbf{BgFields}}(*, [\Phi_X, \mathbf{Fields}]) \\ & \simeq \mathbf{H}_{/\mathbf{BgFields}}(\Phi_X, \mathbf{Fields}) \end{aligned}

where the first line is the definition, the second is the (BgFields *BgFields)(\mathbf{BgFields}^* \dashv \underset{\mathbf{BgFields}}{\prod}) adjunction-equivalence, the third is the (BgFieldsBgFields *)(\underset{\mathbf{BgFields}}{\sum} \dashv \mathbf{BgFields}^*)-adjunction implying that BgFields *\mathbf{BgFields}^* preserves the terminal object, and finally the last line is the defining internal hom adjunction-equivalence.

Proposition

The moduli ∞-stack of fields [Φ X,BgFields] H[\Phi_X, \mathbf{BgFields}]_{\mathbf{H}} sits in a homotopy pullback diagram of the form

[Φ X,Fields] H [X,BgFieldsFields] κ * Φ X [X,BgFields]. \array{ [\Phi_X, \mathbf{Fields}]_{\mathbf{H}} &\stackrel{}{\to}& [X, \underset{\mathbf{BgFields}}{\sum}\mathbf{Fields}] \\ \downarrow &\swArrow_{\kappa}& \downarrow \\ {*} &\stackrel{\vdash \Phi_X}{\to}& [X, \mathbf{BgFields}] } \,.

These relations are discussed at slice (∞,1)-topos, and (dcct, section 3.6.1).

Remark

Proposition makes precise the heuristic idea that a field ϕ[Φ X,Fields] H\phi \in [\Phi_X, \mathbf{Fields}]_{\mathbf{H}} is

  1. a configuration ϕ X:XBgFieldsFields\phi_X \;\colon\; X \to \underset{\mathbf{BgFields}}{\sum}\mathbf{Fields} on spacetime/worldvolume XX;

  2. together with a gauge transformation κ ϕ:Φ XFieldsϕ X\kappa_{\phi} \;\colon\; \Phi_X \stackrel{\simeq}{\to} \mathbf{Fields}\circ \phi_X between the fixed background field and the background field induced by ϕ X\phi_X.

More generally, the moduli \infty-stacks of combined bulk/boundary-defect fields as in def. is characterized as follows.

Proposition

The moduli stack [ι X,Fields] H[\iota_X, \mathbf{Fields}]_{\mathbf{H}} of bulk and defect fields in def. sits in an (∞,1)-pullback diagram

[ι X,Fields] H [X def,Fields def] [X bulk,Fields bulk] [X def,Fields bulk]. \array{ [\iota_X, \mathbf{Fields}]_{\mathbf{H}} &\to& [X_{def}, \mathbf{Fields}_{def}] \\ \downarrow && \downarrow^{\mathrlap{}} \\ [X_{bulk}, \mathbf{Fields}_{bulk}] &\stackrel{}{\to}& [X_{def}, \mathbf{Fields}_{bulk}] } \,.

The following proposition expresses that fixing a bulk field gives rise to a background field for the remaining defect fields

Proposition

For ϕ bulk:X bulkFields bulk\phi_{bulk} \;\colon\; X_{bulk} \to \mathbf{Fields}_{bulk} a given bulk field, there is a natural equivalence

[ι X *ϕ bulk,Fields] H[ι X,Fields] H×[X bulk,Fields bulk]{ϕ bulk}. [\iota_X^* \phi_{bulk}, \mathbf{Fields}]_{\mathbf{H}} \simeq [\iota_X, \mathbf{Fields}]_{\mathbf{H}} \underset{[X_{bulk}, \mathbf{Fields}_{bulk}]}{\times} \{\phi_{bulk}\} \,.

Relation to sections of fiber \infty-bundles

We discuss here how def. equivalently says that fields are sections of a fiber ∞-bundle which is which is associated to a (principal) \infty-bundle modulated by the background field.

For simplicity of the discussion first consider the case that BgFieldsBG\mathbf{BgFields} \simeq \mathbf{B}G is the delooping of an ∞-group GGrp(H)G \in Grp(\mathbf{H}). (In typical applications in physics we instead have the differential refinement BG conn\mathbf{B}G_{conn} (see below at Examples – Gauge fields) and the following discussion is directly generalized to that case. )

  1. Background fields as principal ∞-bundles

  2. Fields as sections of associated fiber ∞-bundles

Background fields as principal \infty-bundles

We briefly recall the central aspects of principal ∞-bundles in the (∞,1)-topos H\mathbf{H}.

For XHX \in \mathbf{H} any object and x:*Xx \colon * \to \X a global element, the homotopy pullback ((∞,1)-pullback) of the point along itse is the based loop space object

Ω xX{x}×X{x}. \Omega_x X \coloneqq \{x\} \underset{X}{\times} \{x\} \,.

Via composition of loops, this canonically has the structure of an A-∞ algebra object such that the 0-truncation τ 0Ω xX\tau_0 \Omega_x X is a monoid object which is a group object. Such groupal A A_\infty-algebra objects are group objects in H\mathbf{H}: ∞-groups.

In fact every ∞-group is of this form. Moreover, restricted to pointed and connected objects, the looping (∞,1)-functor Ω\Omega is an equivalence of (∞,1)-categories

Grp(H)BΩH 1 */. Grp(\mathbf{H}) \stackrel{\overset{\Omega}{\leftarrow}}{\underoverset{\mathbf{B}}{\simeq}{\to}} \mathbf{H}^{*/}_{\geq 1} \,.

Its inverse B\mathbf{B} we call the delooping operation. Notice that this means that we can conveniently discuss all aspects of ∞-groups without ever explicitly considering A-∞ algebra structure by instead working with the pointed connected objects BG\mathbf{B}G.

Notably one finds that a GG-principal ∞-bundle PXP \to X in H\mathbf{H} is equivalently the homotopy fiber of a map g:XBGg \;\colon\; X \to \mathbf{B}G

fib(g) P * EG X g BG. \array{ fib(g) \simeq & P &\to& * & \simeq \mathbf{E}G \\ & \downarrow && \downarrow \\ & X &\stackrel{g}{\to}& \mathbf{B}G } \,.

This construction yields an equivalence of ∞-groupoids

GBund(X)fibH(X,BG) G Bund(X) \stackrel{\overset{fib}{\leftarrow}}{\underoverset{}{\simeq}{\to}} \mathbf{H}(X, \mathbf{B}G)

between GG-principal ∞-bundles with gauge transformations between them and GG-cocycles with coboundaries. In particular this means that GG-principal ∞-bundles are classified by GG-cohomology in H\mathbf{H}

GBund(X) /π 0GBund(X)π 0H(X,BG)H 1(X,G). G Bund(X)_{/\sim} \simeq \pi_0 G Bund(X) \stackrel{\simeq}{\to} \pi_0 \mathbf{H}(X, \mathbf{B}G) \simeq H^1(X,G) \,.

Hence if BgFieldsBG\mathbf{BgFields} \simeq \mathbf{B}G then a background field on XX is equivalently a GG-principal ∞-bundle on XX.

Fields as sections of associated fiber \infty-bundles

Proposition

For GGrp(H)G \in Grp(\mathbf{H}) a group object in H\mathbf{H}, the (∞,1)-functor that sends an ∞-action ρ\rho of GG on some VHV \in \mathbf{H} to the corresponding associated ∞-bundle of the GG-universal principal ∞-bundle is an equivalence of (∞,1)-categories

(EG)× G():GAct(H)H /BG. (\mathbf{E}G)\times_G(-) \;\colon\; G Act(\mathbf{H}) \stackrel{\simeq}{\to} \mathbf{H}_{/\mathbf{B}G} \,.

Moreover there is a natural equivalence

(EG)× GV*× GVV//G (\mathbf{E}G)\times_G V \simeq {*} \times_G V \simeq V//G

with the quotient of VV by the GG-∞-action ρ\rho (this is the general abstract and version and geometric refinement of the traditional Borel construction).

Definition

For ρ\rho an ∞-action of an ∞-group GGrp(H)G \in Grp(\mathbf{H}) on some VHV \in \mathbf{H} we write

V//Gρ¯BG V//G \stackrel{\overline{\rho}}{\to} \mathbf{B}G

for the image of ρ\rho under the equivalence of prop. .

Proposition

The homotopy fiber of ρ¯\overline{\rho} is VV, hence we have a homotopy fiber sequence

V V//G ρ¯ BG \array{ V &\to& V//G \\ && \downarrow^{\mathrlap{\overline{\rho}}} \\ && \mathbf{B}G }

identifying ρ¯\overline{\rho} with a VV-fiber ∞-bundle over BG\mathbf{B}G. Moreover, this is the universal rho-associated ∞-bundle: for every GG-principal ∞-bundle PXP \to X with modulating map g X:XBGg_X \;\colon\; X \to \mathbf{B}G there is a natural equivalence in an (∞,1)-category

P× GVg X *(ρ¯) P \times_G V \simeq g_X^*(\overline{\rho})

in H /X\mathbf{H}_{/X}.

Remark

In summary this means that an ∞-action ρ\rho of an ∞-group GG on any object VHV \in \mathbf{H} is equivalently a homotopy fiber sequence of the form

V V//G ρ¯ BG. \array{ V &\to& V//G \\ && \downarrow^{\mathrlap{\overline{\rho}}} \\ && \mathbf{B}G } \,.

Moreover, for PXP \to X any GG-principal ∞-bundle modulated by a map g;:XBGg ;\colon\; X \to \mathbf{B}G and for ρ\rho an ∞-action of GG on some VV, there is an (∞,1)-pullback diagram

P× GV V//G ρ¯ X g BG. \array{ P \times_G V &\to& V//G \\ \downarrow && \downarrow^{\mathrlap{\overline{\rho}}} \\ X &\stackrel{g}{\to}& \mathbf{B}G } \,.

Due to the universal property of the (∞,1)-pullback this has the following consequence which, basic as it is, is fundamental for the interpretation of fields in def. .

Proposition

There is a canonical equivalence in an (∞,1)-category between the sections of the ρ\rho-associated ∞-bundle P× XGP \times_X G and maps g Xρ¯g_X \to \overline{\rho} in the slice, hence fields in the sense of def. with background field g Xg_X and moduli stack ρ¯\overline{\rho}:

Γ X(P× GV)[g X,ρ¯] H. \mathbf{\Gamma}_X(P \times_G V) \simeq [g_X, \overline{\rho}]_{\mathbf{H}} \,.
Remark

This equivalence is constituted simply by forming the pasting diagram of the section with the above (,1)(\infty,1)-pullback

P× GV V//G σ ρ¯ X id X g BGX σ V//G g ρ¯ BG. \array{ && P \times_G V &\to& V//G \\ &{}^{\mathllap{\sigma}}\nearrow& \downarrow && \downarrow^{\mathrlap{\overline{\rho}}} \\ X &\stackrel{id}{\to}& X &\stackrel{g}{\to}& \mathbf{B}G } \;\;\;\;\;\; \simeq \;\;\;\;\;\; \array{ X &&\stackrel{\sigma}{\to}&& V//G \\ & {}_{\mathllap{g}}\searrow && \swarrow_{\overline{\rho}} \\ && \mathbf{B}G } \,.

The following further central property leads in the following section to an equivalent re-formulation of this in twisted cohomology.

Proposition

Every GG-principal ∞-bundle PXP \to X in an (∞,1)-topos H\mathbf{H} is locally trivizable in that there exists a 1-epimorphism p:UXp \;\colon\; U \to X and an (∞,1)-pullback diagram of the form

U×G P U p X \array{ U \times G &\to& P \\ \downarrow && \downarrow \\ U &\stackrel{p}{\to}& X }

or equivalently a diagram

U * p X g BG. \array{ U &\to& * \\ \downarrow^{\mathrlap{p}} &\swArrow_{\simeq}& \downarrow \\ X & \stackrel{g}{\to} & \mathbf{B}G } \,.
Remark

Together the above facts imply that for

P× GV V//G σ ρ¯ X id X g BG \array{ && P \times_G V &\to& V//G \\ & {}^{\mathllap{\sigma}}\nearrow & \downarrow && \downarrow^{\mathrlap{\overline{\rho}}} \\ X &\stackrel{id}{\to}& X &\stackrel{g}{\to}& \mathbf{B}G }

a section of the associated ∞-bundle, the restriction σ| U\sigma|_U of the section along the trivializing cover p:UXp \;\colon\; U \to X factors through VV//GV \to V//G:

V V//G σ| U ρ¯ U p X g BG. \array{ && V &\to& V//G \\ & {}^{\mathllap{\sigma|_U}}\nearrow & && \downarrow^{\mathrlap{\overline{\rho}}} \\ U &\stackrel{p}{\to}& X &\stackrel{g}{\to}& \mathbf{B}G } \,.

This means that a section of an associated VV-fiber ∞-bundle is locally a VV-valued map, hence a cocycle in ΩV\Omega V-cohomology.

And so we say that globally it is a “twisted” ΩV\Omega V-cocycle. This leads to the following equivalent description.

Relation to twisted cohomology

We discuss here how def. of fields has an entirely equivalent expression in terms of cocycles in general cohomology and in fact, if the background field is nontrivial, in twisted cohomology. This follows by direct comparison with the corresponding notions in cohomology and twisted cohomology as discussed there (NSS). The unification of notions seen this way gives a natural home for instance to the familiar observations such as that Chan-Paton gauge fields on D-branes are identified with cocycles in (differential) twisted K-theory (see Chan-Paton gauge fields below).

First observe the following

Remark

For ϕ:Φ XFields\phi \;\colon\; \Phi_X \to \mathbf{Fields} a field configuration as in def. in the corresponding diagram in H\mathbf{H}

X ϕ BgFieldsFields Φ X Fields BgFields \array{ X &&\stackrel{\phi}{\to}&& \underset{\mathbf{BgFields}}{\sum} \mathbf{Fields} \\ & {}_{\mathllap{\Phi_X}}\searrow &\swArrow& \swarrow_{\mathrlap{\mathbf{Fields}}} \\ && \mathbf{BgFields} }

we have the following equivalently identifications when interpreting this as a cocycle:

We see several illustrations of these identifications in the list of Examples below. More generally, there is a canonical identification of physical fields in the presence of background fields and boundary/defect with twisted and relative cohomology. This we discuss below in Relation to relative cohomology.

Relation to relative cohomology

When we refine background fields to dynamical fields as discussed above in Boundary and defect fields then the identification of fields with cocycles in twisted cohomology as discussed above in Relation to twisted cohomology accordingly generalized a bit: it becomes a combination of twisted cohomology and relative cohomology.

For consider the special case that the moduli of defect fields are trivial, hence that

Fields:*pt QFields bulk \mathbf{Fields} \colon * \stackrel{pt_Q}{\to} \mathbf{Fields}_{bulk}

is the global point inclusion into the bulk field moduli (the trivial bulk field). By prop. it follows that

Proposition

There is a natural equivalence

[ι X,pt A][X bulk,A]×[X def,A]*, [\iota_X, pt_A] \simeq [X_{bulk}, A] \underset{[X_{def}, A]}{\times} {*} \,,

hence a homotopy fiber sequence

[ι X,pt A][X bulk,A][X def,A] [\iota_X, pt_A] \to [X_{bulk}, A] \to [X_{def}, A]
Remark

This identifies the equivalence classes of global points in [ι X,pt A][\iota_X, pt_A] as the ι X\iota_X-relative A-cohomology of XX.

In general, if the defect fields are not trivial, the fields ι XFields\iota_X \to \mathbf{Fields} (hence ordinary cocycles in H (Δ 1)\mathbf{H}^{(\Delta^1)}) are a kind of cocycles in H\mathbf{H} that are a combination of relative and twisted cocycles: instead with their pullback to X defX_{def} being equipped with a trivialization, it is equipped with a “twisted trivialization” in the sense of twisted c-structures, discussed below.

Examples

We distinguish four broad classes of examples of physical fields, according to def. :

  1. Scalar and moduli fields

    The simplest type of field is a (smooth) function on spacetime XX with values in the real numbers or complex numbers, called a scalar field. Slightly more generally there are fields which are functions into some other vector space or more general manifold, often called linear/non-linear sigma-model fields. Often that manifold is a space of parameters of some geometry, for instance of a compact space in Kaluza-Klein compactification, in which case these fields are often called moduli fields. Scalar fields may be charged under force fields, which we turn to next.

  2. Force fields

    1. Fields of gravity, G-structure and generalized geometry

      In this case the background gauge field is a G-structure, the moduli stack of fields is a delooped ∞-group extension BG^FieldsBG\mathbf{B}\hat G \stackrel{\mathbf{Fields}}{\to} \mathbf{B}G and a field is a generalized vielbein exhibiting a reduction/lift of structure group.

    2. Gauge fields

      In this case Fields\mathbf{Fields} is a moduli space BG conn\mathbf{B}G_{conn} of ∞-connections on GG-principal ∞-bundles for some gauge group GGrpd(H)G \in Grpd(\mathbf{H}).

  3. Matter fields

    In this case the background gauge field is a GG-principal ∞-bundle PP for some gauge group GGrp(H)G \in Grp(\mathbf{H}) and Fields\mathbf{Fields} is the univeral ρ\rho-associated ∞-bundle V//GFieldsBGV//G \stackrel{\mathbf{Fields}}{\to} \mathbf{B}G for ρ\rho an ∞-action of GG on some VHV \in \mathbf{H}. A field is section of the associated VV-fiber ∞-bundle.

Not all examples fall squarely into one of these types, some are mixtures of these. Relevant examples we discuss in

In particular the moduli stacks BG\mathbf{B}G here are typically all differentially refined to moduli stacks BG conn\mathbf{B}G_{conn} of ∞-connections so that for instance every reduction and lift of structure groups goes along with a corresponding data of the reduction of an ∞-connection. The archetypical example for this are spin connections, see the example Ordinary gravity below.

0) Sigma-model fields

Traditionally a sigma-model field is a type of fields given simply by (smooth) functions ΣX\Sigma \to X from a worldvolume Σ\Sigma to a target space XX. Now, by the general unified definition def. and as shown in the following sections, in higher geometry every type of field is of this form if we allow target space XX to be a general ∞-stack and functions to be maps in a suitable slice (∞,1)-topos. Nevertheless, here we start with briefly indicating those examples that are sigma-model fields also in the traditional restrictive sense of the term.

Uncharged scalar field

A scalar field is given simply by a function on spacetime/worldvolume, typically with values in the real numbers \mathbb{R} (“real scalar field”) or the complex numbers \mathbb{C} (“complex scalar field”). Hence this is the example of def. with trivial background fields

BgFields* \mathbf{BgFields} \coloneqq *

(the terminal object) and with the field moduli stack being the map

Fields:* \mathbf{Fields} \;\colon\; \mathbb{R} \to *

from (the smooth manifold underlying) the real numbers to the point, or else

Fields:* \mathbf{Fields} \;\colon\; \mathbb{C} \to *

regarded as an object in H /*H\mathbf{H}_{/*} \simeq \mathbf{H}.

Scalar fields are, due to their simplicity, prominent in toy examples used to discuss general properties of quantum field theory. The only fundamental scalar particle observed in nature to date is the Higgs particle (or presumably so, in technicolor models it is not actually fundamental but a composite of fermion particles, discussed below), but the Higgs field is, crucially, charged under the electroweak SU(2)-gauge field. A model of relevance in phenomenology which crucially features an uncharged scalar particle is cosmic inflation. But the fundamental nature of the inflaton field is hypothetical (if it exists at all), it might well be the effective version of non-scalar fields.

Particle trajectory

The dynamics of a particle propagating in a spacetime XX is described by a field on the abstract worldline which is simply a smooth function X\mathbb{R} \to X to the target space XX: a trajectory of the particle. The quantum mechanics that describes the dynamics of such a quantum particle is equivalently a 1-dimensional field theory on the worldline, with these maps as its physical fields.

Therefore such wordline sigma-model fields are given by the special case of def. with trivial background field BgFields*\mathbf{BgFields} \simeq * and with Fields:X*\mathbf{Fields} \;\colon\; X \to * regarded as an object in H /*H\mathbf{H}_{/*} \simeq \mathbf{H}.

Brane trajectory

More generally, the worldvolume fields of any brane sigma-model with target space XX are given as above.

Open string sigma-model

Remark

A D-brane inclusion Qι XXQ \stackrel{\iota_X}{\to} X is the target space for an open string with worldsheet Σι ΣΣ\partial \Sigma \stackrel{\iota_\Sigma}{\hookrightarrow} \Sigma: a field configuration of the open string sigma-model is a map

ϕ:ι Σι X \phi \;\colon\; \iota_\Sigma \to \iota_X

in H Δ 1\mathbf{H}^{\Delta^1}, hence a diagram of the form

Σ ϕ bdr Q ι Σ ι X Σ ϕ bulk X. \array{ \partial \Sigma &\stackrel{\phi_{bdr}}{\to}& Q \\ \downarrow^{\mathrlap{\iota_\Sigma}} &\swArrow& \downarrow^{\mathrlap{\iota_X}} \\ \Sigma &\stackrel{\phi_{bulk}}{\to}& X } \,.

For XX and QQ ordinary manifolds just says that a field configuration is a map ϕ bulk:ΣX\phi_{bulk} \;\colon\; \Sigma \to X subject to the constraint that it takes the boundary of Σ\Sigma to QQ. This means that this is a trajectory of an open string in XX whose endpoints are constrained to sit on the D-brane QXQ \hookrightarrow X.

If however XX is more generally an orbifold, then the homotopy filling the above diagram imposes this constraint only up to orbifold transformations, hence exhibits what in the physics literature are called “orbifold twisted sectors” of open string configurations.

Proposition

The moduli stack [ι Σ,ι X][\iota_\Sigma, \iota_X] of such field configurations is the homotopy pullback

[ι Σ,ι X] [Σ,X] [S 1,Q] [S 1,X]. \array{ [\iota_{\Sigma}, \iota_X] &\to& [\Sigma, X] \\ \downarrow &\swArrow& \downarrow \\ [S^1, Q] &\to& [S^1, X] } \,.

The background gauge field for such a sigma-model is a B-field on XX and a Chan-Paton gauge field on QXQ \hookrightarrow X.

I) Force fields

We discuss examples for the two classes of force fields, which are:

I a) Fields of gravity, GG-Structure and generalized geometry

We discuss the example of the field of gravity, below in Gravity, and various closely related types of fields that all encode geometry in some sense, in fact all encode geometry in the sense of G-structure. This most general case we discuss in G-structure – (twisted lift of structure ∞-groups).

GeneralGG-structure: (twisted) lift of structure \infty-group

Let

AG^pG A \to \hat G \stackrel{\mathbf{p}}{\to} G

be an ∞-group extension in H\mathbf{H}. Then for g X:XBGg_X \colon X \to \mathbf{B}G a given GG-principal ∞-bundle, a lift of the structure group from GG to G^\hat G is a field

ϕ:g XBp. \phi \; \colon\; g_X \to \mathbf{B p} \,.

If the ∞-group extension is central in that it extends to a homotopy fiber sequence of the form

BABG^BpBGcB 2A \mathbf{B}A \to \mathbf{B}\hat G \stackrel{\mathbf{Bp}}{\to} \mathbf{B}G \stackrel{\mathbf{c}}{\to} \mathbf{B}^2 A

then a twisted c-structure is a map

ϕ:g Xc \phi \;\colon\; g_X \to \mathbf{c}

in H /BG\mathbf{H}_{/\mathbf{B}G}. These kinds of fields are interpreted as fields of gravity and its variants, as shown by the following examples.

For recognizing traditional constructions in this formulation, the following basic fact is important.

Proposition

For ι:HG\iota \colon H \hookrightarrow G an subgroup inclusion of Lie groups, we have a homotopy fiber sequence

G/HBHBιBG G/H \to \mathbf{B}H \stackrel{\mathbf{B}\iota}{\to} \mathbf{B}G

with the coset space on the left.

Gravity

We discuss the formulation of the field of gravity as a special case of def. .

Definition

For nn \in \mathbb{N}, let

Fields:BO(n)OrthStruc nBGL(n) \mathbf{Fields} \;\colon\; \mathbf{B}O(n) \stackrel{\mathbf{OrthStruc}_n}{\to} \mathbf{B}GL(n)

be the delooping of the Lie-subgroup inclusion of the orthogonal group into the general linear group in dimension nn (the inclusion of the maximal compact subgroup).

For XX \in SmoothMfd \hookrightarrow H\mathbf{H} \coloneqq Smooth∞Grpd a smooth manifold of dimension nn, write

Φ Xτ X:XBGL(n) \Phi_X \coloneqq \tau_X \;\colon\; X \to \mathbf{B}GL(n)

for the canonical map modulating the GL(n)GL(n)-principal bundle to which the tangent bundle is canonically associated.

Example

Morphisms

ϕ:τ XOrthStruc n \phi \;\colon\; \tau_X \to \mathbf{OrthStruc}_n

in H /BGL(n)\mathbf{H}_{/\mathbf{B}GL(n)} hence diagrams

X BO(n) e BGL(n) \array{ X &&\stackrel{}{\to}&& \mathbf{B}O(n) \\ & \searrow &\swArrow_{e}& \swarrow \\ && \mathbf{B}GL(n) }

in H\mathbf{H} are equivalently vielbein fields ee exhibiting the reduction of the structure group from GL(n)GL(n) to O(n)O(n). A gauge transformation is a local frame transformation. Hence

[τ X,OrthStruc n] HH [\tau_X, \mathbf{OrthStruc}_n]_{\mathbf{H}} \in \mathbf{H}

is the moduli stack of Riemannian metrics on XX. Every such is a field configuration of ordinary gravity on XX. (But see example below.)

According to remark such fields pull back along map f:YXf \colon Y \to X that fit into a diagram

Y f X τ Y τ X BGL(n). \array{ Y &&\stackrel{f}{\to}&& X \\ & {}_{\mathllap{\tau_Y}}\searrow &\swArrow_{\simeq}& \swarrow_{\mathrlap{\tau_X}} \\ && \mathbf{B}GL(n) } \,.

These are precisely local diffeomorphisms and indeed these are precisely the maps along which vielbein fields / pseudo-Riemannian metric fiedls pull back. (Pullback along smooth functions may not preserve the non-degeneracy of a metric tensor, but precisely the local diffeomorphisms do.)

Remark

The smooth structure on XX as embodied by τ X\tau_X is the background field in example .

Remark

Under geometric realization

||:HGrpdL wheTop {\vert-\vert} \;\colon\; \mathbf{H} \to \infty Grpd \simeq L_{whe} Top

the map of moduli stacks BO(n)BGL(n)\mathbf{B}O(n) \to \mathbf{B}GL(n) becomes an equivalence (a weak homotopy equivalence) of classifying space BO(n)BGL(n)B O(n) \stackrel{\simeq}{\to} B GL(n).

This means that in plain homotopy theory, hence ignoring the geometry, a lift in

BO(n) X τ X BGL(n) \array{ && B O(n) \\ & \nearrow & \downarrow \\ X &\stackrel{\tau_X}{\to}& B GL(n) }

is no information, up to equivalence: it always exists and exists uniquely up to a contractible space of choices. In order for such a lift really to be equivalently an orthogonal structure it needs to be taken with geometry included, hence for moduli stacks (_cohesive_ homotopy type) as above.

The analog statement is true for every delooping BHBG\mathbf{B}H \to \mathbf{B}G of the inclusion HGH \hookrightarrow G of a maximal compact subgroup into a Lie group. More examples of this kind we discuss below in Type II Gravity and generalized geometry.

Remark

The homotopy fiber of OrthStruc n\mathbf{OrthStruc}_n is the coset space GL(n)//O(n)GL(n)//O(n), hence we have a homotopy fiber sequence of moduli stacks of the form

GL(n)//O(n)BO(n)OrthStruc nBGL(n) GL(n)//O(n) \to \mathbf{B}O(n) \stackrel{\mathbf{OrthStruc}_n}{\to} \mathbf{B}GL(n)

in H\mathbf{H}. This means that locally, over a cover (1-epimorphism) p:UXp \colon U \to X over which the tangent bundle has a trivialization τ X| U*\tau_X|_U \simeq *, the space of fields is simply [U,GL(n)//O(n)][U, GL(n)//O(n)].

The next example is the differential refinement of the previous one.

Example

Let

OrthStruc^ n:BO(n) connBGL(n) conn \widehat \mathbf{OrthStruc}_n \;\colon\; \mathbf{B}O(n)_{conn} \to \mathbf{B}GL(n)_{conn}

be the canonical differential refinement of OrthStruc n\mathbf{OrthStruc}_n, where now the moduli stacks of principal connections appear. For XX a manifold as above, let then

τ^ X:XBGL(n) conn \hat \tau_X \;\colon\; X \to \mathbf{B}GL(n)_{conn}

modulate an affine connection on the tangent bundle. A field

ϕ:τ^ XOrthStruc^ n \phi \;\colon\; \hat \tau_X \to \widehat \mathbf{OrthStruc}_n

is now still equivalently just a vielbein, but its component

BGL(n) connτ^ X:XBO(n) conn \underset{\mathbf{B}GL(n)_{conn}}{\sum} \hat \tau_X \;\colon\; X \to \mathbf{B}O(n)_{conn}

now captures the orthognal connection which in the physics literature is often called (inaccurately) the spin connection, denoted ω\omega. The vielbein then exhibits the original affine connection as that whose components are the Christoffel symbols Γ\Gamma of the Riemannian metric defined as above, a relation that is familiar from the physics literature in the form of the equation

ω=e 1Γe+e 1de \omega = e^{-1}\Gamma e + e^{-1} d e

between local connection 1-form components.

But both these examples do not fully accurately reflect the field content of gravity yet. This is because the theory of gravity is supposed to by generally covariant. This means that for two vielbein field configurations as in example such that one goes into the other under a diffeomorphism of spacetime XX, there is a gauge transformation between them.

Example

Write Diff(X)Aut(X)Grp(H)\mathbf{Diff}(X) \coloneqq \mathbf{Aut}(X) \in Grp(\mathbf{H}) for the diffeomorphism group of the smooth manifold XX. There is then the canonical ∞-action of the automorphism ∞-group Diff(X)\mathbf{Diff}(X) on XX itself, exhibited by the universal associated ∞-bundle

(X//Diff(X)BDiff(X))H /BDiff(X). \left(X // \mathbf{Diff}\left(X\right) \to \mathbf{B}\mathbf{Diff}\left(X\right) \right) \in \mathbf{H}_{/\mathbf{B}\mathbf{Diff}\left(X\right)} \,.

This induces also an ∞-action also on the tangent bundle.

Moreover the trivial bundle

Fields(Diff(X)×OrthStrucBDiff(X))H /BDiff(X) \mathbf{Fields} \coloneqq (\mathbf{Diff}(X)\times \mathbf{OrthStruc} \to \mathbf{B}\mathbf{Diff}(X) ) \in \mathbf{H}_{/\mathbf{B}\mathbf{Diff}(X)}

corresponds to the trivial action.

Then

BDiff(n)B(GL(n))[τ X,Fields]H \underset{\mathbf{B}Diff(n)}{\sum} \underset{\mathbf{B}(GL(n))}{\prod} [\tau_X, \mathbf{Fields}] \in \mathbf{H}

is the accurate space of generally covariant fields of gravity.

SpinSpin-structures

In theories with fermions (discussed below) the field of gravity is more refined than just a vielbein field as above, hence an orthogonal structure on spacetime: it also involves an orientation structure and a spin structure.

To see that these structures are really all (fields) of the same kind, observe that they are the lifts through the first step of the Whitehead tower of BGL\mathbf{B}GL, as shown in the following table

smooth ∞-groupWhitehead tower of smooth moduli ∞-stacksG-structure/higher spin structureobstruction
\vdots
\downarrow
ninebrane 10-groupBNinebrane\mathbf{B}Ninebrane ninebrane structurethird fractional Pontryagin class
\downarrow
fivebrane 6-groupBFivebrane1np 3B 11U(1)\mathbf{B}Fivebrane \stackrel{\tfrac{1}{n} p_3}{\to} \mathbf{B}^{11}U(1)fivebrane structuresecond fractional Pontryagin class
\downarrow
string 2-groupBString16p 2B 7U(1)\mathbf{B}String \stackrel{\tfrac{1}{6}\mathbf{p}_2}{\to} \mathbf{B}^7 U(1)string structurefirst fractional Pontryagin class
\downarrow
spin groupBSpin12p 1B 3U(1)\mathbf{B}Spin \stackrel{\tfrac{1}{2}\mathbf{p}_1}{\to} \mathbf{B}^3 U(1)spin structuresecond Stiefel-Whitney class
\downarrow
special orthogonal groupBSOw 2B 2 2\mathbf{B}SO \stackrel{\mathbf{w_2}}{\to} \mathbf{B}^2 \mathbb{Z}_2orientation structurefirst Stiefel-Whitney class
\downarrow
orthogonal groupBOw 1B 2\mathbf{B}O \stackrel{\mathbf{w}_1}{\to} \mathbf{B}\mathbb{Z}_2orthogonal structure/vielbein/Riemannian metric
\downarrow
general linear groupBGL\mathbf{B}GLsmooth manifold

(all hooks are homotopy fiber sequences)

Notice, as in remark , that for the interpretation of the first step here it is crucial to interpret this in moduli ∞-stacks and not in classifying spaces.

Hence if a background field of gravity is assumed, BgFields:BO(n)\mathbf{BgFields} \colon \mathbf{B}O(n), Φ X=e X\Phi_X = e_X, then the moduli stack for orientation structure-fields is

Fields:BSO(n)BO(n) \mathbf{Fields} \colon \mathbf{B} SO(n) \to \mathbf{B}O(n)

in H /BO(n)\mathbf{H}_{/\mathbf{B}O(n)}. And if an orientation background field is assumed, BgFields:BSO(n)\mathbf{BgFields} \colon \mathbf{B}SO(n), Φ X=o X\Phi_X = o_X, then the moduli stack for spin structure-fields is

Fields:BSpin(n)BSO(n). \mathbf{Fields} \colon \mathbf{B} Spin(n) \to \mathbf{B}SO(n) \,.

Evidently there is then also a notion of higher spin structure-fields. These appear as backgrounds when one passes from spinning particles to spinning strings and then to further “spinning” branes. This we discuss below in Higher spin structures.

Spin cSpin^c-structures

Some theories involve not plain spin structures but spin-c structures on their spacetime/worldvolume (for instance in Seiberg-Witten theory or in the gauge theory over D-branes in type II string theory, see the example Chan-Paton gauge fields on D-branes below). By the discussion there, the moduli stack BSpin c(n)\mathbf{B}Spin^c(n) for spin^c group-principal bundles sits in the homotopy pullback diagram

BSpin c BU(1) c 1mod2 BSO(n) w 2 B 2 2, \array{ \mathbf{B}Spin^c &\to& \mathbf{B}U(1) \\ \downarrow && \downarrow^{\mathrlap{\mathbf{c}_1 \,mod\, 2}} \\ \mathbf{B}SO(n) &\stackrel{\mathbf{w}_2}{\to}& \mathbf{B}^2\mathbb{Z}_2 } \,,

where the right vertical map represents the universal first Chern class modulo 2. In other words this says that a spin^c-structure on some XX is a twisted w2-structure with twist the first Chern-class of a circle bundle.

So if that circle bundle is regarded as a background field

ϕ Xg XcolonXBU(1) \phi_X \coloneqq g_X \;colon\; X \to \mathbf{B}U(1)

then a Spin cSpin^c-structure for that underlying circle bundle is a field

ϕ:Φ Xw 2 \phi \;\colon\; \Phi_X \to \mathbf{w}_2

in H /B 2 2\mathbf{H}_{/\mathbf{B}^2 \mathbb{Z}_2}.

Or rather, if XX is a manifold as before and the SO(n)SO(n)-principal bundle involved in the above is required to be a reduction of the tangent bundle τ X:XBGL(n)\tau_X : X \to \mathbf{B}GL(n) as before, then the background field for Spin cSpin^c-structure fields is

Φ X:X(τ X,g Xmod2)BGL(n)×B 2 2, \Phi_X \;\colon\; X \stackrel{(\tau_X, g_X \,mod\, 2)}{\to} \mathbf{B}GL(n) \times \mathbf{B}^2 \mathbb{Z}_2 \,,

and the field moduli stack is

Fields:BSO(n)(p,w 2)BGL(n)×B. \mathbf{Fields} \;\colon\; \mathbf{B}SO(n) \stackrel{(p, \mathbf{w}_2)}{\to} \mathbf{B}GL(n) \times \mathbf{B} \,.
Type II gravity, exceptional geometry

By remark above the ordinary field of gravity on some manifold XX is equivalently a reduction of the structure group from the general linear group to its maximal compact subgroup, regarded as a field whose background field is the tangent bundle itself.

If one instead considers a variant of the tangent bundle as a background field – a generalized tangent bundle τ X gen:XBG\tau_X^{gen} : X \to \mathbf{B}G – with some other structure Lie group GG, then a field with values in

Fields:BHBG \mathbf{Fields} \;\colon\; \mathbf{B}H \to \mathbf{B}G

in H /BG\mathbf{H}_{/\mathbf{B}G} and for HH \hookrightarrow the inclusion of the maximal compact subgroup, may be thought of as an accordingly generized field of gravity defining a generalized Riemannian geometry.

Such fields naturally appear in theories of higher-dimensional supergravity, where related to the T-duality and more generally U-duality structure of these theories.

Notably in manifestly T-duality-equivariant type II supergravity the generalized tangent bundle on the nn-dimensional spacetime is an O(n,n)O(n,n)-principal bundle τ X gen:XBO(n,n)\tau^{gen}_X \;\colon\; X \to \mathbf{B}O(n,n). The corresponding maximal compact subgroup inclusion yields the moduli stack of fields

Fields:B(O(n)×O(n))BO(n,n) \mathbf{Fields} \;\colon\; \mathbf{B}(O(n)\times O(n)) \to \mathbf{B}O(n,n)

and a field ϕ:τ X genFields\phi \;\colon\; \tau_X^{gen} \to \mathbf{Fields} is equivalently the generalized vielbein for the generalized Riemannian geometry called type II geometry on XX.

In fact also the generalized tangent bundle itself should be regarded as a field: Notice that the canonical diagonal inclusion

GL(n)O(n,n) GL(n) \hookrightarrow O(n,n)

does not have a retraction. Write GL(n)G geomO(n,n)GL(n) \hookrightarrow G_{geom} \hookrightarrow O(n,n) for the maximal subgroup for which a retrection to GL(n)GL(n) still exists, called the geometric subgroup in the context of type II geometry. Then a lift of the tangent bundle to G geomG_{geom}

X τ X gen BG geom BO(n,n) athllapτ X p BGL(n), \array{ X &&\stackrel{\tau_X^{gen}}{\to}&& \mathbf{B}G_{geom} & \hookrightarrow& \mathbf{B} O(n,n) \\ & {}_{\athllap{\tau_X}}\searrow &\swArrow& \swarrow_{\mathrlap{\mathbf{p}}} \\ && \mathbf{B}GL(n) } \,,

hence a field

e X gen:τ Xp e_X^{gen} \;\colon\; \tau_X \to \mathbf{p}

is what is called a geoemtric generalized tangent bundle. These are exactly the generalized tangent bundles primarily considered in the literature (see at type II geometry for more).

In the Kaluza-Klein compactification of type II supergravity and of 11-dimensional supergravity preserving some amount of global supersymmetry this generalized type II geometry is further enhanced to various flavors of what is called exceptional generalized geometry.

Here the generalized tangent bundle has as structure group an exceptional Lie group from the EE-series E n(n)E_{n(n)} (for compactification on an nn-dimensional compact space). The moduli stack of fields is then

Fields:BK nBE n(n) \mathbf{Fields} \;\colon\; \mathbf{B} K_{n} \to \mathbf{B} E_{n(n)}

and a field e X gen:τ X genFields e_X^{gen} \;\colon\; \tau_X^{gen} \to \mathbf{Fields} is equivalently a generalized vielbein for exceptional generalized geometry.

Higher spin structures

By the discussion of Spin structure fields above there are evident higher analogs, obtained by climbing through the Whitehead tower of BO.

In the next step we have String structure-fields which are maps to

Fields:BStringBSpin. \mathbf{Fields} \;\colon\; \mathbf{B}String \to \mathbf{B}Spin \,.

These appear as fields in heterotic supergravity with quantum anomaly-cancellation by the Green-Schwarz mechanism and for trivial gauge field. In the presence of a non-trivial gauge field these are further refined to Higher spin-c structrures discussed below. This field content of heterotic supergravity is discussed in more detail below in Anomaly-free heterotic supergravity fields – differential String-c structures.

Further up the Whitehead tower Fivebrane structure-fields are maps to

Fields:BFivebraneBString \mathbf{Fields} \;\colon\; \mathbf{B}Fivebrane \to \mathbf{B}String

in H /BString\mathbf{H}_{/\mathbf{B}String}. These, or their twisted variants, appear in dual heterotic string theory.

Higher Spin cSpin^c-structures

As discussed above, an ordinary spin-c structure is really a spin structure which is twisted by the class of a U(1)U(1)-principal bundle.

Similarly the higher spin structure-fields just discussed have further twistes by background unitary bundles. For

c:BGB 3U(1) \mathbf{c} \;\colon\; \mathbf{B}G \to \mathbf{B}^3 U(1)

some universal characteristic map on moduli ∞-stacks, for B 3U(1)\mathbf{B}^3 U(1) the moduli 3-stack of circle 3-bundles, hence circle 3-group-principal ∞-bundles we say that the smooth ∞-group String cString^{\mathbf{c}} appearing in the homotopy pullback diagram

BString c BG c BSpin 12p B 3U(1) \array{ \mathbf{B}String^{\mathbf{c}} &\to& \mathbf{B} G \\ \downarrow && \downarrow^{\mathrlap{\mathbf{c}}} \\ \mathbf{B}Spin &\stackrel{\tfrac{1}{2}\mathbf{p}}{\to}& \mathbf{B}^3 U(1) }

is a higher string 2-group-analog of spin^c.

In particular, if GG is a compact, connected and simply connected simple Lie group (such as the spin group or the special unitary group) then

π 0H(BG,B 3U(1))H 4(BG,) \pi_0\mathbf{H}(\mathbf{B}G, \mathbf{B}^3 U(1)) \simeq H^4(BG, \mathbb{Z}) \simeq \mathbb{Z}

(the first equivalence is discussed at Lie group cohomology as a special case of a theorem discussed at smooth infinity-groupoid). This means that there is an essentially unique map of higher moduli stacks

c:BGB 3U(1) \mathbf{c} \;\colon\; \mathbf{B}G \to \mathbf{B}^3 U(1)

which maps to the generator of H 4(BG,)H^4(BG, \mathbb{Z}) under geometric realization of cohesive infinity-groupoids. For G=SpinG = Spin this is the smooth refinement of the first fractional Pontryagin class 12p 1\tfrac{1}{2}\mathbf{p}_1, discussed further at twisted differential string structure.

Of interest in heterotic supergravity here is the case that G=E 8×E 8G = E_8 \times E_8 (the product of the exceptional Lie group E 8E_8 with itself) and c\mathbf{c} is twice the canonical string class.

If then g X:XB(E 8×E 8)g_X \;\colon\; X \to \mathbf{B}(E_8 \times E_8) is the instanton sector of the gauge field in heterotic supergravity regarded as a background gauge field for the field of heterotic gravity, then with

Fields:BSpin12p 1B 3U(1) \mathbf{Fields} \;\colon\; \mathbf{B}Spin \stackrel{\tfrac{1}{2}\mathbf{p}_1}{\to} \mathbf{B}^3 U(1)

a map

g XFields g_X \to \mathbf{Fields}

in H /B 3U(1)\mathbf{H}_{/\mathbf{B}^3 U(1)} is a String c\mathbf{String}^{\mathbf{c}}-structure on XX whose underlying gage bundle is the given Φ X\Phi_X.

As before for Spin cSpin^c-structures, in applications one in addition demands that this String c\mathbf{String}^{\mathbf{c}}-structure is indeed a refinement of the field of gravity of the theory, which means that one takes the background field to be

Φ X:X(τ X,g X)BGL(n)×B(E 8×E 8) \Phi_X \;\colon\; X \stackrel{(\tau_X, g_X)}{\to} \mathbf{B}GL(n) \times \mathbf{B}(E_8 \times E_8)

and the moduli \infty-stack of fields to be

Fields:BSpin(n)(p,12p 1)BGL(n)×B 3U(1). \mathbf{Fields} \;\colon\; \mathbf{B}Spin(n) \stackrel{(p, \tfrac{1}{2}\mathbf{p}_1)}{\to} \mathbf{B}GL(n) \times \mathbf{B}^3 U(1) \,.

These are precisely the instanton sectors of the fields of Green-Schwarz anomaly free heterotic supergravity, discussed further below in Anomaly-free heterotic supergravity fields. (SSS)

I b) Gauge fields

General – Coefficients in differential cohomology: \infty-connections

The term gauge field in gauge theory with respect to a gauge group GG refers to fields which are modeled by connections either on GG-principal bundles or on associated bundles for these. The notion of equivalence between two such fields (hence between connections on bundles) is the original meaning of the word gauge transformation, even though that term is also used for equivalences between fields which are not modeled by connections.

We discuss the general notion of gauge fields and then various special cases and variants. The following table gives an overview over the notions involved in the concept of gauge fields

gauge field: models and components

physicsdifferential geometrydifferential cohomology
gauge fieldconnection on a bundlecocycle in differential cohomology
instanton/charge sectorprincipal bundlecocycle in underlying cohomology
gauge potentiallocal connection differential formlocal connection differential form
field strengthcurvatureunderlying cocycle in de Rham cohomology
gauge transformationequivalencecoboundary
minimal couplingcovariant derivativetwisted cohomology
BRST complexLie algebroid of moduli stackLie algebroid of moduli stack
extended Lagrangianuniversal Chern-Simons n-bundleuniversal characteristic map
Electromagnetic field

A field configuratiotion of the electromagnetic field is a circle bundle with connection and a gauge transformation of the EM field is an equivalence of such connections.

Let therefore

BU(1) connΩ 1//U(1)DK(U(1)dlogΩ 1) \mathbf{B}U(1)_{conn} \coloneqq \Omega^1//U(1) \simeq DK(U(1) \stackrel{d log}{\to} \Omega^1)

be the quotient stack of the action of U(1)U(1) on the sheaf of differential 1-forms, equivalently the image under the Dold-Kan correspondence of the sheaf of chain complexes given by the Deligne complex for degree-2 ordinary differential cohomology, as indicated.

This is the moduli stack for U(1)U(1)-principal connections. Hence setting BgFields*\mathbf{BgFields} \simeq * and

FieldsBU(1) conn \mathbf{Fields} \coloneqq \mathbf{B}U(1)_{conn}

in def. yields the type of the electromagnetic field.

Yang-Mills field

More generally, let GG be a Lie group, and 𝔤\mathfrak{g} its Lie algebra. Write Ω 1(,𝔤)\Omega^1(-,\mathfrak{g}) the sheaf of Lie algebra valued 1-forms

Definition

The moduli stack of GG-principal connections is the quotient stack

BG connΩ 1(,𝔤)//G \mathbf{B}G_{conn} \coloneqq \Omega^1(-,\mathfrak{g})//G

of the action of GG on it Lie algebra valued differential forms by gauge transformations

g:A gA gAd gA+g *θ. g \colon A^g \coloneqq \mapsto A^g Ad_g A + g^* \theta \,.

This is the moduli stack of the GG-Yang-Mills field. Hence setting BgFields*\mathbf{BgFields} \simeq * and

FieldsBG conn \mathbf{Fields} \coloneqq \mathbf{B}G_{conn}

in def. yields Yang-Mills fields.

Kalb-Ramond BB-field

Let

B 2U(1) connΩ 21//BU(1)DK(U(1)dlogΩ 1dΩ 2) \mathbf{B^2}U(1)_{conn} \coloneqq \Omega^{2 \leq \bullet \leq 1} // \mathbf{B}U(1) \simeq DK(U(1) \stackrel{d log}{\to} \Omega^1 \stackrel{d}{\to} \Omega^2)

be the image under the Dold-Kan correspondence of the Deligne complex for degree-3 ordinary differential cohomology. This is the moduli 2-stack for circle 2-bundle with connections.

Setting BgFields*\mathbf{BgFields} \simeq * and

FieldsB 2U(1) conn \mathbf{Fields} \coloneqq \mathbf{B}^2 U(1)_{conn}

in def. yields the 2-form gauge field known as the B-field or the Kalb-Ramond field.

Supergeometric BB-field

The B-field appears both in bosonic string theory as well as in type II superstring theory. In (Distler-Freed-Moore) it was pointed out that for the superstring the plain formulation above needs to be refined. We discuss here the natural formulation of this observation in higher supergeometry as in (FSS CSIntroAndSurvey, section 4.3).

Generally instead of the circle group U(1)U(1) one can consider the multiplicative group ×\mathbb{C}^\times of non-zero complex numbers. The canonical subgroup inclusion U(1) ×U(1) \hookrightarrow \mathbb{C}^\times induces for each nn \in \mathbb{N} a canonical morphism of moduli ∞-stacks

B nU(1)B n ×. \mathbf{B}^n U(1) \to \mathbf{B}^n \mathbb{C}^\times \,.

This is not quite an equivalence of ∞-stacks but it is a shape modality-equivalence in that geometric realization of cohesive ∞-groupoids sends it to an equivalence as

|B nU(1)||B n ×|K(,n+1). {\vert \mathbf{B}^n U(1)\vert} \simeq {\vert \mathbf{B}^n \mathbb{C}^\times\vert} \simeq K(\mathbb{Z}, n+1) \,.

For instance smooth U(1)U(1)-principal bundles and ×\mathbb{C}^\times-principal bundles are both classified by the universal Chern class in H 2(,)H^2(-, \mathbb{Z}) but the gauge automorphisms of the trivial U(1)U(1)-principal bundle form C (,U(1))C^\infty(-,U(1)), while that of the trivial ×\mathbb{C}^\times-principal bundle form the larger C (, ×)C^\infty(-,\mathbb{C}^\times).

Both versions of the moduli nn-stack of nn-bundles have their use. The version B n ×\mathbf{B}^n \mathbb{C}^\times has the advantage that it is actually equivalent to the moduli nn-stack of complex line nn-bundles.

B n ×nLine . \mathbf{B}^n \mathbb{C}^\times \simeq n Line_\mathbb{C} \,.

Specifically for n=2n = 2 it is equivalent to the moduli 2-stack of line 2-bundles

B 2 ×2Line . \mathbf{B}^2 \mathbb{C}^\times \simeq 2 Line_\mathbb{C} \,.

But now in supergeometry complex super-line 2-bundle have a richer classification that plain line 2-bundle. Explicitly, let now H:\mathbf{H} \colon SmoothSuper∞Grpd be the ambient cohesive (∞,1)-topos for higher supergeometry and write

2sLine H 2\mathbf{sLine}_{\mathbb{C}} \in \mathbf{H}

for the 2-stack of complex super-line 2-bundle.

This has homotopy sheaves

kkπ k(2sLine)\pi_k( 2 \mathbf{sLine})
0 2\mathbb{Z}_2
1 2\mathbb{Z}_2
3 ×\mathbb{C}^\times

in the topos over supermanifolds. The π 0(2sLine) 2\pi_0(2 \mathbf{sLine}) \simeq \mathbb{Z}_2 says that locally there is not just one super line 2-bundle, namely the standard line 2-bundle, but also its odd “superpartner”.

Under geometric realization ||:HGrpdL wheTop{\vert-\vert} \;\colon\; \mathbf{H} \to \infty Grpd \simeq L_{whe} Top we have the homotopy type |2sLine|{\vert 2 \mathbf{sLine}\vert} with homotopy groups

kkπ k(|2sLine|)\pi_k({\vert 2 \mathbf{sLine}\vert})
0 2\mathbb{Z}_2
1 2\mathbb{Z}_2
300
4\mathbb{Z}

Since 2sLine2 \mathbf{sLine} is the Picard 3-group of the monoidal 2-stack 2sVect2 \mathbf{sVect} of super 2-vector bundles it is a supergeometric 3-group. Therefore there is the further delooping B2sLine\mathbf{B}2\mathbf{sLine} and hence the differential refinement 2sLine conn2\mathbf{sLine}_{conn} in the (∞,1)-pullback diagram

2sLine conn Ω cl 3 2sLine curv dRB2sLine. \array{ 2\mathbf{sLine}_{conn} &\to& \Omega^3_{cl} \\ \downarrow && \downarrow \\ 2 \mathbf{sLine} &\stackrel{curv}{\to}& \flat_{dR} \mathbf{B}2 \mathbf{sLine} } \,.

This is now the moduli 2-stack

Fields22Line connSmoothSuperGrpd \mathbf{Fields} \coloneqq 2\mathbf{2Line}_{conn} \;\; \in SmoothSuper\infty Grpd

for the B-field in type II string theory.

Supergravity CC-field

Proceeding in this fashion, let

B 3U(1) connΩ 31//B 2U(1)DK(U(1)dlogΩ 1dΩ 2dΩ 3) \mathbf{B^3}U(1)_{conn} \coloneqq \Omega^{3 \leq \bullet \leq 1} // \mathbf{B}^2 U(1) \simeq DK(U(1) \stackrel{d log}{\to} \Omega^1 \stackrel{d}{\to} \Omega^2 \stackrel{d}{\to}\Omega^3)

be the image under the Dold-Kan correspondence of the Deligne complex for degree-4 ordinary differential cohomology. This is the moduli 3-stack for circle 3-bundle with connections.

Fields whose moduli stack is

Fields:B 3U(1) conn* \mathbf{Fields} \;\colon\; \mathbf{B}^3 U(1)_{conn} \to *

are one component of the supergravity C-field.

II) Matter fields

Fundamental matter-fields as they appear in the standard model of particle physics, hence fundamental fermions such as electrons, quarks and neutrinos, are sections of a GG-associated bundle EXE \to X on spacetime, where GG is the gauge group of the force fields that interact with the matter fields and where EXE \to X is associated to the principal bundle underlying such a force gauge field, as discussed in Gauge fields above, and, if we are talking indeed about fermions, to the spin bundle given by the gravity-spin structure field discussed in Gravity and generalized geometry above.

More precisely, fermioninc matter fields are sections of these bundles regarded in supergeometry with the fibers regarded as odd-graded. (…)

General – sections of associated fiber \infty-bundles

We start by discussing the general mechanism by which sections of ρ\rho-associated ∞-bundles are an example of the general definition .

For GGrp(H)G \in \Grp(\mathbf{H}) a geometric ∞-group, there is an equivalence of (∞,1)-categories

GActH /BG G Act \simeq \mathbf{H}_{/\mathbf{B}G}

between that of ∞-actions of GG and the slice (∞,1)-topos of H\mathbf{H} over the delooping BG\mathbf{B}G of GG. Under this equivalence an ∞-action/∞-representation of GG on some VHV \in \mathbf{H} is equivalently a homotopy fiber sequence of the form

V V//G ρ¯ BG \array{ V &\to& V//G \\ && \downarrow^{\overline \rho} \\ && \mathbf{B}G }

in H\mathbf{H}. This is the universal rho-associated ∞-bundle: for PXP \to X any GG-principal ∞-bundle with modulating map g X:XBGg_X \;\colon\; X \to \mathbf{B}G the corresponding associated VV-fiber ∞-bundle is naturally equivalent to the (∞,1)-pullback of ρ¯\overline{\rho} along gg:

P× GVg X *(ρ¯). P \times_G V \simeq g_X^*(\overline{\rho}) \,.

From this and the universal property of the (∞,1)-pullback one finds that a section of the associated ∞-bundle P× GVXP \times_G V \to X is equivalently a map

ϕ:g Xρ¯ \phi : g_X \to \overline{\rho}

in H /BG\mathbf{H}_{/\mathbf{B}G}.

This means that such sections are fields in the sense of def. where

  • BgFieldsBG\mathbf{BgFields} \simeq \mathbf{B}G;

  • the background field is the moduli g Xg_X;

  • the moduli ∞-stack of fields is ρ¯H /BG\overline{\rho} \in \mathbf{H}_{/\mathbf{B}G}.

Fermions

fermion:

SS a spin representation

Fields:S//SpinBSpin \mathbf{Fields} \;\colon\; S//Spin \to \mathbf{B}Spin

in supergeometry (…)

Tensor fields

While the term physical field probably orignates from tensor field, few fields are fundamentally given by tensor fields. Nevertheless, tensor fields, being sections of a tensor product of copies of the tangent bundle and the cotangent bundle are certainly examples of the general notion of field as in def. . Gere we spell this out.

For XX a smooth manifold, a tensor field of rank (p,q)(p,q) is a section of the tensor product bundle

Γ(TX) C (X)p C (X)Γ(T *X) q. \Gamma(T X)^{\otimes_{C^\infty(X)} p} \otimes_{C^\infty(X)} \Gamma(T^* X)^{\otimes q} \,.

This is canonically the associated bundle to the GL(n)GL(n)-principal bundle which to which the tangent bundle is also canonically associated, by the given representation of GL(n)GL(n) on n(p+q)\mathbb{R}^{n(p+q)}.

The universal associated ∞-bundle of this representation is

Fields: n(p+q)//GL(n)BGL(n)\mathbf{Fields} \;\colon\; \mathbb{R}^{n (p+q)}//GL(n) \to \mathbf{B}GL(n) .

Hence for τ X:XBGL(n)\tau_X \colon X \to \mathbf{B}GL(n) the canonical map, the space of (p,q)(p,q)-tensor fields on XX is

[τ X,Fields] HH. [\tau_X, \mathbf{Fields}]_{\mathbf{H}} \in \mathbf{H} \,.

By passing to irreducible representations in the above, we obtain specifically the corresponding subclasses of tensor fields, such as differential forms.

Fields combining these properties

The above distinction of types of physical fields into into Sigma-model fields, Force fields of gravity, Gauge force fields and Matter fields can be helpful for reasoning about fields and types of theories in physics, but is not fundamental. The general definition of which all these types are examples reflects that. In fact, one way to read that definition and the above list of examples is to say that it shows that in higher geometry all types of fields are sigma-model fields: they are all given as maps Φ XFields\Phi_X \to \mathbf{Fields} from a domain spacetime/worldvolume+background field Φ X\Phi_X to a generalized target space Fields\mathbf{Fields} (the moduli ∞-stack of fields in the given slice (∞,1)-topos characterized by the nature of the background fields).

Accordingly, a general physical field in a general theory does not fall squarely into one of the above categories, but combines aspects of all of these. Here we discuss such examples.

General – Twisted differential-cocycles and -c\mathbf{c}-structures

We have seen that the moduli ∞-stack of a field of plain gravity or general geometry is a map c:BG^BG\mathbf{c} \colon \mathbf{B}\hat G \to \mathbf{B}G of moduli ∞-stack of principal ∞-bundles, regarded as an object in the slice H /BG\mathbf{H}_{/\mathbf{B}G}, and that the moduli ∞-stack of a plain GG-gauge field is that of principal ∞-connections BG conn\mathbf{B}G_{conn}. These two concepts have an evident unification if c\mathbf{c} has a differential refinement atc\at \mathbf{c} to a map of differential moduli stacks

BG^ conn c^ BG conn BG^ c BG, \array{ \mathbf{B}\hat G_{conn} &\stackrel{\hat \mathbf{c}}{\to}& \mathbf{B}G_{conn} \\ \downarrow && \downarrow \\ \mathbf{B}\hat G &\stackrel{\mathbf{c}}{\to}& \mathbf{B}G } \,,

regarded then as an object in the slice H /BG conn\mathbf{H}_{/\mathbf{B}G_{conn}}.

Since, as discussed above, a field with coefficients in c\mathbf{c} is equivalently a twisted c\mathbf{c}-structure, we may calla field with coefficients in c^\hat \mathbf{c} a twisted differential c-structure.

Moreover, we have seen that matter fields have moduli ∞-stacks coming not from a direct delooping BG*//G\mathbf{B}G \simeq *//G of an ∞-group GG, but from the homotopy quotient V//GV//G of an ∞-action of GG on some object VV. Combining this with differential refinement as above we consider fields whose moduli ∞-stacks are maps

(V//G) connc^(BG) connH /BG conn. (V//G)_{conn} \stackrel{\hat \mathbf{c}}{\to} (\mathbf{B}G)_{conn} \;\;\;\; \in \mathbf{H}_{/\mathbf{B}G_{conn}} \,.

This is a differential refinement of fields which are cocycles in twisted cohomology with local coefficients VV, hence twisted differential cohomology. The above case of twisted differential c-structures is a special case of this for VBAV \simeq \mathbf{B}A the delooping of the ∞-group that extended GG to G^\hat G.

Some further slight variants of these combinations appear in the examples below.

Nonabelian charged particle trajectories – Wilson line

We describe here a variant of the particle propagating on a spacetime XX, where now the particle is charged under a background gauge field for a nonabelian gauge group GG.

Let GG be a simple Lie group which is connected, simply connected and compact.

Let ρ\rho be an irreducible unitary representation of GG under which the particle is to be charged. By the Borel-Weil-Bott theorem this corresponds equivalently to a weight

λ,𝔤 *. \langle \lambda, -\rangle \in \mathfrak{g}^* \,.

Let TG λGT \simeq G_\lambda \hookrightarrow G be the maximal torus which is the stabilizer subgroup that fixes this weight under the coadjoint action of GG on its dual Lie algebra 𝔤 *\mathfrak{g}^*.

Set then in def. the moduli stack of background fields to be

BgField:Ω 1(,𝔤)//GBG connH \mathbf{BgField} \colon \Omega^1(-,\mathfrak{g})//G \simeq \mathbf{B}G_{conn} \;\;\; \mathbf{H}

as in def. . Moreover, let the moduli \infty-stack of fields in H /BG conn\mathbf{H}_{/\mathbf{B}G_{conn}} be given by the canonical map

Fields:Ω 1(,𝔤)//TΩ 1(,𝔤)//GBG conn \mathbf{Fields} \;\colon\; \Omega^1(-,\mathfrak{g})//T \to \Omega^1(-,\mathfrak{g})//G \simeq \mathbf{B}G_{conn}

which is induced by the defining inclusion of TT.

Remark

For UU \in CartSp H\hookrightarrow \mathbf{H} a field ϕ:UΩ 1(,𝔤)//T\phi \colon U \to \Omega^1(-,\mathfrak{g})//T is equivalently a Lie algebra valued form AΩ 1(U,𝔤)A \in \Omega^1(U,\mathfrak{g}), but a gauge transformation of such a field is constrained to be a smooth TT-valued function tC (U,T)C (U,G)t \in C^\infty(U,T) \hookrightarrow C^\infty(U, G) instead of an arbitrary GG-valued function.

Remark

With these definitions we have for XX a manifold that

  • a background gauge field Φ X:XBG conn\Phi_X \;\colon\; X \to \mathbf{B}G_{conn} is equivalently a GG-principal connection on XX (which if GG is assumed connected and simply connected and Σ\Sigma is of dimension at most 3 is equivalently just a Lie algebra valued form);

  • a field configuration is a diagram in H\mathbf{H} of the form

    X g Ω 1(,𝔤)//T g Fields BG conn, \array{ X &&\stackrel{\nabla^g}{\to}&& \Omega^1(-,\mathfrak{g})//T \\ & {}_{\nabla}\searrow &\swArrow_{g}& \swarrow_{\mathrlap{\mathbf{Fields}}} \\ && \mathbf{B}G_{conn} } \,,

    which is equivalently a differentially refined reduction of the structure group of the GG-principal bundle underlying \nabla. If \nabla is given by a globally defined connection form AA then this is equivalently just a smooth GG-valued function gg on XX that takes AA to A gA^g as indicated.

As a slight variant of prop. we have

Proposition

We have a homotopy fiber sequence

𝒪 λG/TΩ 1(,𝔤)//TFieldsBG conn, \mathcal{O}_\lambda \simeq G/T \to \Omega^1(-,\mathfrak{g})//T \stackrel{\mathbf{Fields}}{\to} \mathbf{B}G_{conn} \,,

where on the left we have the coadjoint orbit of λ,\langle \lambda , -\rangle.

Remark

This implies that if =0\nabla = 0 is the trivial background field, than fields ϕ:XFields\phi : X \to \mathbf{Fields} are equivalently maps to the coadjoint orbit

[X,Fields] H| Φ X=0C (X,𝒪 λ). [X, \mathbf{Fields}]_{\mathbf{H}}|_{\Phi_X = 0} \simeq C^\infty(X, \mathcal{O}_\lambda) \,.

Hence in this sector we have simply a sigma-model field as in Sigma-models above.

Remark

There is a canonical extended Lagrangian on [X,Fields] H[X, \mathbf{Fields}]_{\mathbf{H}} with the above definitions, whose action functional, if X=S 1X = S^1 is the closed connected 1-dimensional manifold, is that of a 1d Chern-Simons theory. The partition function of the corresponding quantum field theory is the holonomy map – the “Wilson line” – on the background gauge field connection \nabla.

This is discussed further at geometry of physics – Prequantum gauge theory and gravity.

3d Chern-Simons field with Wilson line

We discuss the field content of 3d Chern-Simons theory for a simple, simply connected compact Lie group with Wilson loops. This is an example of Bulk fields with defect fields.

Let Σ 3SmthMfdH\Sigma_3 \in SmthMfd \hookrightarrow \mathbf{H} be a smooth manifold of dimension 3, and let

C X:S 1Σ 3 C_X \;\colon\; S^1 \to \Sigma^3

be the embedding of a knot. Let the moduli of fields be

Fields:Ω 1(,𝔠)//TBG conn \mathbf{Fields} : \Omega^1(-,\mathfrak{c})//T \to \mathbf{B}G_{conn}

as defined in Nonabelian charged particle trajectories – Wilson lines above. Regarding the not inclusion as a defect in the 3-dimnensional manifold, a bulk-defect fiedl configuration according to def. is a map

ϕ:C XFields \phi \;\colon\; C_X \to \mathbf{Fields}

in H (Δ 1)\mathbf{H}^{(\Delta^1)}. This is equivalently a diagram

S 1 A| S 1 g Ω 1(,𝔤)//T C g Σ 3 A BG conn \array{ S^1 &\stackrel{A|_{S^1}^g}{\to}& \Omega^1(-,\mathfrak{g})//T \\ \downarrow^{\mathrlap{C}} &\swArrow_{g}& \downarrow \\ \Sigma_3 &\stackrel{A}{\to}& \mathbf{B}G_{conn} }

in H\mathbf{H}. This in turn is equivalently

  1. a Lie algebra valued form AΩ 1(Σ 3,𝔤)A \in \Omega^1(\Sigma_3, \mathfrak{g}) (the bulk gauge field of GG-Chern-Simons theory)

  2. a gg-valued function on the circle gC (S 1,G)g \in C^\infty(S^1, G)

which determine a background gauge field A| S 1 gA|_{S^1}^g on the knot.

Moreover a gauge transformation between two such field configurations κ:ϕϕ\kappa \;\colon\; \phi \Rightarrow \phi' is equivalently a gauge transformaiton of AA and of A| S 1A|_{S^1} such that together they intertwine gg and gg'. In particular if the bulk field is held fixed, then such a gauge transformation is a function t:S 1Tt \colon S^1 \to T such that g=tgg' = t g. This means that the gauge equivalence classes of field confiurations for fixed background gauge field are labeled by maps to the coadjoint orbit 𝒪 λG/T\mathcal{O}_\lambda \simeq G/T as above.

This are the field confugurations for 3d Chern-Simons theory (see the discussion there) with Wilson lines (FSS).

Chan-Paton gauge fields on D-branes: twisted differential K-cocycles

We discuss the Chan-Paton gauge fields over D-branes in type II string theory.

The extension of groups U(1)U(n)PU(n)U(1) \to U(n) \to PU(n) sits in a long homotopy fiber sequence of \infty-stacks

U(1)U(n)PU(n)BU(1)BU(n)BPU(n)dd nB 2U(1) U(1) \to U(n) \to PU(n) \to \mathbf{B}U(1) \to \mathbf{B}U(n) \to \mathbf{B}PU(n) \stackrel{\mathbf{dd}_n}{\to} \mathbf{B}^2 U(1)

Let

Fields:(BU(n)//BU(1)) connB 2U(1) conn \mathbf{Fields} \colon (\mathbf{B}U(n)//\mathbf{B}U(1))_{conn} \to \mathbf{B}^2 U(1)_{conn}

be the differential refinement of that universal Dixmier-Douady class.

Let

ι X:QX \iota_X \;\colon\; Q \hookrightarrow X

be a submanifold, to be thought of as a D-brane worldvolume in an ambient spacetime XX.

Then a field configuration of the B-field on XX together with a compatible rank-nn gauge field on the D-brane is a map

ι XFields \iota_X \to \mathbf{Fields}

in H (Δ 1)\mathbf{H}^{(\Delta^1)}, hence a diagram in H\mathbf{H} of the form

Q (BU(n)//BU(1)) ι X dd^ n X B B 2U(1) conn \array{ Q &\stackrel{}{\to}& (\mathbf{B}U(n)//\mathbf{B}U(1)) \\ {}^{\iota_X}\downarrow &\swArrow_{\simeq}& \downarrow^{\mathrlap{\hat \mathbf{dd}_n}} \\ X &\stackrel{\nabla_B}{\to}& \mathbf{B}^2 U(1)_{conn} }

This identifies a twisted bundle with connection on the D-brane whose twist is the class in H 3(X,)H^3(X, \mathbb{Z}) of the bulk B-field.

This relation is the Kapustin-part of the Freed-Witten-Kapustin anomaly cancellation for the bosonic string or else for the type II string on Spin cSpin^c D-branes. (FSS)

Remark

If we regard the B-field as a background field for the Chan-Paton gauge field, then remark determines along which maps of the B-field the Chan-Paton gauge field may be transformed.

Y X (BU(n)//BU(1)) conn B 2U(1) conn. \array{ Y &\stackrel{}{\to}& X &\stackrel{}{\to}& (\mathbf{B}U(n)//\mathbf{B}U(1))_{conn} \\ & \searrow & \downarrow & \swarrow \\ &&\mathbf{B}^2 U(1)_{conn} } \,.

On the local connection forms this acts as

AA+α. A \mapsto A + \alpha \,.
BB+dα B \mapsto B + d \alpha

This is the famous gauge transformation law known from the string theory literature.

Anomaly-free heterotic string background: differential String cString^c-structure

Let

Fields:BSpin conn12p^ 1B 3U(1) conn \mathbf{Fields} \;\colon\; \mathbf{B}Spin_{conn} \stackrel{\tfrac{1}{2}\hat \mathbf{p}_1}{\to} \mathbf{B}^3 U(1)_{conn}

Let

Φ X:Xg XB(E 8×E 8) connc^ 2B 3U(1) \Phi_X \;\colon\; X \stackrel{g_X}{\to} \mathbf{B}(E_8 \times E_8)_{conn} \stackrel{\hat \mathbf{c}_2}{\to} \mathbf{B}^3 U(1)

then fields are twisted differential string structures or equivalently differential String c\mathbf{String}^{\mathbf{c}}-structure with underlying gauge bundle give by Φ X\Phi_X, the differential refinement of the discussion in Higher spin structure above.

As in the discussion there, we implement the constraint that the string structure is on the tangent bundle τ XcololXBGL(n)\tau_X \;\colol\; X \to \mathbf{B}GL(n) of the manifold by settting

Fields:BSpin conn(p,12p^ 1)BGL(n) connB 3U(1) conn \mathbf{Fields} \;\colon\; \mathbf{B}Spin_{conn} \stackrel{(p,\tfrac{1}{2}\hat \mathbf{p}_1)}{\to} \mathbf{B}GL(n)_conn \mathbf{B}^3 U(1)_{conn}

and

Φ X:X( X,c^ 2(g X))BGL(n) conn×B 3U(1) conn. \Phi_X \;\colon\; X \stackrel{(\nabla_X, \hat \mathbf{c}_2(g_X))}{\to} \mathbf{B}GL(n)_{conn} \times \mathbf{B}^3 U(1)_{conn} \,.

Then a field ϕ:Φ XFields\phi \;\colon\; \Phi_X \to \mathbf{Fields} is the higher spin-connection version as discussed in Gravity above of a twisted differential string structure.

The moduli stack of these fields is that of background fields that satisfy the Green-Schwarz anomaly cancellation in heterotic supergravity. (SSS).

prequantum field theory

holographic principle in quantum field theory

bulk field theoryboundary field theory
dimension n+1n+1dimension nn
fieldsource
wave functioncorrelation function
space of quantum statesconformal blocks

References

Lecture notes and expositions

A survey of the main field species is given in

Most of the above material as of 2013 was written as part of a lecture series

A exposition specifically for gauge fields is also in

An exposition of the general formulation of fields in terms of moduli stacks in slice (∞,1)-toposes is in section 4 of

Lecture notes on fields as discussed here with applications in string theory are in

An introductory survey is also in section 1 of

Original articles on the general notion

For references on the tradtional formulation of physical fields by sections of field bundles as discussed above see there references there.

The formulation of physical fields as cocycles in twisted cohomology in an (∞,1)-topos as in the Definition-section above originates around

Further articles since then are listed at

In particular the general notion of fields as twisted differential c-structures appears in

and the general theory of cohomology and twisted cohomology with local coefficient ∞-bundles as referred to in Relation to twisted cohomology above as well as the theory of associated ∞-bundles as in Sections of associated ∞-bundles is laid out in

Some examples of fields in this sense are called “relative fields” in

Discussion of AQFT with stacky fields and co-stacky local nets of observables is in

Original articles on special cases

The supergeometric nature of the B-field in type II string theory had been pointed out in

with a more detailed account in

The formulation of this in smooth super infinity-groupoids is (FSS, section 4.3).

Last revised on January 4, 2020 at 11:37:00. See the history of this page for a list of all contributions to it.