nLab A first idea of quantum field theory -- Gauge symmetries

Gauge symmetries

Gauge symmetries

In this chapter we discuss these topics:

\,

An infinitesimal gauge symmetry of a Lagrangian field theory (def. below) is a infinitesimal symmetry of the Lagrangian which may be freely parameterized, hence “gauged”, by a gauge parameter. A Lagrangian field theory exhibiting these is also called a gauge theory.

By choosing the gauge parameter to have compact support, infinitesimal gauge symmetries in particular yield infinitesimal symmetries of the Lagrangian with compact spacetime support. One finds (prop. below) that the existence of on-shell non-trivial symmetries of this form is an obstruction to the existence of the covariant phase space of the theory (prop. ).

\,

gauge symmetries

namemeaningdef.
infinitesimal symmetry of the Lagrangianevolutionary vector field which leaves invariant the Lagrangian density up to a total spacetime derivativedef.
spacetime-compactly supported infinitesimal symmetry of the Lagrangianobstructs existence of the covariant phase space (if non-trivial on-shell)prop.
infinitesimal gauge symmetrygauge parameterized collection of infinitesimal symmetries of the Lagrangian;
for compactly supported gauge parameter this yields spacetime-compactly supported infinitesimal symmetries
def.
rigid infinitesimal symmetry of the Lagrangianinfinitesimal symmetry modulo gauge symmetrydef.
generating set of gauge parametersreflects all the Noether identitiesremark
closed gauge parametersLie bracket of infinitesimal gauge symmetries closes on gauge parametersdef.

\,

But we may hard-wire these gauge equivalences into the very geometry of the types of fields by forming the homotopy quotient of the action of the infinitesimal gauge symmetries on the jet bundle. This homotopy quotient is modeled by the action Lie algebroid (def. below). Its algebra of functions is the local BRST complex of the theory (def. ) below.

In this construction the gauge parameters appear as auxiliary fields whose field bundle is a graded version of the gauge parameter-bundle. As such they are called ghost fields. The ghost fields may have infinitesimal gauge symmetries themselves which leads to ghost-of-ghost fields, etc. (example ) below.

It is these auxiliary ghost fields and ghost-of-ghost fields which will serve to remove the obstruction to the existence of the covariant phase space for gauge theories, this we arrive at in Gauge fixing, further below.

gauge parameters and ghost fields

symbolmeaningdef.
𝒢gbΣ\mathcal{G} \overset{gb}{\to} \Sigmagauge parameter bundledef.
c αC (𝒢)c^\alpha \in C^\infty(\mathcal{G})coordinate function on gauge parameter bundle
ϵΓ Σ(𝒢)\epsilon \in \Gamma_\Sigma(\mathcal{G})gauge parameter
𝒢[1]\mathcal{G}[1]gauge parameter bundle regarded as graded manifold in degree 1expl.
CΓ Σ(𝒢[1])C \in \Gamma_\Sigma(\mathcal{G}[1])gost field history
c αdeg=1C (𝒢[1])\underset{deg = 1}{\underbrace{c^\alpha}} \in C^\infty(\mathcal{G}[1])ghost field component function
c ,μ 1μ k αdeg=1C (J Σ (𝒢[1]))\underset{deg = 1}{\underbrace{c^\alpha_{,\mu_1 \cdots \mu_k}}} \in C^\infty(J^\infty_\Sigma(\mathcal{G}[1]))ghost field jet component function
A\phantom{A}
𝒢(2)gbΣ\overset{(2)}{\mathcal{G}} \overset{gb}{\to} \Sigmagauge-of-gauge parameter bundleexpl.
c(2) αC (𝒢(2))\overset{(2)}{c}^\alpha \in C^\infty(\overset{(2)}{\mathcal{G}})coordinate function on gauge-of-gauge parameter bundle
ϵ(2)Γ Σ(𝒢)\overset{(2)}{\epsilon} \in \Gamma_\Sigma(\mathcal{G})gauge-of-gauge parameter
𝒢(2)[2]\overset{(2)}{\mathcal{G}}[2]gauge-of-gauge parameter bundle regarded as graded manifold in degree 1
C(2)Γ Σ(𝒢[1])\overset{(2)}{C} \in \Gamma_\Sigma(\mathcal{G}[1])gost-of-ghost field history
c(2) αdeg=2C (𝒢(2)[2])\underset{deg = 2}{\underbrace{\overset{(2)}{c}{}^\alpha}} \in C^\infty(\overset{(2)}{\mathcal{G}}[2])ghost-of-ghost field component function
c(2) ,μ 1μ k αdeg=2C (J Σ (𝒢(2)[2]))\underset{deg = 2}{\underbrace{{\overset{(2)}{c}}{}^\alpha_{,\mu_1 \cdots \mu_k}}} \in C^\infty(J^\infty_\Sigma(\overset{(2)}{\mathcal{G}}[2]))ghost-of-ghost field jet component function

The mathematical theory capturing these phenomena is the higher Lie theory of Lie-∞ algebroids (def. below).

\,

compactly supported infinitesimal symmetries obstruc the covariant phase space

As an immediate corollary of prop. we have the following important observation:

Proposition

(spacetime-compactly supported and on-shell non-trivial infinitesimal symmetries of the Lagrangian obstruct the covariant phase space)

Let (E,L)(E,\mathbf{L}) be a Lagrangian field theory over a Lorentzian spacetime.

If there exists a single infinitesimal symmetry of the Lagrangian vv (def. ) such that

  1. it has compact spacetime support (def. )

  2. it does not vanish on-shell (?) (so not a trivial one, example )

then there does not exist any Cauchy surface (def. ) for the Euler-Lagrange equations of motion (def. ) outside the spacetime support of vv.

Proof

By prop. the flow along v^\hat v preserves the on-shell space of field histories. Now by the assumption that v^\hat v does not vanish on-shell implies that this flow is non-trivial, hence that it does continuously change the field histories over some points of spacetime, while the assumption that it has compact spacetime support means that these changes are confined to a compact subset of spacetime.

This means that there is a continuum of solutions to the equations of motion whose restriction to the infinitesimal neighbourhood of any codimension-1 suface Σ pΣ\Sigma_p \hookrightarrow \Sigma outside of this compact support coincides. Therefore this restriction map is not an isomorphism and Σ p\Sigma_p not a Cauchy surface for the equations of motion.

Notice that there always exist spacetime-compactly supported infinitesimal symmetries that however do vanish on-shell:

Example

(trivial compactly-supported infinitesimal symmetries of the Lagrangian)

Let (E,L)(E,\mathbf{L}) be a Lagrangian field theory (def. ) over Minkowski spacetime (def. ), so that the Lagrangian density is canonically of the form

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

with Lagrangian function LΩ Σ 0,0(E)=C (J Σ (E))L \in \Omega^{0,0}_\Sigma(E) = C^\infty(J^\infty_\Sigma(E)) a smooth function of the jet bundle (characterized by prop. ).

Then every evolutionary vector field (def. ) whose coefficients which is proportional to the Euler-Lagrange derivative (?) of the Lagrangian function LL

vδ ELLδϕ aκ [ab] ϕ aΓ E ev(T ΣE) v \; \coloneqq \; \frac{\delta_{EL} L }{\delta \phi^a} \kappa^{[a b]} \, \partial_{\phi^a} \;\in\; \Gamma_E^{ev}( T_\Sigma E )

by smooth coefficient functions κ ab\kappa^{a b}

κ [ab]Ω Σ 0,0(E) \kappa^{[a b]} \;\in\; \Omega^{0,0}_\Sigma(E)

such that

  1. each κ ab\kappa^{a b} has compact spacetime support (def. )

  2. κ\kappa is skew-symmetric in its indices: κ [ab]=κ [ba]\kappa^{[a b]} = - \kappa^{[b a]}

is an implicit infinitesimal gauge symmetry (def. ).

This is so for a “trivial reason” namely due to that that skew symmetry:

v^L =ι v^δL =ι v^(δ ELLdΘ BFV) =ι ϵδ ELLδϕ aδϕ a+dι v^Θ BFV =(δ ELLδϕ a)(δ ELLδϕ b)κ [ab]=0dvol Σ+dι v^Θ BFV =dι v^Θ BFV \begin{aligned} \mathcal{L}_{\hat v} \mathbf{L} & = \iota_{\hat v} \delta \mathbf{L} \\ &= \iota_{\hat v} ( \delta_{EL}\mathbf{L} - d \Theta_{BFV} ) \\ & = \iota_\epsilon \frac{\delta_{EL}L}{\delta \phi^a} \delta \phi^a + d \iota_{\hat v}\Theta_{BFV} \\ & = \underset{= 0}{ \underbrace{ \left( \frac{\delta_{EL} L }{\delta \phi^a} \right) \left( \frac{\delta_{EL} L }{\delta \phi^b} \right) \kappa^{[a b]} } } \, dvol_\Sigma \;+\; d \iota_{\hat v} \Theta_{BFV} \\ & = d \iota_{\hat v} \Theta_{BFV} \end{aligned}

Here the first steps are just recalling those in the proof of Noether's theorem I (prop. ) while the last step follows with the skew-symmetry of κ\kappa.

Notice that this means that

  1. the Noether current (?) vanishes: J v^=0J_{\hat v} = 0;

  2. the infinitesimal symmetry vanishes on-shell (?): v^| =0\hat v \vert_{\mathcal{E}} = 0.

Therefore these implicit infinitesimal gauge symmetries are called the trivial infinitesimal gauge transformations.

(e.g. Henneaux 90, section 2.5)

\,

Proposition implies that we need a good handle on determining whether the space of non-trivial compactly supported infinitesimal symmetries of the Lagrangian modulo trivial ones is non-zero. This obstruction turns out to be neatly captured by methods of homological algebra applied to the local BV-complex (def. ):

Example

(cochain cohomology of local BV-complex)

Let (E,L)(E,\mathbf{L}) be a Lagrangian field theory (def. ) whose field bundle EE is a trivial vector bundle (example ) and whose Lagrangian density L\mathbf{L} is spacetime-independent (example ), and let Σ×{φ}\Sigma \times \{\varphi\} \hookrightarrow \mathcal{E} be a constant section of the shell (?).

By inspection we find that the cochain cohomology of the local BV-complex Ω Σ,cp 0,0(E,φ)| BV\Omega^{0,0}_{\Sigma,cp}(E,\varphi)\vert_{\mathcal{E}_{BV}} (def. ) has the following interpretation:

In degree 0 the image of the BV-differential coming from degree -1 and modulo dd-exact terms

im(Γ Σ,cp(J Σ T Σ(E,φ))s BVΩ Σ 0,0(E,φ)/im(d)) im\left( \Gamma_{\Sigma,cp}(J^\infty_\Sigma T_\Sigma(E,\varphi)) \overset{s_{BV}}{\to} \Omega^{0,0}_\Sigma(E,\varphi)/im(d) \right)

is the ideal of functions modulo im(d)im(d) that vanish on-shell. Since the differential going from degree 0 to degree 1 vanishes, the cochain cohomology in this degree is the quotient ring

H 0(Ω Σ,cp 0,0(E,φ)| BV|d) Ω Σ,cp 0,0(E,φ)| /im(d) \begin{aligned} H^0\left(\Omega^{0,0}_{\Sigma,cp}(E,\varphi)\vert_{\mathcal{E}_{BV}}\vert d\right) & \simeq \Omega^{0,0}_{\Sigma,cp}(E,\varphi)\vert_{\mathcal{E}}/im(d) \end{aligned}

of functions on the shell \mathcal{E} (?).

In degree -1 the kernel of the BV-differential going to degree 0

ker(Γ Σ,cp(J Σ T Σ(E,φ))s BVΩ Σ 0,0(E,φ)) ker\left( \Gamma_{\Sigma,cp}(J^\infty_\Sigma T_\Sigma(E,\varphi)) \overset{s_{BV}}{\to} \Omega^{0,0}_\Sigma(E,\varphi)\right)

is the space of implicit infinitesimal gauge symmetries (def. ) and the image of the differential coming from degree -2

im(Γ Σ,cp(J Σ T ΣE,φ) Ω Σ,cp 0,0(E,φ)Γ Σ,cp(J Σ T ΣE,φ)s BVΓ Σ,cp(J Σ T ΣE,φ)) im\left( \Gamma_{\Sigma,cp}(J^\infty_\Sigma T_\Sigma E,\varphi) \wedge_{\Omega^{0,0}_{\Sigma,cp}(E,\varphi)} \Gamma_{\Sigma,cp}(J^\infty_\Sigma T_\Sigma E,\varphi) \overset{s_{BV}}{\longrightarrow} \Gamma_{\Sigma,cp}(J^\infty_\Sigma T_\Sigma E,\varphi) \right)

is the trivial implicit infinitesimal gauge transformations (example ).

Therefore the cochain cohomology in degree -1 is the quotient space of implicit infinitesimal gauge transformations modulo the trivial ones:

(1)H 1(Ω Σ 0,0(E,φ)| BV){implicit infinitesimal gauge transformations}{ trivial implicit infinitesimal gauge transformations} H^{-1}\left( \Omega^{0,0}_\Sigma(E,\varphi)\vert_{\mathcal{E}_{BV}} \right) \simeq \frac{ \left\{ \text{implicit infinitesimal gauge transformations} \right\} } { \left\{ \text{ trivial implicit infinitesimal gauge transformations} \right\} }
Proposition

(local BV-complex is homological resolution of the shell iff there are no non-trivial compactly supported infinitesimal symmetries)

Let (E,L)(E,\mathbf{L}) be a Lagrangian field theory (def. ) whose field bundle EE is a trivial vector bundle (example ) and whose Lagrangian density L\mathbf{L} is spacetime-independent (example ) and let Σ×{φ}\Sigma \times \{\varphi\} \hookrightarrow \mathcal{E} be a constant section of the shell (?). Furthermore assume that L\mathbf{L} is at least quadratic in the vertical coordinates around φ\varphi.

Then the local BV-complex Ω Σ 0,0(E,φ)| BV\Omega^{0,0}_\Sigma(E,\varphi)\vert_{\mathcal{E}_{BV}} of local observables (def. ) is a homological resolution of the algebra of functions on the infinitesimal neighbourhood of φ\varphi in the shell (example ), hence the canonical comparison morphisms (?) is a quasi-isomorphism precisely if there is no non-trivial (example ) implicit infinitesimal gauge symmetry (def. ):

(Ω Σ 0,0(E,φ)| BVΩ Σ 0,0(E,φ)| )(there are no non-trivial compactly supported infinitesimal symmetries). \left( \Omega^{0,0}_{\Sigma}(E,\varphi)\vert_{\mathcal{E}_{BV}} \overset{\simeq}{\longrightarrow} \Omega^{0,0}_{\Sigma}(E,\varphi)\vert_{\mathcal{E}} \right) \;\Leftrightarrow\; \left( \array{ \text{there are no non-trivial} \\ \text{compactly supported infinitesimal symmetries} } \right) \,.
Proof

By example the vanishing of compactly supported infinitesimal symmetries is equivalent to the vanishing of the cochain cohomology of the local BV-complex in degree -1 (1).

Therefore the statement to be proven is equivalently that the Koszul complex of the sequence of elements

(δ ELLδϕ aΩ Σ,φ 0,0(E)) a=1 s \left( \frac{\delta_{EL} L}{\delta \phi^a} \in \Omega^{0,0}_{\Sigma,\varphi}(E) \right)_{a = 1}^s

is a homological resolution of Ω Σ 0,0(E,φ)| \Omega^{0,0}_\Sigma(E,\varphi)\vert_{\mathcal{E}}, hence has vanishing cohomology in all negative degrees, already if it has vanishing cohomology in degree -1.

By a standard fact about Koszul complexes (this prop.) a sufficient condition for this to be the case is that

  1. the ring Ω Σ 0,0(E,φ)\Omega^{0,0}_{\Sigma}(E,\varphi) is the tensor product of C (Σ)C^\infty(\Sigma) with a Noetherian ring;

  2. the elements δ ELLδϕ a\frac{\delta_{EL} L }{\delta \phi^a} are contained in its Jacobson radical.

The first condition is the case since Ω Σ 0,0(E,φ)\Omega^{0,0}_{\Sigma}(E,\varphi) is by definition a formal power series ring over a field tensored with C (Σ)C^\infty(\Sigma) (by this example). Since the Jacobson radical of a power series algebra consists of those elements whose constant term vanishes (see this example), the assumption that L\mathbf{L} is at least quadratic, hence that δ ELL\delta_{EL}\mathbf{L} is at least linear in the fields, guarantees that all δ ELLδϕ a\frac{\delta_{EL}L}{\delta \phi^a} are contained in the Jacobson radical.

Prop. says what gauge fixing has to accomplish: given a local BV-BRST complex we need to find a quasi-isomorphism to another complex which is such that it comes from a graded Lagrangian density whose BV-cohomology vanishes in degree -1 and hence induces a graded covariant phase space, and such that the remaining BRST differential respects the Poisson bracket on this graded covariant phase space.

\,

infinitesimal gauge symmetries

Prop. says that the problem is to identify the presence of spacetime-compactly supported infinitesimal symmetries that are on-shell non-trivial. One way they may be identified is if infinitesimal symmetries appear in linearly parameterized collections, where the parameter itself is an arbitrary spacetime-dependent section of some fiber bundle (hence is itself like a field history), because then choosing the parameter to have compact support yields an infinitesimal symmetry of the Lagrangian with compact spacetime support (remark below).

In this case we speak of a gauge parameter (def. below). It turns out that in most examples of Lagrangian field theories of interest, the compactly supported infinitesimal symmetries all come from gauge parameters this way. Therefore we now consider this case in detail.

Definition

(infinitesimal gauge symmetries)

Let (E,L)(E,\mathbf{L}) be a Lagrangian field theory (def. ).

Then a collection of infinitesimal gauge symmetries of (E,L)(E,\mathbf{L}) is

  1. a vector bundle 𝒢gbΣ\mathcal{G} \overset{gb}{\longrightarrow} \Sigma over spacetime Σ\Sigma of positive rank, to be called a gauge parameter bundle;

  2. a bundle morphism (def. ) RR from the jet bundle of the fiber product 𝒢× ΣE\mathcal{G} \times_\Sigma E with the field bundle (def. ) to the vertical tangent bundle of EE (def. ):

    J Σ (𝒢× ΣE) R T ΣE i T Σ(𝒢× ΣE) E \array{ J^\infty_\Sigma( \mathcal{G} \times_\Sigma E ) && \overset{R}{\longrightarrow} && T_\Sigma E & \overset{i}{\hookrightarrow} & T_\Sigma (\mathcal{G} \times_\Sigma E) \\ & \searrow && \swarrow \\ && E }

such that

  1. RR is linear in the first argument (in the gauge parameter);

  2. iRi \circ R is an evolutionary vector field on 𝒢× ΣE\mathcal{G} \times_\Sigma E (def. );

  3. RR is an infinitesimal symmetry of the Lagrangian (def. ) in the second argument.

We may express this equivalently in components in the case that the field bundle EE is a trivial vector bundle with field fiber coordinates (ϕ a)(\phi^a) (example ) and also 𝒢\mathcal{G} happens to be a trivial vector bundle

𝒢=Σ×𝔤 \mathcal{G} = \Sigma \times \mathfrak{g}

where 𝔤\mathfrak{g} is a vector space with coordinate functions {c α}\{c^\alpha\}.

Then RR may be expanded in the form

(2)R=(c αR α a+c ,μ αR α aμ+c ,μ 1μ 2 αR α aμ 1μ 2+) ϕ a, R \;=\; \left( c^\alpha R^a_\alpha + c^\alpha_{,\mu} R^{a \mu}_\alpha + c^\alpha_{,\mu_1 \mu_2} R^{a \mu_1 \mu_2}_\alpha + \cdots \right) \partial_{\phi^a} \,,

where the components

R α aμ 1μ k=R α aμ 1μ k((ϕ b),(ϕ ,μ b),)Ω Σ 0,0(E)=C (J Σ (E)) R^{a \mu_1 \cdots \mu_k}_\alpha = R^{a \mu_1 \cdots \mu_k}_\alpha\left( (\phi^b), (\phi^b_{,\mu}), \cdots \right) \;\in\; \Omega^{0,0}_\Sigma(E) = C^\infty(J^\infty_\Sigma(E))

are smooth functions on the jet bundle of EE, locally of finite order (prop. ), and such that the Lie derivative of the Lagrangian density along R(e)R(e) is a total spacetime derivative, which by Noether's theorem I (prop. ) means in components that

(c αR α a+c ,μ αR α aμ+c ,μ 1μ 2 αR α aμ 1μ 2+)δ ELLδϕ a=ddx μJ R μ. \left( c^\alpha R^a_\alpha + c^\alpha_{,\mu} R^{a \mu}_\alpha + c^\alpha_{,\mu_1 \mu_2} R^{a \mu_1 \mu_2}_\alpha + \cdots \right) \frac{\delta_{EL} \mathbf{L}}{\delta \phi^a} \;=\; \frac{d}{d x^\mu} J^\mu_{R} \,.

(e.g. Henneaux 90 (3))

The point is that infinitesimal gauge symmetries in particular yield spacetime-compactly supported infinitesimal gauge symmetries as in prop. :

Remark

(infinitesimal gauge symmetries yield spacetime-compactly supported infinitesimal symmetries of the Lagrangian)

Let (E,L)(E,\mathbf{L}) be a Lagrangian field theory (def. ) and 𝒢gbΣ\mathcal{G} \overset{gb}{\to} \Sigma a bundle of gauge parameters for it (def. ) with gauge parametrization

J Σ (𝒢× ΣE)RT ΣE. J^\infty_\Sigma(\mathcal{G} \times_\Sigma E) \overset{R}{\longrightarrow} T_\Sigma E \,.

Then for every smooth section ϵΓ Σ(𝒢)\epsilon \in \Gamma_\Sigma(\mathcal{G}) of the gauge parameter bundle (def. ) there is an induced infinitesimal symmetry of the Lagrangian (def. ) given by the composition of RR with the jet prolongation of ϵ\epsilon (def. )

R(ϵ):J Σ (E)=Σ× ΣJ Σ (E)(j Σ (ϵ),id)J Σ (𝒢× ΣE)RT ΣE. R(\epsilon) \;\colon\; J^\infty_\Sigma(E) = \Sigma \times_\Sigma J^\infty_\Sigma(E) \overset{(j^\infty_\Sigma(\epsilon),id)}{\longrightarrow} J^\infty_\Sigma(\mathcal{G} \times_\Sigma E) \overset{R}{\longrightarrow} T_\Sigma E \,.

In terms of the components (2) this means that

R(ϵ)=(ϵ αR α a+ 2ϵ αx μR α aμ+ϵ αx μx νR α aμ 1μ 2+), R(\epsilon) \;=\; \left( \epsilon^\alpha R^a_\alpha + \frac{\partial^2 \epsilon^\alpha}{\partial x^\mu} R^{a \mu}_\alpha + \frac{\partial \epsilon^\alpha}{\partial x^\mu \partial x^\nu} R^{a \mu_1 \mu_2}_\alpha + \cdots \right) \,,

where now

kϵ αx μ 1x μ k= kϵ αx μ 1x μ k((x μ)) \frac{\partial^k \epsilon^\alpha}{\partial x^{\mu_1} \cdots \partial x^{\mu_k}} \;=\; \frac{\partial^k \epsilon^\alpha}{\partial x^{\mu_1} \cdots \partial x^{\mu_k}}((x^\mu))

are the actual spacetime partial derivatives of the gauge parameter section (which are functions of spacetime).

In particular, since 𝒢gbΣ\mathcal{G} \overset{gb}{\to} \Sigma is assumed to be a vector bundle, there always exists gauge parameter sections ϵ\epsilon that have compact support (bump functions). For such compactly supported ϵ\epsilon the infinitesimal symmetry R(ϵ)R(\epsilon) is spacetime-compactly supported as in prop. .

\,

The following remark and def. introduce some useful terminology:

Remark

(generating set of gauge transformations)

Given a Lagrangian field theory, then a choice of gauge parameter bundle 𝒢gbΣ\mathcal{G} \overset{gb}{\to} \Sigma with gauge parameterized infinitesimal gauge symmetries J Σ (𝒢× ΣE)RT ΣEJ^\infty_\Sigma(\mathcal{G} \times_\Sigma E) \overset{R}{\longrightarrow} T_\Sigma E (def. ) is indeed a choice and not uniquely fixed.

For example given any such bundle one may form the direct sum of vector bundles 𝒢 Σ𝒢\mathcal{G} \oplus_\Sigma \mathcal{G}' with any other smooth vector bundle 𝒢\mathcal{G}' over Σ\Sigma, extend RR by zero to 𝔾\mathbb{G}', and thereby obtain another gauge parameterized of infinitesimal gauge symmetries

J Σ ((𝒢 Σ𝒢)× ΣE)(0,R)T ΣE. J^\infty_\Sigma((\mathcal{G}' \oplus_\Sigma \mathcal{G}) \times_\Sigma E) \overset{(0,R)}{\longrightarrow} T_\Sigma E \,.

Conversely, given any subbundle 𝒢𝒢\mathcal{G}' \hookrightarrow \mathcal{G}, then the restriction of RR to 𝒢\mathcal{G}' is still a gauge parameterized collection of infinitesimal gauge symmetries.

We will see that for the purpose of removing the obstruction to the existence of the covariant phase space, the gauge parameters have to capture all Noether identities (prop. ). In this case one says that the gauge parameter bundle 𝒢gbΣ\mathcal{G} \overset{gb}{\to} \Sigma is a generating set.

(e.g. Henneaux 90, section (2.8))

Definition

(rigid infinitesimal symmetries of the Lagrangian)

Let (E,L)(E,\mathbf{L}) be a Lagrangian field theory (def. ) and let J Σ (𝒢× ΣE)RT ΣEJ^\infty_\Sigma(\mathcal{G} \times_\Sigma E) \overset{R}{\longrightarrow} T_\Sigma E be infinitesimal gauge symmetries (def. ) whose gauge parameters form a generating set (remark ).

Then the vector space of rigid infinitesimal symmetries of the Lagrangian is the quotient space of the infinitesimal symmetries of the Lagrangian by the image of the infinitesimal gauge symmetries:

{rigid infinitesimal symmetries}={infinitesimal symmetries}/{infinitesimal gauge symmetries}. \left\{ \text{rigid infinitesimal symmetries} \right\} \;=\; \left\{ \text{infinitesimal symmetries} \right\} \,/\, \left\{ \text{infinitesimal gauge symmetries} \right\} \,.

The following is a way to identify infinitesimal gauge symmetries:

Proposition

(Noether's theorem IINoether identities)

Let (E,L)(E,\mathbf{L}) be a Lagrangian field theory (def. ) and let 𝒢gbΣ\mathcal{G} \overset{gb}{\to} \Sigma be a vector bundle.

Then a bundle morphism of the form

J Σ (𝒢× ΣE)RT ΣE J^\infty_\Sigma(\mathcal{G} \times_\Sigma E) \overset{R}{\longrightarrow} T_\Sigma E

is a collection of infinitesimal gauge symmetries (def. ) with local components (2)

R=(c αR α a+c ,μ αR α aμ+c ,μ 1μ 2 αR α aμ 1μ 2+) ϕ a R \;=\; \left( c^\alpha R^a_\alpha + c^\alpha_{,\mu} R^{a \mu}_\alpha + c^\alpha_{,\mu_1 \mu_2} R^{a \mu_1 \mu_2}_\alpha + \cdots \right) \partial_{\phi^a}

precisely if the Euler-Lagrange form δ ELL\delta_{EL}\mathbf{L} (prop. ) satisfies the following conditions:

(R α aδ ELLδϕ addx μ(R α aμδ ELLδϕ a)+d 2dx μ 1dx μ 2(R α aμ 1μ 2δ ELLδϕ a))=0. \left( R^{a}_\alpha \frac{\delta_{EL}\mathbf{L}}{\delta \phi^a} - \frac{d}{d x^\mu} \left( R^{a \mu}_\alpha \frac{\delta_{EL}\mathbf{L}}{\delta \phi^a} \right) + \frac{d^2}{d x^{\mu_1} d x^{\mu_2}} \left( R^{a \mu_1 \mu_2}_\alpha \frac{\delta_{EL}\mathbf{L}}{\delta \phi^a} \right) - \cdots \right) \;=\; 0 \,.

These relations are called the Noether identities of the Euler-Lagrange equations of motion (def ).

Proof

By Noether's theorem I, RR is an infinitesimal symmetry of the Lagrangian precisely if the contraction (def. ) of RR with the Euler-Lagrange form (prop. ) is horizontally exact:

ι Rδ ELL=dJ R^. \iota_{R} \delta_{EL}\mathbf{L} = d J_{\hat R} \,.

From (2) this means that

(3)dJ R^ =ι Rδ ELL =kc ,μ 1μ k αR α aμ 1μ kδ ELLδϕ a =c αk(1) kd kdx μ 1dx μ k(R α aμ 1μ kδ ELLδϕ a)A+dK, \begin{aligned} d J_{\hat R} & = \iota_{R} \delta_{EL} \mathbf{L} \\ & = \underset{k \in \mathbb{N}}{\sum} c^\alpha_{,\mu_1 \cdots \mu_k} R^{a \mu_1 \cdots \mu_k}_\alpha \frac{\delta_{EL} \mathbf{L}}{\delta \phi^a} \\ & = \underset{A}{ \underbrace{ c^\alpha \underset{k \in \mathbb{N}}{\sum} (-1)^k \frac{d^k}{d x^{\mu_1} \cdots d x^{\mu_k}} \left( R^{a \mu_1 \cdots \mu_k}_\alpha \frac{\delta_{EL} \mathbf{L}}{\delta \phi^a} \right) } } + d K \,, \end{aligned}

where in the last step we used jet-level integration by parts (example ) to move the total spacetime derivatives off of c αc^\alpha, thereby picking up some horizontally exact correction term, as shown.

This means that the term AA over the brace is horizontally exact:

(4)c αk(1) kd kdx μ 1dx μ k(R α aμ 1μ kδ ELLδϕ a)=d(...) c^\alpha \underset{k \in \mathbb{N}}{\sum} (-1)^k \frac{d^k}{d x^{\mu_1} \cdots d x^{\mu_k}} \left( R^{a \mu_1 \cdots \mu_k}_\alpha \frac{\delta_{EL} \mathbf{L}}{\delta \phi^a} \right) \;=\; d(...)

But now the term on the left is independent of the jet coordinates ϵ ,μ 1μ k α\epsilon^\alpha_{,\mu_1 \cdots \mu_k} of positive order k1k \geq 1, while the horizontal derivative increases the dependency on the jet order by one. Therefore the term on the left is horizontally exact precisely if it vanishes, which is the case precisely if the coefficients of c αc^\alpha vanish, which is the statement of the Noether identities.

Alternatively we may reach this conclusion from (4) by applying to both sides of (4) the Euler-Lagrange derivative (?) with respect to c αc^\alpha. On the left this yields again the coefficients of c αc^\alpha, while by the argument from example it makes the right hand side vanish.

As a corollary we obtain:

Proposition

(conserved charge of infinitesimal gauge symmetry vanishes)

The conserved current (def. )

J RΩ Σ p,0(E× Σ𝒢) J_R \;\in\; \Omega^{p,0}_\Sigma(E \times_\Sigma \mathcal{G})

which corresponds to an infinitesimal gauge symmetry RR (def. ) by Noether's first theorem (prop. ), is up to a term which vanishes on-shell (?)

KΩ Σ p(E× Σ𝒢)AA,AAK| =0, K \;\in\; \Omega^p_\Sigma(E \times_\Sigma \mathcal{G}) \phantom{AA}\,, \phantom{AA} K\vert_{\mathcal{E}^\infty} = 0 \,,

not just on-shell-conserved, but off-shell-conserved, in that its total spacetime derivative vanishes identically:

d(J RK)=0. d( J_R - K ) \;=\; 0 \,.

Moreover, if the field bundle as well as the gauge parameter-bundles are trivial vector bundles over Minkowski spacetime (example ) then J RJ_R is horizontally exact on-shell (?)

J R| =d(...). J_R \vert_{\mathcal{E}^\infty} = d(...) \,.

In particular the conserved charge (prop. )

Q Rτ Σ p(J R)C (Γ Σ p(E) δ ELL=0) Q_R \;\coloneqq\; \tau_{\Sigma_p}(J_R) \;\in\; C^\infty\left( \Gamma_{\Sigma_p}(E)_{\delta_{EL}\mathbf{L} = 0} \right)

corresponding to an infinitesimal gauge symmetry vanishes on every codimension one submanifold Σ pΣ\Sigma_p \hookrightarrow \Sigma of spacetime (without boundary, Σ p=\partial \Sigma_p = \emptyset):

Q R=0. Q_R = 0 \,.
Proof

Take KK to be as in equation (3):

dJ R=A+dK. d J_R = A + d K \,.

By the construction there, KK manifestly vanishes on the prolonged shell \mathcal{E}^\infty (?), being a sum of total spacetime derivatives of terms proportional to the components of the Euler-Lagrange form.

By Noether's second theorem (prop. ) we have A=0A = 0 and hence

d(J RK)=0. d(J_R - K) = 0 \,.

Now if the field bundle and gauge parameter bundle are trivial, then prop. implies that

(5)J RK=d(...). J_R - K = d(...) \,.

By restricting this equation to the prolonged shell and using that K| =0K\vert_{\mathcal{E}^\infty} = 0, it follows that J R| =d(...) J_R \vert_{\mathcal{E}^\infty} = d(...).

This implies Q R=0Q_R = 0 by prop. and Stokes' theorem (prop. ).

This situation has a concise cohomological incarnation:

Example

(Noether's theorems I and II in terms of local BV-cohomology)

Let (E,L)(E,\mathbf{L}) be a Lagrangian field theory (def. ) over Minkowski spacetime Σ\Sigma of dimension p+1 p + 1, and let 𝒢gbΣ\mathcal{G} \overset{gb}{\to} \Sigma be a gauge parameter bundle (def. ) which is closed (def. ). Assume that both are trivial vector bundles (example ) with field coordinates as in prop. .

Then in the local BV-complex (def. ) we have:

The (s BV+d)(s_{BV} + d)-closure of an element in total degree pp is characterizes as the direct sum of an evolutionary vector field which is an infinitesimal symmetry of the Lagrangian and theconserved current that corresponds to it under Noether's first theorem (prop. ).

Moreover, such a pair is (s BV+d)(s_{BV} + d)-exact precisely if the infinitesimal symmetry of the Lagrangian is in fact an infinitesimal gauge symmetry as witnessed by Noether's second theorem (prop. ).

(Barnich-Brandt-Henneaux 94, top of p. 20)

Proof

An element of the local BV-complex in degee pp is the direct sum of a horizontal differential form of degree pp with the product of a horizontal form of degree (p+1)(p+1) times a function proportional to the antifields:

{J v} {v aϕ a dvol Σ} \array{ \{J_v\} && \\ && \\ && \{ v^a \phi^\ddagger_a dvol_\Sigma\} }

Its closure means that

{J v} d {dJ vι vδ ELL=0} s BV {v aϕ a dvol Σ} \array{ \{J_v\} &\overset{d}{\longrightarrow}& \{ \overset{= 0}{\overbrace{ d J_v - \iota_v \delta_{EL}\mathbf{L} }} \} \\ && \uparrow\mathrlap{s_{BV}} \\ && \{ v^a \phi^\ddagger_a dvol_\Sigma\} }

where the equality in the top right corner is euqation

It being exact means that

{...} d {J R=K+d(...)} d {dJ R} {K aμϕ a ι μdvol Σ} \array{ \left\{ ... \right\} & \overset{d}{\longrightarrow} & \left\{ J_R = K + d(...) \right\} &\overset{d}{\longrightarrow}& \left\{ d J_R \right\} \\ && \uparrow \\ && \left\{ K^{a \mu} \phi^\ddagger_a \iota_{\partial_\mu} dvol_\Sigma \right\} }

where now the equality in the second term from the left is equation (5) for conserved currents corresponding to infinitesimal gauge symmetries (prop. ).

We will need some further technical results on Noether identities:

Definition

(Noether operator)

Let (E,L)(E,\mathbf{L}) be a Lagrangian field theory (def. ) over Minkowski spacetime Σ\Sigma of dimension p+1 p + 1, and let 𝒢gbΣ\mathcal{G} \overset{gb}{\to} \Sigma be a gauge parameter bundle (def. ) which is closed (def. ). Assume that both are trivial vector bundles (example ) with field coordinates as in prop. .

A Noether operator NN is a differential operator (def. ) from the vertical cotangent bundle of EE (example ) to the trivial real line bundle

N(ω)=kN aμ 1μ kd kdx μ 1dx μ kω a N(\omega) \;=\; \underset{k \in \mathbb{N}}{\sum} N^{a \mu_1 \cdots \mu_k} \frac{d^k}{d x^{\mu_1} \cdots d x^{\mu_k}} \omega_a

such that it annihilates the Euler-Lagrange form (prop. ):

kN aμ 1μ kd kdx μ 1dx μ kδ ELLδϕ a=0. \underset{k \in \mathbb{N}}{\sum} N^{a \mu_1 \cdots \mu_k} \frac{d^k}{d x^{\mu_1} \cdots d x^{\mu_k}} \frac{\delta_{EL} L}{\delta \phi^a} \;=\; 0 \,.

Given For vv an evolutionary vector field which is an infinitesimal symmetry of the Lagrangian (def. ), we define a new differentia opeator vNv \cdot N by

(6)(vN) aμ 1μ kv^(N aμ 1μ k)N a(D v) a *, (v \cdot N)^{a \mu_1 \cdots \mu_k} \;\coloneqq\; \widehat{v}\left( N^{a \mu_1 \cdots \mu_k} \right) \;-\; N^a \circ (\mathrm{D}_v)^\ast_a \,,

where v^\widehat{v} denotes the prolongation of the evolutionary vector field vv (prop. ) and where (D v) *(\mathrm{D}_v)^\ast denotes the formally adjoint differential operator (def. ) of the evolutionary derivative of vv (def. ).

(Barnich 10 (3.1) and (3.5))

Proposition

(Lie algebra action of infinitesimal symmetries of the Lagrangian on Noether operators)

The operation (6) exhibits a Lie algebra action of the Lie algebra of infinitesimal symmetries of the Lagrangian (prop. ) on Noether operators (def. ), in that

  1. vNv \cdot N is again a Noether operator;

  2. v 1(v 2N)v 2(v 1N)=[v 1,v 2]Nv_1 \cdot (v_2 \cdot N) - v_2 \cdot (v_1 \cdot N) = [v_1, v_2] \cdot N.

Moreover, if ρ\rho denotes the map which identifies a Noether identity with an infinitesimal gauge symmetry by Noether's second theorem (def. ) then

(7)ρ(vN)=[v,ρ(N)], \rho \left( v \cdot N \right) \;=\; \left[ v, \rho(N)\right] \,,

where on the right we have again the Lie bracket of evolutionary vector fields from (prop. ).

(Barnich 10, prop. 3.1 and (3.8))

Proof

For the first statement observe that by the product law for differentiation we have

0 =v^(N(δ ELL)) =v^(kN aμ 1μ k)(N a(D v) a b(δ ELLδϕ a)), \begin{aligned} 0 & = \widehat{v}\left( N(\delta_{EL} L) \right) \\ & = \widehat{v} \left( \underset{k \in \mathbb{N}}{\sum} N^{a \mu_1 \cdots \mu_k} \right) - \left( N^a \circ (\mathrm{D}_v)_a^b\left( \frac{\delta_{EL} L}{\delta \phi^a} \right) \right) \,, \end{aligned}

where on the right we used (?).

\,

Here are examples of infinitesimal gauge symmetries in Lagrangian field theory:

Example

(infinitesimal gauge symmetry of electromagnetic field)

Consider the Lagrangian field theory (E,L)(E,\mathbf{L}) of free electromagnetism on Minkowski spacetime Σ\Sigma from example . With field coordinates denoted ((x μ),(a μ))((x^\mu), (a_\mu)) the Lagrangian density is

L=12f μνf μνdvol Σ, \mathbf{L} \;=\; \tfrac{1}{2} f_{\mu \nu} f^{\mu \nu} \, dvol_\Sigma \,,

where f μνa ν,μf_{\mu \nu} \coloneqq a_{\nu,\mu} is the universal Faraday tensor from example .

Let 𝒢Σ×\mathcal{G} \coloneqq \Sigma \times \mathbb{R} be the trivial line bundle, regarded as a gauge parameter bundle (def. ) with coordinate functions ((x μ),c)((x^\mu), c).

Then a gauge parametrized evolutionary vector field (2) is given by

R=c ,μ a μ R \;=\; c_{,\mu} \partial_{a_\mu}

with prolongation (prop. )

(8)R^=c ,μ a μ+c ,μν a μ,ν+. \widehat R \;=\; c_{,\mu} \partial_{a_\mu} + c_{,\mu \nu} \partial_{a_{\mu,\nu}} + \cdots \,.

This is because already the universal Faraday tensor is invariant under this flow:

R^f μν =12c ,μν a μ,ν(a ν,μa μ,ν) =12(c ,νμc ,μν) =0, \begin{aligned} \widehat {R} f_{\mu \nu} &= \tfrac{1}{2} c_{,\mu' \nu'} \partial_{a_{\mu',\nu'}} \left( a_{\nu, \mu} - a_{\mu,\nu} \right) \\ & = \tfrac{1}{2} \left( c_{,\nu\mu} - c_{,\mu \nu} \right) \\ & = 0 \,, \end{aligned}

because partial derivatives commute with each other: c ,μν=c ,νμc_{,\mu \nu} = c_{,\nu \mu} (?).

Equivalently, the Euler-Lagrange form

δ ELL=ddx μf μνδa νdvol Σ \delta_{EL}\mathbf{L} \;=\; \frac{d}{d x^\mu }f^{\mu \nu} \delta a_\nu \, dvol_\Sigma

of the theory (example ), corresponding to the vacuum Maxwell equations (example ), satisfies the following Noether identity (prop. ):

ddx μddx νf μν=0, \frac{d}{d x^\mu} \frac{d}{d x^\nu} f^{\mu \nu} = 0 \,,

again due to the fact that partial derivatives commute with each other.

This is the archetypical infinitesimal gauge symmetry that gives gauge theory its name.

More generally:

Example

(infinitesimal gauge symmetry of Yang-Mills theory)

For 𝔤\mathfrak{g} a semisimple Lie algebra, consider the Lagrangian field theory of Yang-Mills theory on Minkowski spacetime from example , with Lagrangian density

L=12f μν αf α μν \mathbf{L} \;=\; \tfrac{1}{2} f^\alpha_{\mu \nu} f_\alpha^{\mu \nu}

given by the universal field strength (?)

f μν α12(a [ν,μ] α+12γ βγ αa [μ βa ν] γ). f^\alpha_{\mu \nu} \;\coloneqq\; \tfrac{1}{2} \left( a^\alpha_{[\nu,\mu]} + \tfrac{1}{2} \gamma^\alpha_{\beta \gamma} a^\beta_{[\mu} a^\gamma_{\nu]} \right) \,.

Let 𝒢Σ×𝔤\mathcal{G} \coloneqq \Sigma \times \mathfrak{g} be the trivial vector bundle with fiber 𝔤\mathfrak{g}, regarded as a gauge parameter bundle (def. ) with coordinate functions ((x μ),c α)((x^\mu), c^\alpha).

Then a gauge parametrized evolutionary vector field (2) is given by

R=(c ,μ αγ βγ αc βa μ γ) a μ α R \;=\; \left( c^\alpha_{,\mu} - \gamma^\alpha_{\beta \gamma} c^\beta a^\gamma_\mu \right) \partial_{a^\alpha_\mu}

with prolongation (prop. )

(9)R^=(c ,μ αγ βγ αc βa μ γ) a μ α+(c ,μν αγ βγ α(c ,ν βa μ γ+c βa μ,ν γ)) a μ,ν α+. \widehat{R} \;=\; \left( c^\alpha_{,\mu} - \gamma^\alpha_{\beta \gamma} c^\beta a^\gamma_\mu \right) \partial_{a^\alpha_\mu} \;+\; \left( c^\alpha_{,\mu \nu} - \gamma^\alpha_{\beta \gamma} \left( c^\beta_{,\nu} a^\gamma_\mu + c^\beta a^\gamma_{\mu,\nu} \right) \right) \partial_{a^\alpha_{\mu,\nu}} \;+\; \cdots \,.

We compute the derivative of the Lagrangian function along this vector field:

R^(12f μν αf α μν) =(Rf μν α)f α μν =(R(a ν,μ+12γ βγ αa μ βa ν γ))f α μν =(c ,νμ αγ βγ α(c ,μ βa ν γ+c βa ν,μ γ)+γ βγ α(c ,μ βγ βγ βc βa μ γ)a ν γ)f α μν =γ βγ αc β(a ν,μ γ+γ βγ γa μ βa ν γ)=2f μν γf α μν =2γ αβγc αf μν βf γμν =0. \begin{aligned} \widehat{R} \left( \tfrac{1}{2} f^\alpha_{\mu \nu} f_\alpha^{\mu \nu} \right) & = \left( R f^\alpha_{\mu \nu} \right) f_\alpha^{\mu \nu} \\ & = \left( R \left( a_{\nu,\mu} + \tfrac{1}{2}\gamma^\alpha_{\beta \gamma} a^\beta_{\mu} a^\gamma_{\nu} \right) \right) f_\alpha^{\mu \nu} \\ & = \left( c^\alpha_{,\nu \mu} - \gamma^\alpha_{\beta \gamma} \left( c^\beta_{,\mu} a^\gamma_\nu + c^\beta a^\gamma_{\nu,\mu} \right) + \gamma^\alpha_{\beta \gamma} \left( c^\beta_{,\mu} - \gamma^\beta_{\beta' \gamma'} c^{\beta'} a^{\gamma'}_\mu \right) a^\gamma_{\nu} \right) f_\alpha^{\mu \nu} \\ & = - \gamma^{\alpha}_{\beta \gamma} c^\beta \underset{ = 2 f^\gamma_{\mu \nu} }{ \underbrace{ \left( a^\gamma_{\nu,\mu} + \gamma^\gamma_{\beta' \gamma'} a^{\beta'}_\mu a^{\gamma'}_\nu \right) } } f_\alpha{}^{\mu \nu} \\ &= 2 \gamma_{\alpha \beta \gamma} c^\alpha f^\beta_{\mu \nu} f^{\gamma \mu \nu} \\ & = 0 \,. \end{aligned}

Here in the third step we used that c ,νμ α=+c ,μν αc^\alpha_{,\nu \mu} = + c^\alpha_{,\mu \nu} (?), so that its contraction with the skew-symmetric f α μνf_\alpha^{\mu\nu} vanishes, and in the last step we used that for a semisimple Lie algebra γ αβγk ααγ α βγ\gamma_{\alpha \beta \gamma} \coloneqq k_{\alpha \alpha'} \gamma^{\alpha'}{}_{\beta \gamma} is totally skew symmetric.

So the Lagrangian density of Yang-Mills theory is strictly invariant under these infinitesimal gauge symmetries.

Example

(infinitesimal gauge symmetry of the B-field)

Consider the Lagrangian field theory of the B-field on Minkowski spacetime from example , with field bundle the differential 2-form-bundle E= Σ 2T *ΣE = \wedge^2_\Sigma T^\ast \Sigma with coordinates ((x μ),(b μν))((x^\mu), (b_{\mu \nu})) subject to b μν=b νμb_{\mu \nu} = - b_{\nu \mu}; and with Lagrangian density

L=12h μ 1μ 2μ 3h μ 1μ 2μ 3dvol Σ \mathbf{L} \;=\; \tfrac{1}{2} h_{\mu_1 \mu_2 \mu_3} h^{\mu_1 \mu_2 \mu_3} \, dvol_\Sigma

for

h μ 1μ 2μ 3=b [μ 1μ 2,μ 3] h_{\mu_1 \mu_2 \mu_3} = b_{[\mu_1 \mu_2, \mu_3]}

the universal B-field strength (example ).

Let 𝒢T *Σ\mathcal{G} \coloneqq T^\ast \Sigma be the cotangent bundle (def. ), regarded as a gauge parameter bundle (def. ) with coordinate functions ((x μ),(c μ))((x^\mu), (c_\mu)) as in example .

Then a gauge parametrized evolutionary vector field (2) is given by

R=c μ,ν b μν R \;=\; c_{\mu,\nu} \partial_{b_{\mu \nu}}

with prolongation (prop. )

(10)R^=c μ,ν b μν+c μ,νρ b μν,ρ+ \widehat R \;=\; c_{\mu,\nu} \partial_{b_{\mu \nu}} + c_{\mu,\nu \rho} \partial_{b_{\mu \nu, \rho}} + \cdots

In fact this leaves the Lagrangian function invariant, in direct higher analogy to example :

R^12h μ 1μ 2μ 3h μ 1μ 2μ 3 =(R^b μ 1μ 2,μ 3)h μ 1μ 2μ 3 =c μ 1,μ 2μ 3h μ 1μ 2μ 3 =0 \begin{aligned} \widehat{R} \tfrac{1}{2} h_{\mu_1 \mu_2 \mu_3} h^{\mu_1 \mu_2 \mu_3} & = \left( \widehat{R} b_{\mu_1 \mu_2, \mu_3} \right) h^{\mu_1 \mu_2 \mu_3} \\ & = c_{\mu_1, \mu_2 \mu_3} h^{\mu_1 \mu_2 \mu_3} \\ & = 0 \end{aligned}

due to the symmetry of partial derivatives (?).

h ,μ c μ+h ,μν c μ,ν h_{,\mu}\partial_{c_{\mu}} + h_{,\mu \nu}\partial_{c_{\mu,\nu}}
R α a,μ=c μ,νR μν μ,ν b μν. R_\alpha^{a, \mu} = c_{\mu,\nu} R^{\mu, \nu}_{\mu' \nu'} \partial_{b_{\mu' \nu'}} \,.

While so far all this is in direct analogy to the case of the electromagnetic field (example ), just with field histories being differential 1-forms now replaced by differential 2-forms, a key difference is that now the gauge parameterization RR itself has infinitesimal gauge symmetries:

Let

(11)𝒢(2) Σ× gb(2) pr 1 Σ = Σ \array{ \overset{(2)}{\mathcal{G}} &\coloneqq& \Sigma \times \mathbb{R} \\ {}^{\overset{(2)}{gb}}\downarrow && \downarrow^{\mathrlap{pr_1}} \\ \Sigma &=& \Sigma }

be the trivial real line bundle with coordinates ((x μ),c(2))((x^\mu), \overset{(2)}{c}), to be regarded as a second order infinitesimal gauge-of-gauge symmetry, then

R(2)c(2) ,μ c μ \overset{(2)}{R} \;\coloneqq\; \overset{(2)}{c}_{,\mu} \partial_{c_\mu}

with prolongation

(12)R(2)^c(2) ,μ c μ+c(2) ,μν c μ,ν+ \widehat{\overset{(2)}{R}} \;\coloneqq\; \overset{(2)}{c}_{,\mu} \partial_{c_\mu} + \overset{(2)}{c}_{,\mu \nu} \partial_{c_{\mu,\nu}} + \cdots

has the property that

(13)R(2)^(R) =c(2) ,μνc μ,ν(c μ,ν b μν) =c(2) ,μν b μν 0. \begin{aligned} \widehat{\overset{(2)}{R}} (R) &= \overset{(2)}{c}_{,\mu \nu} \frac{\partial}{\partial c_{\mu,\nu}} \left( c_{\mu',\nu'} \partial_{b_{\mu' \nu'}} \right) \\ & = \overset{(2)}{c}_{,\mu \nu} \partial_{b_{\mu \nu}} \\ & 0 \,. \end{aligned}

We further discuss these higher gauge transformations below.

\,

Lie algebra actions and Lie algebroids

We have seen above infinitesimal gauge symmetries implied by a Lagrangian field theory, exhibited by infinitesimal symmetries of the Lagrangian. In order to remove the obstructions that these infinitesimal gauge symmetries cause for the existence of the covariant phase space (via prop. and remark ) we will need (discussed below in Gauge fixing) to make these symmetries manifest by hard-wiring them into the geometry of the type of fields. Mathematically this means that we need to take the homotopy quotient of the jet bundle of the field bundle by the action of the infinitesimal gauge symmetries, which is modeled by their action Lie algebroid.

Here we introduce the required higher Lie theory of Lie ∞-algebroids (def. below). Further below we specify this to actions by infinitesimal gauge symmetries to obtain the local BRST complex of a Lagrangian field theory (def. ) below.

\,

The following discussion introduces and uses the tremendously useful fact that (higher) Lie theory may usefully be dually expressed in terms of differential graded-commutative algebra (def. below), namely in terms of “Chevalley-Eilenberg algebras”. In the physics literature, besides the BRST-BV formalism, this fact underlies the D'Auria-Fré formulation of supergravity (“FDAs”, see the convoluted history of the concept). Mathematically the deep underlying phenomenon is called the “Koszul duality between the Lie operad and the commutative algebra operad”, but this need not concern us here. The phenomenon is readily seen in direct application:

Before we proceed, we make explicit a structure wich we already encountered in example .

Definition

(differential graded-commutative superalgebra)

A differential graded-commutative superalgebra is

  1. a cochain complex A A_\bullet of super vector spaces, hence for each nn \in \mathbb{Z}

    1 a super vector space A n=(A n) even(A n) oddA_n = (A_n)_{even} \oplus (A_n)_{odd};

    1. a super-degree preserving linear map

      d:A nA n+1 d \;\colon\; A_{n} \longrightarrow A_{n+1}

    such that

    dd=0 d \circ d = 0

1, an associative algebra-structure on AnA nA \coloneqq \underset{n \in \mathbb{Z}}{\oplus} A_n

such that for all a 1,a 2Aa_1, a_2 \in A with homogenous bidegree a i(A n a) σ aa_i \in (A_{n_a})_{\sigma_a} we have the super sign rule

  1. ab=(1) n an b(1) σ aσ bbaa b = (-1)^{n_a n_b} (-1)^{\sigma_a \sigma_b} \, b a

  2. d(ab)=(da)b+(1) n 1a(db)d(a b) = (d a) b + (-1)^{n_1} a (d b).

A homomorphism between two differential graded-commutative superalgebras is a linear map between the underlying super vector spaces which preserves both degrees, and respects the product as well as the differential dd.

We write dgcSAlgdgcSAlg for the category of differential graded-commutative superalgebra.

For the super sigsn rule appearing here see also e.g. Castellani-D’Auria-Fré 91 (II.2.106) and (II.2.109), Deligne-Freed 99, section 6.

Example

(de Rham algebra of super differential forms is differential graded-commutative superalgebra)

For XX a super Cartesian space, def. (or more generally a supermanifold, def. ) the de Rham algebra of super differential forms from def.

(Ω (X),d) (\Omega^\bullet(X), d)

is a differential graded-commutative superalgebra (def. ) with product the wedge product of differential forms and differential the de Rham differential.

We will recognize the dual incarnation of this in higher Lie theory below in example .

Proposition

(Lie algebra in terms of Chevalley-Eilenberg algebra)

Let 𝔤\mathfrak{g} be a finite dimensional super vector space equipped with a super Lie bracket [,]:𝔤𝔤𝔤[-,-] \colon \mathfrak{g} \otimes \mathfrak{g} \to \mathfrak{g}. Write 𝔤 *\mathfrak{g}^\ast for the dual vector space and [,] *:𝔤 *𝔤 *𝔤 *[-,-]^\ast \;\colon\; \mathfrak{g}^\ast \to \mathfrak{g}^\ast \wedge \mathfrak{g}^\ast for the linear dual map of the Lie bracket. Then on the Grassmann algebra 𝔤 *\wedge^\bullet \mathfrak{g}^\ast (which is ×/2\mathbb{Z} \times \mathbb{Z}/2-bigraded as in def. ) the graded derivation d CEd_{CE} of degree (1,even)(1,even), which on 𝔤 *\mathfrak{g}^\ast is given by [,] *[-,-]^\ast constitutes a differential in that (d CE) 2=0(d_{CE})^2 = 0. The resulting differential graded-commutative algebra is called the Chevalley-Eilenberg algebra

CE(𝔤)( 𝔤 *,d CE=[,] *). CE(\mathfrak{g}) \;\coloneqq\; \left( \wedge^\bullet \mathfrak{g}^\ast \,, d_{CE} = [-,-]^\ast \right) \,.

In components:

If {c α}\{c_\alpha\} is a linear basis of 𝔤\mathfrak{g}, so that the Lie bracket is given by the structure constants (γ α βγ)(\gamma^\alpha{}_{\beta \gamma}) as

[c β,c γ]=12γ α βγc γ [c_\beta, c_\gamma] = \tfrac{1}{2} \gamma^\alpha{}_{\beta \gamma} c_\gamma

and if {c α}\{c^\alpha\} denotes the corresponding dual basis, then 𝔤 *\wedge^\bullet \mathfrak{g}^\ast is equivalently the differential graded-commutative superalgebra (def. ) generated from the c αc^\alpha in bi-degree (1,σ)(1,\sigma), where σ/2\sigma \in \mathbb{Z}/2 is the super-degree of c αc_\alpha as in def. subject to the relation

c αc β=(1)(1) σ ασ βc βc α c^\alpha \wedge c^\beta = (-1) (-1)^{\sigma_\alpha \sigma_\beta} c^\beta \wedge c^\alpha

and the differential is given by

d CEc α=γ α βγc βc γ. d_{CE} c^\alpha = \gamma^\alpha{}_{\beta \gamma} c^\beta \wedge c^\gamma \,.

Notice that by degree-reasons every degree +1 derivation on 𝔤 *\wedge^\bullet \mathfrak{g}^\ast is of this form,

{derivations of degree(1,even) on 𝔤 *}{super-skew bilinear maps 𝔤𝔤[,]𝔤} \left\{ \array{ \text{derivations} \\ \text{of degree}\, (1,even) \\ \text{on} \, \wedge^\bullet \mathfrak{g}^\ast } \right\} \;\;\simeq\;\, \left\{ \array{ \text{super-skew} \\ \text{bilinear maps} \\ \mathfrak{g} \otimes \mathfrak{g} \overset{[-,-]}{\longrightarrow} \mathfrak{g} } \right\}

The condition that (d CE) 2=0(d_{CE})^2 = 0 is equivalently the (super-)Jacobi identity on the bracket [,][-,-], making it an actual (super-)Lie bracket:

(14)(d CE) 2=0AAAAAAγ α β[γγ β βγ]=0 (d_{CE})^2 = 0 \phantom{AAA} \Leftrightarrow \phantom{AAA} \gamma^\alpha{}_{\beta [\gamma} \gamma^{\beta}{}_{\beta' \gamma']} = 0

(where the square brackets on the right denote super-skew-symmetrization).

Hence not only is CE(𝔤)CE(\mathfrak{g}) a differential graded-commutative superalgebra (def. ) whenever 𝔤\mathfrak{g} is a super Lie algebra, but conversely super Lie algebra-structure on a super vector space 𝔤\mathfrak{g} is the same as a differential of degree (1,even)(1,even) on the Grassmann algebra 𝔤 *\wedge^\bullet \mathfrak{g}^\ast.

We may state this equivalence in a more refined form: A homomorphism ϕ:𝔤𝔥\phi \;\colon\; \mathfrak{g} \longrightarrow \mathfrak{h} between super vector space is, by degree-reasons, the same as a graded algebra homomorphism ϕ *: 𝔥 * 𝔤 *\phi^\ast \;\colon\; \wedge^\bullet \mathfrak{h}^\ast \longrightarrow \wedge^\bullet \mathfrak{g}^\ast and it is immediate to check that ϕ\phi is a homomorphism of super Lie algebras precisely if ϕ *\phi^\ast is a homomorpism of differential algebras:

d CE(𝔤)ϕ *=ϕ *d CE(𝔥)AAAAAAϕ α 1 β 1γ 𝔤 β 1 β 2β 3=γ 𝔥 α 1 α 2α 3ϕ α 2 β 2ϕ α 3 β 3. d_{CE(\mathfrak{g})} \circ \phi^\ast = \phi^\ast \circ d_{CE(\mathfrak{h})} \phantom{AAA} \Leftrightarrow \phantom{AAA} \phi^{\alpha_1}{}_{\beta_1} \gamma^{\beta_1}_{\mathfrak{g}}{}_{\beta_2 \beta_3} = \gamma^{\alpha_1}_{\mathfrak{h}}{}_{\alpha_2 \alpha_3} \phi^{\alpha_2}{}_{\beta_2} \phi^{\alpha_3}{}_{\beta_3} \,.

This is a natural bijection between homomrophism of super Lie algebras and of differential graded-commutative superalgebras (def. )

Hom SuperLieAlg(𝔤,𝔥)Hom dgcSAlg(CE(𝔥),CE(𝔤)). Hom_{SuperLieAlg}( \mathfrak{g}, \mathfrak{h} ) \;\simeq\; Hom_{dgcSAlg}\left( CE(\mathfrak{h}), CE(\mathfrak{g}) \right) \,.

Stated more abstractly this means that forming Chevalley-Eilenberg algebras is a fully faithful functor

CE:SuperLieAlg finAAAdgcSAlg op. CE \;\colon\; SuperLieAlg^{fin} \overset{\phantom{AAA}}{\hookrightarrow} dgcSAlg^{op} \,.

Notice that prop. establishes a dual algebraic incarnation of (super-)Lie algebras which is of analogous form as the dual algebraic characterization of (super-)Cartesian spaces from prop. and def. . In fact both these concepts unify into the concept of an action Lie algebroid:

Definition

(action of Lie algebra by infinitesimal diffeomorphism)

Let XX be a supermanifold (def. ), for instance a super Cartesian space (def. ), and let 𝔤\mathfrak{g} be a finite dimensional super Lie algebra as in prop. .

An action of 𝔤\mathfrak{g} on XX by infinitesimal diffeomorphisms, is a homomorphism of super Lie algebras

ρ:𝔤(Vect(X),[,]) \rho \;\colon \mathfrak{g} \longrightarrow ( Vect(X), [-,-] )

to the tangent vector fields on XX (example )

Equivalently – to bring out the relation to the gauge parameterized infinitesimal gauge transformations in def. – this is a 𝔤\mathfrak{g}-parameterized section

𝔤×X R TX pr 2 p X \array{ \mathfrak{g} \times X && \overset{R}{\longrightarrow} && T X \\ & {\mathllap{pr_2}}\searrow && \swarrow_{\mathrlap{p}} \\ && X }

of the tangent bundle, such that for all pairs of points e 1,e 2e_1, e_2 in 𝔤\mathfrak{g} we have

[R(e 1,),R(e 2,)]=R([e 1,e 2],) \left[R(e_1,-), R(e_2,-)\right] = R([e_1,e_2],-)

(with the Lie bracket of tangent vector fields on the left).

In components:

If {c α}\{c^\alpha\} is a linear basis of 𝔤 *\mathfrak{g}^\ast with corresponding structure constants (γ α βγ)(\gamma^\alpha{}_{\beta \gamma}) (as in prop. ) and if {ϕ a}\{\phi^a\} is a coordinate chart of XX, then RR is given by

R=c αR α aϕ a. R \;=\; c^\alpha R_\alpha^a \frac{\partial}{\partial \phi^a} \,.

Now the construction of the Chevalley-Eilenberg algebra of a super Lie algebra (prop. ) extends to the case where this super Lie algebra acts on a supermanifold (def. ):

Definition

(action Lie algebroid)

Given a Lie algebra action

𝔤×XRTX \mathfrak{g} \times X \overset{R}{\longrightarrow} T X

of a finite-dimensional super Lie algebra 𝔤\mathfrak{g} on a supermanifold XX (def. ) we obtain a differential graded-commutative superalgebra to be denoted CE(X/𝔤)CE(X/\mathfrak{g})

  1. whose underlying graded-commutative superalgebra is the Grassmann algebra of the C (X)C^\infty(X)-free module on 𝔤 *\mathfrak{g}^\ast over C (X)C^\infty(X)

    C (X) (𝔤 *C (X))=C (X)deg=0C (X)𝔤 *deg=1C (X)𝔤 *𝔤 *def=2 \wedge^\bullet_{C^\infty(X)} (\mathfrak{g}^\ast \otimes C^\infty(X)) \;=\; \underset{ deg = 0 }{ \underbrace{ C^\infty(X) }} \oplus \underset{ deg = 1 }{ \underbrace{ C^\infty(X) \otimes \mathfrak{g}^\ast }} \oplus \underset{ def = 2 }{ \underbrace{ C^\infty(X) \otimes \mathfrak{g}^\ast \wedge \mathfrak{g}^\ast }} \oplus \cdots

    which means that the graded manifold underlying the action Lie algebroid according to remark is

    (15)X/𝔤= grmfd𝔤[1]×X, X/\mathfrak{g} \;=_{grmfd}\; \mathfrak{g}[1] \times X \,,
  2. whose differential d CEd_{CE} is given

    1. on functions fC (X)f \in C^\infty(X) by the linear dual of the Lie algebra action
    d CEfρ()(f)C (X)𝔤 * d_{CE} f \coloneqq \rho(-)(f) \in C^\infty(X) \otimes \mathfrak{g}^\ast
    1. on dual Lie algebra elements ω𝔤 *\omega \in \mathfrak{g}^\ast by the linear dual of the Lie bracket

      d CEωω([,])𝔤 *𝔤 *. d_{CE} \omega \coloneqq \omega([-,-]) \;\in \; \mathfrak{g}^\ast \wedge \mathfrak{g}^\ast \,.

In components:

Assume that X= nX = \mathbb{R}^n is a super Cartesian space with coordinate functions (ϕ a)(\phi^a) and let {c α}\{c_\alpha\} be a linear basis for 𝔤\mathfrak{g} with dual basis (c α)(c^\alpha) for 𝔤 *\mathfrak{g}^\ast and structure constants (γ α) βγ(\gamma^\alpha){}_{\beta \gamma} as in prop. and with the Lie action given in components (R α a)(R_\alpha^a) as in def. . Then the differential is given by

d CE(X/𝔤)c α =12γ α βγc βc γ d CE(X/𝔤)ϕ a =R α ac α \begin{aligned} d_{CE(X/\mathfrak{g})} c^\alpha & = \tfrac{1}{2} \gamma^\alpha{}_{\beta \gamma} \, c^\beta \wedge c^\gamma \\ d_{CE(X/\mathfrak{g})} \phi^a & = R^a_\alpha c^\alpha \end{aligned}

We may summarize this by writing the derivation d CE(X/𝔤)d_{CE(X/\mathfrak{g})} as follows:

(16)d CE(X/𝔤)=c αR α aϕ a+12γ α βγc βc γc α. d_{CE(X/\mathfrak{g})} \;=\; c^\alpha R_\alpha^a \frac{\partial}{\partial \phi^a} \;+\; \tfrac{1}{2} \gamma^{\alpha}{}_{\beta \gamma} c^\beta c^\gamma \frac{\partial}{\partial c^\alpha} \,.

That this squares to zero is equivalently

(d CE(X/𝔤)) 2=0AAAAAAandJacobi identity andaction property (d_{CE(X/\mathfrak{g})})^2 = 0 \phantom{AAA} \Leftrightarrow \phantom{AAA} \array{ \phantom{and} \, \text{Jacobi identity} \\ \text{and} \, \text{action property} }

Hence as before in prop. the Lie theoretic structure is faithfully captured dually by differential graded-commutative superalgebra.

We call the formal dual of this dgc-superalgebra the action Lie algebroid X/𝔤X/\mathfrak{g} of 𝔤\mathfrak{g} acting on XX.

The concept emerging by this example we may consider generally:

Definition

(super-Lie ∞-algebroid)

Let XX be a supermanifold (def. ) (for instance a super Cartesian space, def. ) and write C (X)C^\infty(X) for its algebra of functions. Then a connected super Lie ∞-algebroid 𝔞\mathfrak{a} over XX of finite type is a

  1. a sequence (𝔞 k) k=1 (\mathfrak{a}_k)_{ k = 1 }^\infty of free modules of finite rank over C (X)C^\infty(X), hence a graded module 𝔞 \mathfrak{a}_\bullet in degrees kk \in \mathbb{N}; k1k \geq 1

  2. a differential d CEd_{CE} that makes the graded-commutative algebra Sym C (X)(𝔞 *)Sym_{C^\infty(X)}(\mathfrak{a}^\ast_\bullet) into a cochain differential graded-commutative algebra (hence with d CEd_{CE} of degree +1) over \mathbb{R} (not necessarily over C (X)C^\infty(X)), to be called the Chevalley-Eilenberg algebra of 𝔞\mathfrak{a}:

    (17)CE(𝔞)(Sym C (X)(𝔞 *),d CE). CE(\mathfrak{a}) \;\coloneqq\; \left( Sym_{C^\infty(X)}(\mathfrak{a}^\ast_\bullet) \,,\, d_{CE} \right) \,.

If we allow 𝔞 \mathfrak{a}_\bullet to also have terms in non-positive degree, then we speak of a derived Lie algebroid. If 𝔞 \mathfrak{a}_\bullet is only concentrated in negative degrees, we also speak of a derived manifold.

With C (X)C^\infty(X) canonically itself regarded as a differential graded-commutative superalgebra, there is a canonical dg-algebra homomorphism

CE(𝔞)C (X) CE(\mathfrak{a}) \longrightarrow C^\infty(X)

which is the identity on C (X)C^\infty(X) and zero on 𝔞 0 *\mathfrak{a}^\ast_{\neq 0}.

(We discuss homomorphism between Lie ∞-algebroid below in def. .)

Remark

(Lie algebroids as differential graded manifolds)

Definition of derived Lie algebroids is an encoding in higher algebra (homological algebra, in this case) of a situation that is usefully thought of in terms of higher differential geometry.

To see this, recall the magic algebraic properties of ordinary differential geometry (prop. )

  1. embedding of smooth manifolds into formal duals of R-algebras;

  2. embedding of smooth vector bundles into formal duals of modules

Together these imply that we may think of the graded algebra underlying a Chevalley-Eilenberg algebra as being the algebra of functions on a graded manifold

×𝔞 2×𝔞 1×X×𝔞 1× \cdots \times \mathfrak{a}_2 \times \mathfrak{a}_1 \times X \times \mathfrak{a}_{-1} \times \cdots

which is infinitesimal in non-vanishing degree.

The “higher” in higher differential geometry refers to the degrees higher than zero. See at Higher Structures for exposition. Specifically if 𝔞 \mathfrak{a}_\bullet has components in negative degrees, these are also called derived manifolds.

Example

(basic examples of Lie algebroids)

Two basic examples of Lie algebroids are:

  1. For XX any supermanifold (def. ), for instance a super Cartesian space (def. ) then setting 𝔞 00\mathfrak{a}_{\neq 0 } \coloneqq 0 and d CE0d_{CE} \coloneqq 0 makes it a Lie algebroid in the sense of def. .

  2. For 𝔤\mathfrak{g} a finite-dimensional super Lie algebra, its Chevalley-Eilenberg algebra (prop. ) CE(𝔤)CE(\mathfrak{g}) exhibits 𝔤\mathfrak{g} as a Lie algebroid in the sense of def. . We write B𝔤B\mathfrak{g} or */𝔤\ast/\mathfrak{g} for 𝔤\mathfrak{g} regarded as a Lie algebroid this way.

  3. For XX and 𝔤\mathfrak{g} as in the previous items, and for R:𝔤×XTXR \colon \mathfrak{g} \times X \to T X a Lie algebra action (def. ) of 𝔤\mathfrak{g} on XX, then the dgs-superalegbra CE(X/𝔤)CE(X/\mathfrak{g}) from def. defines a Lie algebroid in the sense of def. , the action Lie algebroid.

    In the special case that 𝔤=0\mathfrak{g} = 0 this reduces to the first example, while for X=*X = \ast this reduces to the second example.

Here is another basic examples of Lie algebroids that will plays a role:

Example

(horizontal tangent Lie algebroid)

Let Σ\Sigma be a smooth manifold or more generally a supermanifold or more generally a locally pro-manifold (prop. ). Then we write Σ/TΣ\Sigma/T\Sigma for the Lie algebroid over XX and whose Chevalley-Eilenberg algebra is generated over C (X)C^\infty(X) in degree 1 from the module

𝔞 1 *(Γ(TΣ)) *Γ(T *Σ)=Ω 1(Σ) \mathfrak{a}_1^\ast \coloneqq (\Gamma(T \Sigma))^\ast \simeq\Gamma(T^\ast \Sigma) = \Omega^1(\Sigma)

of differential 1-forms and whose Chevalley-Eilenberg differential is the de Rham differential, so that the Chevalley-Eilenberg algebra is the de Rham dg-algebra of super differential forms (example )

CE(Σ/TΣ)(Ω (Σ),d dR). CE( \Sigma/T\Sigma ) \coloneqq (\Omega^\bullet(\Sigma), d_{dR}) \,.

This is called the tangent Lie algebroid of Σ\Sigma. As a graded manifold (via remark ) this is called the “shifted tangent bundleT[1]ΣT[1] \Sigma of XX.

More generally, let EfbΣE \overset{fb}{\to} \Sigma be a fiber bundle over Σ\Sigma. Then there is a Lie algebroid J Σ (E)/TΣJ^\infty_\Sigma(E)/T\Sigma over the jet bundle of EE (def. ) defined by its Chevalley-Eilenberg algebra being the horizontal part of the variational bicomplex (def. ):

CE(J Σ (E)/TΣ)(Ω Σ ,0(E),d). CE\left( J^\infty_\Sigma(E)/T\Sigma \right) \;\coloneqq\; \left(\Omega^{\bullet,0}_\Sigma(E), d\right) \,.

The underlying graded manifold of J Σ (E)/TΣJ^\infty_\Sigma(E)/T\Sigma is the fiber product J Σ (E)× ΣT[1]ΣJ^\infty_\Sigma(E)\times_\Sigma T[1]\Sigma of the jet bundle of EE with the shifted tangent bundle of Σ\Sigma.

There is then a canonical homomorphism of Lie algebroids (def. )

J Σ (E)/TΣ Σ/TΣ \array{ J^\infty_\Sigma(E)/T\Sigma \\ \downarrow \\ \Sigma/T\Sigma }

\,

local off-shell BRST complex

With the general concept of Lie algebra action (def. ) and the corresponding action Lie algebroids (def. ) and more general Lie ∞-algebroids in hand (def. ) we now apply this to the action of infinitesimal gauge symmetries (def. ) on field histories of a Lagrangian field theory, but we consider this locally, namely on the jet bundle. The Chevalley-Eilenberg algebra of the resulting action Lie algebroid (def. ) is known as the local BRST complex, example below.

The Lie algebroid-perspective on BV-BRST formalism has been made explicit in (Barnich 10).

Definition

(closed gauge parameters)

Let (E,L)(E,\mathbf{L}) be a Lagrangian field theory (def. ). Then a gauge parameter bundle 𝒢gbΣ\mathcal{G} \overset{gb}{\to} \Sigma parameterizing infinitesimal gauge symmetries (def. )

J Σ (𝒢× ΣE)RT ΣE J^\infty_\Sigma(\mathcal{G} \times_\Sigma E) \overset{R}{\longrightarrow} T_\Sigma E

is called closed if it is closed under the Lie bracket of evolutionary vector fields (prop. ) in that there exists a morphism (not necessarily uniquely)

(18)[,] 𝒢:J Σ (𝒢× Σ𝒢× ΣE)J Σ (𝒢× ΣE) [-,-]_{\mathcal{G}} \;\colon\; J^\infty_\Sigma( \mathcal{G} \times_\Sigma \mathcal{G} \times_\Sigma E ) \longrightarrow J^\infty_\Sigma(\mathcal{G} \times_\Sigma E)

such that

[R(),R()]=R([,] 𝒢), \left[ R(-) , R(-)\right] \;=\; R([-,-]_{\mathcal{G}}) \,,

where on the left we have the Lie bracket of evolutionary vector fields from prop. .

Beware that [,] 𝒢[-,-]_{\mathcal{G}} may be a function of the fields, namely of the jet bundle of the field bundle EE. Hence for closed gauge parameters [,] 𝒢[-,-]_{\mathcal{G}} in general defines a Lie algebroid-structure (def. ).

Notice that the collection of all infinitesimal symmetries of the Lagrangian by necessity always forms a (very large) Lie algebra. The condition of closed gauge parameters is a condition on the choice of parameterization of the infinitesimal gauge symmetries, see remark .

(Henneaux 90, section 2.9)

Recall the general concept of a Lie algebra action from def. . The following realizes this for the action of closed infinitesimal gauge symmetries on the jet bundle of a Lagrangian field theory.

Example

(action of closed infinitesimal gauge symmetries on fields)

Let (E,L)(E,\mathbf{L}) be a Lagrangian field theory (def. ), and let 𝒢gbΣ\mathcal{G} \overset{gb}{\to} \Sigma be a bundle of gauge parameters (def. ) paramaterizing infinitesimal gauge symmetries

J Σ (𝒢× ΣE)RT ΣE J^\infty_\Sigma(\mathcal{G} \times_\Sigma E) \overset{R}{\longrightarrow} T_\Sigma E

which are closed (def. ), via a bracket [,] 𝒢[-,-]_{\mathcal{G}}.

By passing from these evolutionary vector fields RR (def. ) to their prolongations R^\widehat{R}, being actual vector fields on the jet bundle (prop. ), we obtain a bundle morphism of the form

J Σ (𝒢)× ΣJ Σ (E) R(e)^ T ΣJ Σ (E) J Σ (E) \array{ J^\infty_\Sigma(\mathcal{G}) \times_\Sigma J^\infty_\Sigma (E) && \overset{\widehat{R(e)}}{\longrightarrow} && T_\Sigma J^\infty_\Sigma(E) \\ & \searrow && \swarrow \\ && J^\infty_\Sigma(E) }

and via the assumed bracket [,] 𝒢[-,-]_{\mathcal{G}} on gauge parameters this exhibits Lie algebroid structure on J Σ (𝒢)× ΣJ Σ (E)pr 2J Σ (E)J^\infty_\Sigma(\mathcal{G}) \times_\Sigma J^\infty_\Sigma(E) \overset{pr_2}{\to} J^\infty_\Sigma(E).

In the case that 𝒢=𝔤×Σ\mathcal{G} = \mathfrak{g} \times \Sigma is a trivial vector bundle, with fiber 𝔤\mathfrak{g}, then so is its jet bundle

J Σ (𝔤×Σ)=𝔤 ×Σ. J^\infty_\Sigma(\mathfrak{g} \times \Sigma) = \mathfrak{g}^\infty \times \Sigma \,.

If moreover the bracket (18) on the infinitesimal gauge symmetries is independent of the fields, then this induces a Lie algebra structure on 𝔤 \mathfrak{g}^\infty and exhibits an Lie algebra action

𝔤 ×J Σ E R(e)^ T ΣJ Σ (E) J Σ (E). \array{ \mathfrak{g}^\infty \times J^\infty_\Sigma E && \overset{\widehat{R(e)}}{\longrightarrow} && T_\Sigma J^\infty_\Sigma(E) \\ & \searrow && \swarrow \\ && J^\infty_\Sigma(E) } \,.

of the gauge parameterized infinitesimal gauge symmetries on the jet bundle of the field bundle by infinitesimal diffeomorphisms.

Example

(local BRST complex and ghost fields for closed infinitesimal gauge symmetries)

Let (E,L)(E,\mathbf{L}) be a Lagrangian field theory (def. ), and let 𝒢gbΣ\mathcal{G} \overset{gb}{\longrightarrow} \Sigma be a bundle of irreducible closed gauge parameters for the theory (def. ) with bundle morphism

J Σ (𝒢× ΣE) R T ΣE E. \array{ J^\infty_\Sigma( \mathcal{G} \times_\Sigma E ) && \overset{R}{\longrightarrow} && T_\Sigma E \\ & \searrow && \swarrow \\ && E } \,.

Assuming that the gauge parameter bundle is trivial, 𝒢=𝔤×Σ\mathcal{G} = \mathfrak{g} \times \Sigma, then by example this induces an action R^\hat R of a Lie algebra 𝔤 \mathfrak{g}^\infty on J Σ EJ^\infty_\Sigma E by infinitesimal diffeomorphisms.

The corresponding action Lie algebroid J Σ (E)/𝔤 J^\infty_\Sigma(E)/\mathfrak{g}^\infty (def. ) has as underlying graded manifold (remark )

𝔤 [1]×J Σ (E)J Σ (𝒢[1]× ΣE) \mathfrak{g}^\infty[1] \times J^\infty_\Sigma(E) \;\simeq\; J^\infty_\Sigma( \mathcal{G}[1] \times_\Sigma E )

the jet bundle of the graded field bundle

E BRSTE× Σ𝒢[1] E_{BRST} \;\coloneqq\; E \times_\Sigma \mathcal{G}[1]

which regards the gauge parameters as fields in degree 1. As such these are called ghost fields:

{ghost field histories}Γ Σ(𝒢[1]). \left\{ \text{ghost field histories} \right\} \;\coloneqq\; \Gamma_\Sigma( \mathcal{G}[1] ) \,.

Therefore we write suggestively

E/𝒢J Σ (E)/𝔤 E/\mathcal{G} \;\coloneqq\; J^\infty_\Sigma(E)/\mathfrak{g}^\infty

for the action Lie algebroid of the gauge parameterized implicit infinitesimal gauge symmetries on the jet bundle of the field bundle.

The Chevalley-Eilenberg differential of the BRST complex is traditionally denoted

s BRSTd CE. s_{BRST} \coloneqq d_{CE} \,.

To express this in coordinates, assume that the field bundle EE as well as the gauge parameter bundle are trivial vector bundles (example ) with (ϕ a)(\phi^a) the field coordinates on the fiber of EE with induced jet coordinates ((x μ),(ϕ a),(ϕ μ a),)((x^\mu), (\phi^a), (\phi^a_{\mu}), \cdots) and (c α)(c^\alpha) are ghost field coordinates on the fiber of 𝒢[1]\mathcal{G}[1] with induced jet coordinates ((x μ),(c α),(c μ α),)((x^\mu), (c^\alpha), (c^\alpha_\mu), \cdots).

Then in terms of the corresponding coordinate expression for the gauge symmetries RR (2) the BRST differential is given on the fields by

s BRSTϕ a=c ,μ 1μ k αkR α aμ 1μ k s_{BRST} \, \phi^a \;=\; c^\alpha_{,\mu_1 \cdots \mu_k} \underset{k \in \mathbb{N}}{\sum} R^{a \mu_1 \cdots \mu_k}_{\alpha}

and on the ghost fields by

s BRSTc α=12γ α βγc βc γ, s_{BRST} \, c^\alpha = \tfrac{1}{2}\gamma^\alpha{}_{\beta \gamma} c^\beta c^\gamma \,,

and it extends from there, via prop. , to jets of fields and ghost fields by (anti-)commutativity with the total spacetime derivative.

Moreover, since the action of the infinitesimal gauge symmetries is by definition via prolongations (prop. ) of evolutionary vector fields (def. ) and hence compatible with the total spacetime derivative (?) this construction descends to the horizontal tangent Lie algebroid J Σ (E)/TΣJ^\infty_\Sigma(E)/T\Sigma (example ) to yield

E/(𝒢× ΣTΣ)(J Σ (E)/TΣ)/𝔤 E/(\mathcal{G}\times_\Sigma T \Sigma) \;\coloneqq\; \left(J^\infty_\Sigma(E)/T\Sigma\right)/\mathfrak{g}^\infty

The Chevalley-Eilenberg differential on E/(𝒢× ΣTΣ)E/(\mathcal{G}\times_\Sigma T \Sigma) is

ds BRST d - s_{BRST}

The Chevalley-Eilenberg algebra of functions on this differential graded manifold (17) is called the off-shell local BRST complex.

(Barnich-Brandt-Henneaux 94, Barnich 10 (35)).

Definition

(global BRST complex)

We may pass from the off-shell local BRST complex (def. ) on the jet bundle to the “global” BRST complex by transgression of variational differential forms (def. ):

Write Obs(E× Σ𝒢[1])Obs(E \times_\Sigma \mathcal{G}[1]) for the induced graded off-shell algebra of observables (def. ). For AΩ Σ p+1,(E× Σ𝒢[1])A \in \Omega^{p+1,\bullet}_\Sigma(E \times_\Sigma \mathcal{G}[1]) with corresponding local observable τ Σ(A)LocObs Σ(E× Σ𝒢[1])\tau_\Sigma(A) \in LocObs_\Sigma(E \times_\Sigma \mathcal{G}[1]) its BRST differential is defined by

s BRSTτ Σ(A)τ Σ(s BRSTA) s_{BRST} \tau_{\Sigma}(A) \;\coloneqq\; \tau_{\Sigma}(s_{BRST} A)

and extended from there to Obs(E× Σ𝒢[1])Obs(E \times_\Sigma \mathcal{G}[1]) as a graded derivation.

\,

Examples of local BRST complexes of Lagrangian gauge theories

Example

(local BRST complex for free electromagnetic field on Minkowski spacetime)

Consider the Lagrangian field theory of free electromagnetism on Minkowski spacetime (example ) with its gauge parameter bundle as in example .

By (8) the action of the BRST differential is the derivation

s BRST=c ,μa μ+c ,μνa μ,ν+. s_{BRST} \;=\; c_{,\mu} \frac{\partial}{\partial a_\mu} + c_{, \mu \nu} \frac{\partial}{\partial a_{\mu, \nu}} + \cdots \,.

In particular the Lagrangian density is BRST-closed

s BRSTL =s BRSTf μνf μνdvol Σ =c ,μνf μνdvol Σ =0 \begin{aligned} s_{BRST} \mathbf{L} & = s_{BRST} f_{\mu \nu} f^{\mu \nu} dvol_\Sigma \\ & = c_{,\mu \nu} f^{\mu \nu} dvol_\Sigma \\ & = 0 \end{aligned}

as is the Euler-Lagrange form (due to the symmetry c ,μν=c ,νμc_{,\mu \nu} = c_{,\nu \mu} (?) and in contrast to the skew-symmetry f μν=f νμf_{\mu \nu} = - f_{\nu \mu}).

Example

(local BRST complex for the Yang-Mills field on Minkowski spacetime)

For 𝔤\mathfrak{g} a semisimple Lie algebra, consider the Lagrangian field theory of Yang-Mills theory on Minkowski spacetime from example , with Lagrangian density

L=12f μν αf α μν \mathbf{L} \;=\; \tfrac{1}{2} f^\alpha_{\mu \nu} f_\alpha^{\mu \nu}

given by the universal field strength (?)

f μν α12(a [ν,μ] α+12γ βγ αa [μ βa ν] γ). f^\alpha_{\mu \nu} \;\coloneqq\; \tfrac{1}{2} \left( a^\alpha_{[\nu,\mu]} + \tfrac{1}{2} \gamma^\alpha_{\beta \gamma} a^\beta_{[\mu} a^\gamma_{\nu]} \right) \,.

Let 𝒢Σ×𝔤\mathcal{G} \coloneqq \Sigma \times \mathfrak{g} be the trivial vector bundle with fiber 𝔤\mathfrak{g}, regarded as a gauge parameter bundle (def. ) with coordinate functions ((x μ),c α)((x^\mu), c^\alpha) and consider the gauge parametrized evolutionary vector field (2)

R=(c ,μ αγ βγ αc βa μ γ) a μ α R \;=\; \left( c^\alpha_{,\mu} - \gamma^\alpha_{\beta \gamma} c^\beta a^\gamma_\mu \right) \partial_{a^\alpha_\mu}

from example .

We claim that these are closed gauge parameters in the sense of def. , hence that the local BRST complex in the form of example exists.

To see this, observe that, by def. the candidate BRST differential needs to be of the form (9) plus the linear dual of the Lie bracket [,] 𝒢 *[-,-]_{\mathcal{G}}^\ast

s BRST=((c ,μ αγ βγ αc βa μ γ) a μ α+prolongation)+([,] 𝒢) *. s_{BRST} \;=\; \left( \left( c^\alpha_{,\mu} - \gamma^\alpha_{\beta \gamma} c^\beta a^\gamma_\mu \right) \partial_{a^\alpha_\mu} \;+\; \text{prolongation} \right) + ([-,-]_{\mathcal{G}})^\ast \,.

Moreover, by def. we may equivalently make an Ansatz for ([,] 𝒢) *([-,-]_{\mathcal{G}})^\ast and if the resulting differential s BRSTs_{BRST} squares to zero, as this dually defines the required closure bracket [,] 𝒢[-,-]_\mathcal{G}.

We claim that

(19)s BRST(c ,μ αγ βγ αc βa μ γ)a μ α^+12γ α βγc βc γc α^, s_{BRST} \;\coloneqq\; \widehat{ \left( c^\alpha_{,\mu} - \gamma^\alpha_{\beta \gamma} c^\beta a^\gamma_\mu \right) \frac{\partial}{\partial a^\alpha_\mu} } + \widehat{ \tfrac{1}{2}\gamma^\alpha{}_{\beta \gamma} \, c^\beta c^\gamma \frac{\partial}{\partial c^\alpha} } \,,

where the hat denotes prolongation (prop. ). This is the local (jet bundle) BRST differential for Yang-Mills theory on Minkowski spacetime.

(e.g. Barnich-Brandt-Henneaux 00 (7.2))

Proof

We need to show that (19) squares to zero. Consider the two terms that appear:

(s BRST) 2=[(c ,μ αγ βγ αc βa μ γ) a μ α^,(c ,μ αγ βγ αc βa μ γ) a μ α^]+2[(c ,μ αγ βγ αc βa μ γ) a μ α^,12γ α βγc βc γc α^]. (s_{BRST})^2 = \left[ \widehat{ \left( c^\alpha_{,\mu} - \gamma^\alpha_{\beta \gamma} c^\beta a^\gamma_\mu \right) \partial_{a^\alpha_\mu} } \;,\; \widehat{ \left( c^{\alpha'}_{,\mu} - \gamma^{\alpha'}_{\beta \gamma} c^\beta a^\gamma_\mu \right) \partial_{a^{\alpha'}_\mu} } \right] \;+\; 2 \left[ \widehat{ \left( c^\alpha_{,\mu} - \gamma^\alpha_{\beta \gamma} c^\beta a^\gamma_\mu \right) \partial_{a^\alpha_\mu} } \;,\; \widehat{ \tfrac{1}{2}\gamma^\alpha{}_{\beta \gamma} \, c^\beta c^\gamma \frac{\partial}{\partial c^\alpha} } \right] \,.

The first term is

[(c ,μ αγ βγ αc βa μ γ) a μ α^,(c ,μ αγ βγ αc βa μ γ) a μ α^] =2γ βγ αc β(c ,μ γγ βγ γc βa μ γ)a μ α^ =2γ βγ αc βc ,μ γa μ α^+2γ βγ αγ βγ γc βc βa μ γa μ α^ =2γ βγ αc βc ,μ γa μ α^+γ βγ αγ βγ γ(c βc βa μ γc βc βa μ γ)a μ α^ =2γ βγ αc βc ,μ γa μ α^+γ βγ αγ βγ γ(c βc γa μ βc βc βa μ γ)a μ α^ =2γ βγ αc βc ,μ γa μ α^+γ βγ αγ βγ γc γc βa μ βa μ α^ =2γ βγ αc βc ,μ γa μ α^+γ γβ αγ βγ βc βc γa μ γa μ α^ \begin{aligned} \left[ \widehat{ \left( c^\alpha_{,\mu} - \gamma^\alpha_{\beta \gamma} c^\beta a^\gamma_\mu \right) \partial_{a^\alpha_\mu} } \;,\; \widehat{ \left( c^{\alpha'}_{,\mu} - \gamma^{\alpha'}_{\beta \gamma} c^\beta a^\gamma_\mu \right) \partial_{a^{\alpha'}_\mu} } \right] & = - 2 \gamma^{\alpha'}_{\beta \gamma} \widehat{ c^\beta \left( c^\gamma_{,\mu} - \gamma^\gamma_{\beta' \gamma'} c^{\beta'} a^{\gamma'}_\mu \right) \frac{\partial}{\partial a^{\alpha'}_\mu} } \\ & = - 2 \gamma^{\alpha'}_{\beta \gamma} \widehat{ c^\beta c^\gamma_{,\mu} \frac{\partial}{\partial a^{\alpha'}_\mu} } + 2 \gamma^{\alpha'}_{\beta \gamma} \gamma^\gamma_{\beta' \gamma'} \widehat{ c^\beta c^{\beta'} a^{\gamma'}_\mu \frac{\partial}{\partial a^{\alpha'}_\mu} } \\ & = - 2 \gamma^{\alpha'}_{\beta \gamma} \widehat{ c^\beta c^\gamma_{,\mu} \frac{\partial}{\partial a^{\alpha'}_\mu} } + \gamma^{\alpha'}_{\beta \gamma} \gamma^\gamma_{\beta' \gamma'} \widehat{ \left( c^\beta c^{\beta'} a^{\gamma'}_\mu - c^{\beta'} c^{\beta} a^{\gamma'}_\mu \right) \frac{\partial}{\partial a^{\alpha'}_\mu} } \\ & = - 2 \gamma^{\alpha'}_{\beta \gamma} \widehat{ c^\beta c^\gamma_{,\mu} \frac{\partial}{\partial a^{\alpha'}_\mu} } + \gamma^{\alpha'}_{\beta \gamma} \gamma^\gamma_{\beta' \gamma'} \widehat{ \left( - c^\beta c^{\gamma'} a^{\beta'}_\mu - c^{\beta'} c^{\beta} a^{\gamma'}_\mu \right) \frac{\partial}{\partial a^{\alpha'}_\mu} } \\ & = - 2 \gamma^{\alpha'}_{\beta \gamma} \widehat{ c^\beta c^\gamma_{,\mu} \frac{\partial}{\partial a^{\alpha'}_\mu} } + \gamma^{\alpha'}_{\beta \gamma} \gamma^\gamma_{\beta' \gamma'} \widehat{ c^{\gamma'} c^{\beta'} a^{\beta}_\mu \frac{\partial}{\partial a^{\alpha'}_\mu} } \\ & = - 2 \gamma^{\alpha'}_{\beta \gamma} \widehat{ c^\beta c^\gamma_{,\mu} \frac{\partial}{\partial a^{\alpha'}_\mu} } + \gamma^{\alpha'}_{\gamma \beta} \gamma^\beta_{\beta' \gamma'} \widehat{ c^{\beta'} c^{\gamma'} a^{\gamma}_\mu \frac{\partial}{\partial a^{\alpha'}_\mu} } \end{aligned}

Here first we expanded out, then in the second-but-last line we used the Jacobi identity (14) and in the last line we adjusted indices, just for convenience of comparison with the next term. That next term is

[(c ,μ αγ βγ αc βa μ γ) a μ α^,γ α βγc βc γc α^]=2γ βγ αc ,μ βc γa μ α^γ βγ αγ βγ βc βc γa μ γa μ α^, \left[ \widehat{ \left( c^\alpha_{,\mu} - \gamma^\alpha_{\beta \gamma} c^\beta a^\gamma_\mu \right) \partial_{a^\alpha_\mu} } \;,\; \gamma^\alpha{}_{\beta \gamma} \, \widehat{c^\beta c^\gamma \frac{\partial}{\partial c^\alpha}} \right] = 2 \gamma^\alpha_{\beta \gamma} \widehat{ c^\beta_{,\mu} c^\gamma \frac{\partial}{\partial a^\alpha_\mu} } - \gamma^\alpha_{\beta \gamma} \gamma^\beta_{\beta' \gamma'} \widehat{ c^{\beta'} c^{\gamma'} a^\gamma_\mu \frac{\partial}{\partial a^\alpha_\mu} } \,,

where the first summand on the right comes from the prolongation.

This shows that the two terms cancel.

Example

(local BRST complex for B-field on Minkowski spacetime)

Consider the Lagrangian field theory of the B-field on Minkowski spacetime from example , with field bundle the differential 2-form-bundle E= Σ 2T *ΣE = \wedge^2_\Sigma T^\ast \Sigma with coordinates ((x μ),(b μν))((x^\mu), (b_{\mu \nu})) subject to b μν=b νμb_{\mu \nu} = - b_{\nu \mu}; and with Lagrangian density.

By example the local BRST complex (example ) has BRST differential of the form

c μ,νb μν+c μ,ν 1ν 2b μν 1,ν 2+. c_{\mu, \nu} \frac{\partial}{\partial b_{\mu \nu}} + c_{\mu,\nu_1 \nu_2} \frac{\partial}{\partial b_{\mu \nu_1, \nu_2}} + \cdots \,.

In this case this enhanced to an Lie 2-algebroid by regarding the second-order gauge parameters (11) in degree 2 to form a graded field bundle

𝒢(2)[2]{c(2)}× Σ𝒢[1]{c μ}× ΣE(b μν)=[2]×T *Σ[1]× ΣE \underset{ \{\overset{(2)}{c}\} }{ \underbrace{ \overset{(2)}{\mathcal{G}}[2] }} \times_\Sigma \underset{\{c_\mu\}}{ \underbrace{ \mathcal{G}[1] } } \times_\Sigma \underset{ (b_{\mu \nu}) }{ \underbrace{ E }} \;=\; \mathbb{R}[2] \times T^\ast \Sigma [1] \times_\Sigma E

by adding the ghost-of-ghost field (c(2))(\overset{(2)}{c}) (12) and taking the local BRST differential to be the sum of the first order infinitesimal gauge symmetries (10) and the second order infinitesimal gauge-of-gauge symmetry (12):

s BRST=(c μ,νb μν+c μ,ν 1ν 2b μν 1,ν 2+)+(c(2) ,μc μ+c(2) ,μνc μ,ν+). s_{BRST} \;=\; \left( c_{\mu, \nu} \frac{\partial}{\partial b_{\mu \nu}} + c_{\mu,\nu_1 \nu_2} \frac{\partial}{\partial b_{\mu \nu_1, \nu_2}} + \cdots \right) + \left( \overset{(2)}{c}_{,\mu} \frac{\partial}{\partial c_\mu} + \overset{(2)}{c}_{,\mu \nu} \frac{\partial}{\partial c_{\mu,\nu}} + \cdots \right) \,.

Notice that this indeed still squares to zero, due to the second-order Noether identity (13):

(s BSRT) 2 =[c(2) ,μνc μ,ν,c μ,νb μν]+[c(2) ,μν 1ν 2c μ,ν 1ν 2,c μ,ν 1ν 2b μν 1,ν 2] =c(2) ,μνb μν=0+c(2) ,μν 1ν 2b μν 1,ν 2=0+ =0. \begin{aligned} \left( s_{BSRT} \right)^2 & = \left[ \overset{(2)}{c}_{,\mu \nu} \frac{\partial}{\partial c_{\mu,\nu}}, c_{\mu, \nu} \frac{\partial}{\partial b_{\mu \nu}} \right] \;+\; \left[ \overset{(2)}{c}_{,\mu \nu_1 \nu_2} \frac{\partial}{\partial c_{\mu,\nu_1 \nu_2}}, c_{\mu, \nu_1 \nu_2} \frac{\partial}{\partial b_{\mu \nu_1, \nu_2}} \right] \\ & = \underset{ = 0 }{ \underbrace{ \overset{(2)}{c}_{,\mu \nu} \frac{\partial}{\partial b_{\mu \nu}} }} \;+\; \underset{ = 0 }{ \underbrace{ \overset{(2)}{c}_{,\mu \nu_1 \nu_2} \frac{\partial}{\partial b_{\mu \nu_1, \nu_2}} }} \;+\; \cdots \\ & = 0 \,. \end{aligned}

\,

This concludes our discussion of infinitesimal gauge symmetries, their off-shell action on the jet bundle of the field bundle and the corresponding homotopy quotient exhibited by the local BRST complex. In the next chapter we discuss the homotopy intersection of this construction with the shell: the reduced phase space.

Last revised on February 26, 2019 at 14:16:20. See the history of this page for a list of all contributions to it.