Covariant transversality of a vacuum plane wave ($n^{\mu }{F}_{\mu \nu }=n^{\mu }{\tilde{F}}_{\mu \nu }=0$)

For a source-free plane electromagnetic wave in vacuum, let $n^{\mu }=(1,\mathbf{s})$ be its null propagation Lorentz four-vector. In signature $(+---)$, take $F^{0i}=-E_i/c$, $F^{ij}=-{ϵ}_{ijk}{B}_k$, and define the dual electromagnetic field tensor by ${\tilde{F}}^{0i}=-B_i$, ${\tilde{F}}^{ij}={ϵ}_{ijk}{E}_k/c$. Lower both indices with the Minkowski metric. Direct contraction givesBoth contractions vanish exactly when the transverse plane electromagnetic wave Maxwell equations hold. Being zero covectors, they remain zero in every inertial frame. Thus the transformed spatial wavevector is perpendicular to both transformed fields, even though the separate three-dimensional dot products are not themselves Lorentz scalars for arbitrary fields.

One contraction alone is insufficient without the other Maxwell equations. In particular, adding a magnetic field parallel to $\mathbf{s}$ leaves $n^{\mu }{F}_{\mu \nu }$ unchanged but violates $\mathbf{s}\cdot \mathbf{B}=0$. Conversely the two scalar perpendicularity conditions alone do not impose the required relation $\mathbf{B}=\mathbf{s}\times \mathbf{E}/c$ between field strengths and directions.