3
$\begingroup$

I apologize for this simple question, but I lost a factor of 2 and can't find it anymore, so now I'm looking on the internet, perhaps one of you has some information about its whereabouts. :-)

Consider the electromagnetic field tensor $F_{\mu\nu}$ which corresponds to a differential form $F =\frac12 F_{\mu\nu} dx^\mu \wedge dx^\nu$. The wedge product of $F$ with itself can be expressed as

$$ F \wedge F = \frac14 F_{\mu\nu}\mathcal F^{\mu\nu} $$

where $\mathcal F^{\mu\nu} = \frac12 \epsilon^{\mu\nu\sigma\tau}F_{\sigma\tau}$ is the dual field tensor.

Writing $A = A_\mu dx^\mu$ for the vector potential, we have

$$ \int_V F \wedge F = \int_V (d A) \wedge F = \int_V d(A \wedge F) = \int_{\partial V} A \wedge F$$

But it appears to me that the latter integral is equal to

$$ \dots = \int_{\partial V} dx^\mu\ A_\nu \mathcal F^{\mu\nu} .$$

Yet, at the same time, we can write

$$ \int_V dx^\alpha \frac12 F_{\mu\nu}\mathcal F^{\mu\nu} = \int_V dx^\alpha (\partial_\mu A_\nu)\mathcal F^{\mu\nu} = \int_V dx^\alpha \partial_\mu (A_\nu\mathcal F^{\mu\nu}) = \int_{\partial V} dx^\mu\ A_\nu \mathcal F^{\mu\nu} .$$

Clearly, that cannot be.

I have lost a factor of two. Where is it?

$\endgroup$
  • 3
    $\begingroup$ For starters, your second equation equate a $4$-form and a $0$-form... $\endgroup$ – Qmechanic Apr 4 '11 at 18:21
  • $\begingroup$ What at @Qmechanic said. Also, I'd check your definitions of wedge product and outer derivative and all other conventions you assumed. $\endgroup$ – Marek Apr 4 '11 at 18:34
  • $\begingroup$ The last line is also very bizarre, why is the integration measure over the spacetime volume called $dx^\alpha$? Should it be just $d^4 x$? $\endgroup$ – Luboš Motl Apr 4 '11 at 18:58
  • 3
    $\begingroup$ Just what everyone else said--it is very, very easy to double count factors of two depending on whether your convention absorbs the factorial factors into the antisymmetrization operator or the exterior derivative or whatever. $\endgroup$ – Jerry Schirmer Apr 4 '11 at 23:10
  • 1
    $\begingroup$ @Lubos: He is using nonstandard conventions, but the arguments are trivial to translate to normal notation. $dx^\alpha$ does mean $d^4x$, he just wanted to emphasize that there is no contraction of indices in this integral, it's all space, not over a surface. $\endgroup$ – Ron Maimon Sep 4 '11 at 0:15

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.