Maxwell wearing differential forms
[The title of this post is not intended to offend the memory of the great Scottish physicist J. C. Maxwell.]
Let us try to write the four Maxwell equations using the language of differential forms, exterior differentiation and the Hodge star duality operation. We work over the flat four-dimensional Minkowski spacetime with flat metric .
We start with some definitions. The exterior derivative of a -form is a -form with components
The square brackets denote anti-symmetrization. Let us also agree that the Hodge star duality operator acts on a -form and makes it a -form, with being the dimension of our manifold. The components of the new form are given by
The tensor is the completely Levi-Civita antisymmetric symbol times the square root of the absolute value of the determinant of the spacetime metric tensor. In Minkowski spacetime this factor is unity and the Levi-Civita symbol is the same as the Levi-Civita tensor.
Recall that the four Maxwell’s can be written with index notation as
In this notation we combine the electric and magnetic fields with the field strength
and the electric charge and current densities go into the four-current . It is no surprise that electromagnetic field strength can be written as a 2-form. This is true since the homogeneous Maxwell equations can be written as the exterior derivative of the field strength. The vanishing of this derivative in Minkowski space implies that the field strength is the exterior derivative of some 1-form . This 1-form is called the electromagnetic potential. Similarly one can write the four-current as a 1-form. So we have so far that
This gives us the first set of the Maxwell equations written with differential forms. For the second set we use the Hodge star to calculate , the dual field strength. The first thing we can say is that will be a 2-form. If we were to exterior-differentiate we would obtain a 3-form. Notice also that just like the four-potential can be written as 1-form, we can also take the four-current and express it as a 1-form. The Hodge dual of this 1-form will be then the 3-form . So now we know about two 3-forms (besides ), we could aim at getting an expression that involves them. Of course, since we know that the remaining Maxwell equations have the source terms, we can predict that it should have the dual of the current 1-form. We postulate that the Maxwell equations written in the language of differential forms look like
Now we proof that the second of these terms gives the two inhomogeneous Maxwell equations. We start by writing explicitly the components of the differential forms zoo defined above. But first let us name
We now need to show that . This forms have components given by
Let us perform some index gymnastics. We start by lowering the indices on the Levi-Civita tensor,
Now let us write explicitly the anti-symmetrized tensor.
So what is the anti-symmetrization of two tensors? This is just
With this we can write
Now we write the tensors in terms of the field strength,
Now we contract on both sides with a Levi-Civita tensor. We will do this term by term, so my poor readers do not get overwhelmed with details (or maybe for my sake…). Each term is getting two indices contracted, for example the last one gives
In the last step we have identified and used Maxwell’s equations to introduce the current four-vector. We have also ignore the minus-one factor that comes from me metric’s signature. This factor will cancel in the end. The other two terms are the same, so we have
Finally, we contract again with another Levi-Civita tensor. The factor of 12 will cancel, and it will give us the components of the tensor. Thus this shows that . This shows that Maxwell’s equation can be written as
This still gives the same physics as the Maxwell equations when written in vector form or in four-vector notation (or even quaternions, just like Maxwell originally wrote them). We can argue that differential form notation and covariant notation reduce the number of equations from 4 to 2. The truth is that the 4 equations still remain, since one has to remember how to write the field strength in component form to get the more-measurement-friendly electric and magnetic fields. This is just a notion of what is practical; if we adopt the concept of the field strength as the only entity and then say that we can measure certain components of it, then it is perfectly fine. So geometry killed the electric and magnetic fields.