Maxwell's equations differential forms

[WannabeNewton]

Homework Statement

I have to take the curved space - time homogenous and inhomogeneous maxwell equations, \triangledown ^{a}F_{ab} = -4\pi j_{b} and \triangledown _{[a}F_{bc]} = 0, and show they can be put in terms of differential forms as dF = 0 and d*F = 4\pi *j (here * is the hodge dual defined for any p - form \alpha as (*\alpha )_{b_1...b_{n-p}} = \frac{1}{p!}\alpha ^{a_1...a_p}\epsilon _{a_1...a_pb_1...b_{n-p}} where n is the dimension of the manifold and \epsilon is the natural volume element for the manifold i.e. a totally anti - symmetric nowhere vanishing continuous tensor field).

The Attempt at a Solution

Since the exterior derivative d is independent of the choice of derivative operator, I chose for convenience the unique metric compatible derivative operator \triangledown _{a} because \triangledown _{c}\epsilon _{a_1...a_p} = 0 identically and this simplifies the calculation. The homogenous ones are trivial since (dF)_{ba_1a_2} = 3\triangledown_{[b}F_{a_1a_2]} = 0. The inhomogeneous ones are really starting to annoy me . This is 4 dimensional space - time so we have that *F_{b_1b_2} = \frac{1}{2}F^{a_1a_2}\epsilon _{a_1a_2b_1b_2} hence (d*F)_{cb_1b_2} = 3\triangledown _{[c}*F_{b_1b_2]} = \triangledown _{c}*F_{b_1b_2} - \triangledown _{b_1}*F_{cb_2} + \triangledown _{b_2}*F_{cb_1} (where I have assumed the anti - symmetry of the hodge dual of the EM field strength tensor to combine terms). Plugging in the equation for the hodge dual gives us (d*F)_{cb_1b_2} = \frac{1}{2}(\epsilon _{a_1a_2b_1b_2}\triangledown _{c}F^{a_1a_2} - \epsilon _{a_1a_2cb_2}\triangledown _{b_1}F^{a_1a_2} + \epsilon _{a_1a_2cb_1}\triangledown _{b_2}F^{a_1a_2}). On the other hand, 4\pi (*j)_{b_1b_2b_3} = 4\pi j^{a_1}\epsilon _{a_1b_1b_2b_3} = \triangledown _{r}F^{a_1r}\epsilon _{a_1b_1b_2b_3}. Has my work been correct so far? This is where I'm stuck because the two different equations (the one for the hodge dual of the 4 - current density and the one for the exterior derivative of the hodge dual of the EM tensor) are being summed over totally different indices, as you can see, so I cannot begin to even see how to resolve the two so they can be equal.

 

[WannabeNewton]

Ah ok I got it. It was the form of the final pair of equations written above that threw me off with their unsettling nature and the stagnation stemmed from the equation we started with. In fact, if we had instead started with *(d*F) = -4\pi j, instead of what the book asked to start with, then the solution would have been much more obvious and saved me some tine :). Anyways, we take (d*F)_{cb_1b_2} = (\epsilon _{a_1a_2b_1b_2}\triangledown _{c}F^{a_1a_2} - \epsilon _{a_1a_2cb_2}\triangledown _{b_1}F^{a_1a_2} + \epsilon _{a_1a_2cb_1}\triangledown _{b_2}F^{a_1a_2}) and multiply both sides by \epsilon ^{b_1b_2b_3c} to get \epsilon ^{b_1b_2b_3c}(d*F)_{b_1b_2b_3} = (\delta ^{[b_3 c]}_{a_1a_2}\triangledown _{b_3}F^{a_1a_2} - \delta ^{[b_2 c]}_{a_1a_2}\triangledown _{b_2}F^{a_1a_2} + \delta ^{[b_1 c]}_{a_1a_2}\triangledown _{b_1}F^{a_1a_2}) = \triangledown _{b_3}F^{b_3c} - \triangledown _{b_2}F^{b_2c} + \triangledown _{b_1}F^{b_1c} = \triangledown _{b_1}F^{b_1c} = -4\pi j^{c} therefore \epsilon _{b_1b_2b_3c}(d*F)^{b_1b_2b_3} = *(d*F)_c = -4\pi j_{c} so **(d*F)_{a_1a_2a_3} = (-1)^{1 + 2(4 - 2)}(d*F)_{a_1a_2a_3} = -(d*F)_{a_1a_2a_3} = -4\pi *j_{a_1a_2a_3} thus (d*F)= 4\pi *j