In my lecture notes for a course on QFT it is said that, also in non-abelian gauge theories, the identity $Z_3 = Z_\xi$ holds, where those renormalization parameters belong respectively to the following terms in a QCD Lagrangian in the Lorenz/$R_\xi$ gauge (repeated indices are summed over and $a$ corresponds to the gauge algebra index): $$\mathcal{L} = -\frac{Z_3}{2}(\partial_\mu A^a_\nu \partial^\mu A^\nu_a - \partial_\mu A^a_\nu \partial^\nu A^\mu_a) -\frac{Z_3}{2 Z_\xi \xi}(\partial_\mu A^\mu_a)(\partial^\nu A^a_\nu) + (\cdots)$$ The identity $Z_3 = Z_\xi$ is not justified further, but it is noted that if that was not the case, then the longitudinal component of the bosonic propagator would receive loop corrections, which is said to be "catastrophical" because the longitudinal degrees of freedom are gauge-dependent.
I understand how $Z_3 = Z_\xi$ ensures the longitudinal components of the propagator do not receive loop corrections, and I see why Ward identity imposes this constraint in QED. Nevertheless, in the present case I have two questions:
- What is exactly meant by saying that longitudinal degrees of freedom are gauge-dependent? Certainly a gauge such as the Lorenz one does impose a constraint on the longitudinal component of the field, without conditioning further the transverse components, but could I not find a gauge that constrains the transverse degrees of freedom instead?
- How is $Z_3 = Z_\xi$ guaranteed a priori in a non-abelian gauge theory? Is it only an a posteriori requirement to avoid the longitudinal component of the propagator to receive loop correction?
Edit: I am aware of the fact that physical massless bosons must have transverse polarizations, but I don't see how or why this implies gauge transformations would only constraint longitudinal degrees of freedom. I must confess, on the other hand, that any "gauge transformation" that I try to invent to constrain the transverse degrees of freedom happens to be non-linear in $A_\mu$, which I believe it means that this is not a gauge transformation (since any representation provides linear operators, and gauge transformations arise from representations of the corresponding gauge group).