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. ).
name | meaning | def. |
---|---|---|
infinitesimal symmetry of the Lagrangian | evolutionary vector field which leaves invariant the Lagrangian density up to a total spacetime derivative | def. |
spacetime-compactly supported infinitesimal symmetry of the Lagrangian | obstructs existence of the covariant phase space (if non-trivial on-shell) | prop. |
infinitesimal gauge symmetry | gauge 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 Lagrangian | infinitesimal symmetry modulo gauge symmetry | def. |
generating set of gauge parameters | reflects all the Noether identities | remark |
closed gauge parameters | Lie bracket of infinitesimal gauge symmetries closes on gauge parameters | def. |
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
symbol | meaning | def. |
---|---|---|
gauge parameter bundle | def. | |
coordinate function on gauge parameter bundle | ||
gauge parameter | ||
gauge parameter bundle regarded as graded manifold in degree 1 | expl. | |
gost field history | ||
ghost field component function | ||
ghost field jet component function | ||
gauge-of-gauge parameter bundle | expl. | |
coordinate function on gauge-of-gauge parameter bundle | ||
gauge-of-gauge parameter | ||
gauge-of-gauge parameter bundle regarded as graded manifold in degree 1 | ||
gost-of-ghost field history | ||
ghost-of-ghost field component function | ||
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:
(spacetime-compactly supported and on-shell non-trivial infinitesimal symmetries of the Lagrangian obstruct the covariant phase space)
Let be a Lagrangian field theory over a Lorentzian spacetime.
If there exists a single infinitesimal symmetry of the Lagrangian (def. ) such that
then there does not exist any Cauchy surface (def. ) for the Euler-Lagrange equations of motion (def. ) outside the spacetime support of .
By prop. the flow along preserves the on-shell space of field histories. Now by the assumption that 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 outside of this compact support coincides. Therefore this restriction map is not an isomorphism and 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:
(trivial compactly-supported infinitesimal symmetries of the Lagrangian)
Let be a Lagrangian field theory (def. ) over Minkowski spacetime (def. ), so that the Lagrangian density is canonically of the form
with Lagrangian function 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
by smooth coefficient functions
such that
is an implicit infinitesimal gauge symmetry (def. ).
This is so for a “trivial reason” namely due to that that skew symmetry:
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 .
Notice that this means that
the Noether current (?) vanishes: ;
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. ):
(cochain cohomology of local BV-complex)
Let be a Lagrangian field theory (def. ) whose field bundle is a trivial vector bundle (example ) and whose Lagrangian density is spacetime-independent (example ), and let be a constant section of the shell (?).
By inspection we find that the cochain cohomology of the local BV-complex (def. ) has the following interpretation:
In degree 0 the image of the BV-differential coming from degree -1 and modulo -exact terms
is the ideal of functions modulo 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
of functions on the shell (?).
In degree -1 the kernel of the BV-differential going to degree 0
is the space of implicit infinitesimal gauge symmetries (def. ) and the image of the differential coming from degree -2
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:
(local BV-complex is homological resolution of the shell iff there are no non-trivial compactly supported infinitesimal symmetries)
Let be a Lagrangian field theory (def. ) whose field bundle is a trivial vector bundle (example ) and whose Lagrangian density is spacetime-independent (example ) and let be a constant section of the shell (?). Furthermore assume that is at least quadratic in the vertical coordinates around .
Then the local BV-complex of local observables (def. ) is a homological resolution of the algebra of functions on the infinitesimal neighbourhood of 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. ):
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
is a homological resolution of , 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
the ring is the tensor product of with a Noetherian ring;
the elements are contained in its Jacobson radical.
The first condition is the case since is by definition a formal power series ring over a field tensored with (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 is at least quadratic, hence that is at least linear in the fields, guarantees that all 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.
(infinitesimal gauge symmetries)
Let be a Lagrangian field theory (def. ).
Then a collection of infinitesimal gauge symmetries of is
a vector bundle over spacetime of positive rank, to be called a gauge parameter bundle;
a bundle morphism (def. ) from the jet bundle of the fiber product with the field bundle (def. ) to the vertical tangent bundle of (def. ):
such that
is linear in the first argument (in the gauge parameter);
is an evolutionary vector field on (def. );
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 is a trivial vector bundle with field fiber coordinates (example ) and also happens to be a trivial vector bundle
where is a vector space with coordinate functions .
Then may be expanded in the form
where the components
are smooth functions on the jet bundle of , locally of finite order (prop. ), and such that the Lie derivative of the Lagrangian density along is a total spacetime derivative, which by Noether's theorem I (prop. ) means in components that
(e.g. Henneaux 90 (3))
The point is that infinitesimal gauge symmetries in particular yield spacetime-compactly supported infinitesimal gauge symmetries as in prop. :
(infinitesimal gauge symmetries yield spacetime-compactly supported infinitesimal symmetries of the Lagrangian)
Let be a Lagrangian field theory (def. ) and a bundle of gauge parameters for it (def. ) with gauge parametrization
Then for every smooth section of the gauge parameter bundle (def. ) there is an induced infinitesimal symmetry of the Lagrangian (def. ) given by the composition of with the jet prolongation of (def. )
In terms of the components (2) this means that
where now
are the actual spacetime partial derivatives of the gauge parameter section (which are functions of spacetime).
In particular, since is assumed to be a vector bundle, there always exists gauge parameter sections that have compact support (bump functions). For such compactly supported the infinitesimal symmetry is spacetime-compactly supported as in prop. .
The following remark and def. introduce some useful terminology:
(generating set of gauge transformations)
Given a Lagrangian field theory, then a choice of gauge parameter bundle with gauge parameterized infinitesimal gauge symmetries (def. ) is indeed a choice and not uniquely fixed.
For example given any such bundle one may form the direct sum of vector bundles with any other smooth vector bundle over , extend by zero to , and thereby obtain another gauge parameterized of infinitesimal gauge symmetries
Conversely, given any subbundle , then the restriction of to 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 is a generating set.
(e.g. Henneaux 90, section (2.8))
(rigid infinitesimal symmetries of the Lagrangian)
Let be a Lagrangian field theory (def. ) and let 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:
The following is a way to identify infinitesimal gauge symmetries:
(Noether's theorem II – Noether identities)
Let be a Lagrangian field theory (def. ) and let be a vector bundle.
Then a bundle morphism of the form
is a collection of infinitesimal gauge symmetries (def. ) with local components (2)
precisely if the Euler-Lagrange form (prop. ) satisfies the following conditions:
These relations are called the Noether identities of the Euler-Lagrange equations of motion (def ).
By Noether's theorem I, is an infinitesimal symmetry of the Lagrangian precisely if the contraction (def. ) of with the Euler-Lagrange form (prop. ) is horizontally exact:
From (2) this means that
where in the last step we used jet-level integration by parts (example ) to move the total spacetime derivatives off of , thereby picking up some horizontally exact correction term, as shown.
This means that the term over the brace is horizontally exact:
But now the term on the left is independent of the jet coordinates of positive order , 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 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 . On the left this yields again the coefficients of , while by the argument from example it makes the right hand side vanish.
As a corollary we obtain:
(conserved charge of infinitesimal gauge symmetry vanishes)
The conserved current (def. )
which corresponds to an infinitesimal gauge symmetry (def. ) by Noether's first theorem (prop. ), is up to a term which vanishes on-shell (?)
not just on-shell-conserved, but off-shell-conserved, in that its total spacetime derivative vanishes identically:
Moreover, if the field bundle as well as the gauge parameter-bundles are trivial vector bundles over Minkowski spacetime (example ) then is horizontally exact on-shell (?)
In particular the conserved charge (prop. )
corresponding to an infinitesimal gauge symmetry vanishes on every codimension one submanifold of spacetime (without boundary, ):
Take to be as in equation (3):
By the construction there, manifestly vanishes on the prolonged shell (?), 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 and hence
Now if the field bundle and gauge parameter bundle are trivial, then prop. implies that
By restricting this equation to the prolonged shell and using that , it follows that .
This implies by prop. and Stokes' theorem (prop. ).
This situation has a concise cohomological incarnation:
(Noether's theorems I and II in terms of local BV-cohomology)
Let be a Lagrangian field theory (def. ) over Minkowski spacetime of dimension , and let 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 -closure of an element in total degree 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 -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)
An element of the local BV-complex in degee is the direct sum of a horizontal differential form of degree with the product of a horizontal form of degree times a function proportional to the antifields:
Its closure means that
where the equality in the top right corner is euqation
It being exact means that
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:
Let be a Lagrangian field theory (def. ) over Minkowski spacetime of dimension , and let 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 is a differential operator (def. ) from the vertical cotangent bundle of (example ) to the trivial real line bundle
such that it annihilates the Euler-Lagrange form (prop. ):
Given For an evolutionary vector field which is an infinitesimal symmetry of the Lagrangian (def. ), we define a new differentia opeator by
where denotes the prolongation of the evolutionary vector field (prop. ) and where denotes the formally adjoint differential operator (def. ) of the evolutionary derivative of (def. ).
(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
is again a Noether operator;
.
Moreover, if denotes the map which identifies a Noether identity with an infinitesimal gauge symmetry by Noether's second theorem (def. ) then
where on the right we have again the Lie bracket of evolutionary vector fields from (prop. ).
(Barnich 10, prop. 3.1 and (3.8))
For the first statement observe that by the product law for differentiation we have
where on the right we used (?).
Here are examples of infinitesimal gauge symmetries in Lagrangian field theory:
(infinitesimal gauge symmetry of electromagnetic field)
Consider the Lagrangian field theory of free electromagnetism on Minkowski spacetime from example . With field coordinates denoted the Lagrangian density is
where is the universal Faraday tensor from example .
Let be the trivial line bundle, regarded as a gauge parameter bundle (def. ) with coordinate functions .
Then a gauge parametrized evolutionary vector field (2) is given by
This is because already the universal Faraday tensor is invariant under this flow:
because partial derivatives commute with each other: (?).
Equivalently, the Euler-Lagrange form
of the theory (example ), corresponding to the vacuum Maxwell equations (example ), satisfies the following Noether identity (prop. ):
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:
(infinitesimal gauge symmetry of Yang-Mills theory)
For a semisimple Lie algebra, consider the Lagrangian field theory of Yang-Mills theory on Minkowski spacetime from example , with Lagrangian density
given by the universal field strength (?)
Let be the trivial vector bundle with fiber , regarded as a gauge parameter bundle (def. ) with coordinate functions .
Then a gauge parametrized evolutionary vector field (2) is given by
We compute the derivative of the Lagrangian function along this vector field:
Here in the third step we used that (?), so that its contraction with the skew-symmetric vanishes, and in the last step we used that for a semisimple Lie algebra is totally skew symmetric.
So the Lagrangian density of Yang-Mills theory is strictly invariant under these infinitesimal gauge symmetries.
(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 with coordinates subject to ; and with Lagrangian density
for
the universal B-field strength (example ).
Let be the cotangent bundle (def. ), regarded as a gauge parameter bundle (def. ) with coordinate functions as in example .
Then a gauge parametrized evolutionary vector field (2) is given by
In fact this leaves the Lagrangian function invariant, in direct higher analogy to example :
due to the symmetry of partial derivatives (?).
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 itself has infinitesimal gauge symmetries:
Let
be the trivial real line bundle with coordinates , to be regarded as a second order infinitesimal gauge-of-gauge symmetry, then
with prolongation
has the property that
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 .
(differential graded-commutative superalgebra)
A differential graded-commutative superalgebra is
a cochain complex of super vector spaces, hence for each
1 a super vector space ;
a super-degree preserving linear map
such that
1, an associative algebra-structure on
such that for all with homogenous bidegree we have the super sign rule
.
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 .
We write 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.
(de Rham algebra of super differential forms is differential graded-commutative superalgebra)
For a super Cartesian space, def. (or more generally a supermanifold, def. ) the de Rham algebra of super differential forms from def.
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 .
(Lie algebra in terms of Chevalley-Eilenberg algebra)
Let be a finite dimensional super vector space equipped with a super Lie bracket . Write for the dual vector space and for the linear dual map of the Lie bracket. Then on the Grassmann algebra (which is -bigraded as in def. ) the graded derivation of degree , which on is given by constitutes a differential in that . The resulting differential graded-commutative algebra is called the Chevalley-Eilenberg algebra
In components:
If is a linear basis of , so that the Lie bracket is given by the structure constants as
and if denotes the corresponding dual basis, then is equivalently the differential graded-commutative superalgebra (def. ) generated from the in bi-degree , where is the super-degree of as in def. subject to the relation
and the differential is given by
Notice that by degree-reasons every degree +1 derivation on is of this form,
The condition that is equivalently the (super-)Jacobi identity on the bracket , making it an actual (super-)Lie bracket:
(where the square brackets on the right denote super-skew-symmetrization).
Hence not only is a differential graded-commutative superalgebra (def. ) whenever is a super Lie algebra, but conversely super Lie algebra-structure on a super vector space is the same as a differential of degree on the Grassmann algebra .
We may state this equivalence in a more refined form: A homomorphism between super vector space is, by degree-reasons, the same as a graded algebra homomorphism and it is immediate to check that is a homomorphism of super Lie algebras precisely if is a homomorpism of differential algebras:
This is a natural bijection between homomrophism of super Lie algebras and of differential graded-commutative superalgebras (def. )
Stated more abstractly this means that forming Chevalley-Eilenberg algebras is a fully faithful functor
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:
(action of Lie algebra by infinitesimal diffeomorphism)
Let be a supermanifold (def. ), for instance a super Cartesian space (def. ), and let be a finite dimensional super Lie algebra as in prop. .
An action of on by infinitesimal diffeomorphisms, is a homomorphism of super Lie algebras
to the tangent vector fields on (example )
Equivalently – to bring out the relation to the gauge parameterized infinitesimal gauge transformations in def. – this is a -parameterized section
of the tangent bundle, such that for all pairs of points in we have
(with the Lie bracket of tangent vector fields on the left).
In components:
If is a linear basis of with corresponding structure constants (as in prop. ) and if is a coordinate chart of , then is given by
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. ):
Given a Lie algebra action
of a finite-dimensional super Lie algebra on a supermanifold (def. ) we obtain a differential graded-commutative superalgebra to be denoted
whose underlying graded-commutative superalgebra is the Grassmann algebra of the -free module on over
which means that the graded manifold underlying the action Lie algebroid according to remark is
whose differential is given
on dual Lie algebra elements by the linear dual of the Lie bracket
In components:
Assume that is a super Cartesian space with coordinate functions and let be a linear basis for with dual basis for and structure constants as in prop. and with the Lie action given in components as in def. . Then the differential is given by
We may summarize this by writing the derivation as follows:
That this squares to zero is equivalently
in degree 0 the action property:
in degree 1 the Jacobi identity (14).
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 of acting on .
The concept emerging by this example we may consider generally:
Let be a supermanifold (def. ) (for instance a super Cartesian space, def. ) and write for its algebra of functions. Then a connected super Lie ∞-algebroid over of finite type is a
a sequence of free modules of finite rank over , hence a graded module in degrees ;
a differential that makes the graded-commutative algebra into a cochain differential graded-commutative algebra (hence with of degree +1) over (not necessarily over ), to be called the Chevalley-Eilenberg algebra of :
If we allow to also have terms in non-positive degree, then we speak of a derived Lie algebroid. If is only concentrated in negative degrees, we also speak of a derived manifold.
With canonically itself regarded as a differential graded-commutative superalgebra, there is a canonical dg-algebra homomorphism
which is the identity on and zero on .
(We discuss homomorphism between Lie ∞-algebroid below in def. .)
(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. )
embedding of smooth manifolds into formal duals of R-algebras;
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
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 has components in negative degrees, these are also called derived manifolds.
(basic examples of Lie algebroids)
Two basic examples of Lie algebroids are:
For any supermanifold (def. ), for instance a super Cartesian space (def. ) then setting and makes it a Lie algebroid in the sense of def. .
For a finite-dimensional super Lie algebra, its Chevalley-Eilenberg algebra (prop. ) exhibits as a Lie algebroid in the sense of def. . We write or for regarded as a Lie algebroid this way.
For and as in the previous items, and for a Lie algebra action (def. ) of on , then the dgs-superalegbra from def. defines a Lie algebroid in the sense of def. , the action Lie algebroid.
In the special case that this reduces to the first example, while for this reduces to the second example.
Here is another basic examples of Lie algebroids that will plays a role:
(horizontal tangent Lie algebroid)
Let be a smooth manifold or more generally a supermanifold or more generally a locally pro-manifold (prop. ). Then we write for the Lie algebroid over and whose Chevalley-Eilenberg algebra is generated over in degree 1 from the module
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 )
This is called the tangent Lie algebroid of . As a graded manifold (via remark ) this is called the “shifted tangent bundle” of .
More generally, let be a fiber bundle over . Then there is a Lie algebroid over the jet bundle of (def. ) defined by its Chevalley-Eilenberg algebra being the horizontal part of the variational bicomplex (def. ):
The underlying graded manifold of is the fiber product of the jet bundle of with the shifted tangent bundle of .
There is then a canonical homomorphism of Lie algebroids (def. )
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).
(closed gauge parameters)
Let be a Lagrangian field theory (def. ). Then a gauge parameter bundle parameterizing infinitesimal gauge symmetries (def. )
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)
such that
where on the left we have the Lie bracket of evolutionary vector fields from prop. .
Beware that may be a function of the fields, namely of the jet bundle of the field bundle . Hence for closed gauge parameters 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 .
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.
(action of closed infinitesimal gauge symmetries on fields)
Let be a Lagrangian field theory (def. ), and let be a bundle of gauge parameters (def. ) paramaterizing infinitesimal gauge symmetries
which are closed (def. ), via a bracket .
By passing from these evolutionary vector fields (def. ) to their prolongations , being actual vector fields on the jet bundle (prop. ), we obtain a bundle morphism of the form
and via the assumed bracket on gauge parameters this exhibits Lie algebroid structure on .
In the case that is a trivial vector bundle, with fiber , then so is its jet bundle
If moreover the bracket (18) on the infinitesimal gauge symmetries is independent of the fields, then this induces a Lie algebra structure on and exhibits an Lie algebra action
of the gauge parameterized infinitesimal gauge symmetries on the jet bundle of the field bundle by infinitesimal diffeomorphisms.
(local BRST complex and ghost fields for closed infinitesimal gauge symmetries)
Let be a Lagrangian field theory (def. ), and let be a bundle of irreducible closed gauge parameters for the theory (def. ) with bundle morphism
Assuming that the gauge parameter bundle is trivial, , then by example this induces an action of a Lie algebra on by infinitesimal diffeomorphisms.
The corresponding action Lie algebroid (def. ) has as underlying graded manifold (remark )
the jet bundle of the graded field bundle
which regards the gauge parameters as fields in degree 1. As such these are called ghost fields:
Therefore we write suggestively
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
To express this in coordinates, assume that the field bundle as well as the gauge parameter bundle are trivial vector bundles (example ) with the field coordinates on the fiber of with induced jet coordinates and are ghost field coordinates on the fiber of with induced jet coordinates .
Then in terms of the corresponding coordinate expression for the gauge symmetries (2) the BRST differential is given on the fields by
and on the ghost fields by
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 (example ) to yield
The Chevalley-Eilenberg differential on is
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)).
(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 for the induced graded off-shell algebra of observables (def. ). For with corresponding local observable its BRST differential is defined by
and extended from there to as a graded derivation.
Examples of local BRST complexes of Lagrangian gauge theories
(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
In particular the Lagrangian density is BRST-closed
as is the Euler-Lagrange form (due to the symmetry (?) and in contrast to the skew-symmetry ).
(local BRST complex for the Yang-Mills field on Minkowski spacetime)
For a semisimple Lie algebra, consider the Lagrangian field theory of Yang-Mills theory on Minkowski spacetime from example , with Lagrangian density
given by the universal field strength (?)
Let be the trivial vector bundle with fiber , regarded as a gauge parameter bundle (def. ) with coordinate functions and consider the gauge parametrized evolutionary vector field (2)
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
Moreover, by def. we may equivalently make an Ansatz for and if the resulting differential squares to zero, as this dually defines the required closure bracket .
We claim that
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))
We need to show that (19) squares to zero. Consider the two terms that appear:
The first term is
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
where the first summand on the right comes from the prolongation.
This shows that the two terms cancel.
(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 with coordinates subject to ; and with Lagrangian density.
By example the local BRST complex (example ) has BRST differential of the form
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
by adding the ghost-of-ghost field (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):
Notice that this indeed still squares to zero, due to the second-order Noether identity (13):
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.