estoy tratando de mostrar que
( yoγm∂m- miγmAm)2= ( yo∂m- miAm)2−mi2σμ νFμ ν,
dóndeσμ ν=i2[γm,γv]
.
hasta ahora tengo
( yoγm∂m- miγmAm)2=γmγv( yo∂m- miAm) ( yo∂v- miAv) = ( yo∂m)2+ ( miAm)2− yo miγmγv(∂mAv+Am∂v)= ( yo∂m- miAm)2+ yo mi∂mAm+ yo miAm∂m−12yo ( _γmγv+ 2ημ ν−γvγm) (∂mAv+Am∂v)= ( yo∂m- miAm)2−12yo ( _γmγv−γvγm) (∂mAv+Am∂v)= ( yo∂m- miAm)2- miσμ ν(∂mAv+Am∂v) ,
que está cerca, pero no del todo. puedo mostrar eso
σμ ν∂mAv=12σμ νFμ ν
, por lo que tendría el resultado correcto si el
Am∂v
término se desvanece. Pero no tengo un buen argumento de por qué ese sería el caso. ¿Por qué sería eso?