Lorenz constraint in Proca theory
= Lorenz constraint in Proca theory
{c}
Taking a divergence and using antisymmetry of $F^{\mu\nu}$ and current conservation gives $m^2\partial_\mu A^\mu=0$. For nonzero mass, the Lorenz condition follows from the field equation rather than from a gauge choice.