# Gauge fixing of an arbitrary field

How to count the number of degrees of freedom of an arbitrary field (vector or tensor)? In other words, what is the mathematical procedure of gauge fixing?

-

It's convenient to classificate the fields due to Wigner classification of the Poincare group representation. First assume only massless case. In this case there aren't mass Casimir operator $\hat {P}^{2}$ and spin Casimir operator $\hat {W}^{2}$, but the Pauli-Lubanski operator is proportional to 4-impulse operator with factor $\hat {h} = \frac{(\hat {\mathbf S} \cdot \hat {\mathbf p})}{|\mathbf p|}$ which is called helicity. It is invariant operator (for massless fields), so we may classificate fields by it. The state with fixed helicity may be connected only with state with opposite one; it is possible if theory is invariant under spatial inversions. So there is only two (maximum) degrees of freedom for massless field of an arbitrary spin. With this interpretation you can understand gauge fixing procedure only as the criterion of irreducibility (mass-zero) of the (Poincare group) representation of the field, and the answer on your question about counting the degrees of freedom is always two.

For better understanding of how gauge fixing decreases the number of freedom let's assume the massive spin-$s$ case. Let's use the irreducibility conditions $(1)-(4)$ for it. They leaves only $2s + 1$ degrees of freedom (in the beginning there were $4^{s}$ components). After that let's set mass $m$ in $(1)$ to zero. Then condition $(2)$ will cut an additional degrees of freedom.

For example, spin-one field: $$\tag 5 (\partial^{2} + m^{2})A_{\mu} = 0, \quad \partial_{\mu}A^{\mu} = 0,$$ so there is three degrees of freedom.

Let's set $m$ to zero. Then implies additional gauge freedom, and we can set $u^{\mu}A_{\mu} = 0$ for an arbitrary timelike 4-vector $u_{\mu}$. It decrease the number of degrees of freedom by one. It is possible because there is transformations $A_{\mu} \to A_{\mu} + \partial_{\mu} f$, which may satisfy the first equation of $(5)$. So we get two degrees of freedom.

Spin-two field: $$\tag 6 (\partial^{2} + m^{2})A^{\mu \nu} = 0, \quad A^{\mu \nu} = A^{\nu \mu}, \quad \partial_{\nu}A^{\mu \nu} = 0, \quad A_{\mu}^{\mu} = 0.$$ The second leaves 10 degrees of freedom, the third leaves 6 degrees and the last one leaves 5 degrees.

Let's set $m$ to zero. Then we can set $u_{\mu}A^{\mu \nu} =0$, which will cut an additional 3 degrees of freedoms (the fouth is equal to one of $\partial_{\mu}A^{\mu \nu} = 0$, so we again get 2 degrees. It is possible because there are gauge transformations $A_{\mu \nu} \to A_{\mu \nu} + \partial_{\mu} f_{\nu} + \partial_{\nu} f_{\mu}$ which may satisfy the first equation of $(5)$.

-