12
$\begingroup$

How can one prove the Bianchi identity of a non-Abelian gauge theory? i.e. $$ \epsilon^{\mu \nu \lambda \sigma}(D_{\nu}F_{\lambda \sigma})^a=0 $$

$\endgroup$

3 Answers 3

10
$\begingroup$

Hint: Use the Jacobi identity $$\sum_{\mu,\nu,\lambda~{\rm cycl.}} [D_{\mu},[ D_{\nu}, D_{\lambda}]]~=~0. $$

$\endgroup$
6
$\begingroup$

using Jacobi identity as mentioned in one of the answers, its very easy to prove the Bianchi identity

\begin{align}\tfrac{1}{ig} [D_\mu,\,[D_\nu,\,D_\lambda]]\psi &= [D_\mu,\,F_{\nu\lambda}] \psi \\ &= D_\mu (F_{\nu\lambda}\psi) - F_{\nu \lambda}D_\mu \psi \\ &= D_\mu F_{\nu\lambda}\psi + F_{\nu \lambda}D_\mu\psi - F_{\nu\lambda}D_\mu\psi \\ &= D_\mu F_{\nu\lambda}\psi \, . \end{align} Therefore, $$D_\mu F_{\nu\lambda} + D_\nu F_{\lambda\mu} + D_\lambda F_{\mu\nu} = 0$$ which proves the desired result.

$\endgroup$
1
  • 1
    $\begingroup$ Welcome to physics stack exchange. This site supports TeX style typesetting for mathematics. I edited your post to use this feature. Please take a look at how it was done so you can do it yourself in future posts. $\endgroup$
    – DanielSank
    Jun 27, 2015 at 7:31
2
$\begingroup$

Hint: use $$ [D_{\nu},D_{\mu}] = igF_{\nu \mu} $$

$\endgroup$

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.