Reference: Moore, Thomas A., A General Relativity Workbook, University Science Books (2013) – Chapter 7; Problem 7.3.
We’ve seen that we can arrive at the electromagnetic field tensor by a bit of educated guesswork, and that the result is
What happens if we try to generalize the relation between electric field and electric potential to tensor form? That is, we start with the electrostatic relation
and generalize this to tensor form using . Since contains the components of the electric field it’s natural to try replacing the LHS with . The RHS suggests that we introduce a four-vector and take its derivative, so our first attempt looks like . However, must be anti-symmetric, which clearly isn’t, so we can try the usual trick of creating an anti-symmetric tensor by subtracting the same quantity with the indices swapped. That is, we define
Now if we set , we get
The raised partial derivative while the other partials are the same in upper or lower form: and so on. Therefore, this equation is equivalent to
If we’re dealing with electrostatics, then all time derivatives are zero, so we get
Comparing this with 2, we see that .
What about the other components of ? If we take , we get
The RHS is the component of , and we get the other 2 components of the curl from the other 2 elements of involving and . Thus the spatial components of form the magnetic vector potential.
Our first equation involving was the one relating it to the four-current:
Writing this in terms of the four-potential:
In the same way as we did in classical electrodynamics, we can specify a gauge transformation for the four-potential. That is, we replace by , where is an arbitrary scalar function. Plugging this into 3 we get
since the order of the partial derivatives in the second line doesn’t matter. Thus this transformation leaves the EM tensor unaltered and since it is only the electric and magnetic fields that are measurable, it leaves the physics unchanged.
If we choose such that (it turns out this is always possible; it’s called the Lorenz gauge), then 9 becomes
In the static case, the time derivative is zero and this equation gives us Poisson’s equation for electrostatics (from the term) and for magnetostatics (from the other 3 terms). That is, for
and for the other 3 components