Proca equation

With Minkowski metric signature $(+---)$ and source coupling $-{\mu }_0{J}_{\mu }{A}^{\mu }$ added to the Proca action, a massive vector field coupled to a conserved current obeysIn vacuum this gives $(\square +m^2)A^{\nu }=0$ after imposing the dynamically derived Lorenz constraint in Proca theory. The explicit mass term breaks the gauge invariance of the massless Maxwell theory.