In order to quantize the gauge theory one must add to
(1) gauge fixing term and the corresponding Faddeev-Popov
term. The first term breaks the gauge symmetry and in this way removes the
divergence of the functional integral. The second term improves the integration
measure to provide correct predictions for gauge invariant
observables.
The general form of the gauge fixing term is
|
(2) |
The corresponding Faddeev-Popov term is
|
(3) |
where and
are the auxiliary
anti-commutative fields. They are called the Faddeev-Popov ghosts.
Note that we may multiply (3) by an arbitrary factor which
can be hidden in the definition of ghost fields. As a rule
it is chosen in such a way to provide a convenient form of the ghost propagator.
The well-known choice of the gauge fixing terms, the Feynman-like gauge, is
In this case the quadratic part of gauge field Lagrangian takes
the simplest form
|
(4) |
The corresponding Faddeev-Popov Lagrangian is
The normalization of is chosen to have
the Faddeev-Popov ghost propagator equal to the propagator of scalar
particle: