2
$\begingroup$

In the language of differential forms, Maxwell's equations are

$$dF=0,\quad d\star F= J,\quad dJ=0.$$

If we write the dual field as $$\star F=\epsilon_{\alpha\beta\mu\nu}F^{\alpha\beta}\,dx^\mu\wedge dx^\nu,$$ by the Bianchi identity one can see that $$\partial_\mu\,(\star F)^{\mu\nu}=0,$$ such that $(\star F)^{\mu\nu}$ is a conserved quantity. Please correct me if the indices on this are wrong however

Some authors seem to equate this equation to $d\star F=0$, however this doesn't seem right to me as then the second Maxwell equation listed would always be equal to zero (I don't see where I have made assumptions of the absence of sources so far), and also if we explicitly write it out we have

$$d\star F=\frac{1}{2}\epsilon_{\alpha\beta\mu\nu}\frac{\partial}{\partial x^{\lambda}}F^{\alpha\beta}\,dx^\lambda\wedge dx^\mu\wedge dx^\nu,$$

which is not the same. Furthermore, the index of the derivative is not present in the levi civita and so the Bianchi identity cannot be used. So my question is if there is a relation between the exterior and partial derivative here, or if in any situation the two equations

$$\partial_\mu\,(\star F)^{\mu\nu}=0,\quad d\star F=0,$$ mean the same thing.

Another confusion I have here however is that the result for this computation on Wikipedia is the following

$$d\star F=\frac{1}{6}\epsilon_{\beta\gamma\delta\eta}\frac{\partial}{\partial x^{\alpha}}F^{\alpha\beta}\,dx^\gamma\wedge dx^\delta\wedge dx^\eta,$$

so I am unsure if I am doing the calculation correct.

$\endgroup$
1

1 Answer 1

1
$\begingroup$

In standard notation, $F=\frac{1}{2}F_{ab}dx^a \wedge dx^b$ and $\star F =\frac{1}{4}F^{ab}\epsilon_{abcd}dx^c\wedge dx^d$.

Then $d \star F = \frac{1}{4}\partial_a(F^{bc}\epsilon_{bcde})dx^a \wedge dx^d \wedge dx^e$. This is what we have called $J$. (Note that sometimes what we have defined to be $J$ is defined as $\star J$ instead).

$\partial_\mu(\star F)^{\mu\nu}$ is identically zero as you mention, which ultimately arises from $F=dA$.

$d \star F$ is $\bf{not}$ equivalent to $\partial_\mu(\star F)^{\mu\nu}$. But obviously in the absence of any source, they happen to take the same value of zero.

As for what you have found on wikipedia, I believe you have missed out a factor of $\sqrt{-g}$, which then gives the corresponding result for EM in curved spacetime ($g$ is the metric).

$\endgroup$
6
  • $\begingroup$ Thanks for your answer! What then is the differential form version of my equation? If I set $J^{\mu\nu}=\star F$ Would it be something like $$d(\star J)=0,$$ because that seems odd to me as it would just return $dF=0$ right? $\endgroup$ Commented Feb 21, 2022 at 17:50
  • $\begingroup$ $J=d \star F$, so $dJ=0$ since $d^2=0$. Is this what you are after? Why are you saying $J=\star F$? $\endgroup$ Commented Feb 21, 2022 at 17:57
  • $\begingroup$ I don't mean the one-form current $J$ from the Maxwell equation, I mean the conserved two-form current which satisfies $$\partial_\mu (\star F)^{\mu\nu}=\partial_\mu J^{\mu\nu}=0.$$ I want to know how I should write the equation for this current in differential forms. $\endgroup$ Commented Feb 21, 2022 at 19:00
  • $\begingroup$ It’s already written in terms of differential forms: $F$ is a differential form. What precisely are you after? $\endgroup$ Commented Feb 22, 2022 at 0:38
  • $\begingroup$ I would like to write the equation in my last comment in terms of an exterior derivative if possible. $\endgroup$ Commented Feb 22, 2022 at 10:01

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.