Identidad del operador de Dirac separando matrices gamma

estoy tratando de mostrar que

( i γ m m mi γ m A m ) 2 = ( i m mi A m ) 2 mi 2 σ m v F m v ,
dónde σ m v = i 2 [ γ m , γ v ] .

hasta ahora tengo

( i γ m m mi γ m A m ) 2 = γ m γ v ( i m mi A m ) ( i v mi A v ) = ( i m ) 2 + ( mi A m ) 2 i mi γ m γ v ( m A v + A m v ) = ( i m mi A m ) 2 + i mi m A m + i mi A m m 1 2 i mi ( γ m γ v + 2 η m v γ v γ m ) ( m A v + A m v ) = ( i m mi A m ) 2 1 2 i mi ( γ m γ v γ v γ m ) ( m A v + A m v ) = ( i m mi A m ) 2 mi σ m v ( m A v + A m v ) ,
que está cerca, pero no del todo. puedo mostrar eso σ m v m A v = 1 2 σ m v F m v , por lo que tendría el resultado correcto si el A m v término se desvanece. Pero no tengo un buen argumento de por qué ese sería el caso. ¿Por qué sería eso?

Respuestas (1)

En tu última expresión, la derivada en m A v está actuando tanto en A y en los términos que le correspondan. En otras palabras, su última línea actuando sobre una función k es:

σ m v ( m A v + A m v ) k = σ m v ( m ( A v k ) + A m v k ) = σ m v ( m A v ) k + σ m v ( A v m + A m v ) k = σ m v ( m A v ) k = 1 2 σ m v F m v k
por lo tanto, como una identidad de operador, tiene
σ m v ( m A v + A m v ) = 1 2 σ m v F m v