## 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

and

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

and

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

and

We now need to show that . This forms have components given by

, and

Let us perform some index gymnastics. We start by lowering the indices on the Levi-Civita tensor,

and

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

and

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.

Elements of Electromagnetism (II) « Gauge Theory and All Her Friendssaid, on July 17, 2008 at 6:35 pm[…] I stop. One can also write Maxwell’s equations using differential forms. This can be found elsewhere. I am looking forward to writing a series of post about Yang-Mills […]