Variando la acción de Dirac con formas diferenciales

La acción de Dirac en un espacio-tiempo curvo se puede escribir en términos de vierbein { mi a } y conexión de giro { ω a b } formas diferenciales. Deja que el campo de espinor ψ interpretarse como un valor de espinor 0 -formar y definir el 1 -forma γ = γ a mi a , dónde { γ a } son las matrices gamma. La derivada covariante de espinor está dada por

D ψ = d ψ + 1 4 ω a b [ γ a , γ b ] ψ

La acción estándar de Dirac toma la forma

I = i METRO ψ ¯ γ D ψ

dónde es el operador dual de Hodge. Ahora me gustaría variar esta acción con respecto al velo. En el apéndice de este libro , la ecuación (A.115) afirma que la variación de la acción con respecto al velo está dada por

d I = METRO i ψ ¯ γ a D ψ d mi a

pero no puedo mostrar esto. Aquí está mi intento

d I = i METRO ψ ¯ d γ D ψ + ψ ¯ γ d ( D ψ ) = i METRO ψ ¯ γ a d mi a D ψ + ψ ¯ γ d ( D ψ )

donde he asumido las matrices gamma { γ a } , a pesar de tener un índice de veilbein, no se ven afectados por la variación, por lo tanto d γ = d ( γ a mi a ) = γ a d mi a . El primer término que puedo reorganizar para

i METRO ψ ¯ γ a D ψ d mi a

donde acabo de invertir el orden del producto de cuña, seleccionando un signo menos. Esto me da la variación que afirma el autor, pero todavía tengo que lidiar con la segunda parte. Esto contiene el término d ( D ψ ) . Sé que el dual de Hodge debería depender del velo porque el autor ha utilizado este hecho en la ecuación (A.107) por lo que esta variación no desaparecerá en general. No estoy seguro de cómo evaluarlo. Idealmente me gustaría que desapareciera.

Cualquier ayuda sería muy apreciada.

¿Puedes escribir el nombre del libro?
@ Matt0410, intente reemplazar γ con γ γ γ .

Respuestas (1)

Si tiene una torsión que se desvanece, entonces creo que puede hacer el siguiente truco:

ψ ¯ γ d ( D ψ ) = ψ ¯ γ a D ψ d mi a = ψ ¯ γ a D ψ d mi b ( mi a mi b )
Desde D y d conmutar (más la condición de torsión que se desvanece) este término es una derivada total, porque D d mi a = 0 = D ( mi a mi b ) . Por supuesto, para que esto tenga sentido, los índices deben ser índices de Lorentz (es decir, índices de marco, no de coordenadas), de modo que el operador de Hodge esté relacionado con la métrica eta, lo que significa que D ϵ a b C d = 0 . Acabo de explotar la simetría del producto de Hodge para esto.