La curvatura de dos formas está definida por
Run segundoΨ = [Da,Db] Ψ .
Aquí
Da
es la derivada covariante
sin términos de calibre .
Run segundo
toma valores en la representación de Dirac del álgebra de Lorentz Lie. Así, realmente la relación es
Ra b α βΨβ= [Da,Db]Ψα
dónde
α , β
son índices de espinor de Dirac. Compare esto con el tensor de Riemann más familiar
Run segundomvXv= [Da,Db]Xm.
Como el tensor de Riemann es antisimétrico en
μ , v
podemos considerarlo también como una forma de 2 que toma valores en una representación del álgebra de Lorentz Lie. Por supuesto, esta representación es la representación de 4 vectores.
La representación de Dirac del álgebra de Lie se realiza mediante
ϵμ ν↦14ϵμ νγmγv
que está bajo una transformación de Lorentz infinitesimal por
ϵμ ν
,
Ψ ↦ Ψ +14ϵμ νγmγvΨ .
Esto significa que
Run segundo=14Run segundo _ _γsγt.
Ahora definamos el tensor de Ricci por
Run segundo=Ramμ segundo=Run s t bgramos t.
Entonces, a partir de la relación fundamental de anticonmutación de las matrices gamma, podemos escribir
Run segundoγb=12Run s t b(γsγt+γtγs)γb=12Run s t bγsγtγb−12(Run segundo _ _+Ra t b s)γtγsγb.(1)
Aquí he usado la simetría del tensor de Riemann,
Run s t b+Run segundo _ _+Ra t b s= 0
. Nótese que el primer término es precisamente
2Run sγs
. Ahora
Ra t b s= −Run t s b
y así un reetiquetado de índices contraídos en el último término muestra que este término también contribuye
2Run sγs
. Para el término medio, use la relación de anticonmutación para encontrar
γtγsγb=γbγtγs− 2gramotb _γs+ 2gramos bγt.(2)
Por eso,
Run segundo _ _γtγsγb= −Run b t sγbγtγs− 2Rams mγs+ 2Ramm tγt= −Run sγs+ 4Run sγs.
Ahora tenemos que (1) es
Run segundoγb= 6Run segundoγb− 2Run segundoγb
tan claramente
12Run segundoγb=Run segundoγb(3)
que es una de las identidades en su pregunta. El otro debería resultar del uso de las relaciones de anticonmutación y (3).
usuario48875
usuario48875
petirrojo
usuario48875
petirrojo
usuario48875