Pregunta sobre permutación simple de derivadas covariantes

debo calcular el valor

[ [ D m , D v ] , D λ ] A ρ .
es igual a
[ D m , D v ] D λ A ρ D λ ( [ D m , D v ] ] ) A ρ [ D m , D v ] D λ A ρ = D λ ( [ D m , D v ] ) A ρ .
Entonces, la pregunta: ¿puedo tomar formalmente A ρ bajo el signo de la derivada por usar la identidad [ D m , D v ] A ρ = R σ m v ρ A σ y, después de eso, tomar A σ fuera de la derivada? Me temo que no, pero espero que sea posible.

Respuestas (1)

[ [ D m , D v ] , D λ ] A ρ = [ D m , D v ] D λ A ρ D λ [ D m , D v ] A ρ

= R λ m v τ D τ A ρ + R σ m v ρ D λ A σ D λ ( R σ m v ρ A σ )

= R λ m v τ D τ A ρ + R σ m v ; λ ρ A σ

Cuando ciclas m , v , λ necesitará/obtendrá la primera y la segunda identidad de bianchi

1er BI: R m v λ τ + R λ m v τ + R v λ m τ = 0

2do BI: R σ m v ; λ ρ + R σ λ m ; v ρ + R σ v λ ; m ρ = 0