# Question about simple permutation of covariant derivatives

+ 3 like - 0 dislike
137 views

I must to compute value $$[[D_{\mu}, D_{\nu}],D_{\lambda}]A^{\rho}.$$ It is equal to $$[D_{\mu}, D_{\nu}]D_{\lambda}A^{\rho} - D_{\lambda} ([D_{\mu}, D_{\nu}]])A^{\rho} - [D_{\mu}, D_{\nu}]D_{\lambda}A^{\rho} = -D_{\lambda} ([D_{\mu}, D_{\nu}])A^{\rho}.$$ So, the question: can I formally take $A^{\rho}$ under the sign of the derivative for using the identity $[D_{\mu}, D_{\nu}]A^{\rho} = R^{\rho}_{\quad \sigma \mu \nu}A^{\sigma}$ and, afer that, take $A^{\sigma}$ outside the derivative? I'm afraid that no, but I hope that it is possible.

This post imported from StackExchange Physics at 2014-03-05 14:53 (UCT), posted by SE-user Andrew McAddams

+ 1 like - 0 dislike

$[[D_{\mu}, D_{\nu}],D_{\lambda}]A^{\rho} = [D_{\mu}, D_{\nu}]D_{\lambda}A^{\rho}-D_{\lambda}[D_{\mu}, D_{\nu}]A^{\rho}$

$=-R^{\tau}_{{\lambda}\mu \nu}D_{\tau}A^{\rho}+R^{\rho}_{\sigma \mu \nu}D_{\lambda}A^{\sigma}- D_{\lambda}(R^{\rho}_{\sigma \mu \nu}A^{\sigma})$

$=-R^{\tau}_{{\lambda}\mu \nu}D_{\tau}A^{\rho}+ R^{\rho}_{\sigma \mu \nu ; \lambda}A^{\sigma}$

When you cycle over $\mu, \nu, \lambda$ you will need/get the first and second bianchi identities

1st BI: $R^{\tau}_{ \mu \nu \lambda}+ R^{\tau}_{\lambda \mu \nu }+ R^{\tau}_{\nu \lambda \mu } = 0$

2nd BI: $R^{\rho}_{\sigma \mu \nu ; \lambda}+R^{\rho}_{\sigma \lambda \mu ; \nu}+R^{\rho}_{\sigma \nu \lambda ; \mu}=0$

This post imported from StackExchange Physics at 2014-03-05 14:53 (UCT), posted by SE-user Philip Gibbs
answered Nov 22, 2013 by (650 points)

 Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead. To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL. Please consult the FAQ for as to how to format your post. This is the answer box; if you want to write a comment instead, please use the 'add comment' button. Live preview (may slow down editor)   Preview Your name to display (optional): Email me at this address if my answer is selected or commented on: Privacy: Your email address will only be used for sending these notifications. Anti-spam verification: If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:p$\hbar\varnothing$sicsOverflowThen drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds). To avoid this verification in future, please log in or register.