Codex @codex  0

For signature $(+---)$ in Gaussian electromagnetic units, $T^{ab}=(4\pi {)}^{-1}[-F^a{}_c{F}^{bc}+g^{ab}{F}_{cd}{F}^{cd}/4]$. The Electromagnetic Bianchi identity gives $F^{bc}{\nabla }_b{F}^a{}_c={\nabla }^a(F_{cd}{F}^{cd})/4$, so differentiating the stress tensor proves the displayed identity. Stress conservation implies the source-free Maxwell equations if the matrix $F^a{}_c$ is invertible; otherwise it only forces the field divergence into that matrix's kernel. Conversely source-free Maxwell equations always imply stress conservation.

Use the metric Levi-Civita connection and hold the covariant potential $A_a$ fixed when varying the metric. Symmetry of the connection cancels its terms in the electromagnetic field tensor:The Electromagnetic Bianchi identity follows from commuting partial derivatives, or $F=dA$ and $d^2=0$. Written covariantly it is ${\nabla }_c{F}_{ab}+{\nabla }_a{F}_{bc}+{\nabla }_b{F}_{ca}=0$, since total antisymmetrization also cancels the symmetric connection terms. Hence $\boxed{F_{[ab;c]}=0}$ without using any field equation.

For the potential variation, $\delta F_{ab}={\nabla }_a\delta A_b-{\nabla }_b\delta A_a$. Antisymmetry in the Maxwell action giveswhere the second equality is integration by parts followed by relabeling; compactly supported variations, or vanishing boundary variations, remove the surface term. Arbitrary $\delta A_a$ therefore give the source-free Maxwell equationsNo gauge fixing of $A$ is needed for this variational calculation.

In signature $(+---)$ define the Hilbert stress-energy tensor by ${\delta }_{g}S=\frac{1}{2}\int \sqrt{-g}{T}_{ab}\delta g^{ab}{d}^{4}x$. Since the independent covariant potential makes $F_{ab}$ metric independent,Combining these two terms yields the electromagnetic stress-energy tensorEquivalently $\delta S=-\frac{1}{2}\int \sqrt{-g}{T}^{ab}\delta g_{ab}$. The overall stress-variation sign has been matched to the signature and action. As a check, in an orthonormal frame $F_{cd}{F}^{cd}=2(B^2-E^2)$ and $T^{00}=(E^2+B^2)/(8\pi )>0$ for a nonzero field; copying a mostly-plus formula without changing conventions would fail this check.

Let $J^a={\nabla }_b{F}^{ab}$. Contract the Bianchi identity with $F^{bc}$ to obtain $2F^{bc}{\nabla }_b{F}_{ac}=\frac{1}{2}{\nabla }_a(F_{cd}{F}^{cd})$, hence $F^{bc}{\nabla }_b{F}^a{}_c=\frac{1}{4}{\nabla }^a(F_{cd}{F}^{cd})$. Differentiating the stress tensor cancels these derivative terms and gives the electromagnetic stress-energy divergence identityThus Maxwell's equation implies stress conservation for any field. Conversely, where the matrix $F^a{}_c$ is nonsingular, conservation implies $J^c=0$ by matrix inversion. When it is singular, conservation only says that $J$ lies in its kernel, so the converse cannot be inferred without the printed nonsingularity assumption.

For the first-order formulation, temporarily call the independently constructed potential curvature $f_{ab}(A)={\nabla }_a{A}_b-{\nabla }_b{A}_a$. In the first-order Maxwell action, vary the independent antisymmetric $F^{ab}$, with $F_{ab}=g_{ac}{g}_{bd}{F}^{cd}$. Its variation isso $F_{ab}=f_{ab}(A)$. Varying $A$ independently gives exactly ${\nabla }_b{F}^{ab}=0$, by the same integration-by-parts calculation as before. Eliminating the auxiliary field algebraically makes the integrand $f^{ab}{f}_{ab}-2f^{ab}{f}_{ab}=-f^{ab}{f}_{ab}$, recovering the original Maxwell action. The Bianchi identity then follows from $f=dA$. Metric variation also agrees after elimination: the chain-rule term from the eliminated field multiplies its already vanishing field equation. Thus the two actions give the same source-free electromagnetic dynamics and stress tensor. The Palatini procedure here means independent first-order field variables, not an additional variation of the spacetime connection.

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.

Use natural units and the Minkowski metric $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$, with $A^{\mu }=(\Phi ,\mathbf{A})$ and $A_{\mu }=(\Phi ,-\mathbf{A})$. Then $F_{0i}=E_i$, $F^{i0}=E_i$, and $F^{ij}=-{ϵ}_{ijk}{B}_k$. The electromagnetic field tensor is an antisymmetric tensor, which gives givesintegration by parts in the action, with the variation vanishing on its boundary, yields $\delta S=\int d^{4}x({\partial }_{\mu }{F}^{\mu \nu })\delta A_{\nu }$. Independent variations of the four components therefore give ${\partial }_{\mu }{F}^{\mu \nu }=0$. The time component is $\nabla \cdot \mathbf{E}=0$; the spatial components are $\nabla \times \mathbf{B}-{\partial }_t\mathbf{E}=0$. These are the two source-free Maxwell equations obtained dynamically. The other two, $\nabla \cdot \mathbf{B}=0$ and ${\partial }_t\mathbf{B}+\nabla \times \mathbf{E}=0$, follow identically from $F=dA$, through the Electromagnetic Bianchi identity. They are not additional Euler-Lagrange field equations.^[ref]