View source for Faddeev-Popov ghost

An auxiliary field, not physical and known as a ghost field, which was introduced in the quantization procedure of non-Abelian gauge theories.

The quantization procedure of non-Abelian gauge theories demands the introduction of certain auxiliary fields, known as ghosts fields, which are not physical. The need for such fields was first observed by R. Feynman [[#References|[a6]]], based on unitary arguments. Later, the quantization procedure of Yang–Mills theory (cf. also [[Yang–Mills field|Yang–Mills field]]) based on a path integral (functional integral) was developed by L.D. Faddeev and V.N. Popov [[#References|[a5]]], and this procedure as a whole is known as the Faddeev–Popov method. Faddeev–Popov ghosts (anti-ghosts) are fictitious anti-commuting complex scalar fields <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f1300201.png" /> (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f1300202.png" />), where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f1300203.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f1300204.png" /> is a point of the space-time, which are used in the Faddeev–Popov method to represent the Faddeev–Popov determinant appearing in the generating functional of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f1300206.png" />-matrix in the form of a fermionic Gaussian integral (Berezin integral). If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f1300207.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f1300208.png" />, are the generators of the [[Lie algebra|Lie algebra]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f1300209.png" />, then the Faddeev–Popov ghosts (anti-ghosts) are usually combined into the Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f13002010.png" />-valued function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f13002011.png" /> (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f13002012.png" />). Although the Faddeev–Popov ghosts anti-commute, they are not physical fermionic fields.

From a mathematical point of view, the Faddeev–Popov ghosts are the generators of the infinite-dimensional Grassmann algebra, whose description can be found in [[#References|[a3]]]. It follows from the structure of an infinite-dimensional Grassmann algebra that the Faddeev–Popov ghosts satisfy the following commutation relations:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f13002013.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a1)</td></tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f13002014.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a2)</td></tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f13002015.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a3)</td></tr></table>

The introduction of Faddeev–Popov ghosts leads to the appearance of additional terms in the exponent of the generating functional; these terms are combined with the classical Yang–Mills Lagrangian into the quantum Lagrangian. It turns out that the quantum Lagrangian is invariant under the Becchi–Rouet–Stora–Tyutin transformations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f13002016.png" /> (BRST transformations; cf. [[#References|[a2]]], [[#References|[a10]]]), which are nilpotent: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f13002017.png" />, i.e. applied twice to any field they give zero. Later, the BRST transformations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f13002018.png" /> were complemented by the anti-BRST transformations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f13002019.png" /> [[#References|[a9]]], which are also nilpotent.

It is well known that an appropriate geometric framework for the Yang–Mills theory is the theory of connections on fibre bundles (cf. also [[Connection|Connection]]; [[Principal fibre bundle|Principal fibre bundle]]). This fact and the nilpotency of the BRST transformations suggested an idea to construct a geometric interpretation for the Faddeev–Popov ghosts and BRST transformations in terms of exterior differentiation and differential forms on a [[Principal fibre bundle|principal fibre bundle]] (cf. also [[Exterior algebra|Exterior algebra]]). A first geometric interpretation of this kind, identifying the Faddeev–Popov ghost <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f13002020.png" /> with a Lie algebra-valued <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f13002021.png" />-form on a principal bundle, was proposed by Y. Ne'eman and J. Thierry-Mieg [[#References|[a8]]]. In order to incorporate the anti-ghost <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f13002022.png" /> and anti-BRST transformations into this geometric Ne'eman–Thierry-Mieg interpretation, the formalism of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f13002023.png" />-vector fields, considered as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f13002024.png" />-forms, and a corresponding analogue of exterior differentiation was developed by Ü. Lumiste [[#References|[a7]]]. A geometric interpretation of the Faddeev–Popov ghost <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f13002025.png" /> and anti-ghost <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f13002026.png" />, identifying them with the components of a connection form on a super fibre bundle, was proposed by L. Bonora and M. Tonin [[#References|[a4]]] and was subsequently specified by Lumiste in [[#References|[a7]]].

It should be noted that all geometric interpretations of the Faddeev–Popov ghosts mentioned above lay aside the structure of infinite-dimensional Grassmann algebra (a1)–(a3) generated by the ghosts and anti-ghosts. In other words, identification of the Fadeev–Popov ghost <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f13002027.png" /> with a differential form leads to anti-commutative behaviour of ghosts only with respect to superscripts: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130020/f13002028.png" />, but not in different points of the space-time. The infinite-dimensional structure of the Grassmann algebra generated by the Faddeev–Popov ghosts was used in [[#References|[a1]]] to construct an infinite-dimensional [[Super-manifold|super-manifold]] with underlying infinite-dimensional manifold of all connections of a principal fibre bundle. In this approach, the Faddeev–Popov ghosts play the role of odd coordinates of a super-manifold. It was shown that the quantum Lagrangian, considered as a function on an infinite-dimensional super-manifold, can be obtained by a procedure of continuation of the classical Yang–Mills Lagrangian from the underlying manifold of all connections to the super-manifold.

The Faddeev–Popov ghosts allow one to develop a BRST method of quantization based on the BRST transformations. This method was later used in quantization of several field theories. It also plays an essential role in developing topological field theories in dimension four [[#References|[a11]]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  V. Abramov,   Ü. Lumiste,   "Superspace with underlying Banach fiber bundle of connections and the supersymmetries of effective action"  ''Soviet Math. (Iz. VUZ)'' , '''30''' :  1  (1986)  pp. 1–13</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  C. Becchi,   A. Rouet,   R. Stora,   ''Commun. Math. Phys.'' , '''42'''  (1975)  pp. 127</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  F.A. Berezin,   "The method of second quantization" , Acad. Press  (1966)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  L. Bonora,   M. Tonin,   "Superfield formulation of extended BRS symmetry"  ''Phys. Lett.'' , '''98B'''  (1981)  pp. 48–50</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  L.D. Faddeev,   V.N. Popov,   ''Phys. Lett.'' , '''B25'''  (1967)  pp. 29</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  R.P. Feynman,   ''Acta Physica Polonica'' , '''24'''  (1963)  pp. 697</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  Ü. Lumiste,   "Connections in geometric interpretation of Yang–Mills and Faddeev–Popov fields"  ''Soviet Math. (Iz. VUZ)'' , '''27''' :  1  (1983)  pp. 51–62</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  Y. Ne'eman,   J. Thierry-Mieg,   "Geometrical gauge theory of ghost and Goldstone fields and of ghost symmetries"  ''Proc. Nat. Acad. Sci. USA'' , '''77''' :  2  (1980)  pp. 720–723</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  I. Ojima,   "Another BRS transformation"  ''Progr. Theoret. Phys.'' , '''64''' :  2  (1980)  pp. 625–638</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  I.V. Tyutin,   ''Preprint PhIAN'' , '''39'''  (1975)</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  E. Witten,   "Topological quantum field theory"  ''Comm. Math. Phys.'' , '''117'''  (1988)  pp. 353–386</TD></TR></table>