The Electromagnetic Field Tensor

The Geometric Unification

Imagine two observers, Alice and Bob, moving relative to each other. Alice measures a static charge at rest, producing only an electric field. Bob, moving past the charge, sees the charge in motion, which constitutes a current. A moving charge generates a magnetic field. Thus, Bob detects both electric and magnetic fields, while Alice detects only an electric one. Neither is "wrong"; they are simply slicing the four-dimensional spacetime differently. The electromagnetic field tensor \(F^{\mu\nu}\) is the mathematical object that contains the full information of the electromagnetic field in spacetime, independent of any specific observer's frame. It is antisymmetric, meaning \(F^{\mu\nu} = -F^{\nu\mu}\), which ensures that the diagonal components are zero and that the tensor has exactly six independent components—matching the three components of \(\mathbf{E}\) and the three of \(\mathbf{B}\).

Constructing the Tensor

To construct \(F^{\mu\nu}\), we must arrange the electric and magnetic field components into a \(4 \times 4\) matrix that transforms correctly under Lorentz boosts. The standard convention places the electric field components in the first row and column (indices involving time, \(\mu=0\)) and the magnetic field components in the spatial block (indices \(\mu, \nu \in \{1,2,3\}\)). The sign conventions depend on the metric signature, but for the \((+,-,-,-)\) metric, the tensor is defined as:

Here, \(c\) is the speed of light. Notice the factors of \(1/c\) multiplying the electric field components. This ensures that \(F^{\mu\nu}\) has consistent dimensions, as the magnetic field \(B\) has units of \(\mathrm{T}\) (tesla) and \(E/c\) also has units of \(\mathrm{T}\) since \(E\) is in \(\mathrm{V/m}\) and \(c\) in \(\mathrm{m/s}\). The antisymmetry is evident: the upper triangle is the negative of the lower triangle.

Tensor Transformation Laws

Because \(F^{\mu\nu}\) is a tensor, it transforms between inertial frames using the Lorentz transformation matrix \(\Lambda^\mu_{\ \alpha}\). If frame \(S'\) moves with velocity \(v\) along the \(x\)-axis relative to frame \(S\), the components in \(S'\) are given by:

Applying this to the components involving the \(y\)- and \(z\)-directions (perpendicular to the boost) yields the familiar field transformation equations. For example, the electric field component \(E'_y\) in the moving frame is:

and the magnetic field component \(B'_z\) is:

These equations demonstrate that a pure electric field in one frame (\(B=0\)) appears as a mixed field in another. The tensor formalism guarantees that these transformations are consistent and preserve the invariants of the electromagnetic field, such as \(E^2 - c^2 B^2\) and \(\mathbf{E} \cdot \mathbf{B}\).

Covariant Maxwell's Equations

The most powerful application of the field tensor is in writing Maxwell's equations in a compact, covariant form. The inhomogeneous equations (Gauss's law and Ampère's law) can be written as the divergence of the field tensor equaling the current four-vector \(J^\mu\):

Here, \(\partial_\mu = \frac{\partial}{\partial x^\mu}\) is the four-gradient. The homogeneous equations (Faraday's law and Gauss's law for magnetism) are expressed using the dual field tensor \(F^{\mu\nu} = \frac{1}{2} \epsilon^{\mu\nu\alpha\beta} F_{\alpha\beta}\), where \(\epsilon^{\mu\nu\alpha\beta}\) is the Levi-Civita symbol:

This formulation makes it explicit that Maxwell's equations are Lorentz invariant. The tensor \(F^{\mu\nu}\) is not just a bookkeeping device; it is the fundamental geometric object that describes the electromagnetic interaction in spacetime.