nLab
Peierls bracket

Context

Physics

physics, mathematical physics, philosophy of physics

Surveys, textbooks and lecture notes


theory (physics), model (physics)

experiment, measurement, computable physics

Symplectic geometry

Contents

Idea

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 AA and BB on field configuration space is the antisymmetrized influence on BB of an infinitesimal perturbation of a gauge-fixed action by a function that restricts to AA on the embedding of the space of solutions in the field configuration space. It is the construction of the influence of AA on BB 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 AA and BB are gauge invariant observables. In that case, unique retarded and advanced Green’s functions may not exist, but due to the gauge invariance of AA and BB 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 F=dAF=\mathbf{d}A and correspond to unique gauge equivalence classes of Green’s functions for Maxwell equations in terms of the vector potential AA.

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.

Definition

The Peirls bracket

under construction

The off-shell Peierls bracket

The idea of (Marolf 93, section II) is this:

If {q(0),p(0)}\{q(0), p(0)\} 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 EL(S)EL(S), the Euler-Lagrange functional of the action, uniquely extends this to a bracket {q(t 1),p(t 2)}\{q(t_1), p(t_2)\} on all hisories, because commutation with EL(S)EL(S) involves generation of time translation. Here EL(S)EL(S) generates a Poisson ideal and dividing that out reproduces the original symplectic bracket.

Now observe (Khavkine 1) that EL(S)EL(S) provides a foliation of history space by symplectic leaves. Because under the replacement EL(S)EL(S)constEL(S) \mapsto EL(S) - const the above still goes through. Observe also (Khavkine 2) that EL(S)const=0EL(S) - const = 0 is the equations of motion for the origial action with a source term JqJ q added. Hence the off-shell Peierls Poisson structure has symplectic leaves parameterized by the source JJ.

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

References

The definition of what now is called the Peierls bracket originates in

  • R. Peierls, The commutation laws of relativistic field theory (1952) (jstor)

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

  • Bryce DeWitt, The Spacetime Approach to Quantum Field Theory, in B. S. DeWitt, R. Stora (eds.), Les Houches Session XL, Relativity, Groups and Topology II (North-Holland, 1983), pp. 382–738.

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

  • Ferdinand Brennecke, Michael Dütsch, Removal of violations of the Master Ward Identity in perturbative QFT, Rev.Math.Phys.20:119-172,2008 (arXiv:0705.3160)

there with an eye towards the renormalization program of perturbative Algebraic Quantum Field Theory (pAQFT) on flat and on curved spacetimes.

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

Revised on September 12, 2013 12:14:33 by Urs Schreiber (77.251.114.72)