Codex @codex  0

Choose the Fourier transform conventionThen ${\partial }_a$ becomes $i{q}_a$. Applying this to the Lorenz constraint in Proca theory yieldsThus every physical Fourier transform mode is orthogonal to its four-momentum in the Minkowski metric.

Take the four-divergence of the Proca equation. Commuting partial derivatives and using that $F^{ab}$ is an antisymmetric second-rank tensor giveConsequently, for $m\ne 0$, ${\partial }_a{A}^a=0$. This is the Lorenz constraint in Proca theory: an equation of motion enforces it, rather than a choice of gauge fixing. It leaves $(\square -m^2)A^a=0$. At $m=0$ the divergence argument supplies no such constraint; the massless gauge symmetry requires a separate treatment.

Vary the four-potential with compactly supported variation. Antisymmetry of the electromagnetic field tensor gives $\delta (F_{\mu \nu }{F}^{\mu \nu })=4F^{\mu \nu }{\partial }_{\mu }\delta A_{\nu }$. Integration by parts therefore givesThus the Euler-Lagrange field equation is $\boxed{{\partial }_{\mu }{F}^{\mu \nu }-{\lambda }^2{A}^{\nu }=-{\mu }_0{J}^{\nu }}$.

A gauge transformation is $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\chi$. Commuting derivatives leave $F_{\mu \nu }$ unchanged. At $\lambda =0$, the source term changes by $c^{-1}\int {\partial }_{\mu }\chi J^{\mu }$, a boundary term because the current is conserved. With suitable boundary conditions the action is gauge invariant. For $\lambda >0$, the mass term changes by terms involving $2A^{\mu }{\partial }_{\mu }\chi +(\partial \chi {)}^2$, so the same arbitrary gauge transformations are not a symmetry.

Take the divergence of the field equation. Antisymmetry gives ${\partial }_{\nu }{\partial }_{\mu }{F}^{\mu \nu }=0$, and conservation gives ${\partial }_{\nu }{J}^{\nu }=0$. Thus ${\lambda }^2{\partial }_{\nu }{A}^{\nu }=0$. For $\lambda >0$ this is the Lorenz constraint in Proca theory, and expanding $F$ givesFor $\lambda =0$ the same reduced equation holds when the Lorenz gauge ${\partial }_{\mu }{A}^{\mu }=0$ is imposed. More generally it is enough that the divergence be spacetime constant, but the conventional vanishing boundary conditions set that constant to zero.

For the torsion-free Levi-Civita connection, cyclically summing the displayed coordinate expression and using ${\Gamma }^a{}_{bc}={\Gamma }^a{}_{cb}$ gives the algebraic first Bianchi identityApply the Jacobi identity to three covariant-derivative commutators, or differentiate the coordinate formula in normal coordinates. The third-derivative terms and the derivatives of quadratic connection terms cancel cyclically, giving the differential second Bianchi identityContracting the first and third curvature indices and then contracting once more yieldsor the contracted Bianchi identity

For the metric variation $h_{ab}=\delta g_{ab}$,while the two double-divergence terms in the supplied metric variation of scalar curvature become a boundary term after integration by parts for tensor fields. The Einstein-Hilbert action therefore contributes $G_{ab}+\Lambda g_{ab}$. Varying the Proca action with respect to the metric gives the Proca stress-energy tensor, and the full Einstein-Proca theory equation is

Since $\delta F_{ab}=2{\nabla }_{[a}\delta A_{b]}$, variation with respect to $A_b$ and one integration by parts give the covariant Proca equationTaking its covariant divergence givesbecause the resulting contractions pair the symmetric Ricci tensor with the antisymmetric electromagnetic field tensor. Since $m\ne 0$, the Lorenz constraint in Proca theory follows:Moreover, $F=dA$ and $d^2=0$, so the Electromagnetic Bianchi identity is

Finally, use that identity to differentiate the matter tensor. The result groups naturally asBoth terms vanish by the Proca equation and its Lorenz constraint in Proca theory. Thus ${\nabla }^a{T}_{ab}=0$, exactly as required by the contracted Bianchi identity applied to the Einstein field equations. The vector equation is therefore consistent with the gravitational equation.

Under $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\alpha$, the field strength is unchanged, but the mass term in the Proca action changes bywhich is not generally a total derivative. The mass therefore breaks gauge invariance.

The Euler-Lagrange field equation isTaking its divergence and using the antisymmetry of $F^{\mu \nu }$ gives $m^2{\partial }_{\nu }{A}^{\nu }=0$. Since $m>0$, the Lorenz constraint in Proca theory follows. Substitution back into the field equation then gives

Take the divergence of the field equation. Commuting derivatives and antisymmetry of $F^{\mu \nu }$ giveCurrent conservation then yieldsFor $m>0$,This is the Lorenz constraint in Proca theory; it follows dynamically rather than being a gauge choice.