Past exam of the theoretical physics major option course of the University of Oxford / 2017 / 5 / b

Varying the vector field gives the Proca equation,Its divergence uses antisymmetry of $F^{\mu \nu }$ to cancel the first term. Since $m_A\ne 0$,For an on-shell momentum this imposes $p_{\nu }{ϵ}^{\nu }=0$ on the four polarization components, leaving three independent solutions. In the rest frame, $p=(m_A,0)$ makes ${ϵ}^0=0$, leaving precisely the three spatial polarizations of a massive spin-one particle.

There is no fourth independent oscillator hidden in $A^0$. Its canonical momentum is zero because the Lagrangian has no ${\dot{A}}^0$, and the temporal equation constrains $A^0$ in terms of the spatial data. Equivalently the primary and secondary second-class constraints remove two variables from the eight-dimensional phase space, leaving six phase-space variables, or three physical degrees of freedom.