[Physics] Looking for physical intuition into the Electromagnetic Tensor:

electromagnetismspecial-relativitytensor-calculus

I have done some work with the electromagnetic tensor and I'm fairly good at manipulating it and using it to transform the Maxwell Equations into tensored forms.

Admittedly though, I have no physical intuition of it and it just looks like an array of numbers that makes the math work. Answers that I'm looking for are for example,

  1. Why do the electric components align perfectly with the indices (example: $E_1$ is in the 1st row, $E_2$ in the second, etc.), but the magnetic components do not, (example, $B_1$ is in the 3rd column, 2nd row)?

  2. Why the row of electric components are opposite in sign compared to the column of electric components (other than that's the case simply because the tensor is antisymmetric)?

I'm working with a -+++ signature:
$$F_{\mu\nu}=\begin{pmatrix}
0 & -E_1 & -E_2 & -E_3 \\
E_1 & 0 & B_3 & -B_2 \\
E_2 & -B_3 & 0 & B_1 \\
E_3 & B_2 & -B_1 & 0
\end{pmatrix}=-F_{\nu\mu}$$

Thanks.

Best Answer

Defining $E$ and $B$ in terms of $F$

A little extra generality can help answer question 1, so instead of $1+3$-dimensional spacetime, consider $1+D$-dimensional spacetime, with one time dimension and $D$ spatial dimensions. Then the Faraday tensor $F_{\mu\nu}$ is a $(1+D)\times (1+D)$ antisymmetric matrix. We can think of the Faraday tensor as the primary object, and the electric and magnetic fields are defined in terms of the Faraday tensor like this:

  • The components $F_{0\mu}=-F_{\mu 0}$ with one time index and one space index are the components of the electric field. This is the definition of the electric field. After accounting for antisymmetry, the electric field has $D$ independent components, as expected for a vector in $D$-dimensional space.

  • The components with two space indices are the components of the magnetic field. This is the definition of the magnetic field. After accounting for antisymmetry, the magnetic field has $D(D-1)/2$ independent components, which is the number of mutually orthogonal planes in $D$-dimensional space. This is relevant to question 1, but I'll address question 2 first, and then I'll get back to question 1.

Question 2: Why is $F$ antisymmetric?

Question 2 is part of this question: Why is $F_{\mu\nu}$ antisymmetric? There are several ways to help this seem more natural. Here's one: The relativistic version of the Lorentz force equation is $$ \eta_{\mu\nu}\frac{dp^\nu}{d\tau}\propto F_{\mu\nu}p^\nu, \tag{1} $$ where $p^\mu$ is the $1+D$-component energy-momentum vector of a charged particle, $\tau$ is its proper time, and $\eta_{\mu\nu}$ is the Minkowski metric. The quantity $\eta_{\mu\nu}p^\mu p^\nu$ is the invariant mass-squared of the particle, which is independent of $\tau$, so we should have $$ \frac{d}{d\tau} \eta_{\mu\nu}p^\mu p^\nu = 0. \tag{2} $$ By contracting both sides of equation (1) with $p^\mu$, we see that the condition (2) is satisfied if the Faraday tensor is antisymmetric.

Here's another aesthetically appealing consequence of antisymmetry. For a constant-and-uniform electric field, equation (1) is just a steady Lorentz boost of the particle, describing a kind of uniform linear acceleration of the charged particle in the electric field. For a constant-and-uniform magnetic field in a given spatial plane, equation (1) is just a steady rotation of the particle's momentum, describing constant-speed circular motion in that same spatial plane. The antisymmetry of $F_{\mu\nu}$ is responsible for these simple behaviors.

Here's yet another way to appreciate the antisymmetry. If we didn't impose any symmetry requirements on $F_{\mu\nu}$, then we could decompose it into separate parts that don't mix with each other under Lorentz transformations. By that criterion, we should treat those parts as different kinds of fields. In particular, the antisymmetric part, the traceless symmetric part, and the remainder (a scalar) would all qualify as different types of fields. One of these, the antisymmetric part, has just the right properties to comply with everything we know about the electromagnetic field, such as the properties highlighted above.

Question 1: Why are the components of $B$ arranged that way in $F$?

Why are the $3$ components of the magnetic field all jumbled up (signs and positions) in the $D=3$ version of the Faraday tensor? This is where the generalization to arbitrary $D$ is enlightening. For arbitrary $D$, we see that the magnetic field has $D(D-1)/2$ independent components, which is not the right number of components for a spatial vector! That's becasue the magnetic field is not a spatial vector: it's a bivector, which can be visualized as a directed element of area rather than a directed element of length. In the physically relevant case $D=3$, the two are interchangeable, because we there is a unique line orthogonal to any given plane. That's a special feature of $3$-dimensional space that doesn't generalize to higher (or lower) dimensions. What we should do is write the magnetic field with two indices: $B_{jk}=-B_{kj}$, where the two indices match the two axes of the corresponding plane. But drawing directed elements of area is difficult, so in $D=3$, we use a trick: we define $$ B_1 := B_{23} \hskip2cm B_2 := B_{31} \hskip2cm B_3 := B_{12} \tag{3} $$ and treat $B_k$ as though they were the components of a vector instead of a bivector. Notice the cyclic pattern in the indices: that turns out to correspond to the idea of a line orthogonal to the given plane. One of the things that makes this trick work is that in $D=3$, vectors and bivectors transform the same way under rotations, via the correspondence (3). However, we see a difference when we consider reflections: a vector changes sign when we reflect all three dimensions of space, but a bivector doesn't. The magnetic field is a bivector, and it does not change sign when we reflect all three dimensions of space. Sometimes people call it an axial vector or a pseudovector, which in general is the name for a completely antisymmetric quantity with $D-1$ indices. For $D=3$, that's the same as a bivector.

The correspondence (3), together with the antisymmetry $B_{jk}=-B_{kj}$, explains the pattern of positions and signs for the components of the magnetic field in the $D=3$ version of the Faraday tensor.