nLab A first idea of quantum field theory -- Field variations

Field variations

Field variations

In this chapter we discuss these topics:

\,

Given a field bundle as in def. above, then we know what type of quantities the corresponding field histories assign to a given spacetime point (a given event). Among all consistent such field histories, 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 histories should be determined over arbitrary small spacetime regions, in fact over the infinitesimal neighbourhood of any spacetime point (remark below). This means equivalently that the realized field histories should be those that satisfy a given differential equation, namely an equation between the partial derivatives of the field history at any spacetime point. This is called the equation of motion of the field theory (def. below).

In order to formalize this, it is useful to first collect all the possible partial derivatives that a field history 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 of fields is just differential calculus on the jet bundle of the field bundle, this we consider in def. below.

\,

jet bundles

Definition

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

Given a field fiber super vector space F= b|sF = \mathbb{R}^{b\vert s} with linear basis (ϕ a)(\phi^a), 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 super Cartesian space (def. ) 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} ) \,,\, \cdots \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 bb for the even field coordinates, and then from b+1b+1 to b+sb+s for the odd-graded field coordinates and the lower indices are symmetric:

(1)ϕ μ 1μ iμ jμ k a=ϕ μ 1μ jμ iμ k a. \phi^a_{\mu_1 \cdots \mu_{i} \cdots \mu_j \cdots \mu_k} \;=\; \phi^a_{\mu_1 \cdots \mu_{j} \cdots \mu_i \cdots \mu_k} \,.

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,0 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,0}}{\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)SuperSmoothSet J^\infty_\Sigma(E) \in SuperSmoothSet

is the direct limit of super smooth sets (def. ) over these finite order jet bundles. Explicitly this means that it is the smooth set which is defined by the fact that a smooth function (a plot, by prop. )

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

from some super Cartesian space UU is equivalently a system of ordinary smooth functions into all the finite-order jet spaces

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

such that this system is compatible with the above projection maps, i.e. such that

k(jb k+1,kf k+1=f k)AAAAAAA U f 2 f 1 f 0 jb 3,2 J Σ 2(E) jb 2,1 J Σ 1(E) jb 1 E jb 2 jb 1 fb Σ \underset{k \in \mathbb{N}}{\forall} \left( jb_{k+1,k} \circ f_{k+1} = f_k \right) \phantom{AAAAAAA} \array{ && && U && \\ && & {}^{\mathllap{f_2}}\swarrow& {}_{\mathllap{f_1}}\downarrow &\searrow^{f_0}& \\ \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 && }

The coordinate functions ϕ μ 1μ k a\phi^a_{\mu_1 \cdots \mu_k} on a jet bundle (def. ) are to be thought of as partial derivatives x μ 1x μ kΦ a\frac{\partial}{\partial x^{\mu_1}} \cdots \frac{\partial}{\partial x^{\mu_k}} \Phi^a of components Φ a\Phi^a of would-be field histories Φ\Phi. The power of the jet bundle is that it allows to disentangle relations between would-be partial derivatives of field history components in themselves from consideration of actual field histories. In traditional physics texts this is often done implicitly. We may make it fully explit by the operation of jet prolongation which reads in a field history and records all its partial derivatives in the form of a section of the jet bundle:

Definition

(jet prolongation)

Let EfbΣE \overset{fb}{\to} \Sigma be a field bundle (def. ) which happens to be a trivial vector bundle over Minkowski spacetime as in example .

There is a smooth function from the space of sections of EE, the space of field histories (example ) to the space of sections of the jet bundle J Σ (E)jb ΣJ^\infty_\Sigma(E) \overset{jb^\infty}{\to} \Sigma (def. ) 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_\Sigma}{\longrightarrow}& \Gamma_\Sigma(J^\infty_\Sigma(E)) \\ (\Phi^a) &\mapsto& \left( \left( \Phi^a \right) \,,\, \left( \frac{\partial \Phi^a}{\partial x^\mu} \right) \,,\, \left( \frac{\partial^2 \Phi^a}{\partial x^{\mu_1} \partial x^{\mu_2}} \right) \,,\, \cdots \right) } \,.

This is called the operation of jet prolongation: j Σ (Φ)j^\infty_\Sigma(\Phi) is the jet prolongation of Φ\Phi.

Remark

(jet bundle in terms of synthetic differential geometry)

In terms of the infinitesimal geometry of formal smooth sets (def. ) the jet bundle J Σ (E)jb ΣJ^\infty_\Sigma(E) \overset{jb_\infty}{\to} \Sigma (def. ) of a field bundle EfbΣE \overset{fb}{\to}\Sigma has the following incarnation:

A section of the jet bundle over a point xΣx \in \Sigma of spacetime (an event), is equivalently a section of the original field bundle over the infinitesimal neighbourhood 𝔻 x\mathbb{D}_x of that point (example ):

{ J Σ (E) jb {x} ΣAA}AAAA{ E fb 𝔻 x ΣAA}. \left\{ \array{ && J^\infty_\Sigma(E) \\ & \nearrow & \downarrow^{\mathrlap{jb_\infty}} \\ \{x\} &\hookrightarrow& \Sigma } \phantom{AA} \right\} \phantom{AA} \simeq \phantom{AA} \left\{ \array{ && E \\ & {}^{\mathllap{}}\nearrow & \downarrow^{\mathrlap{fb}} \\ \mathbb{D}_x &\hookrightarrow& \Sigma } \phantom{AA} \right\} \,.

Moreover, given a field history Φ\Phi, hence a section of the field bundle, then its jet prolongation j (Φ)j^\infty(\Phi) (def. ) is that section of the jet bundle which under the above identification is simply the restriction of Φ\Phi to the infinitesimal neighbourhood of xx:

E Φ fb Σ = ΣAAAAj Σ AAAA J Σ (E) j Σ (Φ) jb Σ = ΣAAAA()| {x}AAAA E Φ| 𝔻 x fb 𝔻 x Σ. \array{ && E \\ & {}^{\mathllap{\Phi}}\nearrow & \downarrow^{\mathrlap{fb}} \\ \Sigma & = & \Sigma } \phantom{AAAA}\overset{j^\infty_\Sigma}{\mapsto} \phantom{AAAA} \array{ && J^\infty_\Sigma(E) \\ & {}^{\mathllap{j^\infty_\Sigma(\Phi)}}\nearrow & \downarrow^{\mathrlap{jb_\infty}} \\ \Sigma &=& \Sigma } \phantom{AAAA} \overset{(-)\vert_{\{x\}} }{\mapsto} \phantom{AAAA} \array{ && E \\ & {}^{\mathllap{\Phi\vert_{\mathbb{D}_x}}}\nearrow & \downarrow^{\mathrlap{fb}} \\ \mathbb{D}_x &\hookrightarrow& \Sigma } \,.

This follows with an argument as in example .

Hence in synthetic differential geometry we have:

The jet of a section Φ\Phi at xx is simply the restriction of that section to the infinitesimal neighbourhood of xx.

(Khavkine-Schreiber 17, section 3.3)

So the canonical coordinates on the jet bundle are the spacetime-point-wise possible values of fields and field derivates, while the jet prolongation picks the actual collections of field derivatives that may occur for an actual field history.

Example

(universal Faraday tensor/field strength on jet bundle)

Consider the field bundle (def. ) of the electromagnetic field (example ) over Minkowski spacetime Σ\Sigma (def. ), i.e. the cotangent bundle E=T *ΣE = T^\ast \Sigma (def. ) with jet coordinates ((x μ),(a μ),(a μ,ν),)((x^\mu), (a_\mu), (a_{\mu,\nu}), \cdots ) (def. ). Consider the functions on the jet bundle given by the linear combinations

(2)f μν a [ν,μ] 12(a ν,μa μ,ν) \begin{aligned} f_{\mu \nu} & \coloneqq a_{[\nu,\mu]} \\ & \coloneqq \tfrac{1}{2}\left( a_{\nu,\mu} - a_{\mu,\nu} \right) \end{aligned}

of the first order jets.

Then for an electromagnetic field history (“vector potential”), hence a section

AΓ Σ(T *Σ)=Ω 1(Σ) A \in \Gamma_\Sigma(T^\ast \Sigma) = \Omega^1(\Sigma)

with components A *(a μ)=A μA^\ast (a_\mu) = A_\mu, its jet prolongation (def. )

j Σ (A)Γ Σ(J Σ (T *Σ)) j^\infty_\Sigma(A) \in \Gamma_\Sigma(J^\infty_\Sigma(T^\ast \Sigma))

has components

((A μ),(dA μdx ν),). \left( (A_\mu), \left( \frac{d A_\mu}{d x^\nu} \right) , \cdots \right) \,.

The pullback of the functions f μνf_{\mu \nu} (2) along this jet prolongation are the components of the Faraday tensor of the field (?):

(j Σ (A)) *(f μν) =F μν =(dA) μν. \begin{aligned} \left(j^\infty_\Sigma(A)\right)^\ast(f_{\mu \nu}) & = F_{\mu \nu} \\ & = (d A)_{\mu \nu} \,. \end{aligned}

More generally, for 𝔤\mathfrak{g} a Lie algebra and

ET *Σ𝔤 E \coloneqq T^\ast \Sigma \otimes \mathfrak{g}

the field bundle for Yang-Mills theory from example , consider the functions

f μν αΩ Σ 0,0(E)=C (J Σ (E)) f^\alpha_{\mu \nu} \;\in \; \Omega^{0,0}_\Sigma(E) = C^\infty(J^\infty_\Sigma(E))

on the jet bundle given by

(3)f μν α 12(a ν,μ αa μ,ν α+γ α βγa μ βa ν γ) \begin{aligned} f^\alpha_{\mu \nu} & \coloneqq \tfrac{1}{2} \left( a^\alpha_{\nu,\mu} - a^\alpha_{\mu,\nu} + \gamma^{\alpha}{}_{\beta \gamma} a^\beta_{\mu} a^\gamma_{\nu} \right) \end{aligned}

where (γ α βγ)(\gamma^\alpha{}_{\beta \gamma}) are the structure constants of the Lie algebra as in (?), and where the square brackets around the indices denote anti-symmetrization.

We may call this the universal Yang-Mills field strength, being the covariant exterior derivative of the universal Yang-Mills field history.

For 𝔤=\mathfrak{g} = \mathbb{R} the line Lie algebra and kk the canonical inner product on \mathbb{R} the expression (3) reduces to the universal Faraday tensor (2) for the electromagnetic field (example ).

For AΓ Σ(T *Σ𝔤)=Ω 1(Σ,𝔤)A \in \Gamma_\Sigma(T^\ast \Sigma \otimes \mathfrak{g}) = \Omega^1(\Sigma,\mathfrak{g}) a field history of Yang-Mills theory, hence a Lie algebra-valued differential 1-form, then the value of this function on that field are called the components of the covariant exterior derivative or field strength

F μν A *(D [μa ν]) =(d AA) μν \begin{aligned} F_{\mu \nu} & \coloneqq A^\ast(D_{[\mu} a_{\nu]}) \\ & = (d_A A)_{\mu \nu} \end{aligned}
Example

(universal B-field strength on jet bundle)

Consider the field bundle (def. ) of the B-field (example ) over Minkowski spacetime Σ\Sigma (def. ) with jet coordinates ((x μ),(b μν),(b μν,ρ),)((x^\mu), (b_{\mu \nu}), (b_{\mu \nu,\rho}), \cdots ) (def. ). Consider the functions on the jet bundle given by the linear combinations

(4)h μ 1μ 2μ 3 12b [μ 1μ 2,μ 3] 16(σpermutation(1) |σ|b μ σ 1μ σ 2,μ σ 3) =b μ 1μ 2,μ 3+b μ 2μ 3,μ 1+b μ 3μ 1,μ 2, \begin{aligned} h_{\mu_1 \mu_2 \mu_3} & \coloneqq \tfrac{1}{2} b_{[\mu_1 \mu_2, \mu_3]} \\ & \coloneqq \tfrac{1}{6} \left( \underset{ \sigma \atop \text{permutation} }{\sum} (-1)^{ {\vert \sigma \vert} } b_{\mu_{\sigma_1} \mu_{\sigma_2}, \mu_{\sigma_3}} \right) \\ & = b_{\mu_1 \mu_2, \mu_3} + b_{\mu_2 \mu_3, \mu_1} + b_{\mu_3 \mu_1, \mu_2} \,, \end{aligned}

where in the last step we used that b μν=b νμb_{\mu \nu} = - b_{\nu \mu}.

\,

While the jet bundle (def. ) is not finite dimensional, reflecting the fact that there are arbitrarily high orders of spacetime derivatives of a field histories, it turns out that it is only very “mildly infinite dimensional” in that smooth functions on jet bundles turn out to locally depend on only finitely many of the jet coordinates (i.e. only on a finite order of spacetime derivatives). This is the content of the following prop. .

This reflects the locality of Lagrangian field theory defined over jet bundles: If functions on the jet bundle could depend on infinitely many jet coordinates, then by Taylor series expansion of fields the function at one point over spacetime could in fact depend on field history values at a different point of spacetime. Such non-local dependence is ruled out by prop. below.

In practice this means that the situation is very convenient:

  1. Any given local Lagrangian density (which will define a field theory, we come to this in def. below) will locally depend on some finite number kk of derivatives and may hence locally be treated as living on the ordinary manifold J Σ k(E)J^k_\Sigma(E).

  2. while at the same time all formulas (such as for the Euler-Lagrange equations, def. ) work uniformly without worries about fixing a maximal order of derivatives.

Proposition

(jet bundle is a locally pro-manifold)

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.

(see Khavkine-Schreiber 17, section 2.2 and 3.3)

\,

differential operators

Example shows that the de Rham differential (def. ) may be encoded in terms of composing jet prolongation with a suitable function on the jet bundle. More generally, jet prolongation neatly encodes (possibly non-linear) differential operators:

Definition

(differential operator)

Let E 1fb 1ΣE_1 \overset{fb_1}{\to} \Sigma and E 2fb 2ΣE_2 \overset{fb_2}{\to} \Sigma be two smooth fiber bundles over a common base space Σ\Sigma. Then a (possibly non-linear) differential operator from sections of E 1E_1 to sections of E 2E_2 is a bundle morphism from the jet bundle of E 1E_1 (def. ) to E 2E_2:

J Σ (E 1) D˜ E 2 Σ \array{ J^\infty_\Sigma(E_1) && \overset{\tilde D}{\longrightarrow} && E_2 \\ & \searrow && \swarrow \\ && \Sigma }

or rather the function DD between the spaces of sections of these bundles which this induces after composition with jet prolongation (def. ):

D:Γ Σ(E 1)j Σ Γ Σ(J Σ (E 1))D˜()Γ Σ(E 2). D \;\colon\; \Gamma_\Sigma(E_1) \overset{j^\infty_\Sigma}{\longrightarrow} \Gamma_\Sigma(J^\infty_\Sigma(E_1)) \overset{\tilde D \circ (-)}{\longrightarrow} \Gamma_\Sigma(E_2) \,.

If both E 1E_1 and E 2E_2 are vector bundles (def. ) so that their spaces of sections canonically are vector spaces, then DD is called a linear differential operator if it is a linear function between these vector spaces. This means equivalently that D˜\tilde D is a linear function in jet coordinates.

Definition

(normally hyperbolic differential operator on Minkowski spacetime)

Let EfbΣE \overset{fb}{\to} \Sigma be a field bundle (def. ) which is a vector bundle (def. ) over Minkowski spacetime (def. ). Write E *ΣE^\ast \overset{}{\to} \Sigma for its dual vector bundle (def. )

A linear differential operator (def. )

P:Γ Σ(E)Γ Σ(E *) P \;\colon\; \Gamma_\Sigma(E) \longrightarrow \Gamma_{\Sigma}(E^\ast)

is of second order if it has a coordinate expansion of the form

(PΦ) a=P ab μν 2Φ bx μx ν+P ab μΦ bx μ+P abΦ b (P \Phi)_a \;=\; P^{\mu \nu}_{a b} \frac{\partial^2 \Phi^b}{\partial x^\mu \partial x^\nu} + P^\mu_{a b} \frac{\partial \Phi^b}{\partial x^\mu} + P_{a b} \Phi^b

for {(P ab μν),(P ab μ),P ab}\{(P^{\mu \nu}_{a b}), (P^\mu_{a b}), P_{a b}\} smooth functions on Σ\Sigma.

This is called a normally hyperbolic differential operator if its principal symbol (P ab μν)(P^{\mu \nu}_{a b}) is proportional to the inverse Minkowski metric (prop./def. ) (η μν)(\eta^{\mu \nu}), i.e.

P ab μν=η μνQ ab. P^{\mu \nu}_{a b} = \eta^{\mu \nu} Q_{a b} \,.
Definition

(formally adjoint differential operators)

Let EfbΣE \overset{fb}{\to} \Sigma be a smooth vector bundle (def. ) over Minkowski spacetime Σ= p,1\Sigma = \mathbb{R}^{p,1} (def. ) and write E *ΣE^\ast \to \Sigma for the dual vector bundle (def. ).

Then a pair of linear differential operators (def. ) of the form

P,P *:Γ Σ(E 1)Γ Σ(E *) P, P^\ast \;\colon\; \Gamma_\Sigma(E_1) \longrightarrow \Gamma_\Sigma(E^\ast)

are called formally adjoint differential operators via a bilinear differential operator

(5)K:Γ Σ(E)Γ Σ(E)Γ Σ( pT *Σ) K \;\colon\; \Gamma_\Sigma(E) \otimes \Gamma_\Sigma(E) \longrightarrow \Gamma_\Sigma(\wedge^{p} T^\ast \Sigma)

with values in differential p-forms (def. ) such that for all sections Φ 1,Φ 2Γ Σ(E)\Phi_1, \Phi_2 \in \Gamma_\Sigma(E) we have

(P(Φ 1)Φ 2Φ 1P *(Φ 2))dvol Σ=dK(Φ 1,Φ 2), \left( P(\Phi_1) \cdot \Phi_2 - \Phi_1 \cdot P^\ast(\Phi_2) \right) dvol_\Sigma \;=\; d K(\Phi_1, \Phi_2) \,,

where dvol Σdvol_\Sigma is the volume form on Minkowski spacetime (?) and where dd denoted the de Rham differential (def. ).

This implies by Stokes' theorem (prop. ) in the case of compact support that under an integral PP and P *P^\ast are related via integration by parts.

(Khavkine 14, def. 2.4)

\,

variational calculus and the variational bicomplex

Remark

(variational calculus – replacing plain bundle morphisms by differential operators)

Various concepts in variational calculus, especially the concept of evolutionary vector fields (def. below) and gauge parameterized implicit infinitesimal gauge symmetries (def. below) follow from concepts in plain differential geometry by systematically replacing plain bundle morphisms by bundle morphisms out of the jet bundle, hence by differential operators D˜\tilde D as in def. .

Definition

(variational derivative and total spacetime derivative – the variational bicomplex)

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

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

Since the jet bundle unifies 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

(6)df dfdx μdx μ (fx μ+fϕ aϕ ,μ a+fϕ ,ν aϕ ,νμ a+)dx μ \begin{aligned} d f & \coloneqq \frac{d f}{d x^\mu} \mathbf{d} x^\mu \\ & \coloneqq \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 variational derivative or vertical derivative

(7)δ:Ω (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:

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

We may then extend the horizontal derivative from functions on the jet bundle to all differential forms on the jet bundle by declaring that

dddd d \circ \mathbf{d} \;\coloneqq\; - \mathbf{d} \circ d

which by (8) is equivalent to

(9)dδ=δd. d \circ \;\delta\; = - \delta \circ d \,.

For example

dδϕ =δdϕ =δ(ϕ ,μdx μ) =δϕ ,μdx μ. \begin{aligned} d \delta \phi & = - \delta d \phi \\ & = - \delta \left( \phi_{,\mu} d x^\mu \right) \\ & = - \delta \phi_{,\mu} \wedge d x^\mu \,. \end{aligned}

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:

(10)C (J Σ (E))= Ω 0,0(E) d Ω Σ 1,0(E) d Ω Σ 2,0(E) d d Ω Σ p+1,0(E) δ δ δ δ Ω Σ 0,1(E) d Ω Σ 1,1(E) d Ω Σ 2,1(E) d d Ω Σ p+1,1(E) δ δ δ δ Ω 0,2(E) d Ω 1,2(E) d Ω 2,2(E) d d Ω Σ p+1,2(E) δ δ δ δ . \array{ C^\infty(J^\infty_\Sigma(E)) = & \Omega^{0,0}(E) &\overset{d}{\longrightarrow}& \Omega^{1,0}_\Sigma(E) &\overset{d}{\longrightarrow}& \Omega^{2,0}_\Sigma(E) &\overset{d}{\longrightarrow}& \cdots &\overset{d}{\longrightarrow}& \Omega^{p+1,0}_\Sigma(E) \\ & \downarrow^{\mathrlap{\delta}} && \downarrow^{\mathrlap{\delta}} && \downarrow^{\mathrlap{\delta}} && \cdots && \downarrow^{\mathrlap{\delta}} \\ & \Omega^{0,1}_\Sigma(E) &\overset{d}{\longrightarrow}& \Omega^{1,1}_\Sigma(E) &\overset{d}{\longrightarrow}& \Omega^{2,1}_\Sigma(E) &\overset{d}{\longrightarrow}& \cdots &\overset{d}{\longrightarrow}& \Omega^{p+1,1}_\Sigma(E) \\ & \downarrow^{\mathrlap{\delta}} && \downarrow^{\mathrlap{\delta}} && \downarrow^{\mathrlap{\delta}} && \cdots && \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 &\overset{d}{\longrightarrow}& \Omega^{p+1,2}_\Sigma(E) \\ & \downarrow^{\mathrlap{\delta}} && \downarrow^{\mathrlap{\delta}} && \downarrow^{\mathrlap{\delta}} && \cdots && \downarrow^{\mathrlap{\delta}} \\ & \vdots && \vdots && \vdots } \,.

This is called the variational bicomplex.

Accordingly we will refer to the differential forms on the jet bundle often as variational differential forms.

\,

derivatives on jet bundle

def.symbolsname in physicsname in mathematics
def. d\; \mathbf{d}de Rham differentialde Rham differential
ddx μddx μ\; d \coloneqq d x^\mu \frac{d}{d x^\mu}total spacetime derivativehorizontal 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 spacetime derivative
along μ\partial_\mu
horizontal derivative
along μ\partial_\mu
δdd\; \delta \coloneqq \mathbf{d} - dvariational derivativevertical derivative
δ ELLdL+dΘ BFV\; \delta_{EL} \mathbf{L} \coloneqq \mathbf{d}\mathbf{L} + d \Theta_{BFV}Euler-Lagrange variationEuler-Lagrange operator
s BV\; s_{BV}BV-differentialKoszul differential
s BRST\; s_{BRST} BRST differentialChevalley-Eilenberg differential
s\; s BV-BRST differentialChevalley-Eilenberg-Koszul-Tate differential
sd\; s - d local BV-BRST differential

\,

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 spacetime total derivative (horizontal derivative) of a spacetime coordinate function x μx^\mu coincides with its ordinary de Rham differential

    dx μ =x μx νdx ν =dx μ \begin{aligned} d x^\mu & = \frac{\partial x^\mu}{ \partial x^\nu} \mathbf{d}x^\nu \\ & = \mathbf{d} x^\mu \end{aligned}

    which hence is a horizontal 1-form

    dx μΩ Σ 1,0(E). \mathbf{d}x^\mu \;\in\; \Omega^{1,0}_\Sigma(E) \,.
  • Therefore the variational derivative (vertical derivative) of a spacetime coordinate function vanishes:

    (11)δx μ=0, \delta x^\mu = 0 \,,

    reflective the fact that x μx^\mu is not a field coordinate that could be varied.

  • In particular the given volume form on Σ\Sigma gives a horizontal p+1p+1-form on the jet bundle, which has the same coordinate expression (and which we denote by the same symbol)

    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}_{\Sigma}(E)

    for

    f μ 1μ k=f μ 1μ k((x μ),(ϕ a),(ϕ ,μ a),)C (J Σ (E)) f_{\mu_1 \cdots \mu_k} = f_{\mu_1 \cdots \mu_k}\left((x^\mu), (\phi^a), (\phi^a_{,\mu}), \cdots\right) \in C^\infty(J^\infty_\Sigma(E))

    any smooth function of the spacetime coordinates and the field coordinates (locally depending only on a finite order of these, by prop. ).

  • In particular every horizontal (p+1)(p+1)-form LΩ p+1,0(E)\mathbf{L} \in \Omega^{p+1,0}(E) is proportional to the above volume form

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

    for L=L((x μ),(ϕ a),(ϕ ,μ a),)L = L((x^\mu), (\phi^a), (\phi^a_{,\mu}), \cdots) some smooth function that may depend on all the spacetime and field coordinates.

  • The spacetimes total derivatives /horizontal derivatives) of the variational derivative (vertical derivative) δϕ\delta \phi of a field variable is the differential 2-form of horizontal degree 1 and vertical degree 1 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”.

The following are less trivial properties of variational differential forms:

Proposition

(pullback along jet prolongation compatible with total spacetime derivatives)

Let EfbΣE \overset{fb}{\to} \Sigma be a field bundle over a spacetime Σ\Sigma (def. ), with induced jet bundle J Σ (E)J^\infty_\Sigma(E) (def. ).

Then for ΦΓ Σ(E)\Phi \in \Gamma_\Sigma(E) any field history, the pullback of differential forms (def. )

j Σ (Φ) *:Ω (J Σ (E))Ω (Σ) j^\infty_\Sigma(\Phi)^\ast \;\colon\; \Omega^\bullet(J^\infty_\Sigma(E)) \longrightarrow \Omega^\bullet(\Sigma)

along the jet prolongation of Φ\Phi (def. )

  1. intertwines the de Rham differential on spacetime (def. ) with the total spacetime derivative (horizontal derivative) on the jet bundle (def. ):

    dj Σ (Φ) *=j Σ (Φ) *d. d \circ j^\infty_\Sigma(\Phi)^\ast \;=\; j^\infty_\Sigma(\Phi)^\ast \circ d \,.
  2. annihilates all vertical differential forms (def. ):

    j Σ (Φ) *| Ω Σ r,1(E)=0. j^\infty_\Sigma(\Phi)^\ast\vert_{\Omega^{r, \geq 1}_\Sigma(E)} = 0 \,.
Proof

The operation of pullback of differential forms along any smooth function intertwines the full de Rham differentials (prop. ). In particular we have that

dj Σ (Φ) *=j Σ (Φ) *d. d \circ j^\infty_\Sigma(\Phi)^\ast = j^\infty_\Sigma(\Phi)^\ast \circ \mathbf{d} \,.

This means that the second statement immediately follows from the first, by definition of the variational (vertical) derivative as the difference between the full de Rham differential and the horizontal one:

j Σ (Φ) *δ =j Σ (Φ) *(dd) =(dd)j Σ (Φ) * =0 \begin{aligned} j^\infty_\Sigma(\Phi)^\ast \circ \delta & = j^\infty_\Sigma(\Phi)^\ast \circ (\mathbf{d} - d) \\ & = (d - d) \circ j^\infty_\Sigma(\Phi)^\ast \\ & = 0 \end{aligned}

It remains to see the first statement:

Since the jet prolongation j Σ (Φ)j^\infty_\Sigma(\Phi) preserves the spacetime coordinates x μx^\mu (being a section of the jet bundle) it is immediate that the claimed relation is satisfied on the horizontal basis 1-forms dx μ=dx μ\mathbf{d}x^\mu = d x^\mu (example ):

dj Σ (Φ) *(dx μ)=d 2x μ=0AAAAAj Σ (Φ) *ddx μ=j Σ (Φ) *d 2x μ. d j^\infty_\Sigma(\Phi)^\ast( \mathbf{d}x^\mu ) = d^2 x^\mu = 0 \phantom{AAAAA} j^\infty_\Sigma(\Phi)^\ast d \mathbf{d} x^\mu = j^\infty_\Sigma(\Phi)^\ast d^2 x^\mu \,.

Therefore it finally remains only to check the first statement on smooth functions (0-forms). So let

f=f((x μ),(ϕ a),(ϕ ,μ a),) f = f\left( (x^\mu) \,,\, (\phi^a) \,,\, ( \phi^a_{,\mu} ) \,,\, \cdots \right)

be a smooth function on the jet bundle. Then by the chain rule

dj Σ (Φ) *f((x μ),(ϕ a),(ϕ ,μ a),) =df((x μ),(Φ a),(Φ ax μ),) =(fx μ+fϕ aΦ ax μ+fϕ ,ν a 2Φ ax νx μ+)dx μ \begin{aligned} d j^\infty_\Sigma(\Phi)^\ast f\left( (x^\mu) \,,\, (\phi^a) \,,\, ( \phi^a_{,\mu} ) \,,\, \cdots \right) & = d f\left( (x^\mu) \,,\, (\Phi^a) \,,\, \left( \frac{\partial \Phi^a}{\partial x^\mu} \right) \,,\, \cdots \right) \\ & = \left( \frac{\partial f}{\partial x^\mu} + \frac{\partial f}{\partial \phi^a} \frac{\partial \Phi^a}{\partial x^\mu} + \frac{\partial f}{\partial \phi^a_{,\nu}} \frac{\partial^2 \Phi^a}{\partial x^\nu \partial x^\mu} + \cdots \right) d x^\mu \end{aligned}

That this is equal to j Σ (Φ) *dfj^\infty_\Sigma(\Phi)^\ast d f follows by the very definition of the total spacetime derivative of ff (6).

Proposition

(horizontal variational complex of trivial field bundle is exact)

Let EfbΣE \overset{fb}{\to} \Sigma be a field bundle which is a trivial vector bundle over Minkowski spacetime (example ). Then the chain complex of horizontal differential forms Ω Σ s,0(E)\Omega^{s,0}_\Sigma(E) with the total spacetime derivative (horizontal derivative) dd (def. )

(12)Ω Σ 0,0(E)dΩ Σ 1,0(E)dΩ Σ 2,0(E)ddΩ Σ p,0(E)dΩ Σ p+1,0(E) \mathbb{R} \overset{}{\hookrightarrow} \Omega^{0,0}_\Sigma(E) \overset{d}{\longrightarrow} \Omega^{1,0}_\Sigma(E) \overset{d}{\longrightarrow} \Omega^{2,0}_\Sigma(E) \overset{d}{\longrightarrow} \cdots \overset{d}{\longrightarrow} \Omega^{p,0}_\Sigma(E) \overset{d}{\longrightarrow} \Omega^{p+1,0}_\Sigma(E)

is exact: for all 0sp0 \leq s \leq p the kernel of dd coincides with the image of dd in Ω Σ s,0(E)\Omega^{s,0}_\Sigma(E).

More explicitly, this means that not only is every horizontally exact differential form ω=dα\omega = d \alpha horizontally closed dω=0d \omega = 0 (which follows immediately from the fact that we have a cochain complex in the first place, hence that d 2=0d^2 = 0), but, conversely, if ωΩ Σ 0sp,0(E)\omega \in \Omega^{0 \leq s \leq p,0}_\Sigma(E) satisfies dω=0d \omega = 0, then there exists αΩ Σ s1,0(E)\alpha \in \Omega^{s-1,0}_\Sigma(E) with ω=dα\omega = d \alpha.

(e.g. Anderson 89, prop. 4.3)

Remark

(Euler-Lagrange complex)

In fact the exact sequence (12) from prop. continues further to the right, as such called the Euler-Lagrange complex. The next differential is the Euler-Lagrange operator and then then next is the Helmholtz operator.

Here we do not discuss this in detail, but we encounter aspects of the exactness further to the right below in example and in prop. .

\,

This concludes our discussion of variational calculus on the jet bundle of the field bundle. In the next chapter we apply this to Lagrangian densities on the jet bundle, defining Lagrangian field theories.

Last revised on August 2, 2018 at 07:46:19. See the history of this page for a list of all contributions to it.