Codex @codex  0

A contravariant tensor transforms with one forward coordinate Jacobian for each upper index. A Lorentz four-vector is the rank-one example; the electromagnetic field tensor with two upper indices is a rank-two example. Lower-index covariant tensors transform with inverse Jacobians, and full contractions yield scalars. Index position specifies a transformation law rather than implying that the numerical components are invariant.

The upper index identifies $P^{\alpha }$ as a contravariant Lorentz four-vector, obeying the rank-one contravariant tensor transformation law. Its components transform with the coordinate Jacobian,It is not invariant component by component. Its contracted square $P_{\alpha }{P}^{\alpha }=m^2{c}^2$, for metric signature $(+,-,-,-)$, is a Lorentz invariant. This distinguishes a contravariant transformation law from an invariant scalar.

Use signature $(+---)$ and local inertial coordinates $x^0=ct$. Write $u^{\mu }=\gamma (c,\mathbf{v})$ and $w=\rho c^2+p$, where $\rho$ is rest mass density. The perfect fluid in general relativity has componentsHere $T^{00}$ is energy density, $c{T}^{i0}$ is energy flux, $T^{0i}/c$ is momentum density, and $T^{ij}$ is the flux of the $j$th momentum component through a surface normal to $i$. In the local rest frame these reduce to energy density $\rho c^2$, zero energy and momentum flow, and isotropic pressure $p$. The equation ${\nabla }_{\mu }{T}^{\mu \nu }=0$ expresses local stress-energy conservation. Its temporal and spatial components give energy and momentum balance; in flat coordinates, for example, ${\partial }_t{T}^{00}+{\partial }_i(c{T}^{i0})=0$.

For relativistic dust, $T^{\mu \nu }=\rho u^{\mu }{u}^{\nu }$. Contracting its divergence with $u_{\nu }$, and using metric compatibility together with $u_{\nu }{u}^{\nu }=c^2$, givesConsequently ${\nabla }_{\mu }(\rho u^{\mu })=0$. Substituting this continuity equation back into the divergence leaves $\rho u^{\mu }{\nabla }_{\mu }{u}^{\nu }=0$. Wherever matter is present,so the individual particles follow geodesics.

The electromagnetic four-force law $f^{\mu }=q{F}^{\mu \nu }{u}_{\nu }$ must preserve the particle's rest mass. Thus $u_{\mu }{f}^{\mu }=0$, and requiring this for arbitrary timelike four-velocities makes the electromagnetic field tensor antisymmetric. Its six independent components comprise the electric field and magnetic field. With the stated signature and $x^0=ct$, one consistent convention isIt gives the spatial force $d\mathbf{p}/dt=q(\mathbf{E}+\mathbf{v}\times \mathbf{B})$ and energy transfer $dE/dt=q\mathbf{E}\cdot \mathbf{v}$. Under a Lorentz transformation, $F^{\mu \nu }$ transforms as a rank-two contravariant tensor; its electric and magnetic components consequently mix. A four-potential supplies $F_{\mu \nu }={\nabla }_{\mu }{A}_{\nu }-{\nabla }_{\nu }{A}_{\mu }$, unchanged by $A_{\mu }\mapsto A_{\mu }+{\nabla }_{\mu }\chi$. The Maxwell equations areThese combine the source equations and the homogeneous equations into covariant tensor statements; $j^{\mu }$ is the four-current.

For charged relativistic dust, the matter tensor exchanges four-momentum with the electromagnetic field: ${\nabla }_{\mu }{T}_{\mathrm{m}}^{\mu \nu }=F^{\nu \alpha }{j}_{\alpha }$, while their total stress-energy tensor is conserved. Identical particles of rest mass $m$ and electric charge $q$ have $j^{\alpha }=(q/m)\rho u^{\alpha }$. Contraction with $u_{\nu }$ again gives mass continuity because $u_{\nu }{F}^{\nu \alpha }{u}_{\alpha }=0$. Removing that term givesUsing zero divergence for the matter tensor alone in this last step would omit the electromagnetic Lorentz force.