Reduced phase space
Reduced phase space
In this chapter we discuss these topics:
For a Lagrangian field theory with infinitesimal gauge symmetries, the reduced phase space is the quotient of the shell (the solution-locus of the equations of motion) by the action of the gauge symmetries; or rather it is the combined homotopy quotient by the gauge symmetries and its homotopy intersection with the shell. Passing to the reduced phase space may lift the obstruction for a gauge theory to have a covariant phase space and hence a quantization.
The higher differential geometry of homotopy quotients and homotopy intersections is usefully modeled by tools from homological algebra, here known as the BV-BRST complex.
In order to exhibit the key structure without getting distracted by the local jet bundle geometry, we first discuss the simple form in which the reduced phase space would appear after transgression (def. ) if spacetime were compact, so that, by the principle of extremal action (prop. ), it would be the derived critical locus () of a globally defined action functional . This “global” version of the BV-BRST complex is example below.
The genuine local construction of the derived shell is in the jet bundle of the field bundle, where the action functional appears “de-transgressed” in the form of the Lagrangian density, which however is invariant under gauge transformations generally only up to horizontally exact terms. This local incarnation of the redcuced phase space is modeled by the genuine local BV-BRST complex, example below.
Finally, under transgression of variational differential forms this yields a differential on the graded local observables of the field theory. This is the global BV-BRST complex of the Lagrangian field theory (def. below).
derived critical loci inside Lie algebroids
By analogy with the algebraic formulation of smooth functions between Cartesian spaces (the embedding of Cartesian spaces into formal duals of R-algebras, prop. ) it is clear how to define a map (homomorphism) between Lie algebroids:
Definition
(homomorphism between Lie algebroids)
Given two derived Lie algebroids , (def. ), then a homomorphism between them
is a dg-algebra-homomorphism between their Chevalley-Eilenberg algebras going the other way around
such that this covers an algebra homomorphism on the function algebras:
(This is also called a “non-curved sh-map”.)
Example
(invariant functions in terms of Lie algebroids)
Let be a super Lie algebra equipped with a Lie algebra action (def. )
on a supermanifold . Then there is a canonical homomorphism of Lie algebroids (def. )
(1)
from the manifold regarded as a Lie algebroid by example to the action Lie algebroid (example ), which may be called the homotopy quotient coprojection map. The dual homomorphism of differential graded-commutative superalgebras is given simply by the identity on and the zero map on .
Next regard the real line manifold as a Lie algebroid by example . Then homomorphisms of Lie algebroids (def. ) of the form
hence smooth functions on the Lie algebroid, are equivalently
In terms of the canonical homotopy quotient coprojection map (1) this says that a smooth function on extension extends to the action Lie algebroid precisely if it is invariant:
Proof
An -algebra homomorphism
is fixed by what it does to the canonical coordinate function on , which is taken by to . For this to be a dg-algebra homomorphism it needs to respect the differentials on both sides. Since the differential on the right is trivial, the condition is that :
Given a gauge invariant function, hence a function on a Lie algebroid (example ), its exterior derivative should be a section of the cotangent bundle of the Lie algebroid. Moreover, if all field variations are infinitesimal (as in def. ) then it should in fact be a section of the infinitesimal neighbourhood (example ) of the zero section inside the cotangent bundle, the infinitesimal cotangent bundle of the Lie algebroid (def. ebelow).
To motivate the definition below of infinitesimal cotangent bundle of a Lie algebroid recall from example that the algebra of functions on the infinitesimal cotangent bundle should be fiberwise the formal power series algebra in the linear functions. But a fiberwise linear function on a cotangent bundle is by definition a vector field. Finally observe that vector fields are equivalently derivations of smooth functions (prop. ). This leads to the following definition:
Definition
(infinitesimal cotangent Lie algebroid)
Let be a Lie ∞-algebroid (def. ) over some manifold . Then its infinitesimal cotangent bundle is the Lie ∞-algebroid over whose underlying graded module over is the direct sum of the original module with the derivations of the graded algebra underlying :
with differential on the summand being the original differential and on being the graded commutator with the differential on (which is itself a graded derivation of degree +1):
Just as for ordinary cotangent bundles (def. ) there is a canonical homomorphism of Lie algebroids (def. ) from the infinitesimal cotangent Lie algebroid down to the base Lie algebroid:
(2)
given dually by the identity on the original generators.
Example
(infinitesimal cotangent bundle of action Lie algebroid)
Let be an action Lie algebroid (def. ) whose Chevalley-Eilenberg differential is given in local coordinates by (?)
Then its infinitesimal cotangent Lie algebroid (def. ) has the generators
and we find that CE-differential on the new derivation generators is given by
(3)
and
(4)
To amplify that the derivations on , such as and , are now coordinate functions in one writes them as
(5)
so that the generator content then reads as follows:
(6)
In this notation the full action of the CE-differential for is therefore the following:
(7)
With a concept of cotangent bundles for Lie algebroids in hand, we want to see next that their sections are differential 1-forms on a Lie algebroid in an appropriate sense:
Proposition
(exterior differential of invariant function is section of infinitesimal cotangent bundle)
For a Lie ∞-algebroid (def. ) over some ; and a invariant smooth function on it (example ) there is an induced section of the infinitesimal cotangent Lie algebroid (def. ) bundle projection (2):
given dually by the homomorphism of differential graded-commutative superalgebras
which sends
-
the generators in to themselves;
-
a vector field on , regarded as a degree-0 derivation to ;
-
all other derivations to zero.
Proof
We discuss the proof in the special case that is an action Lie algebroid (def. ) hence where is as in example . The general case is directly analogous.
Since has been defined on generators, it is uniquely a homomorphism of graded algebras. It is clear that if is indeed a homomorphism of differential graded-commutative superalgebras in that it also respects the CE-differentials, then it yields a section as claimed, because by definition it is the identity on . Hence all we need to check is that indeed respects the CE-differentials.
On the original generators in this is immediate, since on these the CE-differential on both sides are by definition the same.
On the derivation we find from (4)
Notice that the left vertical map is indeed as shown, due to the invariance of (example ), which allows an “integration by parts”:
Similarly, on the derivation we find from (3) and using the invariance of (example )
This shows that the differentials are being respected.
Next we describe the vanishing locus of , hence the critical locus of . Notice that if is regarded as an ordinary differential 1-form on an ordinary smooth manifold , then its ordinary vanishing locus
is simply the fiber product of with the zero section of the cotangent bundle, hence the universal space that makes the following diagram commute:
This is just the general abstract way to express the equation .
In this general abstract form the concept of critical locus generalizes to invariant functions on super Lie algebroids, where the vanishing of is regarded only up to homotopy, namely up to infinitesimal symmetry transformations by the Lie algebra . In this homotopy-theoretic refinement we speak of the derived critical locus. The following definition simply states what this comes down to in components. For a detailed derivation see at derived critical locus and for general introduction to higher differential geometry and higher Lie theory see at Higher structures in Physics.
Definition
(derived critical locus of invariant function on Lie ∞-algebroid)
Let be a Lie ∞-algebroid (def. ) over some , let
be an invariant function (example ) and consider the section of its infinitesimal cotangent bundle (def. ) corresponding to its exterior derivative via prop. :
Then the derived critical locus of is the derived Lie algebroid (def. ) to be denoted which is the homotopy pullback of the section along the zero section:
This means equivalently (details are at derived critical locus) that the Chevalley-Eilenberg algebra of is like that of the infinitesimal cotangent Lie algebroid (def. ) except for two changes:
-
all derivations are shifted down in degree by one;
rephrased in terms of graded manifold (remark ) this means that the graded manifold underlying is ;
-
the Chevalley-Eilenberg differential on the derivations coming from tangent vector fields on is that of the infinitesimal cotangent Lie algebroid plus .
We now make the general concept of derived critical locus inside an L-∞ algebroid (def. ) explicit in our running example of an action Lie algebroid; the reader not concerned with the general idea of homotopy pullbacks may consider the following example as the definition of derived critical locus for the purposes of our running examples:
Example
(derived critical locus inside action Lie algebroid)
Consider an invariant function (def. ) on an action Lie algebroid (def. )
for the case that the underlying supermanifold is a super Cartesian space (def. ) with global coordinates as in example . Then the derived critical locus (def. )
is, in terms of its Chevalley-Eilenberg algebra (def. ) given as follows:
Its generators are those of as in (6), except for a shift of degree of the derivation-generators down by one:
Rephrased in terms of graded manifold (remark ) this means that the graded manifold underlying the derived critical locus is the shifted infinitesimal cotangent bundle of the graded manifold (?) which underlies the action Lie algebroid (def. ):
(8)
and if is a super Cartesian space this becomes more specifically
Moreover, on these generators the CE-differential is given by
(9)
which is just the expression for the differential (7) in from example , except for the fact that (the derivations are shifted down in degree and) the new term over the brace.
The following example illustrates how the concept of derived critical locus of is a homotopy theoretic version of the ordinary concept of critical locus :
Example
(ordinary critical locus is cochain cohomology of derived critical locus in degree 0)
Let be an superpoint (def. ) or more generally the infinitesimal neighbourhood (example ) of a point in a super Cartesian space (def. ) with coordinate functions , so that its algebra of functions is a truncated polynomial algebra or formal power series algebra in the variables .
Consider for simplicity the special case that so that there is no Lie algebra action on .
Then the Chevalley-Eilenberg algebra of the derived critical locus of (example ) has generators
and differential given by
Hence the cochain cohomology of the Chevalley-Eilenberg algebra of the derived critical locus indegree 0 is the quotient of by the ideal which is generated by
But under the assumption that is a superpoint or infinitesimal neighbourhood of a point, this quotient algebra is just the algebra of functions on the ordinary critical locus .
(The quotient says that every function on which vanishes where vanishes is zero in the quotient. This means that the quotient algebra consists of the functions on modulo the equivalence relation that identifies two if they agree on the critical locus , which is the functions on .)
Hence the derived critical locus yields the ordinary critical locus in cochain cohomology:
However, it is not in general the case that the derived critical locus is a resolution of the ordinary critical locus, in that all its cohomology in negative degree vanishes. Instead, the cohomology of the Chevalley-Eilenberg algebra of a derived critical locus in negative degree detects Lie algebra action and more generally L-∞ algebra action on under which is invariant. If this action is incorporated into by passing to the action Lie algebroid and then forming the derived critical locus in there, as in example .
This issue we discuss in detail in the chapter Gauge fixing, see prop. below.
In order to generalize the statement of example to the case that a Lie algebra action is taken into account, we need to realize the Chevalley-Eilenberg algebra of a derived critical locus in a Lie algebroid is the total complex of a double complex:
Proposition
(Chevalley-Eilenberg algebra of derived critical locus is total complex of BV-BRST bicomplex)
Let be a derived critical locus inside an action Lie algebroid as in example . Then its Chevalley-Eilenberg differential (9) may be decomposed as the sum of two anti-commuting differential
which are defined on the generators of the Chevalley-Eilenberg algebra as follows:
(10)
If we moreover decompose the degree of the generators into two degrees
then these two differentials constitute a bicomplex
whose total complex is the Chevalley-Eilenberg dg-algebra of the derived critical locus
Proof
It is clear from the definition that the graded derivations and have (i.e. increase) bidegree as follows:
This implies that in
all three terms have to vanish separately, as shown, since they each have different bidegree (the last term denotes the graded commutator, hence the anticommutator). This is the statement to be proven.
Notice that the nilpotency of is also immediately checked explicitly, due to the invariance of (example ):
As a corollary of prop. \refDerivedCriticalLocusOfActionLiAlgebroidBicomplexStructure{} we obtain the generalization of example to non-trivial -actions:
Proposition
(cochain cohomology of BV-BRST complex in degree 0 is the invariant function on the critical locus)
Let be a derived critical locus inside an action Lie algebroid as in example .
Then if the vertical differential (prop. )
has vanishing cochain cohomology in negative -degree
(11)
then the cochain cohomology of the full Chevalley-Eilenberg dg-algebra is given by the cochain cohomology of on :
Moreover if is inside the infinitesimal neighbourhood of a point as in example then the full cochain cohomology in degree 0 is the space of those functions on the ordinary critical locus which are -invariant:
Proof
The first statement follows from the spectral sequence of the double complex
Under the given assumption the second page of this spectral sequence is concentrated on the row . This implies that all differentials on this page vanish, so that the sequence collapses on this page. Moreover, since the spectral sequence consists of vector spaces (modules over the real numbers) the extension problem is trivial, and hence the claim follows.
Now if is inside the infinitesimal neighbourhood of a point, then example says that in consists of the functions on the ordinary critical locus and hence the abvove result implies that
This means that under condition (11) the construction of a derived critical locus inside an action Lie algebroid provides a resolution of the space of those functions which are
-
restricted to the critical locus (a homotopy intersection);
-
invariant under the Lie algebra action (a homotopy quotient).
We apply this general mechanism below to Lagrangian field theory, where it serves to provide a resolution by the BV-BRST complex of the space of observables which are
-
on-shell,
-
gauge invariant.
But in order to control this application, we first establish the tool of the Schouten bracket/antibracket.
Schouten bracket/antibracket
Since the infinitesimal cotangent Lie algebroid has function algebra given by tensor products of tangent vector fields/derivations, we expect that a graded analogue of the Lie bracket of ordinary tangent vector fields exists on the Chevalley-Eilenberg algebra . This is indeed the case, and crucial for the theory:
Definition
(Schouten bracket and antibracket for action Lie algebroid)
Consider a derived critical locus inside an action Lie algebroid as in example .
Then the graded commutator of graded derivations of the Chevalley-Eilenberg algebra of
uniquely extends, by the graded Leibniz rule, to a graded bracket of degree on the CE-algebra of the derived critical locus
such that this is a graded derivation in both arguments.
This is called the Schouten bracket.
There is an elegant way to rewrite this in terms of components: With the notation (5) for the coordinate-derivations the Schouten bracket is equivalently given by
(12)
where the arrow over the partial derivative indicates that we we pick up signs via the Leibniz rule either as usual, going through products from left to right (for ) or by going through the products from right to left (for ).
In this form the Schouten bracket is called the antibracket.
(e. g. Henneaux 90, (53d), Henneaux-Teitelboim 92, section 15.5.2)
The power of the Schouten bracket/antibracket rests in the fact that it makes the Chevalley-Eilenberg differential on a derived critical locus become a Hamiltonian vector field, for “Hamiltonian” the sum of with the Chevalley-Eilenberg differential of :
Example
(Chevalley-Eilenberg differential of derived critical locus is Hamiltonian vector field for the Schouten bracket/antibracket)
Let be a derived critical locus inside an action Lie algebroid as in example .
Then the CE-differential (9) of the derived critical locus is simply the Schouten bracket/antibracket (def. ) with the sum
(13)
of the Chevalley-Eilenberg differential of and the function :
In coordinates, using the expression for from (?) and using the notation for derivations from (5) this means that
Proof
This is a simple straightforward computation, but we spell it out for illustration of the general principle. The result is to be compared with (9):
for :
for :
for :
for :
Hence these values of the Schouten bracket/antibracket indeed all agree with the values of the CE-differential from (9).
As a corollary we obtain:
Proposition
(classical master equation)
Let be a derived critical locus inside an action Lie algebroid as in example .
Then the Schouten bracket/antibracket (def. ) of the function S_{\text{BV-BRST}}
with itself vanishes:
Conversely, given a shifted cotangent bundle of the form (8), then the struture of a differential of degree +1 on its algebra of functions is equivalent to a degree-0 element such that
Since therefore this equation controls the structure of derived critical loci once the underlying manifold and Lie algebra is specified, it is also called the master equation and here specifically the classical master equation.
This concludes our discussion of plain derived critical loci inside Lie algebroids. Now we turn to applying these considerations about to Lagrangian densities on a jet bundle, which are invariant under infinitesimal gauge symmetries generally only up to a total spacetime derivative. By example it is clear that this is best understood by first considering the refinement of the Schouten bracket/antibracket to this situation.
local antibracket
If we think of the invariant function in def. as being the action functional (example ) of a Lagrangian field theory (def. ) over a compact spacetime , with the space of field histories (or rather an infinitesimal neighbourhood therein), hence with a Lie algebra of gauge symmetries acting on the field histories, then the Chevalley-Eilenberg algebra of the derived critical locus of is called the BV-BRST complex of the theory.
In applications of interest, the spacetime is not compact. In that case one may still appeal to a construction on the space of field histories as in example by considering the action functional for all adiabatically switched Lagrangians, with . This approach is taken in (Fredenhagen-Rejzner 11a).
Here we instead consider now the “local lift” or “de-transgression” of the above construction from the space of field histories to the jet bundle of the field bundle of the theory, refining the BV-BRST complex (prop. ) to the local BV-BRST complex (prop. below), corresponding to the local BRST complex from example (Barnich-Brandt-Henneaux 00).
This requires a slight refinement of the construction that leads to example : In contrast to the action functional (example ), the Lagrangian density is not strictly invariant under infinitesimal gauge transformations, in general, rather it may change up to a horizontally exact term (by the very definition ). The same is then true, in general, for its Euler-Lagrange variational derivative (unless we have already restricted to the shell, by prop. , which however here we do not explicitly, but only via passing to cochain cohomology as in example ).
This means that the Euler-Lagrange form is, off-shell, not a section of the infinitesimal cotangent bundle (def. ) of the gauge action Lie algebroid on the jet bundle.
But it turns out that it still is a section of local refinement of the cotangent bundle, which is twisted by horizontally exact terms (prop. below). To see the required twist, it is most convenient to make use of a local version of the antibracket (def. below), via local refinement of example . As a result we may form the local derived critical locus as in def. but now with the invariance of the Lagrangian density only up to total spacetime derivatives taken into account. Its Chevalley-Eilenberg algebra is called the local BV-BRST complex (prop. below).
The following is the direct refinement of the concept of the underlying graded manifold of the infinitesimal cotangent bundle of an action Lie algebroid in example to the case where the base manifold is generalized to a field bundle (def. ) and the Lie algebra to a gauge parameter bundle (def. ):
Definition
(infinitesimal neighbourhood of zero section in cotangent bundle of fiber product of field bundle with shifted gauge parameter bundle)
Let be a Lagrangian field theory (def. ) over some spacetime , and let be a bundle of gauge parameters (def. ) which are closed (def. ), inducing the Lie algebroid
whose Chevalley-Eilenberg algebra is the local BRST complex of the field theory (example ).
Then we write
for, on the left, the infinitesimal neighbourhood of the zero section of the vertical cotangent bundle of the graded fiber product of the field bundle with the fiber-wise shifted gauge parameter bundle, as well as its shifted version on the right, as in (8).
In local coordinates this means the following: Assuming that the field bundle and the gauge parameter bundle are trivial vector bundles (example ) with fiber coordinates and , respectively, then is the trivial graded vector bundle with fiber coordinates
(14)
and such that smooth functions on are formal power series in (necessarily due to degree reasons) and in (reflecting the infinitesimal neighbourhood of the zero section).
Here the shifted cotangents to the fields are called the antifields:
The following is the direct refinement of the concept of the Schouten bracket on an action Lie algebroid from def. to the case where the base manifold is generalized to the jet bundle (def. ) field bundle (def. ) and the Lie algebra to the jet bundle of a gauge parameter bundle (def. ):
Definition
(local antibracket)
Let be a Lagrangian field theory (def. ) over Minkowski spacetime (def. ), and let be a bundle of gauge parameters (def. ) which are closed (def. ), inducing via example the Lie algebroid
whose Chevalley-Eilenberg algebra is the local BRST complex of the field theory with shifted infinitesimal vertical cotangent bundle
(15)
of its underlying graded bundle from def. .
Then on the horizontal -forms on this bundle (def. ) which in terms of the volume form may all be decomposed as (?)
the local antibrackets
are the functions which are given in the local coordinates (14) as follows:
The first version is
This is of the form of the Schouten bracket (12) but with Euler-Lagrange derivatives (?) instead of partial derivatives,
The second version is this:
(16)
where again denotes the Euler-Lagrange variational derivative (?)
(Barnich-Henneaux 96 (2.9) and (2.12), reviewed in Barnich 10 (4.9))
Proposition
(basic properties of the local antibracket)
The local antibracket from def. satisfies the following properties:
-
The two versions differ by a total spacetime derivative (def. ):
-
The primed version is strictly graded skew-symmetric:
-
The unprimed version strictly satisfies the graded Jacobi identity; in that it is a graded derivation in the second argument, of degree one more than the degree of the first argument:
(17)
and the first term on the right is equivalently given by the primed bracket, as shown under the brace;
-
the horizontally exact horizontal differential forms are an ideal for either bracket, in that for or we have
for all , of homogeneous degree and , respectively.
(Barnich-Henneaux 96 (B.6) and footnote 9).
Proof
That the two expressions differ by a horizontally exact terms follows by the very definition of the Euler-Lagrange derivative (?). Also the graded skew symmetry of the primed bracket is manifest.
The third point requires some computation (Barnich-Henneaux 96 (B.9)).
Finally that vanishes when at least one of its arguments is horizontally exact follows from the fact that already the Euler-Lagrange derivative vanishes on this argument (example ). This implies that is horizontally exact when at least one of its arguments is so, by the first item.
The following is the local refinement of prop. :
(local classical master equation)
The third item in prop. implies that the following conditions on a Lagrangian density whose degree is even
are equivalent:
-
forming the local antibracket (def. ) with is a differential
-
the local antibracket (def. ) of with itself is a total spacetime derivative:
-
the other variant of the local antibracket (def. ) of with itself is a total spacetime derivative:
This condition is also called the local classical master equation.
derived critical locus on jet bundle – the local BV-BRST complex
With the local version of the antibracket in hand (def. ) it is now straightforward to refine the construction of a derived critical locus inside an action Lie algebroid (example ) to the “derived” shell (?) inside the formal dual of the local BRST complex (example ). The result is a derived Lie algebroid whose Chevalley-Eilenberg algebra is called the local BV-BRST complex. This is example below.
The following definition is the local refinement of def. :
Definition
(local infinitesimal cotangent Lie algebroid)
Let be a Lagrangian field theory (def. ) over some spacetime , and let be a bundle of gauge parameters (def. ) which are closed (def. ), inducing via example the Lie algebroid
whose Chevalley-Eilenberg algebra is the local BRST complex of the field theory.
Consider the case that both the field bundle (def. ) as well as the gauge parameter bundle are trivial vector bundles (example ) over Minkowski spacetime (def. ) with field coordinates and gauge parameter coordinates .
Then the vertical infinitesimal cotangent Lie algebroid (def. ) has coordinates as in (6) as well as all the corresponding jets and including also the horizontal differentials:
In terms of these coordinates BRST differential , thought of as a prolonged evolutionary vector field on , corresponds to the smooth function on the shifted cotangent bundle given by
(18)
to be called the BRST Lagrangian function and the product with the spacetime volume form
as the BRST Lagrangian density.
We now define the Chevalley-Eilenberg differential on smooth functions on to be given by the local antibracket (16) with the BRST Lagrangian density (18)
This defines an -algebroid to be denoted
The local refinement of prop. is now this:
Proof
The proof of this proposition is a special case of the observation that the differentials involved are part of the local BV-BRST differential; this will be a direct consequence of the proof of prop. below.
The local analog of def. is now the following definition of the “derived prolonged shell” of the theory (recall the ordinary prolonged shell from (?)):
Definition
(derived reduced prolonged shell)
Let be a Lagrangian field theory (def. ) over some spacetime , and let be a bundle of closed irreducible gauge parameters (def. ), inducing via prop. a section of the local cotangent Lie algebroid of the jet bundle gauge-action Lie algebroid.
Then the derived prolonged shell is the derived critical locus of , hence the homotopy pullback of along the zero section of the local cotangent Lie -algebroid:
As before, for the purpose of our running examples the reader may take the following example as the definition of the derived reduced prolonged shell (def. ). This is local refinement of example :
(e.q. Barnich 10 (4.10))
Proof
Due to the construction in def. the BRST differential by itself is already assumed to square to the
The remaining conditions we may check on 0-jet generators.
The condition
is non-trivial only on the antifields of the ghost fields. Here we obtain
That this vanishes is the statement of Noether's second theorem (prop. ).
Next we check
on generators. On the fields and the ghost fields this is trivial (both summands vanish separately). On the antifields we get on the one hand
and on the other hand
That the sum of these two terms indeed vanishes is equation (?) in the proof of the on-shell invariance of the equations of motion under infinitesimal symmetries of the Lagrangian (prop. )
Finally, on antifields of ghostfields we get
as well as
where in the last line we identified the Lie algebra action of infinitesimal symmetries of the Lagrangian on Noether operators from def. . Under this identification, the fact that
is relation (?) in prop. .
Example
(local BV-BRST complex of vacuum electromagnetism on Minkowski spacetime)
Consider the Lagrangian field theory of free electromagnetism on Minkowski spacetime (example ) with gauge parameter as in example . With the field and gauge parameter coordinates as chosen in these examples
then the local BV-BRST complex (prop. ) has generators
together with their total spacetime derivatives, and the local BV-BRST differential acts on these generators as follows:
More generally:
Example
(local BV-BRST complex of Yang-Mills theory)
For a semisimple Lie algebra, consider -Yang-Mills theory on Minkowski spacetime from example , with local BRST complex as in example , hence with BRST Lagrangian (18) given by
Then its local BV-BRST complex (example ) has BV-BRST differential given on 0-jets as follows:
(e.g. Barnich-Brandt-Henneaux 00 (2.8))
So far the discussion yields just the algebra of functions on the derived reduced prolonged shell. We now discuss the derived analog of the full variational bicomplex (def. ) to the derived reduced shell.
(derived variational bicomplex)
The analog of the de Rham complex of a derived Lie algebroid is called the Weil algebra:
Definition
(Weil algebra of a Lie algebroid)
Given a derived Lie algebroid over some (def. ), its Weil algebra is
where acts as the de Rham differential on functions, and as the degree shift operator on the graded elements.
Example
(classical Weil algebra)
Let be a Lie algebra with corresponding Lie algebroid (example ). Then the Weil algebra (def. ) of is the traditional Weil algebra of from classical Lie theory.
global BV-BRST complex
Finally we may apply transgression of variational differential forms to turn the local BV-BRST complex on smooth functions on the jet bundle into a global BV-BRST complex on graded local observables on the graded space of field histories.
Definition
(global BV-BRST complex)
Let be a Lagrangian field theory (def. ) equipped with a gauge parameter bundle (def. ) which is closed (def. ). Then on the local observables (def. ) on the space of field histories (def. ) of the graded field bundle
underlying the local BV-BRST complex (15), consider the linear map
(20)
where (def. ), where denotes transgression of variational differential forms (def. ), and where on the right is the local antibracket (def. ).
This is well-defined, in that this formula indeed depends on the horizontal differential forms and only through the local observables which they induce. The resulting bracket is called the (global) antibracket.
Indeed the formula makes sense already if at least one of have compact spacetime support (def. ), and hence the transgression of the BV-BRST differential (19) is a well-defined differential on the graded local observables
where by example we may think of the first argument on the left as the BV-BRST action functional without adiabatic switching, which makes sense inside the antibracket when acting on functionals with compact spacetime support. Hence we may suggestively write
(21)
for this (global) BV-BRST differential.
This uniquely extends as a graded derivation to multilocal observables (def. ) and from there along the dense subspace inclusion (?)
to a differential on off-shell polynomial observables (def. ):
This differential graded-commutative superalgebra
(22)
is the global BV-BRST complex of the given Lagrangian field theory with the chosen gauge parameters.
Example
(global BV-differential in components)
In the situation of def. , assume that the field bundles of all fields, ghost fields and auxiliary fields are trivial vector bundles, with field/ghost-field/auxiliary-field coordinates on their fiber product bundle collectively denoted .
Then the first summand of the global BV-BRST differential (def. ) is given by
(23)
where
-
is the differential operator (?) from def. , corresponding to the Euler-Lagrange equations of motion.
-
is the sum of the cohomological degree and of the super-degree of (as in def. , def. ).
It follows that the cochain cohomology of the global BV-differential (22) in is the space of on-shell polynomial observables:
(24)
Proof
By definition, the part of the gauge fields Lagrangian density is independent of antifields, so that the local antibracket with reduces to
With this the expression for follows directly from the definition of the global antibracket (def. ) and the Euler-Lagrange equations (?)
where the sign is the relative sign between and (def. ):
By the assumption that defines a free field theory, is quadratic in the fields, so that from it follows that the derivations from the left and from the right differ by the relative sign
From this the identification (24) follows by (?) in theorem .
This concludes our discussion of the reduced phase space of a Lagrangian field theory exhibited, dually by its local BV-BRST complex. In the next chapter we finally turn to the key implication of this construction: the gauge fixing of a Lagrangian gauge theory which makes the collection of fields and auxiliary fields (ghost fields and antifields) jointly have a (differential-graded) covariant phase space.