Arxiv:1407.7256V3
Total Page:16
File Type:pdf, Size:1020Kb
The Faddeev-Popov Method Demystified Marco Ornigotti Institute of Applied Physics, Friedrich-Schiller University, ∗ Jena, Max-Wien Platz 1, 07743 Jena, Germany Andrea Aiello Max Planck Institute for the Science of Light, Gu¨nther-Scharowsky-Strasse 1/Bau24, 91058 Erlangen, Germany and Institute for Optics, Information and Photonics, University of Erlangen-Nuernberg, Staudtstrasse 7/B2, 91058 Erlangen, Germany (Dated: August 6, 2014) We discuss how to implement the Legendre transform using the Faddeev-Popov method of Quan- tum Field Theory. By doing this, we provide an alternative way to understand the essence of the Faddeev-Popov method, using only concepts that are very familiar to the students (such as the Legendre transform), and without needing any reference to Quantum Field Theory. Two examples of Legendre transform calculated with the Faddeev-Popov method are given to better clarify the point. I. INTRODUCTION understanding for the students (either graduate or un- dergraduate) that encounter it for the first time, and the Students learn in the early days of their studies that development of this method reported in standard quan- the electromagnetic field can be described by a single tum field theory books [4–6] is not helpful for having a better understanding of it. In fact, most of the times it quantity, the vector potential Aµ, instead of the sepa- rate electric and magnetic fields [1]. However, two dis- appears more like a magic trick rather than motivated by ′ some physical argument. tinct vector potentials Aµ and Aµ = Aµ +∂µΛ(x) (where Λ(x) is a scalar field, the gauge field, that satisfies the The Legendre transform, on the other hand, is a very Helmholtz equation) generate the same electric and mag- simple mathematical instrument that a student knows netic fields. In order to remove this ambiguity, one should very well, since it finds application in a wide variety of first fix the gauge, namely determine uniquely the gauge physical problems, like the transformation between the function Λ(x). Once the gauge has been chosen, the cor- Hamiltonian and the Lagrangian function of a system in respondence between the vector potential and the elec- classical mechanics [7], the analysis of equilibrium states tromagnetic fields is made unique. The electromagnetic in statistical physics [8] or the transformation between field, however, is not the only gauge field in Nature. In the thermodynamical functions (entropy, enthalpy, Gibbs fact, all the fundamental forces, such as the weak force free energy, etc.) [9]. This mathematical tool has the ad- (responsible for radioactive decay and nuclear fusion of vantage, with respect to the Faddeev-Popov method, to subatomic particles) and the strong force (that ensures be of immediate understanding, because it involves a very the stability of ordinary matter) are both described by well known procedure that any student has seen at least gauge fields [2]. one time during his studies. The possibility of illustrat- Since the quantum theory of a gauge field is often de- ing the results of the Faddeev-Popov “magic” method in scribed by means of the path integral method [3], a gener- terms of a Legendre transform would be of great didac- alization of the concept of gauge fixing within this frame- tical insight, since it will allow a better understanding of arXiv:1407.7256v3 [hep-th] 5 Aug 2014 work is of paramount importance for the development of the physical foundations of a not so easy to understand the theory itself. The Faddeev-Popov method exactly common method in quantum field theory. complies with this needing. From a rigorous point of It is then the aim of this paper to unravel this connec- view, this method consists in using a gauge fixing condi- tion, by using a simple example in which the Faddeev- tion to reduce the number of allowed orbits of the math- Popov method is used to implement the Legendre trans- ematical configurations that represent a given physical form of a given function f(x). This is possible because system to a smaller set, where all the orbits are related by these two methods, apparently very different and far a smaller gauge group symmetry [2]. In simpler words, away from each other, share in reality the same essence, the Faddeev-Popov method consists in applying a con- namely they both consist in applying constraint to cer- straint to the considered field, that automatically imple- tain physical systems: the Faddeev-Popov method fixes ments the gauge fixing condition, thus determining the the field gauge by imposing the gauge condition as a con- field unambiguously [5]. straint to the field, and the Legendre transform imple- Usually, this method is object of doubts and of difficult ments the transformation between a function f(x) and its transformed pair g(p) by imposing a certain constraint to the function F (x, p)= xp − f(x) [11]. This work is organized as follows: in Sect. II we re- ∗Electronic address: [email protected] view very briefly the Faddeev-Popov method, in the sim- 2 plest case of the electromagnetic field. This allows us In order to fully understand the essence of this method, to write Eq. (8), that constitutes central point for our let us consider the following resolution of the identity [4]: work. In Sect. III, a brief recall on the definition of Λ Legendre transform is given. Finally, in Sect. IV we de- δG[A ] Λ rive the Legendre transform formula by making use of I = det DΛδ(G[A ]), (5) δΛ ! the Faddeev-Popov rule. Conclusions are then drawn in Λ=0 Z Sect. V. where the derivative in round brackets has to be intended in the sense of functional derivative [5]. The Dirac delta function inside the integral is nothing else but the gauge II. THE FADDEEV-POPOV METHOD IN A NUTSHELL condition that one needs to impose to the Lagrangian of the free electromagnetic field [10] in order to fix the gauge, namely One of the possible ways to quantize a field is the so- called path integral quantization. In this scheme, the Λ µ 1 µ transition probability for a physical system to evolve G[A ]= ∂ Aµ + ∂ ∂µΛ(x), (6) from an initial configuration φ(xi) to a final configuration e φ(xf ) is obtained by summing all the probability ampli- where e is the electron charge. Eq. (5) is simply a gener- tudes corresponding to all possible paths in space-time alization to the domain of functional analysis of the well that the system will take to reach the final point xf start- known expression [14] ing from the initial point xi [12]. Then, all the transition amplitudes (n-point functions) can be obtained from a −1 ∂g(x) generating functional (the path integral) of the form 1= dx δ (g(x)) , (7) ∂x " x=x0 # 4 µ Z i R d x (L+J Aµ) Z[J]= DAµe , (1) where x is the point at which g(x) vanishes. Inserting Z 0 the expansion of the unity as given by Eq. (5) into Eq. where L ≡ L[A , ∂ A , x] is the Lagrangian density, A µ ν µ µ (1) (and dropping the bar symbol from A¯ ) gives: represent the field variables and J µ is an external current. µ For the free electromagnetic field the Lagrangian density 4 L µ µν Λ i R d x( +J Aµ) is given by L = −(1/4)Fµν F , and since there are no Z[J]= DΛ DAµ∆[A]δ(G[A ])e , µ field sources, J has to be set to zero at the end of the Z Z (8) calculation [13]. where Following Sect. 7.2 of Ref. [4], we can introduce heuris- tically the Faddeev-Popov method by making the fol- δG[AΛ] lowing observations. First of all, the integral measure ∆[A] = det . (9) δΛ ! DA = Π dA (x) in Eq. (1) accounts for every pos- Λ=0 µ x µ sible A , thus including those that are connected via a µ This result should be compared with Eq. (4). In this gauge transformation. We can make this fact explicit by case, in fact, the generating functional Z[J] is regular- introducing the following notation: ized, thanks to the presence of the Dirac delta function, ¯Λ whose role is to uniquely determine the vector potential Aµ → Aµ . (2) Aµ by suitably fixing the gauge (6) that is given as the This means that now we are considering Aµ as a rep- argument of the Dirac delta function itself. This is the resentative of the class of vector potentials that can be essence of the Faddeev-Popov method: by inserting in obtained from a given A¯µ by performing a gauge trans- the generating functional (1) the resolution of the iden- formation of the type tity as given by Eq. (5), one is now able to introduce a constraint (through a Dirac delta function) that auto- ¯ Aµ = Aµ + ∂µΛ(x). (3) matically fixes the gauge, thus eliminating the arbitrari- ness of the vector potential A and removing the problem With this trick, we can rewrite the generating functional µ of overcounting the field configurations. Z[J] as follows, by separating the contributions of A¯ µ Let us now put this result in a more appealing form, and Λ(x): that will be helpful for the results of the next section. To 4 µ ¯ this aim, let us rewrite Eq. (8) in the following way: i R d x (L+J Aµ) Z[J]= DA¯µe DΛ. (4) Z Z Λ Z[J]= DΛ F[Aµ, Λ; J]∆[Aµ]δ(G[A ]), (10) The presence of the second integral DΛ is the one that Z causes Z[J] to diverge, since there are infinitely many where gauge fields Λ(x) that satisfy Eq.