Types of quantum field thories
Given an (local) action functional, the Peierls bracket (Peierls 52) is a refinement to covariant phase space of the “canonical” symplectic Poisson bracket of the corresponding prequantum field theory. Its construction requires the linearized field (physics) equations of motion satisfied by the gauge invariant fields to have unique retarded and advanced Green's functions. Moreover, it extends “off shell” from the phase space to the space of all field configurations (Marolf 94, Dütsch-Fredenhagen 03, section 2.1, Fredenhagen-Rejzner 12, section 5), where however it is only Poisson bracket, no longer symplectic. For more on this aspect see at off-shell Poisson bracket.
The Peierls bracket of two suitably smooth functions and on field configuration space is the antisymmetrized influence on of an infinitesimal perturbation of a gauge-fixed action by a function that restricts to on the embedding of the space of solutions in the field configuration space. It is the construction of the influence of on that requires the existence of unique retarded and advanced Green's functions of the linearized field equations. One can avoid gauge fixing the action, as long as and are gauge invariant observables. In that case, unique retarded and advanced Green’s functions may not exist, but due to the gauge invariance of and any representative of the gauge equivalence class of Green’s functions with appropriate causal support. Since gauge invariant observables can be expressed in terms of gauge invariant fields (at least at the linearized level, which is all that matters in the construction) the existence and uniqueness of such equivalence classes of Green’s functions is equivalent to the existence and uniqueness of retarded and advanced Green’s functions for the linearized field equations satisfied by gauge invariant field combinations.
For example, in electrodynamics, advanced and retarded Green’s functions exist on globally hyperbolic spacetimes for Maxwell equations in terms of the field strength and correspond to unique gauge equivalence classes of Green’s functions for Maxwell equations in terms of the vector potential .
The algebra of functions on the space of field configurations becomes a Poisson algebra in the following way. Pick a set of functions on the space of field configurations that restrict to a non-degeneratce coordinate system on the embedded covariant phase space. These functions, together with the equations of motion and gauge fixing conditions define a Poisson bivector by being declared canonical, such that the kernel of the bivector coincides with the ideal generated by the equations of motion and the gauge fixing conditions. Obviously the Poisson structure thus constructed on the algebra of functions on field configurations is not unique and depends on the above choice of coordinates; the same non-uniqueness may be parametrized instead by a choice of a connection on the space of field configurations. The embedded covariant phase space becomes a symplectic leaf of the symplectic foliation of the space of field configurations.
The idea of (Marolf 93, section II) is this:
If is the given (symplectic) Poisson bracket on the space of solutions, identified with the space of initial data, then requiring that everything Poisson-commutes with , the Euler-Lagrange functional of the action, uniquely extends this to a bracket on all hisories, because commutation with involves generation of time translation. Here generates a Poisson ideal and dividing that out reproduces the original symplectic bracket.
Now observe (Khavkine 1) that provides a foliation of history space by symplectic leaves. Because under the replacement the above still goes through. Observe also (Khavkine 2) that is the equations of motion for the origial action with a source term added. Hence the off-shell Peierls Poisson structure has symplectic leaves parameterized by the source .
Observe finally (Khavkine 3) that with (Marolf 93, section III B) it follows that the Peierls bracket on the shifted leaves agrees with the original one. (…)
The definition of what now is called the Peierls bracket originates in
In this article the Peierls bracket on the covariant phase space of a non-gauge system is defined and the equivalence with the Hamiltonian phase space symplectic structure is (incompletely) demonstrated. Peierls also discusses how the definition extends to gauge theories and to fermionic theories.
An early review is in
which is also the first to explicitly check the Jacobi identity for the Peirls bracket.
The off-shell generalization to a Poisson bracket on configuration space (history space) was first given in
See also exercise 17.12 in
A mathematically clean account of the (on- and off-shell) Peierls bracket (for scalar fields) is in section 2.1 of
and in section 2 of
Further references to its use in the renormalization program of pAQFT can be found in:
Functional analytic aspects of the definition and existence of the Peierls bracket (including its off-shell extension) are discussed in section 3.2 of
The equivalence between the Peierls bracket and the symplectic Poisson bracket on the covariant phase space of classical field theory (by showing the equivalence of both to the canonical Poisson bracket in Hamiltonian formalism) was demonstrated in
Further discussion of the manifestly covariant equivalence between the Peierls bracket and the symplectic Poisson bracket on the covariant phase space of classical field theory (avoiding traditional proof via the canonical Hamiltonian formalism) can be found in