Gauge Transformations in QFT
From a practical perspective, a quantum field theory consists of an action principle and a set of procedures for performing perturbative calculations. There are other kinds of "sanity checks" that can be performed on a quantum field theory to determine whether it fits qualitative phenomena such as quark confinement and asymptotic freedom. However, most of the predictive successes of quantum field theory, from quantum electrodynamics to the present day, have been quantified by matching S-matrix calculations against the results of scattering experiments.
In the early days of QFT, one would have to have said that the quantization and renormalization prescriptions were as much part of the model as the Lagrangian density, especially when they relied on the powerful but mathematically ill-defined path integral formalism. It quickly became clear that QED was almost "magical" in its relative tractability, and that most of the ways that one might imagine extending it would not produce rational calculations. However, one class of field theories remained promising: gauge theories, in which the objects in the theory represent equivalence classes of physically indistinguishable field configurations, any two of which are related by a gauge transformation. This generalizes the QED idea of a local change of phase to a more complicated Lie group.
QED itself is a gauge theory, as is general relativity, although the latter has proven resistant to quantization so far, for reasons related to renormalization. Another class of gauge theories with a non-Abelian gauge group, beginning with Yang–Mills theory, became amenable to quantization in the late 1960s and early 1970s, largely due to the work of Ludwig D. Faddeev, Victor Popov, Bryce DeWitt, and Gerardus 't Hooft. However, they remained very difficult to work with until the introduction of the BRST method. The BRST method provided the calculation techniques and renormalizability proofs needed to extract accurate results from both "unbroken" Yang–Mills theories and those in which the Higgs mechanism leads to spontaneous symmetry breaking. Representatives of these two types of Yang–Mills systems—quantum chromodynamics and electroweak theory—appear in the Standard Model of particle physics.
It has proven rather more difficult to prove the existence of non-Abelian quantum field theory in a rigorous sense than to obtain accurate predictions using semi-heuristic calculation schemes. This is because analyzing a quantum field theory requires two mathematically interlocked perspectives: a Lagrangian system based on the action functional, composed of fields with distinct values at each point in spacetime and local operators which act on them, and a Hamiltonian system in the Dirac picture, composed of states which characterize the entire system at a given time and field operators which act on them. What makes this so difficult in a gauge theory is that the objects of the theory are not really local fields on spacetime; they are right-invariant local fields on the principal gauge bundle, and different local sections through a portion of the gauge bundle, related by passive transformations, produce different Dirac pictures.
What is more, a description of the system as a whole in terms of a set of fields contains many redundant degrees of freedom; the distinct configurations of the theory are equivalence classes of field configurations, so that two descriptions which are related to one another by an active gauge transformation are also really the same physical configuration. The "solutions" of a quantized gauge theory exist not in a straightforward space of fields with values at every point in spacetime but in a quotient space (or cohomology) whose elements are equivalence classes of field configurations. Hiding in the BRST formalism is a system for parameterizing the variations associated with all possible active gauge transformations and correctly accounting for their physical irrelevance during the conversion of a Lagrangian system to a Hamiltonian system.
Read more about this topic: BRST Quantization