# Learn Lagrangians in Mathematical Quantum Field Theory

This is one chapter in a series on Mathematical Quantum Field Theory.

The previous chapter is *4. Field Variations*.

The next chapter is *6. Symmetries*.

## 5. Lagrangians

Given any type of fields (def. 3.1), 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 3.30) 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 4.3 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. 7.36 below) determined by a *local Lagrangian density* (def. 5.1 below). These are called *Lagrangian field theories*, and this is what we consider here.

Namely among all the variational differential forms (def. 4.11) two kinds stand out, namley the 0-forms in ##\Omega^{0,0}_\Sigma(E)## — the smooth functions — and the horizontal ##p+1##-forms ##\Omega^{p+1,0}_\Sigma(E)## — to be called the *Lagrangian densities ##\mathbf{L}##* (def. 5.1 below) — since these occupy the two “corners” of the variational bicomplex (38). There is not much to say about the 0-forms, but the Lagrangian densities ##\mathbf{L}## do inherit special structure from their special position in the variational bicomplex:

Their variational derivative ##\delta \mathbf{L}## uniquely decomposes as

- the
*Euler-Lagrange derivative*##\delta_{EL} \mathbf{L}## which is proportional to the variation of the fields (instead of their derivatives) - the total spacetime derivative ##d \Theta_{BFV}## of a potential ##\Theta_{BFV}## for a
*presymplectic current*##\Omega_{BFV} := \delta \Theta_{BFV}##.

This is prop. 5.12 below:

$$

\delta \mathbf{L}

\;=\;

\underset{ \text{Euler-Lagrange variation}

}{\underbrace{\delta_{EL}\mathbf{L}}} – d \underset{\text{presymplectic current}}{\underbrace{\Theta_{BFV}}}

\,.

$$

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. 5.24 below). The space of solutions to this differential equation, called the *on-shell space of field histories*

$$ \label{InclusionOfOnShellSpaceOfFieldHistories} \Gamma_\Sigma(E)_{\delta_{EL}\mathbf{L} = 0} \overset{\phantom{AAA}}{\rightarrow} \Gamma_\Sigma(E) $$ | (41) |

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 ##\Theta_{BFV}##, and this implies a presymplectic structure on the on-shell space of field histories (def. 8.2 below) which encodes deformations of the algebra of smooth functions on ##\Gamma_\Sigma(E)##. This deformation is the *quantization* of the field theory to an actual quantum field theory, which we discuss below.

$$

\array{

&&& \delta \mathbf{L}

\\

&&& =

\\

& & \delta_{EL}\mathbf{L} &- & d \Theta_{BFV} &

\\

& \swarrow && && \searrow

\\

\array{

\text{classical}

\\

\text{field theory}

}

&& && &&

\array{

\text{deformation to}

\\

\text{quantum}

\\

\text{field theory}

}

}

$$

###### Definition 5.1. **(local Lagrangian density)**

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

$$

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

\,.

$$

By example 4.12

in terms of the given volume form on spacetimes, any such Lagrangian density may uniquely be written as

$$ \label{LagrangianFunctionViaVolumeForm} \mathbf{L} = L \, dvol_\Sigma $$ | (42) |

where the coefficient function (the *Lagrangian function*) is a smooth function on the spacetime and field coordinates:

$$

L = L((x^\mu), (\phi^a), (\phi^a_{,\mu}), \cdots )

\,.

$$

where by prop. 4.6 ##L((x^\mu), \cdots)## depends locally on an arbitrary but finite order of derivatives ##\phi^a_{,\mu_1 \cdots \mu_k}##.

We say that a field bundle ##E \overset{fb}{\to} \Sigma## (def. 3.1) equipped with a local Lagrangian density ##\mathbf{L}## is (or defines) a *prequantum Lagrangian field theory* on the spacetime ##\Sigma##.

###### Remark 5.2. **(parameterized and physical unit-less Lagrangian densities)**

More generally we may consider parameterized collections of Lagrangian densities, i.e. functions

$$

\mathbf{L}_{(-)}

\;\colon\;

U \longrightarrow \Omega^{p+1,0}_\Sigma(E)

$$

for ##U## 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 ##\eta## (def. 2.15)

$$

\array{

\mathbb{R}_{\gt 0}

&\overset{}{\longrightarrow}&

\Omega^{p+1,0}_\Sigma(E)

\\

r &\mapsto& \mathbf{L}_{r^2\eta}

}

$$

But by the discussion in remark 2.16, 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 ##U## equipped with an action of the multiplicative group ##\mathbb{R}_{\gt 0}## of positive real numbers, and parameterized Lagrangians

$$

\mathbf{L}_{(-)} \;\colon\; U \longrightarrow \Omega^{p+1,0}_\Sigma(E)

$$

which are invariant under this action.

###### Remark 5.3. **(locally variational field theory and Lagrangian p-gerbe connection)**

If the field bundle (def. 3.1) is not just a trivial vector bundle over Minkowski spacetime (example 3.4) then a Lagrangian density for a given equation of motion may not exist as a globally defined differential ##(p+1)##-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*.

###### Example 5.4. **(local Lagrangian density for free real scalar field on Minkowski spacetime)**

Consider the field bundle for the real scalar field from example 3.5, i.e. the trivial line bundle over Minkowski spacetime.

According to def. 4.1

its jet bundle ##J^\infty_\Sigma(E)## has canonical coordinates

$$

\left\{

\{x^\mu\}, \phi, \{\phi_{,\mu}\}, \{\phi_{,\mu_1 \mu_2}\}, \cdots

\right\}

\,.

$$

In these coordinates, the local Lagrangian density ##L \in \Omega^{p+1,0}(\Sigma)## (def. 5.1) defining the free real scalar field of mass ##m \in \mathbb{R}## on ##\Sigma## is

$$

L

:=

\tfrac{1}{2}

\left(

\eta^{\mu \nu} \phi_{,\mu} \phi_{,\nu}

–

m^2 \phi^2

\right)

\mathrm{dvol}_\Sigma

\,.

$$

This is naturally thought of as a collection of Lagrangians smoothly parameterized by the metric ##\eta## and the mass ##m##. For this to be physical unit-free in the sense of remark 5.2 the physical unit of the parameter ##m## must be that of the inverse metric, hence must be an inverse length according to remark 2.16

This is the *inverse Compton wavelength* ##\ell_m = \hbar / m c## (9) and hence the physical unit-free version of the Lagrangian density for the free scalar particle is

$$

\mathbf{L}_{\eta,\ell_m}

\::=\;

\tfrac{\ell_m^2}{2}

\left(

\eta^{\mu \nu} \phi_{,\mu} \phi_{,\nu}

–

\left( \tfrac{m c}{\hbar} \right)^2 \phi^2

\right)

\mathrm{dvol}_\Sigma

\,.

$$

###### Example 5.5. **(phi^n theory)**

Consider the field bundle for the real scalar field from example 3.5, i.e. the trivial line bundle over Minkowski spacetime. More generally we may consider adding to the free field Lagrangian density from example 5.4

some power of the field coordinate

$$

\mathbf{L}_{int}

\;:=\;

g \phi^n \, dvol_\Sigma

\,,

$$

for ##g \in \mathbb{R}## some number, here called the *coupling constant*.

The interacting Lagrangian field theory defined by the resulting Lagrangian density

$$

\mathbf{L}

+

\mathbf{L}_{int}

\;0\;

\tfrac{1}{2}

\left(

\eta^{\mu \nu} \phi_{,\mu} \phi_{,\nu}

–

m^2 \phi^2

+

g \phi^n

\right)

\mathrm{dvol}_\Sigma

$$

is usually called just *phi^n theory*.

###### Example 5.6. **(local Lagrangian density for free electromagnetic field)**

Consider the field bundle ##T^\ast \Sigma \to \Sigma## for the electromagnetic field on Minkowski spacetime from example 3.6, i.e. the cotangent bundle, which over Minkowski spacetime happens to be a trivial vector bundle of rank ##p+1##. With fiber coordinates taken to be ##(a_\mu)_{\mu = 0}^p##, the induced fiber coordinates on the corresponding jet bundle ##J^\infty_\Sigma(T^\ast \Sigma)## (def. 4.1) are ##( (x^\mu), (a_\mu), (a_{\mu,\nu}), (a_{\mu,\nu_1 \nu_2}), \cdots )##.

Consider then the local Lagrangian density (def. 5.1) given by

$$ \label{ElectromagnetismLagrangian} \mathbf{L} \;:=\; \tfrac{1}{2} f_{\mu \nu} f^{\mu \nu} dvol_\Sigma \;\in\; \Omega^{p+1,0}_\Sigma(T^\ast \Sigma) \,, $$ | (43) |

where ##f_{\mu \nu} := \tfrac{1}{2}(a_{\nu,\mu} – a_{\mu,\nu})## are the components of the universal Faraday tensor on the jet bundle from example 4.4.

This is the Lagrangian density that defines the Lagrangian field theory of *free electromagnetism*.

Here for ##A \in \Gamma_\Sigma(T^\ast \Sigma)## an electromagnetic field history (vector potential), then the pullback of ##f_{\mu \nu}## along its jet prolongation (def. 4.2) is the corresponding component of the Faraday tensor (20):

$$

\begin{aligned}

\left(

j^\infty_\Sigma(A)

\right)^\ast(f_{\mu \nu})

& =

(d A)_{\mu \nu}

\\

& = F_{\mu \nu}

\end{aligned}

$$

It follows that the pullback of the Lagrangian (43) along the jet prologation of the electromagnetic field is

$$

\begin{aligned}

\left(

j^\infty_\Sigma(A)

\right)^\ast \mathbf{L}

& =

\tfrac{1}{2}

F_{\mu \nu} F^{\mu \nu} dvol_\Sigma

\\

& =

\tfrac{1}{2} F \wedge \star_\eta F

\end{aligned}

$$

Here ##\star_\eta## denotes the Hodge star operator of Minkowski spacetime.

More generally:

###### Example 5.7. **(Lagrangian density for Yang-Mills theory on Minkowski spacetime)**

Let ##\mathfrak{g}## be a finite dimensional Lie algebra which is semisimple. This means that the Killing form invariant polynomial

$$

k \colon \mathfrak{g} \otimes \mathfrak{g} \longrightarrow \mathbb{R}

$$

is a non-degenerate bilinear form. Examples include the special unitary Lie algebras ##\mathfrak{so}(n)##.

Then for ##E = T^\ast \Sigma \otimes \mathfrak{g}## the field bundle for Yang-Mills theory as in example 3.7, the Lagrangian density (def. 5.1) ##\mathfrak{g}##-Yang-Mills theory on Minkowski spacetime is

$$

\mathbf{L}

\;:=\;

\tfrac{1}{2}

k_{\alpha \beta} f^\alpha_{\mu \nu} f^{\beta \mu \nu} dvol_\Sigma

\;\in\;

\Omega^{p+1,0}_\Sigma(T^\ast \Sigma)

\,,

$$

where

$$

f^\alpha_{\mu \nu}

\;=\;

\tfrac{1}{2}

\left(

a^\alpha_{\nu,\mu}

–

a^\alpha_{\mu,\nu}

+

\gamma^{\alpha}{}_{\beta \gamma}

a^\beta_{\mu} a^\gamma_{\nu}

\right)

\;\in\;

\Omega^{0,0}_\Sigma(E)

$$

is the universal Yang-Mills field strength (31).

###### Example 5.8. **(local Lagrangian density for free B-field)**

Consider the field bundle ##\wedge^2_\Sigma T^\ast \Sigma \to \Sigma## for the B-field on Minkowski spacetime from example 3.9. With fiber coordinates taken to be ##(b_{\mu \nu})## with

$$

b_{\mu \nu} = – b_{\nu \mu}

\,,

$$

the induced fiber coordinates on the corresponding jet bundle ##J^\infty_\Sigma(T^\ast \Sigma)## (def. 4.1) are ##( (x^\mu), (b_{\mu \nu}), (b_{\mu \nu, \mu_1}), (b_{\mu \nu, \mu_1 \mu_2}), \cdots )##.

Consider then the local Lagrangian density (def. 5.1) given by

$$ \label{LagrangianForBField} \mathbf{L} \;:=\; \tfrac{1}{2} h_{\mu_1 \mu_2 \mu_3} h^{\mu_1 \mu_2 \mu_3} \, dvol_\Sigma \;\in\; \Omega^{p+1,0}_\Sigma(\wedge^2_\Sigma T^\ast \Sigma) \,, $$ | (44) |

where ##h_{\mu_1 \mu_2 \mu_3}## are the components of the universal B-field strength on the jet bundle from example 4.5.

###### Example 5.9. **(Lagrangian density for free Dirac field on Minkowski spacetime)**

For ##\Sigma## Minkowski spacetime of dimension ##p + 1 \in \{3,4,6,10\}## (def. 2.17), consider the field bundle ##\Sigma \times S_{odd} \to \Sigma## for the Dirac field from example 3.50. With the two-component spinor field fiber coordinates from remark 2.32, the jet bundle has induced fiber coordinates as follows:

$$

\left(

\left(\psi^\alpha\right)

,

\left(

\psi^\alpha_{,\mu}

\right)

,

\cdots

\right)

\;=\;

\left(

\left(

(\chi_a), (\chi_{a,\mu}), \cdots

\right),

\left(

( \xi^{\dagger \dot a}), (\xi^{\dagger \dot a}_{,\mu}), \cdots

\right)

\right)

$$

All of these are odd-graded elements (def. 3.35) in a Grassmann algebra (example 3.36), hence anti-commute with each other, in generalization of (28):

$$ \label{DiracFieldJetCoordinatesAnticommute} \psi^\alpha_{,\mu_1 \cdots \mu_r} \psi^\beta_{,\mu_1 \cdots \mu_s} \;=\; – \psi^\beta_{,\mu_1 \cdots \mu_s} \psi^\alpha_{,\mu_1 \cdots \mu_r} \,. $$ | (45) |

The Lagrangian density (def. 5.1) of the *massless free Dirac field* on Minkowski spacetime is

$$ \label{DiracFieldLagrangianMassless} \mathbf{L} \;:=\; \overline{\psi} \, \gamma^\mu \psi_{,\mu}\, dvol_\Sigma \,, $$ | (46) |

given by the bilinear pairing ##\overline{(-)}\Gamma(-)## from prop. 2.31

of the field coordinate with its first spacetime derivative and expressed here in two-component spinor field coordinates as in (15), hence with the Dirac conjugate ##\overline{\psi}## (14) on the left.

Specifically in spacetime dimension ##p + 1 = 4##, the Lagrangian function for the *massive Dirac field* of mass ##m \in \mathbb{R}## is

$$

\begin{aligned}

L

& :=

\underset{

\text{kinetic term}

}{

\underbrace{

i \, \overline{\psi} \, \gamma^\mu \, \psi_{,\mu}

}

}

+

\underset{

\text{mass term}

}{

\underbrace{

m \overline{\psi} \psi

}}

\end{aligned}

$$

This is naturally thought of as a collection of Lagrangians smoothly parameterized by the metric ##\eta## and the mass ##m##. For this to be physical unit-free in the sense of remark 5.2 the physical unit of the parameter ##m## must be that of the inverse metric, hence must be an inverse length according to remark 2.16

This is the *inverse Compton wavelength* ##\ell_m = \hbar / m c## (9) and hence the physical unit-free version of the Lagrangian density for the free Dirac field is

$$

\mathbf{L}_{\eta,\ell_m}

\;:=\;

\ell_m

\left(

i \overline{\psi} \gamma^\mu \psi_{,\mu} + \left( \tfrac{m c}{\hbar} \right) \overline{\psi} \psi

\right) dvol_\Sigma

\,.

$$

###### Remark 5.10. **(reality of the Lagrangian density of the Dirac field)**

The kinetic term of the Lagrangian density for the Dirac field form def. 5.9

is a sum of two contributions, one for each chiral spinor component in the full Dirac spinor (remark 2.32):

$$

\begin{aligned}

i \overline{\psi} \gamma^\mu \psi_{,\mu}

& =

i

\underset{

-(\partial_\mu \xi^a ) \sigma^\mu_{a \dot c} \xi^{\dagger \dot c}

+ \partial_\mu(\chi^a \sigma^\mu_{a \dot c} \chi^{\dagger \dot c})

}{

\underbrace{

\xi^a \sigma^\mu_{a \dot c} \partial_\mu \xi^{\dagger \dot c}

}

}

+

\xi^\dagger_{\dot a} \tilde \sigma^{\mu \dot a c} \partial_\mu \xi_c

\\

& =

\xi^\dagger \tilde \sigma^\mu \partial_\mu \xi

+

\chi^\dagger \tilde \sigma^\mu \partial_\mu \chi

+

\partial_\mu(\xi \sigma^\mu \xi^\dagger)

\end{aligned}

$$

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 (45).

Notice that a priori this is a function on the jet bundle with values in ##\mathbb{K}##. But in fact for ##\mathbb{K} = \mathbb{C}## it is real up to a total spacetime derivative:, because

$$

\begin{aligned}

\left(

i \chi^\dagger \tilde \sigma^\mu \partial_\mu\chi

\right)^\dagger

& =

-i \left( \partial_\mu \chi\right)^\dagger \sigma^\mu \chi

\\

& =

i \chi^\dagger \sigma^\mu \partial_\mu \chi + i \partial_\mu\left( \chi^\dagger \sigma^\mu \chi \right)

\end{aligned}

$$

and similarly for ##i \xi^\dagger \tilde \sigma^\mu \partial_\mu\xi##

(e.g. Dermisek I-9)

###### Example 5.11. **(Lagrangian density for quantum electrodynamics)**

Consider the fiber product of the field bundles for the electromagnetic field (example 3.6) and the Dirac field (example 3.50) over 4-dimensional Minkowski spacetime ##\Sigma := \mathbb{R}^{3,1}## (def. 2.17):

$$

E

\;:=\;

\underset{ \array{ \text{electromagnetic} \\ \text{field} } }{\underbrace{T^\ast \Sigma}}

\times

\underset{

\array{

\text{Dirac} \\ \text{field}

}

}{

\underbrace{

S_{odd}

}

}

\,.

$$

This means that now a field history is a pair ##(A,\Psi)##, with ##A## a field history of the electromagnetic field and ##\Psi## a field history of the Dirac field.

On the resulting jet bundle consider the Lagrangian density

$$

L_{int}

\;\colon\;

i g \, \overline{\psi} \gamma^\mu \psi a_\mu

$$

for ##g \in \mathbb{R}## 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 5.6);
- the free Dirac field (example 5.9)
- the above electron-photon interaction

$$

\mathbf{L}_{EM} + \mathbf{L}_{Dir} + \mathbf{L}_{int}

\;=\;

\left(

\tfrac{1}{2} f_{\mu \nu} f^{\mu \nu}

\;+\;

i \, \overline{\psi} \, \gamma^\mu \, \psi_{,\mu} + m \overline{\psi} \psi

\;+\;

i g \, \overline{\psi} \gamma^\mu \psi a_\mu

\right)

\, dvol_\Sigma

$$

defines the interacting field theory Lagrangian field theory whose perturbative quantization is called *quantum electrodynamics*.

In this context the square of the coupling constant

$$

\alpha := \frac{g^2}{4 \pi}

$$

is called the *fine structure constant*.

The beauty of Lagrangian field theory (def. 5.1) 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. 7.31 below) of the following simple relation in the variational bicomplex:

###### Proposition 5.12. **(Euler-Lagrange form and presymplectic current)**

Given a Lagrangian density ##\mathbf{L} \in \Omega^{p+1,0}_\Sigma(E)## as in def. 5.1, then its de Rham differential ##\mathbf{d}\mathbf{L}##, which by degree reasons equals ##\delta \mathbf{L}##, has a *unique* decomposition as a sum of two terms

$$ \label{dLDecomposition} \mathbf{d} \mathbf{L} = \delta_{EL} \mathbf{L} – d \Theta_{BFV} $$ | (47) |

such that ##\delta_{EL}\mathbf{L}## is proportional to the variational derivative of the fields (but not their derivatives, called a “source form”):

$$

\delta_{EL} \mathbf{L}

\;\in\;

\Omega^{p+1,0}_{\Sigma}(E) \wedge \delta C^\infty(E)

\;\subset\;

\Omega^{p+1,1}_{\Sigma}(E)

\,.

$$

The map

$$

\delta_{EL} \;\colon\; \Omega^{p+1,0}_{\Sigma}(E) \longrightarrow \Omega^{p+1,0}_{\Sigma}(E) \wedge \delta \Omega^{0,0}_{\Sigma}(E)

$$

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

$$ \label{EulerLagrangeEquationGeneral} \begin{aligned} \delta_{EL} L \, dvol_\Sigma & := \frac{\delta_{EL} L}{\delta \phi^a} \delta \phi^a \wedge dvol_\Sigma \\ & := \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} $$ | (48) |

The smooth subspace of the jet bundle on which the Euler-Lagrange form vanishes

$$ \label{ShellInJetBundle} \mathcal{E} \;:=\; \left\{ x \in J^\infty_\Sigma(E) \;\vert\; \delta_{EL}\mathbf{L}(x) = 0 \right\} \;\overset{i_{\mathcal{E}}}{\rightarrow}\; J^\infty_\Sigma(E) \,. $$ | (49) |

is called the *shell*. The smaller subspace on which also all total spacetime derivatives vanish (the “formally integrable prolongation”) is the *prolonged shell*

$$ \label{ProlongedShellInJetBundle} \mathcal{E}^\infty \;:=\; \left\{ x \in J^\infty_\Sigma(E) \;\vert\; \left( \frac{d^k}{d x^{\mu_1} \cdots d x^{\mu_k}} \delta_{EL}\mathbf{L} \right)(x) = 0 \right\} \overset{i_{\mathcal{E}^\infty}}{\rightarrow} J^\infty_\Sigma(E) \,. $$ | (50) |

Saying something holds “on-shell” is to mean that it holds after restriction to this subspace. For example a variational differential form ##\alpha \in \Omega^{\bullet,\bullet}_\Sigma(E)## is said to *vanish on shell* if ##\alpha\vert_{\mathcal{E}^\infty} = 0##.

The remaining term ##d \Theta_{BFV}## in (47) is unique, while the *presymplectic potential*

$$ \label{PresymplecticPotential} \Theta_{BFV} \in \Omega^{p,1}_{\Sigma}(E) $$ | (51) |

is not unique.

(For a field bundle which is a trivial vector bundle (example 3.4

over Minkowski spacetime (def. 2.17), prop. 4.14 says that ##\Theta_{BFV}## is unique up to addition of total spacetime derivatives ##d \kappa##, for ##\kappa \in \Omega^{p-1,1}_\Sigma(E)##.)

One possible choice for the presymplectic current ##\Theta_{BFV}## is

$$ \label{StandardThetaForTrivialVectorFieldBundleOnMinkowskiSpacetime} \begin{aligned} \Theta_{BFV} & := \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} $$ | (52) |

where

$$

\iota_{\partial_{\mu}} dvol_\Sigma

\;:=\;

(-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 (def. 1.20) of the volume form with the vector field ##\partial_\mu##.

The vertical derivative of a chosen presymplectic potential ##\Theta_{BFV}## is called a *pre-symplectic current* for ##\mathbf{L}##:

$$ \label{PresymplecticCurrent} \Omega_{BFV} \;:=\; \delta \Theta_{BFV} \;\;\; \in \Omega^{p,2}_{\Sigma}(E) \,. $$ | (53) |

Given a choice of ##\Theta_{BFV}## then the sum

$$ \label{TheLepage} \mathbf{L} + \Theta_{BFV} \;\in\; \Omega^{p+1,0}_\Sigma(E) \oplus \Omega^{p,1}_\Sigma(E) $$ | (54) |

is called the corresponding *Lepage form*. Its de Rham derivative is the sum of the Euler-Lagrange variation and the presymplectic current:

$$ \label{DerivativeOfLepageForm} \mathbf{d}( \mathbf{L} + \Theta_{BFV} ) \;=\; \delta_{EL} \mathbf{L} + \Omega_{BFV} \,. $$ | (55) |

(Its conceptual nature will be elucidated after the introduction of the local BV-complex in example 8.11 below.)

**Proof.** Using ##\mathbf{L} = L dvol_\Sigma## and that ##d \mathbf{L} = 0## by degree reasons (example 4.12), we find

$$

\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 \Theta_{BFV}## pick up those terms that would appear as boundary terms under the integral ##\int_\Sigma j^\infty_\Sigma(\Phi)^\ast \mathbf{d}L## if we were to consider integration by parts to remove spacetime derivatives of ##\delta \phi^a##.

We compute, using example 4.12, the total horizontal derivative of ##\Theta_{BFV}## from (52) as follows:

$$

\begin{aligned}

d \Theta_{BFV}

& =

\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

$$

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 ##\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 \Theta_{BFV}

\;=\;

–

\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 \Theta_{BFV}## shares with ##\mathbf{d} \mathbf{L}## the terms that are proportional to ##\delta \phi^a_{,\mu_1 \cdots \mu_k}## for ##k \geq 1##, and so the remaining terms are proportional to ##\delta \phi^a##, as claimed:

$$

\mathbf{d}L + d \Theta_{BFV}

=

\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

}}

\,.

$$

The following fact is immediate from prop. 5.12, but of central importance, we futher amplify this in remark 5.16 below:

###### Proposition 5.13. **(total spacetime derivative of presymplectic current vanishes on-shell)**

Let ##(E,\mathbf{L})## be a Lagrangian field theory (def. 5.1). Then the Euler-Lagrange form ##\delta_{EL} \mathbf{L}## and the presymplectic current (prop. 5.12) are related by

$$

d \Omega_{BFV} = – \delta(\delta_{EL}\mathbf{L})

\,.

$$

In particular this means that restricted to the prolonged shell ##\mathcal{E}^\infty \rightarrow J^\infty_\Sigma(E)## (50) the total spacetime derivative of the presymplectic current vanishes:

$$ \label{HorizontalDerivativeOfPresymplecticCurrentVanishesOnShell} d \Omega_{BFV} \vert_{\mathcal{E}^\infty} \;=\; 0 \,. $$ | (56) |

**Proof.** By prop. 5.12 we have

$$

\delta \mathbf{L} = \delta_{EL} \mathbf{L} – d \Theta_{BFV}

\,.

$$

The claim follows from applying the variational derivative ##\delta## to both sides, using (37): ##\delta^2 = 0## and ##\delta \circ d = – d \circ \delta##.

Many examples of interest fall into the following two special cases of prop. 5.12:

###### Example 5.14. **(Euler-Lagrange form for spacetime-independent Lagrangian densities)**

Let ##(E,\mathbf{L})## be a Lagrangian field theory (def. 5.1) whose field bundle ##E## is a trivial vector bundle ##E \simeq \Sigma \times F## over Minkowski spacetime ##\Sigma## (example 3.4).

In general the Lagrangian density ##\mathbf{L}## is a function of all the spacetime and field coordinates

$$

\mathbf{L} = L((x^\mu), (\phi^a), (\phi^a_{,\mu}), \cdots) dvol_\Sigma

\,.

$$

Consider the special case that ##\mathbf{L}## is *spacetime-independent* in that the Lagrangian funtion ##L## is independent of the spacetime coordinate ##(x^\mu)##. Then the same evidently holds for the Euler-Lagrange form ##\delta_{EL}\mathbf{L}## (prop. 5.12). Therefore in this case the shell (50) is itself a trivial bundle over spacetime.

In this situation every point ##\varphi## in the jet fiber defines a constant section of the shell:

$$ \label{ConstantSectionOfTrivialShellBundle} \Sigma \times \{\varphi\} \subset \mathcal{E}^\infty \,. $$ | (57) |

###### Example 5.15. **(canonical momentum)**

Consider a Lagrangian field theory ##(E, \mathbf{L})## (def. 5.1) whose Lagrangian density ##\mathbf{L}##

- does not depend on the spacetime-coordinates (example 5.14);
- depends on spacetime derivatives of field coordinates (hence on jet bundle coordinates) at most to first order.

Hence if the field bundle ##E \overset{fb}{\to} \Sigma## is a trivial vector bundle over Minkowski spacetime (example 3.4) this means to consider the case that

$$

\mathbf{L}

\;=\;

L\left(

(\phi^a), (\phi^a_{,\mu})

\right) \wedge dvol_\Sigma

\,.

$$

Then the presymplectic current (def. 5.12) is (up to possibly a horizontally exact part) of the form

$$ \label{CanonicalMomentumPresymplecticCurrent} \Omega_{BFV} \;=\; \delta p_a^\mu \wedge \delta \phi^a \wedge \iota_{\partial_\mu} dvol_\Sigma $$ | (58) |

where

$$ \label{CanonicalMomentumInCoordinates} p_a^\mu \;:=\; \frac{\partial L}{ \partial \phi^a_{,\mu}} $$ | (59) |

denotes the partial derivative of the Lagrangian function with respect to the spacetime-derivatives of the field coordinates.

Here

$$

\begin{aligned}

p_a

& :=

p_a^0

\\

& =

\frac{\partial L}{\partial \phi^a_{,0}}

\end{aligned}

$$

is called the *canonical momentum* corresponding to the “canonical field coordinate” ##\phi^a##.

In the language of multisymplectic geometry the full expression

$$

p_a^\mu \wedge \iota_{\partial_\mu} dvol_\Sigma

\;\in\;

\Omega^{p,1}_\Sigma(E)

$$

is also called the “canonical multi-momentum”, or similar.

**Proof.** We compute:

$$

\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}

\right)

\delta \phi^a

\wedge

dvol_\Sigma

\\

& =

\left(

\frac{\partial L}{\partial \phi^a}

–

\frac{d}{d x^\mu} \frac{\partial L}{\partial \phi^a_{,\mu}}

\right)

\wedge

dvol_\Sigma

–

d

\underset{

\Theta_{BFV}

}{

\underbrace{

\left(

\frac{\partial L}{\partial \phi^a_{,\mu}} \delta \phi^a

\right)

\wedge

\iota_{\partial_\mu} dvol_\Sigma

}

}

\end{aligned}

\,.

$$

Hence

$$

\begin{aligned}

\Omega_{BFV}

& :=

\delta \Theta_{BFV}

\\

& =

\delta

\left(

\frac{\partial L}{\partial \phi^a_{,\mu}}

\delta \phi^a_{,\mu}

\wedge \iota_{\partial_\mu} dvol_\Sigma

\right)

\\

& =

\delta

\frac{\partial L}{\partial \phi^a_{,\mu}}

\wedge

\delta \phi^a_{,\mu}

\wedge

\iota_{\partial_\mu} dvol_\Sigma

\\

& =

\delta p_a^\mu \wedge \delta \phi^a \wedge \iota_{\partial_\mu} dvol_\Sigma

\end{aligned}

$$

###### Remark 5.16. **(presymplectic current is local version of (pre-)symplectic form of Hamiltonian mechanics)**

In the simple but very common situation of example 5.15 the presymplectic current (def. 5.12) takes the form (59)

$$

\Omega_{BFV}

\;=\;

\delta p_a^\mu

\wedge

\delta \phi^a

\wedge

\iota_{\partial_\mu} dvol_\Sigma

$$

with ##\phi^a## the field coordinates (“canonical coordinates”) and ##p_a^\mu## the “canonical momentum” (59).

Notice that this is of the schematic form “##(\delta p_a \wedge \delta q^a) \wedge dvol_{\Sigma_p}##”, which is reminiscent of the wedge product of a symplectic form expressed in Darboux coordinates with a volume form for a ##p##-dimensional manifold. Indeed, below in *Phase space* we discuss that this presymplectic current “transgresses” (def. 7.31 below) to a presymplectic form of the schematic form “##d P_a \wedge d Q^a##” on the on-shell space of field histories (def. 5.24) by integrating it over a Cauchy surface of dimension ##p##. In good situations this presymplectic form is in fact a symplectic form on the on-shell space of field histories (theorem 8.7 below).

This shows that the presymplectic current ##\Omega_{BFV}## 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. (56) may be read as saying that the presymplectic current is a *conserved current* (def. 6.6 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. 8.13 below) and the conserved charge associated with the presymplectic current is the (pre-)symplectic form on thephase space of the field theory (def. 8.2 below).

###### Example 5.17. **(Euler-Lagrange form and presymplectic current for free real scalar field)**

Consider the Lagrangian field theory of the free real scalar field from example 5.4.

Then the Euler-Lagrange form and presymplectic current (prop. 5.12) are

$$ \label{RealScalarFieldLEForm} \delta_{EL}\mathbf{L} \;=\; \left(\eta^{\mu \nu} \phi_{,\mu \nu} – m^2 \right) \delta \phi \wedge dvol_\sigma \;\in\; \Omega^{p+1,1}_{\Sigma}(E) \,. $$ | (60) |

and

$$

\Omega_{BFV}

\;=\;

\left(\eta^{\mu \nu} \delta \phi_{,\mu} \wedge \delta \phi \right) \wedge \iota_{\partial_\nu} dvol_{\Sigma}

\;\in\;

\Omega^{p,2}_{\Sigma}(E)

\,,

$$

respectively.

**Proof.** This is a special case of example 5.15, but we spell it out in detail again:

We need to show that Euler-Lagrange operator ##\delta_{EL} \colon \Omega^{p+1,0}(\Sigma) \to \Omega^{p+1,1}_S(\Sigma)## takes the local Lagrangian density for the free scalar field to

$$

\delta_EL L

\;=\;

\left(

\eta^{\mu \nu} \phi_{,\mu \nu} – m^2 \phi

\right)

\delta \phi \wedge \mathrm{dvol}_\Sigma

\,.

$$

First of all, using just the variational derivative (vertical derivative) ##\delta## is a graded derivation, the result of applying it to the local Lagrangian density is

$$

\delta L

\;=\;

\left(

\eta^{\mu \nu} \phi_{,\mu} \delta \phi_{,\nu}

–

m^2 \phi \delta \phi

\right)

\wedge \mathrm{dvol}_\Sigma

\,.

$$

By definition of the Euler-Lagrange operator, in order to find ##\delta_{EL}\mathbf{L}## and ##\Theta_{BFV}##, we need to exhibit this as the sum of the form ##(-) \wedge \delta \phi – d \Theta_{BFV}##.

The key to find ##\Theta_{BFV}## is to realize ##\delta \phi_{,\nu}\wedge \mathrm{dvol}_\Sigma## as a total spacetime derivative (horizontal derivative). Since ##d \phi = \phi_{,\mu} d x^\mu## this is accomplished by

$$

\delta \phi_{,\nu} \wedge \mathrm{dvol}_\Sigma

=

\delta d \phi \wedge \iota_{\partial_\nu} \mathrm{dvol}_\Sigma

\,,

$$

where on the right we have the contraction (def. 1.20) of the tangent vector field along ##x^\nu## into the volume form.

Hence we may take the presymplectic potential (51) of the free scalar field to be

$$ \label{PresymplecticPotentialOfFreeScalarField} \Theta_{BFV} := \eta^{\mu \nu} \phi_{,\mu} \delta \phi \wedge \iota_{\partial_\nu} \mathrm{dvol}_\Sigma \,, $$ | (61) |

because with this we have

$$

d \Theta_{BFV}

=

\eta^{\mu \nu}

\left(

\phi_{,\mu \nu} \delta \phi

–

\eta^{\mu \nu} \phi_{,\mu} \delta \phi_{,\nu}

\right) \wedge \mathrm{dvol}_\Sigma

\,.

$$

In conclusion this yields the decomposition of the vertical differential of the Lagrangian density

$$

\delta L

=

\underset{

= \delta_{EL} \mathcal{L}

}{

\underbrace{

\left(

\eta^{\mu \nu} \phi_{,\mu \nu} – m^2 \phi

\right)

\delta \phi \wedge \mathrm{dvol}_\Sigma

}

}

–

d \Theta_{BFV}

\,,

$$

which shows that ##\delta_{EL} L## is as claimed, and that ##\Theta_{BFV}## is a presymplectic potential current (51). Hence the presymplectic current itself is

$$

\begin{aligned}

\Omega_{BFV} &:= \delta \Theta_{BFV}

\\

& =

\delta \left( \eta^{\mu \nu} \phi_{,\mu} \delta \phi \wedge \iota_{\partial_\nu} \mathrm{dvol}_\Sigma \right)

\\

& =

\left(\eta^{\mu \nu} \delta \phi_{,\mu} \wedge \delta \phi \right) \wedge \iota_{\partial_\nu} dvol_{\Sigma}

\end{aligned}

\,.

$$

###### Example 5.18. **(Euler-Lagrange form for free electromagnetic field)**

Consider the Lagrangian field theory of free electromagnetism from example 5.6.

The Euler-Lagrange variational derivative is

$$ \label{ElectromagneticFieldEulerLagrangeForm} \delta_{EL} \mathbf{L} \;=\; – \frac{d}{d x^\mu} f^{\mu \nu} \delta a_\nu \,. $$ | (62) |

Hence the shell (49) in this case is

$$

\mathcal{E}

=

\Sigma \times

\left\{

\left(

(a_\mu) , (a_{\mu,\mu_1}), (a_{\mu,\mu_1 \mu_2}), \cdots

\right)

\;\vert\; f^{\mu \nu}{}_{,\mu} = 0 \right\}

\;\subset\;

J^\infty_\Sigma(T^\ast \Sigma)

\,.

$$

**Proof.** By (48) we have

$$

\begin{aligned}

\frac{\delta_{EL} L}{\delta a_\mu} \delta a_\mu

& =

\left(

\underset{

= 0

}{

\underbrace{

\frac{\partial}{\partial a_\mu}

\tfrac{1}{2} a_{[\mu,\nu]} a^{[\mu,\nu]}

}

}

–

\frac{d}{d x^\rho}

\frac{\partial}{\partial a_{\alpha,\rho}}

\tfrac{1}{2} a_{[\mu,\nu]} a^{[\mu,\nu]}

\right)

\delta a_\alpha

\\

& =

–

\tfrac{1}{2}

\left(

\frac{d}{d x^\rho}

\frac{\partial}{\partial a_{\alpha,\rho}}

a_{\mu,\nu} a^{[\mu,\nu]}

\right)

\delta a_\alpha

\\

& =

–

\left(

\frac{d}{d x^\rho}

a^{[\alpha,\rho]}

\right)

\delta a_{\alpha}

\\

& =

– f^{\mu \nu}{}_{,\mu} \delta a_{\nu}

\,.

\end{aligned}

$$

More generally:

###### Example 5.19. **(Euler-Lagrange form for Yang-Mills theory on Minkowski spacetime)**

Let ##\mathfrak{g}## be a semisimple Lie algebra and consider the Lagrangian field theory ##(E,\mathbf{L})## of ##\mathfrak{g}##-Yang-Mills theory from example 5.7.

Its Euler-Lagrange form (prop. 5.12) is

$$

\begin{aligned}

\delta_{EL}\mathbf{L}

& =

–

\left(

f^{\mu \nu \alpha}_{,\mu}

+

\gamma^\alpha{}_{\beta’ \gamma} a_\mu^{\beta’} f^{\mu \nu \gamma}

\right)

k_{\alpha \beta}

\,\delta a_\mu^\beta

\, dvol_\Sigma

\,,

\end{aligned}

$$

where

$$

f^\alpha_{\mu \nu}

\;\in\;

\Omega^{0,0}_\Sigma(E)

$$

is the universal Yang-Mills field strength (31).

**Proof.** With the explicit form (48) for the Euler-Lagrange derivative we compute as follows:

$$

\begin{aligned}

\delta_{EL}

\left(

\tfrac{1}{2}

k_{\alpha \beta} f^\alpha_{\mu\nu} f^{\beta \mu \nu}

\right)

& =

\left(

\left(

\frac{\partial}{\partial a_{\mu’}^{\alpha’}}

\left(

a_{\nu,\mu}^\alpha

+

\tfrac{1}{2}

\gamma^{\alpha}{}_{\alpha_2 \alpha_3}

a_{\mu}^{\alpha_2} a_\nu^{\alpha_3}

\right)

\right)

k_{\alpha \beta}

f^{\beta \mu \nu}

–

\left(

\frac{d}{d x^{\nu’}}

\frac{\partial}{\partial a_{\mu’,\nu’}^{\alpha’}}

\left(

a_{\nu,\mu}^\alpha

+

\tfrac{1}{2}

\gamma^{\alpha}{}_{\alpha_2 \alpha_3}

a_{\mu}^{\alpha_2} a_\nu^{\alpha_3}

\right)

\right)

k_{\alpha \beta}

f^{\beta \mu \nu}

\right)

\delta a_{\mu’}^{\alpha’}

\\

& =

\gamma^{\alpha}{}_{\alpha’ \alpha_3} a_\nu^{\alpha_3}

f^{\beta \mu \nu}

k_{\alpha \beta}

\delta a_{\mu}^{\alpha’}

–

\left(

\frac{d}{d x^{\mu}} f^{\beta \mu \nu}

\right)

k_{\alpha \beta}

\delta a_{\nu}^{\alpha}

\\

&=

–

\left(

f^{\alpha \mu \nu}_{,\mu}

+

\gamma^\alpha{}_{\beta \gamma} a_\mu^\beta f^{\gamma \mu \nu}

\right)

k_{\alpha \beta}

\delta a_\nu^\beta

\end{aligned}

$$

In the last step we used that for a semisimple Lie algebra ##\gamma_{\alpha \beta \gamma} := k_{\alpha \alpha’} \gamma^{\alpha’}{}_{\beta \gamma}## 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 ##k##.

###### Example 5.20. **(Euler-Lagrange form of free B-field)**

Consider the Lagrangian field theory of the free B-field from example 3.9.

The Euler-Lagrange variational derivative is

$$

\delta_{EL} \mathbf{L}

\;=\;

h^{\mu \nu \rho}{}_{,\rho} \delta b_{\mu \nu}

\,,

$$

where ##h_{\mu_1 \mu_2 \mu_3}## is the universal B-field strength from example 4.5.

**Proof.** By (48) we have

$$

\begin{aligned}

\frac{\delta_{EL} L}{\delta b_{\mu \nu}} \delta b_{\mu \nu}

& =

\left(

\underset{

= 0

}{

\underbrace{

\frac{\partial}{\partial b_{\mu \nu}}

\tfrac{1}{2} b_{[\mu_1 \mu_2, \mu_3]} b^{[\mu_1 \mu_2, \mu_3]}

}

}

–

\frac{d}{d x^\rho}

\frac{\partial}{\partial b_{\mu \nu, \rho}}

\tfrac{1}{2} b_{[\mu_1 \mu_2, \mu_3]} b^{[\mu_1 \mu_2, \mu_3]}

\right)

\delta b_{\mu \nu}

\\

& =

–

\left(

\frac{d}{d x^\rho}

\frac{\partial}{\partial b_{\mu \nu, \rho}}

\tfrac{1}{2} b_{\mu_1 \mu_2, \mu_3} b^{[\mu_1 \mu_2, \mu_3]}

\right)

\delta b_{\mu \nu}

\\

& =

–

\left(

\frac{d}{d x^\rho}

b^{[\mu \nu, \rho]}

\right)

\delta b_{\mu \nu}

\\

& =

–

h^{\mu \nu \rho}{}_{,\rho} \delta b_{\mu \nu}

\,.

\end{aligned}

$$

###### Example 5.21. **(Euler-Lagrange form and presymplectic current of Dirac field)**

Consider the Lagrangian field theory of the Dirac field on Minkowski spacetime of dimension ##p + 1 \in \{3,4,6,10\}## (example 5.9).

Then

- the Euler-Lagrange variational derivative (def. 5.12) in the case of vanishing mass ##m## is$$

\delta_{EL} \mathbf{L}

\;=\;

2 i\,

\overline{\delta \psi}

\,\gamma^\mu\, \psi_{,\mu}

\,

\wedge dvol_\Sigma

$$and in the case that spacetime dimension is ##p +1 = 4## and arbitrary mass ##m\in \mathbb{R}##, it is$$

\delta_{EL} \mathbf{L}

\;=\;

\left(

\overline{\delta \psi}

\left(

i \gamma^\mu \psi_{,\mu} + m \psi

\right)

+

\left(

– i \gamma^\mu\overline{\psi_{,\mu}} + m \overline{\psi}

\right)

(\delta \psi)

\right)

\,

dvol_\Sigma

$$ - its presymplectic current (def. 5.12) is$$

\Omega_{BFV}

\;=\;

\overline{\delta \psi}\,\gamma^\mu \,\delta \psi \, \iota_{\partial_\mu} dvol_\Sigma

$$

**Proof.** In any case the canonical momentum of the Dirac field according to example 5.15 is

$$

\begin{aligned}

p^\alpha_\mu

& :=

\frac{\partial }{\partial \psi^\alpha_{,\mu}}

\left(

i \overline {\psi} \, \gamma^\nu \, \psi_{,\nu}

+

m \overline{\psi} \psi

\right)

\\

& =

\overline{\psi}^\beta (\gamma^\mu)_\beta{}^\alpha

\end{aligned}

$$

This yields the presymplectic current as claimed, by example 5.15.

Now regarding the Euler-Lagrange form, first consider the massless case in spacetime dimension ##p+1 \in \{3,4,6,10\}##, where

$$

L

\;=\;

i \overline{\psi} \, \gamma^\mu \, \psi_{,\mu}

\,.

$$

Then we compute as follows:

$$

\begin{aligned}

\delta_{EL} L

& =

i \,\overline{\delta \psi} \, \gamma^\mu \, \psi_{,\mu}

\underset{

= +

i \,\overline{\delta \psi} \, \gamma^\mu \, \psi_{,\mu}

}{

\underbrace{

–

i \overline{\psi_{,\mu}} \, \gamma^\mu \, \delta \psi

}

}

\\

& =

2 i \, \overline{\delta \psi} \, \gamma^\mu \, \psi_{,\mu}

\end{aligned}

$$

Here the first equation is the general formula (48) for the Euler-Lagrange variation, while the identity under the braces combines two facts (as in remark 5.23 above):

- the symmetry (12) of the spinor pairing ##\overline{(-)}\gamma^\mu(-)## (prop. 2.31);
- the anti-commutativity (45) of the Dirac field and jet coordinates, due to their supergeometric nature (remark 3.52).

Finally in the special case of the massive Dirac field in spacetime dimension ##p+1 = 4## the Lagrangian function is

$$

L

\;=\;

i \, \overline{\psi} \gamma^\mu \psi_{,\mu} + m \overline{\psi}\psi

$$

where now ##\psi_\alpha## takes values in the complex numbers ##\mathbb{C}## (as opposed to in ##\mathbb{R}##, ##\mathbb{H}## or ##\mathbb{O}##). Therefore we may now form the derivative equivalently by treeating ##\psi## and ##\overline{\psi}## as independent components of the field. This immediately yields the claim.

###### Example 5.22. **(trivial Lagrangian densities and the Euler-Lagrange complex)**

If a Lagrangian density ##\mathbf{L}## (def. 5.4) is in the image of the total spacetime derivative, hence horizontally exact (def. 4.11)

$$

\mathbf{L} \;=\; d \mathbf{\ell}

$$

for any ##\mathbf{\ell} \in \Omega^{p,0}_\Sigma(E)##, then both its Euler-Lagrange form as well as its presymplectic current (def. 5.12) vanish:

$$

\delta_{EL}\mathbf{L} = 0

\phantom{AA}

\,,

\phantom{AA}

\Omega_{BFV} = 0

\,.

$$

This is because with ##\delta \circ d = – d \circ \delta## (37) the defining unique decomposition (47) of ##\delta \mathbf{L}## is given by

$$

\begin{aligned}

\delta \mathbf{L}

& =

\delta d \mathbf{\ell}

\\

& =

\underset{= \delta_{EL}\mathbf{L}}{\underbrace{0}}

–

d \underset{\Theta_{BFV}}{\underbrace{\delta \mathbf{l}}}

\end{aligned}

$$

which then implies with (53) that

$$

\begin{aligned}

\Omega_{BFV}

& :=

\delta \Theta_{BFV}

\\

& =

\delta \delta \mathbf{\ell}

\\

& =

0

\end{aligned}

$$

Therefore the Lagrangian densities which are total spacetime derivatives are also called *trivial Lagrangian densities*.

If the field bundle ##E \overset{fb}{\to} \Sigma## is a trivial vector bundle (example 3.4) over Minkowski spacetime (def. 2.17) 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. 4.14 extends to the right via the Euler-Lagrange variational derivative ##\delta_{EL}## to an exact sequence of the form

$$

\mathbb{R}

\overset{}{\rightarrow}

\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)

\overset{\delta_{EL}}{\longrightarrow}

\Omega^{p+1,0}_\Sigma(E) \wedge \delta(C^\infty(E))

\overset{\delta_{H}}{\longrightarrow}

\cdots

\,.

$$

In fact, as shown, this exact sequence keeps going to the right; this is also called the *Euler-Lagrange complex*.

(Anderson 89, theorem 5.1)

The next differential ##\delta_{H}## after the Euler-Lagrange variational derivative ##\delta_{EL}## 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 ##P \in \Omega^{p+1,0}_\Sigma(E) \wedge \delta(C^\infty(E))## as in (63) comes from varying a Lagrangian density, hence whether it is the equation of motion of a Lagrangian field theory via def. 5.24.

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*.

###### Remark 5.23. **(supergeometric nature of Lagrangian density of the Dirac field)**

Observe that the Lagrangian density for the Dirac field (def. 5.9) makes sense (only) due to the supergeometric nature of the Dirac field (remark 3.52): If the field jet coordinates ##\psi_{,\mu_1 \cdots \mu_k}## were not anti-commuting (45) then the Dirac’s field Lagrangian density (def. 5.9) would be a total spacetime derivative and hence be trivial according to example 5.22.

This is because

$$

d \left(

\tfrac{1}{2}

\overline{\psi} \,\gamma^\mu\, \psi

\,

\iota_{\partial_\mu} dvol_\Sigma

\right)

=

\tfrac{1}{2} \overline{\psi_{,\mu}} \,\gamma^\mu\, \psi \, dvol_\Sigma

+

\underset{ = (-1) \tfrac{1}{2} \overline{\psi_{,\mu}} \,\gamma^\mu\, \psi \, dvol_\Sigma }{

\underbrace{

\tfrac{1}{2}\overline{\psi} \,\gamma^\mu\, \psi_{,\mu} \, dvol_\Sigma

}}

\,.

$$

Here the identification under the brace uses two facts:

- the symmetry (12) of the spinor bilinear pairing ##\overline{(-)}\Gamma (-)##;
- the anti-commutativity (45) of the Dirac field and jet coordinates, due to their supergeometric nature (remark 3.52).

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 6.9 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 (46), thus rendering it trivial in the sense of example 5.22.

The same supergeometric nature of the Dirac field will be necessary for its intended equation of motion, the *Dirac equation* (example 5.30) to derive from a Lagrangian density; see the proof of example 5.21 below, and see remark 5.31 below.

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:

###### Definition 5.24. **(Euler-Lagrange equation of motion)**

Given a Lagrangian field theory ##(E,\mathbf{L})## (def. 5.1 then the corresponding *Euler-Lagrange equations of motion* is the condition on field histories (def. 3.46)

$$

\Phi_{(-)} \;\colon\; U \longrightarrow \Gamma_\Sigma(E)

$$

to have a jet prolongation (def. 4.2)

$$

j^\infty_\Sigma(\Phi_{(-)}(-) ) \;\colon\; U \times \Sigma \longrightarrow J^\infty_\Sigma(E)

$$

that factors through the shell inclusion ##\mathcal{E} \overset{i_{\mathcal{E}}}{\rightarrow} J^\infty_\Sigma(E)## (49) defined by vanishing of the Euler-Lagrange form (prop. 5.12)

$$ \label{EquationOfMotionEL} j^\infty_\Sigma(\Phi_{(-)}(-)) \;\colon\; U \times \Sigma \longrightarrow \mathcal{E} \overset{i_{\mathcal{E}}}{\rightarrow} J^\infty_\Sigma(E) \,. $$ | (63) |

(This implies that ##j^\infty_\Sigma(\Phi_{(-)})## factors even through the prolonged shell ##\mathcal{E}^\infty \overset{i_{\mathcal{E}^\infty}}{\rightarrow} J^\infty_\Sigma(E)## (50).)

In the case that the field bundle is a trivial vector bundle over Minkowski spacetime as in example 3.4 this is the condition that ##\Phi_{(-)}## satisfies the following differential equation (again using prop. 5.12):

$$

\frac{\delta_{EL} L}{\delta \phi^a}

\;:=\;

\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}\right),

\left( \frac{\partial^2 \Phi^a_{(-)}}{\partial x^\mu \partial x^\nu} \right),

\cdots

\right)

\;=\;

0

\,,

$$

where the differential operator (def. 4.7)

$$ \label{DifferentialOperatorEulerLagrangeDerivative} j^\infty_\Sigma(-)^\ast \left( \frac{\delta_{EL}L}{\delta \phi^{(-)}} \right) \;\colon\; \Gamma_\Sigma(E) \longrightarrow \Gamma_\Sigma(T^\ast_\Sigma E) $$ | (64) |

from the field bundle (def. 3.1) to its vertical cotangent bundle (def. 1.13) is given by the *Euler-Lagrange derivative* (48).

The *on-shell space of field histories* is the space of solutions to this condition, namely the the sub-super smooth set (def. 3.40) of the full space of field histories (22) (def. 3.46)

$$ \label{OnShellFieldHistories} \Gamma_\Sigma(E)_{\delta_{EL} L = 0} \overset{\phantom{AAA}}{\rightarrow} \Gamma_\Sigma(E) $$ | (65) |

whose plots are those ##\Phi_{(-)} \colon U \to \Gamma_\Sigma(E)## that factor through the shell (63).

More generally for ##\Sigma_r \rightarrow \Sigma## a submanifold of spacetime, we write

$$ \label{OnShellFieldHistoriesInHigherCodimension} \Gamma_{\Sigma_r}(E)_{\delta_{EL} L = 0} \overset{\phantom{AAA}}{\rightarrow} \Gamma_{\Sigma_r}(E) $$ | (66) |

for the sub-super smooth ste of on-shell field histories restricted to the infinitesimal neighbourhood of ##\Sigma_r## in ##\Sigma## (25).

###### Definition 5.25. **(free field theory)**

A Lagrangian field theory ##(E, \mathbf{L})## (def. 5.1) with field bundle ##E \overset{fb}{\to} \Sigma## a vector bundle (e.g. a trivial vector bundle as in example 3.4) is called a *free field theory* if its Euler-Lagrange equations of motion (def. 5.24) is a differential equation that is *linear differential equation*, in that with

$$

\Phi_1, \Phi_2 \;\in\; \Gamma_\Sigma(E)_{\delta_{EL}\mathbf{L} = 0}

$$

any two on-shell field histories (65) and ##c_1, c_2 \in \mathbb{R}## any two real numbers, also the linear combination

$$

c_1 \Phi_1 + c_2 \Phi_2 \;\in\; \Gamma_\Sigma(E)

\,,

$$

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 ##\Gamma_\Sigma(E)_{\delta_{EL}\mathbf{L} = 0}##.

A Lagrangian field theory which is not a free field theory is called an *interacting* field theory.

###### Remark 5.26. **(relevance of free field theory)**

In perturbative quantum field theory one considers interacting field theories in the infinitesimal neighbourhood (example 3.30) of free field theories (def. 5.25) 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 *.

###### Example 5.27. **(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 5.4.

By example 5.17 its Euler-Lagrange form is

$$

\delta_{EL}\mathbf{L}

\;=\;

\left(\eta^{\mu \nu} \phi_{,\mu \nu} – m^2 \right) \delta \phi \wedge dvol_\sigma

$$

Hence for ##\Phi \in \Gamma_\Sigma(E) = C^\infty(X)## a field history, its Euler-Lagrange equation of motion according to def. 5.24 is

$$

\eta^{\mu \nu} \frac{\partial^2 }{\partial x^\mu \partial x^\nu} \Phi – m^2 \Phi \;=\; 0

$$

often abbreviated as

$$ \label{KleinGordonEquation} (\Box – m^2) \Phi \;=\; 0 \,. $$ | (67) |

This PDE is called the *Klein-Gordon equation* on Minowski spacetime. If the mass ##m## vanishes, ##m = 0##, then this is the *relativistic wave equation*.

Hence this is indeed a free field theory according to def. 5.25.

The corresponding linear differential operator (def. 4.7)

$$ \label{KleinGordonOperator} (\Box – m^2) \;\colon\; \Gamma_\Sigma(\Sigma \times \mathbb{R}) \longrightarrow \Gamma_\Sigma(\Sigma \times \mathbb{R}) $$ | (68) |

is called the *Klein-Gordon operator*.

For later use we record the following basic fact about the Klein-Gordon equation:

###### Example 5.28. **(Klein-Gordon operator is formally self-adjoint )**

The Klein-Gordon operator (68) is its own formal adjoint (def. 4.9) witnessed by the bilinear differential operator (33) given by

$$ \label{WitnessForFormalSelfadjointnessOfKleinGordonEquation} K(\Phi_1, \Phi_2) \;:=\; \left( \frac{\partial \Phi_1}{\partial x^\mu} \Phi_2 – \Phi_1 \frac{\partial \Phi_2}{\partial x^\mu} \right) \eta^{\mu \nu}\iota_{\partial_\nu} dvol_\Sigma \,. $$ | (69) |

**Proof.** $$

\begin{aligned}

d K(\Phi_1, \Phi_2)

& =

d

\left(

\frac{\partial \Phi_1}{\partial x^\mu} \Phi_2

–

\Phi_1 \frac{\partial \Phi_2}{\partial x^\mu}

\right)

\eta^{\mu \nu}\iota_{\partial_\nu} dvol_\Sigma

\\

&=

\left(

\left(

\eta^{\mu \nu}\frac{\partial^2 \Phi_1}{\partial x^\mu \partial x^\nu} \Phi_2

+

\eta^{\mu \nu} \frac{\partial \Phi_1}{\partial x^\mu} \frac{\partial \Phi_2}{\partial x^\nu}

\right)

–

\left(

\eta^{\mu \nu}

\frac{\partial \Phi_1}{\partial x^\nu} \frac{\partial \Phi_2}{\partial x^\mu}

+

\Phi_1 \eta^{\mu \nu} \frac{\partial^2 \Phi_2}{\partial x^\nu \partial x^\mu}

\right)

\right)

dvol_\Sigma

\\

& =

\left(

\eta^{\mu \nu}\frac{\partial^2 \Phi_1}{\partial x^\mu \partial x^\nu} \Phi_2

–

\Phi_1 \eta^{\mu \nu} \frac{\partial^2 \Phi_2}{\partial x^\nu \partial x^\mu}

\right)

dvol_\Sigma

\\

& =

\Box(\Phi_1) \Phi_2 – \Phi_1 \Box (\Phi_2)

\end{aligned}

$$

###### Example 5.29. **(equations of motion of vacuum electromagnetism are vacuum Maxwell’s equations)**

Consider the Lagrangian field theory of free electromagnetism on Minkowski spacetime from example 5.6.

By example 5.18 its Euler-Lagrange form is

$$

\delta_{EL}\mathbf{L}

\;=\;

\frac{d}{d x^\mu}f^{\mu \nu} \delta a_\nu

\,.

$$

Hence for ##A \in \Gamma_{\Sigma}(T^\ast \Sigma) = \Omega^1(\Sigma)## a field history (“vector potential”), its Euler-Lagrange equation of motion according to def. 5.24 is

$$

\begin{aligned}

& \frac{\partial}{\partial x^\mu} F^{\mu \nu} = 0

\\

\Leftrightarrow\;\; &

d \star_\eta F = 0

\end{aligned}

\,,

$$

where ##F = d A## is the Faraday tensor (20). (In the coordinate-free formulation in the second line “##\star_\eta##” denotes the Hodge star operator induced by the pseudo-Riemannian metric ##\eta## on Minkowski spacetime.)

These PDEs are called the *vacuum Maxwell’s equations*.

This, too, is a free field theory according to def. 5.25.

###### Example 5.30. **(equation of motion of Dirac field is Dirac equation)**

Consider the Lagrangian field theory of the Dirac field on Minkowski spacetime from example 5.9, with field fiber the spin representation ##S## regarded as a superpoint ##S_{odd}## and Lagrangian density given by the spinor bilinear pairing

$$

L

\;=\;

i \overline{\psi} \gamma^\mu \partial_\mu \psi + m \overline{\psi}\psi

$$

(in spacetime dimension ##p+1 \in \{3,4,6,10\}## with ##m = 0## unless ##p+1 = 4##).

By example 5.21 the Euler-Lagrange differential operator (64) for the Dirac field is of the form

$$ \label{DiracOperatorAsELOperator} \array{ \Gamma_\Sigma(\Sigma \times S) &\overset{ }{\longrightarrow}& \Gamma_\Sigma(\Sigma \times S^\ast) \\ \Psi &\mapsto& \overline{(-)} D \psi } $$ | (70) |

so that the corresponding Euler-Lagrange equation of motion (def. 5.24) is equivalently

$$ \label{DiracEquation} \underset{D}{ \underbrace{ \left(-i \gamma^\mu \partial_\mu + m\right) }} \psi \;=\; 0 \,. $$ | (71) |

This is the *Dirac equation* and ##D## is called a *Dirac operator*. In terms of the *Feynman slash notation* from (16) the corresponding differential operator, the *Dirac operator* reads

$$

D

\;=\;

\left(

– i \partial\!\!\!/\, + m

\right)

\,.

$$

Hence this is a free field theory according to def. 5.25.

Observe that the “square” of the Dirac operator is the Klein-Gordon operator ##\Box – m^2## (67)

$$

\begin{aligned}

\left(

+i \gamma^\mu \partial_\mu + m

\right)

\left(-i \gamma^\mu \partial_\mu + m\right)\psi

&

=

\left(\partial_\mu \partial^\mu – m^2\right) \psi

\\

& =

\left(\Box – m^2\right) \psi

\end{aligned}

\,.

$$

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.

###### Remark 5.31. **(supergeometric nature of the Dirac equation as an Euler-Lagrange equation)**

While the Dirac equation (71) of example 5.30

would make sense in itself also if the field coordinates ##\psi## and jet coordinates ##\psi_{,\mu}## of the Dirac field were not anti-commuting (45), due to their supergeometric nature (remark 3.52), it would, by remark 5.23, then no longer be the Euler-Lagrange equation of a Lagrangian density, hence then Dirac field theory would not be a Lagrangian field theory.

###### Example 5.32. **(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 5.30 via def. 4.7

is a formally anti-self adjoint (def. 4.9):

$$

D^\ast = – D

\,.

$$

**Proof.** By (70) we are to regard the Dirac operator as taking values in the dual spin bundle by using the Dirac conjugate ##\overline{(-)}## (14):

$$

\array{

\Gamma_\Sigma(\Sigma \times S)

&\overset{}{\longrightarrow}&

\Gamma_\Sigma(\Sigma \times S^\ast)

\\

\Psi &\mapsto& \overline{(-)} D \Psi

}

$$

Then we need to show that there is ##K(-,-)## such that for all pairs of spinor sections ##\Psi_1, \Psi_2## we have

$$

\overline{\Psi_2}\gamma^\mu (\partial_\mu \Psi_1)

–

\overline{\Psi_1}\gamma^\mu (-\partial_\mu \Psi_2)

\;=\;

d K(\psi_1, \psi_2)

\,.

$$

But the spinor-to-vector pairing is symmetric (12), hence this is equivalent to

$$

\overline{\partial_\mu \Psi_1}\gamma^\mu \Psi_2

+

\overline{\Psi_1}\gamma^\mu (\partial_\mu \Psi_2)

\;=\;

d K(\psi_1, \psi_2)

\,.

$$

By the product law of differentiation>, this is solved, for all ##\Psi_1, \Psi_2##, by

$$

K(\Psi_1, \Psi_2)

\;:=\;

\left( \overline{\Psi_1} \gamma^\mu \Psi_2\right)

\,

\iota_{\partial_\mu} dvol

\,.

$$

This concludes our discussion of Lagrangian densities and their variational calculus. In the next chapter we consider the infinitesimal symmetries of Lagrangians.

I am a researcher in the department Algebra, Geometry and Mathematical Physics of the Institute of Mathematics at the Czech Academy of the Sciences (CAS) in Prague.

Presently I am on leave at the Max Planck Institute for Mathematics in Bonn.

##beta## is dimensionless (regardless of which system of units you choose to use).

I might have misunderstood you, but the only thing I thought was "wrong" is the statement that a physical quantity ("##S##", say) with dimensions of "action" can be made "dimensionless" by setting ##hbar=1##. However, if one works instead with ##S/hbar##, that quantity is now indeed dimensionless, and by choosing units s.t. ##hbar=1## one can reduce some of the mess.

Yes, so what's wrong with what I wrote before? In natural units velocities are measured with dimensionless numbers, because you set ##c=1##. In the SI it's just ##beta=v/c## (with ##v## and ##c## measured in metre over second, m/s).

I don't know, how you call a quantity which is just a number like, e.g., the Sommerfeld fine-structure constant ##alpha=frac{e^2}{4 pi} simeq 1/137## (where ##e## is again a pure number in the Heaviside-Lorentz units with ##hbar=c=1##), which conventionally is defined as (##alpha=frac{e^2}{4 pi epsilon_0 hbar c}## in SI units) or radians for angles. […] I call ##alpha## dimensionless because, in full gory detail, it is: $$ alpha ~:=~ frac{1}{4pivarepsilon_0} , frac{e^2}{hbar c} ~.$$

I did read those examples, of course, but failed to get a grip on what the presymplectic current means physically. I've been able to (more-or-less) follow your other stuff, since I could relate it to ordinary classical mechanics and pedestrian Lagrangian field theory. But the presymplectic current didn't ring a bell with anything I'd learned before. Probably I'm just missing something important.Oh, I see. i should maybe add some outlook explanation in that section. The role of the presymplectic current will be elucidated in the chapter "Phase Space": it is the jet bundle avatar of the symplectic form on the phase space. In other words, it is the current whose conserved charge with respect to some spacelike Cauchy surface is the symplectic form for the phase space corresponding to that Cauchy surface.

You can see this well in the example of the scalar field: if you write "q" for the field "phi" and "p" for the field derivative, then the presymplectic current has the form ##delta p wedge delta q wedge volume ##. After transgression this becomes the familiar ##d P wedge d Q## on the phase space of the scalar field.

I don't have time today to add an outlook remark on this in the present chapter. But please remind me to do so.

I don't think "dimensionless" is the right word here. Just because you give something a value of 1 doesn't cause it to lose its physical type. E.g., if both ##hbar## and ##c## were dimensionless, I should be able to add them together. But that could never make sense because they're different types. You can't sensibly add a velocity to an action.I don't know, how you call a quantity which is just a number like, e.g., the Sommerfeld fine-structure constant ##alpha=frac{e^2}{4 pi} simeq 1/137## (where ##e## is again a pure number in the Heaviside-Lorentz units with ##hbar=c=1##), which conventionally is defined as (##alpha=frac{e^2}{4 pi epsilon_0 hbar c}## in SI units) or radians for angles. Of course, it doesn't make physical sense to add ##hbar## and ##c##. Also in conventional units you have examples for this: E.g., it doesn't make sense to add an energy (dimension Force times Distance) to a torque (also dimension Force times Distance).

The usual and most convenient convention in HEP is to set ##hbar=c=1##. These are just conversion constants depending on the used system of units. It is expected that next year the entire SI will be redefined by giving these constants a fixed value (as is already the case for the speed of light, coupling the definition of the metre to that of the second, which is defined by a hyperfine transition of Cs).

The only thing you need to know to convert from these natural units of the theoreticians to SI units is that ##hbar c simeq 0.197 text{GeV},text{fm}##. In the natural system you have the choice of only one unit left. Usually one works with GeV for masses, energies, momenta (in the conventional system multiplied with the appropriate powers of ##c##) and fm for times (conventionally ##text{fm}/c##) and distances. This, together with the value of ##hbar c##, given in these units, is all you need in HEP, and the natural units make dimensional analysis, as exemplified in the previous posting, easier.

If you carry that thought to the end, you arrive at th rescaling of the metric: Because what does it mean to "rescale the (co)tangent bundle"? This can only mean to 1) have a scale on it and then 2) change that. But a "scale" on the (co)tangent bundle, that's precisely a (pseudo-)Riemannian metric. Actually, when I carry that thought further, I think of $$ds^2 ~=~ g_{munu} dx^mu dx^nu ~,$$and I want ##ds## to have the same dimensions as ##dx##. Also, if I re-scale ##dx^mu to k dx^mu## I want that to induce ##ds to kds##. That seems to force ##g## to be dimensionless.

OTOH,… I suppose that if one wanted ##ds## to be invariant under ##dx^mu to k dx^mu##, then ##g## must scale (inversely) also.

Usually we use natural units in HEP physics. Then ##hbar=c=1##. So actions are dimensionless. I don't think "dimensionless" is the right word here. Just because you give something a value of 1 doesn't cause it to lose its physical type. E.g., if both ##hbar## and ##c## were dimensionless, I should be able to add them together. But that could never make sense because they're different types. You can't sensibly add a velocity to an action.

[##Theta_{BFV}##] spelled out earlier, in examples 5.11 and 5.13! I did read those examples, of course, but failed to get a grip on what the presymplectic current means physically. I've been able to (more-or-less) follow your other stuff, since I could relate it to ordinary classical mechanics and pedestrian Lagrangian field theory. But the presymplectic current didn't ring a bell with anything I'd learned before. Probably I'm just missing something important.

Of course the fundamental form ##eta_{mu nu}=mathrm{diag}(1,-1,-1,-1)## (or the opposite sign, depending on your convention) is dimensionless.A detailed study of QFT with respect to "physical scaling" of the metric tensor is in https://arxiv.org/abs/1710.01937, following https://arxiv.org/abs/1411.1302. This is well adapted to QFT on curved spacetimes. Maybe I find time to come back to this later.

In Example 5.4,

I would have thought this is because of the 2 derivatives of ##phi## by the coordinate ##x^mu##. Normally the metric ##eta_{munu}## would be dimensionless.

And btw, what are your dimensions of ##phi##? I'm a bit confused about how you're apparently dispensing with physical units here. In ordinary Lagrangian mechanics, we'd have $$S ~=~ int L ,dt$$where ##S## has dimensions of action (##ML^2/T##), hence ##L## must have dimensions ##ML^2/T^2##, i.e., energy. If we express ##L## in terms of a density ##{mathcal L}## via $$L ~=~ int {mathcal L} ; d^3x$$then ##{mathcal L}## must have dimensions ##M/LT^2##.

But perhaps you mean to make ##S## dimensionless by replacing it by ##S/hbar## ? :oldconfused:Usually we use natural units in HEP physics. Then ##hbar=c=1##. So actions are dimensionless. In (1+3)-Minkowski space (physical case) thus the Lagrangian (to be precise the Lagrangian density) must be of dimension ##text{Length}^{-4}##. Of course the fundamental form ##eta_{mu nu}=mathrm{diag}(1,-1,-1,-1)## (or the opposite sign, depending on your convention) is dimensionless. The kinetic term for a KG field is

$$mathcal{L}=(partial_{mu} phi)^*(partial^{mu} phi).$$

Each derivative has dimension ##1/text{Length}##. Consequently the KG field must have also dimension ##1/text{length}## such that ##mathcal{L}## has dimension ##1/text{Length}^4##, such that the action is dimensionless.

In natural units energies, momenta, and masses have of course the dimension ##1/text{Length}## or the other way around length has dimension ##1/text{Energy}##. Usually one counts in terms of energ-momenta-mass dimensions. Then the counting rules for the superficial degree of divergence in renormalization theory becomes more natural, and you can simply state that a Lagrangian leads to a superficially renormalizable theory (in (1+3) spacetime dimensions) if the energy-mopmetnum-mass dimensions of the coefficients in the lagrangian (derivatives, masses, and coupling constants) are not negative.

Re: "shell": I'm glad you're using this term in a unified way in both the classical and quantum cases. I once used the term "on-shell" in a classical context to mean "in the space of trajectories", but was scolded for doing so. o_OHm, saying "on-shell" for "when the equations of motion hold" is widely adopted standard. You should feel relaxed about saying it!:-)

Prop 5.8, 1st para: Is ##{mathbf {LL}}## a typo ?

Also, in defn 5.18: typo: mathfbThanks! Fixed now.

In the examples from 5.20 onwards: it wouldn't hurt to illustrate the pre-symplectic current explicitly in each case. (I must say I had great difficulty getting my head around ##Theta_{BFV}## in the abstract.) :oldfrown:That's spelled out earlier, in examples 5.11 and 5.13!

Pardon my ignorance, but,… why not? I would have thought one could at least perform a position-dependent rescaling of the (co-)tangent space at a point, hence rescaling ##dx^mu## and ##partial/partial x^mu##.If you carry that thought to the end, you arrive at th rescaling of the metric: Because what does it mean to "rescale the (co)tangent bundle"? This can only mean to 1) have a scale on it and then 2) change that. But a "scale" on the (co)tangent bundle, that's precisely a (pseudo-)Riemannian metric.

In the examples from 5.20 onwards: it wouldn't hurt to illustrate the pre-symplectic current explicitly in each case. (I must say I had great difficulty getting my head around ##Theta_{BFV}## in the abstract.) :oldfrown:

Prop 5.8, 1st para: Is ##{mathbf {LL}}## a typo ?

Re: "shell": I'm glad you're using this term in a unified way in both the classical and quantum cases. I once used the term "on-shell" in a classical context to mean "in the space of trajectories", but was scolded for doing so. o_O

On curved spacetime it makes no sense to "rescale coordinates", […] Pardon my ignorance, but,… why not? I would have thought one could at least perform a position-dependent rescaling of the (co-)tangent space at a point, hence rescaling ##dx^mu## and ##partial/partial x^mu##.

In Example 5.4,

I would have thought this is because of the 2 derivatives of ##phi## by the coordinate ##x^mu##. Normally the metric ##eta_{munu}## would be dimensionless.Right, these are two different ways to see the dimension. These two ways lead to equivalent dimensions over Minkowski spacetime, but only the other one, which i use in the series, generalizes well to curved spacetime: On curved spacetime it makes no sense to "rescale coordinates", but it always makes sense to rescale the metric. Even though I don't discuss this generalization in the series, my aim is to present everything in a form such that this generalization will be straightforward.

The alternative perspective that you have in mind I have spelled out on the nLab

hereIn Example 5.4,

For this to be physical unit-free in the sense of remark 5.2 the physical unit of the parameter ##m## must be that of the inverse metric, hence must be an inverse length I would have thought this is because of the 2 derivatives of ##phi## by the coordinate ##x^mu##. Normally the metric ##eta_{munu}## would be dimensionless.

And btw, what are your dimensions of ##phi##? I'm a bit confused about how you're apparently dispensing with physical units here. In ordinary Lagrangian mechanics, we'd have $$S ~=~ int L ,dt$$where ##S## has dimensions of action (##ML^2/T##), hence ##L## must have dimensions ##ML^2/T^2##, i.e., energy. If we express ##L## in terms of a density ##{mathcal L}## via $$L ~=~ int {mathcal L} ; d^3x$$then ##{mathcal L}## must have dimensions ##M/LT^2##.

But perhaps you mean to make ##S## dimensionless by replacing it by ##S/hbar## ? :oldconfused: