In this chapter we discuss the following topics:
Given any type of fields (def. ), those field histories that are to be regarded as “physically realizable” (if we think of the field theory as a description of the observable universe) should satisfy some differential equation – the equation of motion – meaning that realizability of any field histories may be checked upon restricting the configuration to the infinitesimal neighbourhoods (example ) of each spacetime point. This expresses the physical absence of “action at a distance” and is one aspect of what it means to have a local field theory. By remark this means that equations of motion of a field theory are equations among the coordinates of the jet bundle of the field bundle.
For many field theories of interest, their differential equation of motion is not a random partial differential equations, but is of the special kind that exhibits the “principle of extremal action” (prop. below) determined by a local Lagrangian density (def. below). These are called Lagrangian field theories, and this is what we consider here.
Namely among all the variational differential forms (def. ) two kinds stand out, namley the 0-forms in – the smooth functions – and the horizontal -forms – to be called the Lagrangian densities (def. below) – since these occupy the two “corners” of the variational bicomplex (?). There is not much to say about the 0-forms, but the Lagrangian densities do inherit special structure from their special position in the variational bicomplex:
Their variational derivative uniquely decomposes as
the Euler-Lagrange derivative which is proportional to the variation of the fields (instead of their derivatives)
the total spacetime derivative of a potential for a presymplectic current .
These two terms play a pivotal role in the theory: The condition that the first term vanishes on field histories is a differential equation on field histories, called the Euler-Lagrange equation of motion (def. below). The space of solutions to this differential equation, called the on-shell space of field histories
has the interpretation of the space of “physically realizable field histories”. This is the key object of study in the following chapters. Often this is referred to as the space of classical field histories, indicating that this does not yet reflect the full quantum field theory.
Indeed, there is also the second term in the variational derivative of the Lagrangian density, the presymplectic current , and this implies a presymplectic structure on the on-shell space of field histories (def. below) which encodes deformations of the algebra of smooth functions on . This deformation is the quantization of the field theory to an actual quantum field theory, which we discuss below.
Given a field bundle over a -dimensional Minkowski spacetime as in example , then a local Lagrangian density (for the type of field thus defined) is a horizontal differential form of degree (def. ) on the corresponding jet bundle (def. ):
By example in terms of the given volume form on spacetimes, any such Lagrangian density may uniquely be written as
where the coefficient function (the Lagrangian function) is a smooth function on the spacetime and field coordinates:
where by prop. depends locally on an arbitrary but finite order of derivatives .
We say that a field bundle (def. ) equipped with a local Lagrangian density is (or defines) a prequantum Lagrangian field theory on the spacetime .
(parameterized and physical unit-less Lagrangian densities)
More generally we may consider parameterized collections of Lagrangian densities, i.e. functions
for some Cartesian space or generally some super Cartesian space.
For example all Lagrangian densities considered in relativistic field theory are naturally smooth functions of the scale of the metric (def. )
But by the discussion in remark , in physics a rescaling of the metric is interpreted as reflecting but a change of physical units of length/distance. Hence if a Lagrangian density is supposed to express intrinsic content of a physical theory, it should remain unchanged under such a change of physical units.
This is achieved by having the Lagrangian be parameterized by further parameters, whose corresponding physical units compensate that of the metric such as to make the Lagrangian density “physical unit-less”.
This means to consider parameter spaces equipped with an action of the multiplicative group of positive real numbers, and parameterized Lagrangians
(locally variational field theory and Lagrangian p-gerbe connection)
If the field bundle (def. ) is not just a trivial vector bundle over Minkowski spacetime (example ) then a Lagrangian density for a given equation of motion may not exist as a globally defined differential -form, but only as a p-gerbe connection. This is the case for locally variational field theories such as the charged particle, the WZW model and generally theories involving higher WZW terms. For more on this see the exposition at Higher Structures in Physics.
(local Lagrangian density for free real scalar field on Minkowski spacetime)
Consider the field bundle for the real scalar field from example , i.e. the trivial line bundle over Minkowski spacetime.
According to def. its jet bundle has canonical coordinates
In these coordinates, the local Lagrangian density (def. ) defining the free real scalar field of mass on is
This is naturally thought of as a collection of Lagrangians smoothly parameterized by the metric and the mass . For this to be physical unit-free in the sense of remark the physical unit of the parameter must be that of the inverse metric, hence must be an inverse length according to remark This is the inverse Compton wavelength (?) and hence the physical unit-free version of the Lagrangian density for the free scalar particle is
Consider the field bundle for the real scalar field from example , i.e. the trivial line bundle over Minkowski spacetime. More generally we may consider adding to the free field Lagrangian density from example some power of the field coordinate
for some number, here called the coupling constant.
The interacting Lagrangian field theory defined by the resulting Lagrangian density
is usually called just phi^n theory.
(local Lagrangian density for free electromagnetic field)
Consider the field bundle for the electromagnetic field on Minkowski spacetime from example , i.e. the cotangent bundle, which over Minkowski spacetime happens to be a trivial vector bundle of rank . With fiber coordinates taken to be , the induced fiber coordinates on the corresponding jet bundle (def. ) are .
Consider then the local Lagrangian density (def. ) given by
where are the components of the universal Faraday tensor on the jet bundle from example .
This is the Lagrangian density that defines the Lagrangian field theory of free electromagnetism.
Here for an electromagnetic field history (vector potential), then the pullback of along its jet prolongation (def. ) is the corresponding component of the Faraday tensor (?):
It follows that the pullback of the Lagrangian (3) along the jet prologation of the electromagnetic field is
Here denotes the Hodge star operator of Minkowski spacetime.
More generally:
(Lagrangian density for Yang-Mills theory on Minkowski spacetime)
Let be a finite dimensional Lie algebra which is semisimple. This means that the Killing form invariant polynomial
is a non-degenerate bilinear form. Examples include the special unitary Lie algebras .
Then for the field bundle for Yang-Mills theory as in example , the Lagrangian density (def. ) -Yang-Mills theory on Minkowski spacetime is
where
is the universal Yang-Mills field strength (?).
For the purposes of perturbative quantum field theory (to be discussed below in chapter 15. Interacting quantum fields) we may allow for a rescaling of the structure constants by (at this point) a real number , to be called the coupling constant, and decompose the Lagrangian into a sum of a free field theory Lagrangian (def. ) and an interaction term:
Notice that is equivalently a sum of -copies of the Lagrangian for the electromagnetic field (example ).
On the other hand, for the purpose of exhibiting “non-perturbative effects due to instantons” in Yang-Mills theory, one consider the rescaled Yang-Mills field coordinate
with corresponding field strength
In terms of this the expression for the Lagrangian is brought back to the abstract form it had before rescaling the structure constants by the coupling constant, up to a global rescaling of all terms by the inverse square of the coupling constant:
(local Lagrangian density for free B-field)
Consider the field bundle for the B-field on Minkowski spacetime from example . With fiber coordinates taken to be with
the induced fiber coordinates on the corresponding jet bundle (def. ) are .
Consider then the local Lagrangian density (def. ) given by
where are the components of the universal B-field strength on the jet bundle from example .
(Lagrangian density for free Dirac field on Minkowski spacetime)
For Minkowski spacetime of dimension (def. ), consider the field bundle for the Dirac field from example . With the two-component spinor field fiber coordinates from remark , the jet bundle has induced fiber coordinates as follows:
All of these are odd-graded elements (def. ) in a Grassmann algebra (example ), hence anti-commute with each other, in generalization of (?):
The Lagrangian density (def. ) of the massless free Dirac field on Minkowski spacetime is
given by the bilinear pairing from prop. of the field coordinate with its first spacetime derivative and expressed here in two-component spinor field coordinates as in (?), hence with the Dirac conjugate (?) on the left.
Specifically in spacetime dimension , the Lagrangian function for the massive Dirac field of mass is
This is naturally thought of as a collection of Lagrangians smoothly parameterized by the metric and the mass . For this to be physical unit-free in the sense of remark the physical unit of the parameter must be that of the inverse metric, hence must be an inverse length according to remark This is the inverse Compton wavelength (?) and hence the physical unit-free version of the Lagrangian density for the free Dirac field is
(reality of the Lagrangian density of the Dirac field)
The kinetic term of the Lagrangian density for the Dirac field form def. is a sum of two contributions, one for each chiral spinor component in the full Dirac spinor (remark ):
Here the computation shown under the brace crucially uses that all these jet coordinates for the Dirac field are anti-commuting, due to their supergeometric nature (6).
Notice that a priori this is a function on the jet bundle with values in . But in fact for it is real up to a total spacetime derivative:, because
and similarly for
(e.g. Dermisek I-9)
(Lagrangian density for quantum electrodynamics)
Consider the fiber product of the field bundles for the electromagnetic field (example ) and the Dirac field (example ) over 4-dimensional Minkowski spacetime (def. ):
This means that now a field history is a pair , with a field history of the electromagnetic field and a field history of the Dirac field.
On the resulting jet bundle consider the Lagrangian density
for some number, called the coupling constant. This is called the electron-photon interaction.
Then the sum of the Lagrangian densities for
the free electromagnetic field (example );
the free Dirac field (example )
the above electron-photon interaction
defines the interacting field theory Lagrangian field theory whose perturbative quantization is called quantum electrodynamics.
In this context the square of the coupling constant
is called the fine structure constant.
Euler-Lagrange forms and presymplectic currents
The beauty of Lagrangian field theory (def. ) is that a choice of Lagrangian density determines both the equations of motion of the fields as well as a presymplectic structure on the space of solutions to this equation (the “shell”), making it the “covariant phase space” of the theory. All this we discuss below. But in fact all this key structure of the field theory is nothing but the shadow (under “transgression of variational differential forms”, def. below) of the following simple relation in the variational bicomplex:
(Euler-Lagrange form and presymplectic current)
Given a Lagrangian density as in def. , then its de Rham differential , which by degree reasons equals , has a unique decomposition as a sum of two terms
such that is proportional to the variational derivative of the fields (but not their derivatives, called a “source form”):
The map
thus defined is called the Euler-Lagrange operator and is explicitly given by the Euler-Lagrange derivative:
The smooth subspace of the jet bundle on which the Euler-Lagrange form vanishes
is called the shell. The smaller subspace on which also all total spacetime derivatives vanish (the “formally integrable prolongation”) is the prolonged shell
Saying something holds “on-shell” is to mean that it holds after restriction to this subspace. For example a variational differential form is said to vanish on shell if .
The remaining term in (9) is unique, while the presymplectic potential
is not unique.
(For a field bundle which is a trivial vector bundle (example over Minkowski spacetime (def. ), prop. says that is unique up to addition of total spacetime derivatives , for .)
One possible choice for the presymplectic current is
where
denotes the contraction (def. ) of the volume form with the vector field .
The vertical derivative of a chosen presymplectic potential is called a pre-symplectic current for :
Given a choice of then the sum
is called the corresponding Lepage form. Its de Rham derivative is the sum of the Euler-Lagrange variation and the presymplectic current:
(Its conceptual nature will be elucidated after the introduction of the local BV-complex in example below.)
Using and that by degree reasons (example ), we find
The idea now is to have pick up those terms that would appear as boundary terms under the integral if we were to consider integration by parts to remove spacetime derivatives of .
We compute, using example , the total horizontal derivative of from (14) as follows:
where in the last line we used that
Here the two terms proportional to cancel out, and we are left with
Hence shares with the terms that are proportional to for , and so the remaining terms are proportional to , as claimed:
The following fact is immediate from prop. , but of central importance, we futher amplify this in remark below:
(total spacetime derivative of presymplectic current vanishes on-shell)
Let be a Lagrangian field theory (def. ). Then the Euler-Lagrange form and the presymplectic current (prop. ) are related by
In particular this means that restricted to the prolonged shell (12) the total spacetime derivative of the presymplectic current vanishes:
The claim follows from applying the variational derivative to both sides, using (?): and .
Many examples of interest fall into the following two special cases of prop. :
(Euler-Lagrange form for spacetime-independent Lagrangian densities)
Let be a Lagrangian field theory (def. ) whose field bundle is a trivial vector bundle over Minkowski spacetime (example ).
In general the Lagrangian density is a function of all the spacetime and field coordinates
Consider the special case that is spacetime-independent in that the Lagrangian function is independent of the spacetime coordinate . Then the same evidently holds for the Euler-Lagrange form (prop. ). Therefore in this case the shell (12) is itself a trivial bundle over spacetime.
In this situation every point in the jet fiber defines a constant section of the shell:
Consider a Lagrangian field theory (def. ) whose Lagrangian density
does not depend on the spacetime-coordinates (example );
depends on spacetime derivatives of field coordinates (hence on jet bundle coordinates) at most to first order.
Hence if the field bundle is a trivial vector bundle over Minkowski spacetime (example ) this means to consider the case that
Then the presymplectic current (def. ) is (up to possibly a horizontally exact part) of the form
where
denotes the partial derivative of the Lagrangian function with respect to the spacetime-derivatives of the field coordinates.
Here
is called the canonical momentum corresponding to the “canonical field coordinate” .
In the language of multisymplectic geometry the full expression
is also called the “canonical multi-momentum”, or similar.
We compute:
Hence
(presymplectic current is local version of (pre-)symplectic form of Hamiltonian mechanics)
In the simple but very common situation of example the presymplectic current (def. ) takes the form (21)
with the field coordinates (“canonical coordinates”) and the “canonical momentum” (21).
Notice that this is of the schematic form “”, which is reminiscent of the wedge product of a symplectic form expressed in Darboux coordinates with a volume form for a -dimensional manifold. Indeed, below in Phase space we discuss that this presymplectic current “transgresses” (def. below) to a presymplectic form of the schematic form “” on the on-shell space of field histories (def. ) by integrating it over a Cauchy surface of dimension . In good situations this presymplectic form is in fact a symplectic form on the on-shell space of field histories (theorem below).
This shows that the presymplectic current is the local (i.e. jet level) avatar of the symplectic form that governs the formulation of Hamiltonian mechanics in terms of symplectic geometry.
In fact prop. may be read as saying that the presymplectic current is a conserved current (def. below), only that it takes values not in smooth functions of the field coordinates and jets, but in variational 2-forms on fields. There is a conserved charge associated with every conserved current (prop. below) and the conserved charge associated with the presymplectic current is the (pre-)symplectic form on the phase space of the field theory (def. below).
(Euler-Lagrange form and presymplectic current for free real scalar field)
Consider the Lagrangian field theory of the free real scalar field from example .
Then the Euler-Lagrange form and presymplectic current (prop. ) are
and
respectively.
This is a special case of example , but we spell it out in detail again:
We need to show that Euler-Lagrange operator takes the local Lagrangian density for the free scalar field to
First of all, using just the variational derivative (vertical derivative) is a graded derivation, the result of applying it to the local Lagrangian density is
By definition of the Euler-Lagrange operator, in order to find and , we need to exhibit this as the sum of the form .
The key to find is to realize as a total spacetime derivative (horizontal derivative). Since this is accomplished by
where on the right we have the contraction (def. ) of the tangent vector field along into the volume form.
Hence we may take the presymplectic potential (13) of the free scalar field to be
because with this we have
In conclusion this yields the decomposition of the vertical differential of the Lagrangian density
which shows that is as claimed, and that is a presymplectic potential current (13). Hence the presymplectic current itself is
(Euler-Lagrange form for free electromagnetic field)
Consider the Lagrangian field theory of free electromagnetism from example .
The Euler-Lagrange variational derivative is
By (10) we have
More generally:
(Euler-Lagrange form for Yang-Mills theory on Minkowski spacetime)
Let be a semisimple Lie algebra and consider the Lagrangian field theory of -Yang-Mills theory from example .
Its Euler-Lagrange form (prop. ) is
where
is the universal Yang-Mills field strength (?).
With the explicit form (10) for the Euler-Lagrange derivative we compute as follows:
In the last step we used that for a semisimple Lie algebra is totally skew-symmetric in its indices (this being the coefficients of the Lie algebra cocycle) which is in transgression with the Killing form invariant polynomial .
(Euler-Lagrange form of free B-field)
Consider the Lagrangian field theory of the free B-field from example .
The Euler-Lagrange variational derivative is
where is the universal B-field strength from example .
By (10) we have
(Euler-Lagrange form and presymplectic current of Dirac field)
Consider the Lagrangian field theory of the Dirac field on Minkowski spacetime of dimension (example ).
Then
the Euler-Lagrange variational derivative (def. ) in the case of vanishing mass is
and in the case that spacetime dimension is and arbitrary mass , it is
its presymplectic current (def. ) is
In any case the canonical momentum of the Dirac field according to example is
This yields the presymplectic current as claimed, by example .
Now regarding the Euler-Lagrange form, first consider the massless case in spacetime dimension , where
Then we compute as follows:
Here the first equation is the general formula (10) for the Euler-Lagrange variation, while the identity under the braces combines two facts (as in remark above):
the symmetry (?) of the spinor pairing (prop. );
the anti-commutativity (6) of the Dirac field and jet coordinates, due to their supergeometric nature (remark ).
Finally in the special case of the massive Dirac field in spacetime dimension the Lagrangian function is
where now takes values in the complex numbers (as opposed to in , or ). Therefore we may now form the derivative equivalently by treeating and as independent components of the field. This immediately yields the claim.
(trivial Lagrangian densities and the Euler-Lagrange complex)
If a Lagrangian density (def. ) is in the image of the total spacetime derivative, hence horizontally exact (def. )
for any , then both its Euler-Lagrange form as well as its presymplectic current (def. ) vanish:
This is because with (?) the defining unique decomposition (9) of is given by
which then implies with (15) that
Therefore the Lagrangian densities which are total spacetime derivatives are also called trivial Lagrangian densities.
If the field bundle is a trivial vector bundle (example ) over Minkowski spacetime (def. ) then also the converse is true: Every Lagrangian density whose Euler-Lagrange form vanishes is a total spacetime derivative.
Stated more abstractly, this means that the exact sequence of the total spacetime from prop. extends to the right via the Euler-Lagrange variational derivative to an exact sequence of the form
In fact, as shown, this exact sequence keeps going to the right; this is also called the Euler-Lagrange complex.
The next differential after the Euler-Lagrange variational derivative is known as the Helmholtz operator. By definition of exact sequence, the Helmholtz operator detects whether a partial differential equation on field histories, induced by a variational differential form as in (25) comes from varying a Lagrangian density, hence whether it is the equation of motion of a Lagrangian field theory via def. .
This way homological algebra is brought to bear on core questions of field theory. For more on this see the exposition at Higher Structures in Physics.
(supergeometric nature of Lagrangian density of the Dirac field)
Observe that the Lagrangian density for the Dirac field (def. ) makes sense (only) due to the supergeometric nature of the Dirac field (remark ): If the field jet coordinates were not anti-commuting (6) then the Dirac’s field Lagrangian density (def. ) would be a total spacetime derivative and hence be trivial according to example .
This is because
Here the identification under the brace uses two facts:
the symmetry (?) of the spinor bilinear pairing ;
the anti-commutativity (6) of the Dirac field and jet coordinates, due to their supergeometric nature (remark ).
The second fact gives the minus sign under the brace, which makes the total expression vanish, if the Dirac field and jet coordinates indeed are anti-commuting (which, incidentally, means that we found an “off-shell conserved current” for the Dirac field, see example below).
If however the Dirac field and jet coordinates did commute with each other, we would instead have a plus sign under the brace, in which case the total horizontal derivative expression above would equal the massless Dirac field Lagrangian (7), thus rendering it trivial in the sense of example .
The same supergeometric nature of the Dirac field will be necessary for its intended equation of motion, the Dirac equation (example ) to derive from a Lagrangian density; see the proof of example below, and see remark below.
Euler-Lagrange equations of motion
The key implication of the Euler-Lagrange form on the jet bundle is that it induces the equation of motion on the space of field histories:
(Euler-Lagrange equation of motion)
Given a Lagrangian field theory (def. then the corresponding Euler-Lagrange equations of motion is the condition on field histories (def. )
to have a jet prolongation (def. )
that factors through the shell inclusion (11) defined by vanishing of the Euler-Lagrange form (prop. )
(This implies that factors even through the prolonged shell (12).)
In the case that the field bundle is a trivial vector bundle over Minkowski spacetime as in example this is the condition that satisfies the following differential equation (again using prop. ):
where the differential operator (def. )
from the field bundle (def. ) to its vertical cotangent bundle (def. ) is given by the Euler-Lagrange derivative (10).
The on-shell space of field histories is the space of solutions to this condition, namely the the sub-super smooth set (def. ) of the full space of field histories (?) (def. )
whose plots are those that factor through the shell (25).
More generally for a submanifold of spacetime, we write
for the sub-super smooth ste of on-shell field histories restricted to the infinitesimal neighbourhood of in (?).
A Lagrangian field theory (def. ) with field bundle a vector bundle (e.g. a trivial vector bundle as in example ) is called a free field theory if its Euler-Lagrange equations of motion (def. ) is a differential equation that is linear differential equation, in that with
any two on-shell field histories (27) and any two real numbers, also the linear combination
which a priori exists only as an element in the off-shell space of field histories, is again a solution to the equations of motion and hence an element of .
A Lagrangian field theory which is not a free field theory is called an interacting field theory.
(relevance of free field theory)
In perturbative quantum field theory one considers interacting field theories in the infinitesimal neighbourhood (example ) of free field theories (def. ) inside some super smooth set of general Lagrangian field theories. While free field theories are typically of limited interest in themselves, this perturbation theory around them exhausts much of what is known about quantum field theory in general, and therefore free field theories are of paramount importance for the general theory.
We discuss the covariant phase space of free field theories below in Propagators and their quantization below in Free quantum fields.
(equation of motion of free real scalar field is Klein-Gordon equation)
Consider the Lagrangian field theory of the free real scalar field from example .
By example its Euler-Lagrange form is
Hence for a field history, its Euler-Lagrange equation of motion according to def. is
often abbreviated as
This PDE is called the Klein-Gordon equation on Minowski spacetime. If the mass vanishes, , then this is the relativistic wave equation.
Hence this is indeed a free field theory according to def. .
The corresponding linear differential operator (def. )
is called the Klein-Gordon operator.
For later use we record the following basic fact about the Klein-Gordon equation:
(Klein-Gordon operator is formally self-adjoint )
The Klein-Gordon operator (30) is its own formal adjoint (def. ) witnessed by the bilinear differential operator (?) given by
(equations of motion of vacuum electromagnetism are vacuum Maxwell's equations)
Consider the Lagrangian field theory of free electromagnetism on Minkowski spacetime from example .
By example its Euler-Lagrange form is
Hence for a field history (“vector potential”), its Euler-Lagrange equation of motion according to def. is
where is the Faraday tensor (?). (In the coordinate-free formulation in the second line “” denotes the Hodge star operator induced by the pseudo-Riemannian metric on Minkowski spacetime.)
These PDEs are called the vacuum Maxwell's equations.
This, too, is a free field theory according to def. .
(equation of motion of Dirac field is Dirac equation)
Consider the Lagrangian field theory of the Dirac field on Minkowski spacetime from example , with field fiber the spin representation regarded as a superpoint and Lagrangian density given by the spinor bilinear pairing
(in spacetime dimension with unless ).
By example the Euler-Lagrange differential operator (26) for the Dirac field is of the form
so that the corresponding Euler-Lagrange equation of motion (def. ) is equivalently
This is the Dirac equation and is called a Dirac operator. In terms of the Feynman slash notation from (?) the corresponding differential operator, the Dirac operator reads
Hence this is a free field theory according to def. .
Observe that the “square” of the Dirac operator is the Klein-Gordon operator (29)
This means that a Dirac field which solves the Dirac equations is in particular (on Minkowski spacetime) componentwise a solution to the Klein-Gordon equation.
(supergeometric nature of the Dirac equation as an Euler-Lagrange equation)
While the Dirac equation (33) of example would make sense in itself also if the field coordinates and jet coordinates of the Dirac field were not anti-commuting (6), due to their supergeometric nature (remark ), it would, by remark , then no longer be the Euler-Lagrange equation of a Lagrangian density, hence then Dirac field theory would not be a Lagrangian field theory.
(Dirac operator on Dirac spinors is formally self-adjoint differential operator)
The Dirac operator, hence the differential operator corresponding to the Dirac equation of example via def. is a formally anti-self adjoint (def. ):
By (32) we are to regard the Dirac operator as taking values in the dual spin bundle by using the Dirac conjugate (?):
Then we need to show that there is such that for all pairs of spinor sections we have
But the spinor-to-vector pairing is symmetric (?), hence this is equivalent to
By the product law of differentiation, this is solved, for all , by
This concludes our discussion of Lagrangian densities and their variational calculus. In the next chapter we consider the infinitesimal symmetries of Lagrangians and the conserved currents that these induce via Noether's theorem.
Last revised on June 15, 2018 at 15:33:12. See the history of this page for a list of all contributions to it.