Invariancia de calibre del lagrangiano de Yang-Mills

Estoy tratando de mostrar la invariancia de calibre del lagrangiano de Yang-Mills

L = 1 4 F m v a F m v , a + i , j norte ψ ¯ i ( d i j i α γ α d i j metro + gramo A α a γ α T i j a ) ψ j ,
reescribiéndola en términos de la derivada covariante D m = m i gramo A m a T a , por lo que se que F m v = i gramo [ D m , D v ] , (dónde F m v = F m v a T a ) y que se transforma como D m tu ( X ) D m tu 1 ( X ) bajo la transformación de norma. Estoy atascado con las siguientes dos preguntas:

  • Al evaluar la transformación del primer término, he visto la identidad

    1 4 F m v a F m v , a = 1 2 F m v a F m v , b tr [ T a T b ] = 1 2 tr [ F m v F m v ]
    se ha utilizado, pero no entiendo la segunda igualdad. Los componentes del tensor de campo de Yang-Mills son matrices, entonces, ¿cómo se justifica incluirlos en la traza? (Se entiende que eso T a matrices se ha normalizado de modo que tr [ T a T b ] = 1 2 d a b por cierto.)

  • Para el segundo término del lagrangiano he visto la igualdad

    i , j norte ψ ¯ i ( d i j i α γ α d i j metro + gramo A α a γ α T i j a ) ψ j = i , j norte ψ ¯ i ( i D i j , α γ α d i j metro ) ψ j ,
    sido utilizado, pero no entiendo cómo esto es cierto a menos que gramo A α a γ α T i j a = 0 para i j . Estoy muy ansioso por saber por qué se mantiene esta igualdad.

Respuestas (1)

En el primer punto te equivocas en la condición de normalización que es

Tr ( T a T b ) = 1 2 d a b
y no pudo ser d i j ya que estás rastreando los índices
Tr ( T a T b ) = T i j a T j i b
Con esto el primer resultado es trivial.

El segundo punto simplemente proviene de la definición de la derivada covariante D m = m i gramo A m a T a en el que se entienden los índices internos. Si las escribes obtendrás

( D m ) i j = m d i j i gramo A m a T i j a
En realidad
i ψ ¯ i ( D m ) i j γ m ψ j = i ψ ¯ i ( m γ m d i j i gramo A m a γ m T i j a ) ψ j = ψ ¯ i d i j i γ m m ψ j + gramo ψ ¯ i γ m A m a T i j a ψ j
que es exactamente lo que tienes en la segunda igualdad

¡Gracias! Su primer punto sobre los índices fue en realidad un error tipográfico de mi parte, lo siento, ya se ha corregido. Intentaré hacer uso de tu pista. Para la segunda parte, si los índices se entienden implícitamente, no veo por qué no estarían en el
... función delta y no en la derivada parcial directamente (sin ninguna función delta)? Bueno, entiendo que la derivada parcial no puede tener índices, pero ¿por qué la derivada sería cero para i j ?
La derivada parcial no tiene índices internos, no debería. De la misma manera que el campo de fotones no tiene índices internos. Hay que tener cuidado con los índices: m es un indio de Lorentz, a es un índice interno, por ejemplo, un índice de color si la teoría es S tu ( 3 ) , i , j son índices de espinor. No hay razón para que la derivada parcial tenga índices de espinor ni de color. Sin embargo, la derivada covariante depende de la representación de la teoría y, por lo tanto, tiene índices de espinor, ya que actúa de manera diferente en diferentes componentes del espinor debido a la T i j a .