By definition, gauge theories - among the cornerstones of fundamental theoretical physics - involve more degrees of freedom than required by the underlying physics. The unphysical degrees of freedom must be shown not to yield unwarranted effects at every step in the formalism where explicit Lorentz covariance is required.

The present work presents, in a rigorous way, a consistent formulation for the handling of noncovariant gauges in the quantization and renormalization of gauge theories. Though the path integral method is very convenient for the proof of unitarity and...