Ecuación de movimiento para modelo sigma quiral no lineal

Estoy luchando por derivar las ecuaciones de movimiento para el modelo sigma no lineal que se convierte en el modelo WZW más adelante, en el libro CFT de Francesco et. Alabama. El fragmento relevante está debajo. La acción está dada por

S = 1 4 a 2 d 2 X  Tr ( m gramo 1 m gramo )
donde aparentemente conseguimos variando gramo gramo + d gramo
d S = 1 2 a 2 d 2 X  Tr ( gramo 1 d gramo m ( gramo 1 m gramo ) ) .
Parece que no puedo llegar a este resultado.

Traté de calcularlo de la siguiente manera

d  Tr ( m gramo 1 m gramo ) = Tr ( m d gramo 1 m gramo + m gramo 1 m d gramo ) = Tr ( m ( gramo 1 d gramo gramo 1 ) m gramo + m gramo 1 m d gramo ) = Tr ( ( m gramo 1 ) d gramo gramo 1 m gramo gramo 1 d gramo ( m gramo 1 ) m gramo ) + 2 m gramo 1 m d gramo ) =
usando m gramo 1 = gramo 1 m gramo gramo 1 y la ciclicidad en la línea tres. Aunque traté de integrarlo parcialmente de diferentes maneras, no puedo llegar al mismo resultado.

Supongo que debe haber una mejor manera de derivar esto. En particular, no entiendo el comentario en el libro (abajo) en el que derivan alguna fórmula para A , B independiente de gramo , como es exactamente gramo que aparece en la variación anterior. Tal vez alguien podría indicarme la dirección correcta, con gusto completaría la solución aquí.

Francisco et.  Alabama.

Respuestas (1)

Podrías hacer algo peor que estudiar los documentos de Gürsey 1960-1 donde descubre estos modelos quirales (en 4D). Sin el término topológico revelador, lo que escribe aún no es el modelo WZW : es el modelo quiral simple.

En cualquier caso, comenzó bien, pero no prosiguió su cálculo hasta su conclusión. Integrando por partes dentro de la integral, ciclando dentro de la traza, y usando la identidad para la variación y derivada de la inversa (y su atroz consecuencia gramo 1 gramo = gramo 1 gramo gramo 1 gramo en el paso final), se obtiene

d  Tr ( m gramo 1 m gramo ) = Tr [ m d gramo 1 m gramo + m gramo 1 m d gramo   ] = Tr [ m ( gramo 1 d gramo gramo 1 ) m gramo ( m m gramo 1 )   d gramo ] = Tr [ m ( gramo 1 d gramo )   gramo 1 m gramo gramo 1 d gramo   m gramo 1 m gramo + m ( gramo 1 m gramo   gramo )   d gramo ] = Tr [ gramo 1 d gramo   m ( gramo 1 m gramo ) gramo 1 d gramo   m gramo 1 m gramo + m ( gramo 1 m gramo )   gramo d gramo + ( gramo 1 m gramo ) m gramo   gramo gramo 1 d gramo ] = 2 Tr [ gramo 1 d gramo     m ( gramo 1 m gramo ) ]   .
En el paso final, el segundo término cancela el cuarto.

Estas son maniobras estándar para modelos quirales, y en un rango muy limitado: no hay tantas. No son ajenos a (15.9), por supuesto, pero si lo sigue y no lo ayuda, simplemente siga la cascada formal anterior, aquí.

Y, sí, hay una mejor manera: los profesionales normalmente utilizan corrientes, j m = gramo 1 m gramo , para que la acción tome la forma transparente de Sugawara,

4 a 2   S = Tr [ j m j m ] 4 a 2   d S = 2 Tr [ j m d j m ] .

Ahora, desde d j m = gramo 1 m d gramo gramo 1 d gramo   j m , uno simplemente tiene

4 a 2   d S = 2 Tr [ gramo 1 d gramo   j m j m + m ( j m gramo 1 ) d gramo ] = 2 Tr [ gramo 1 d gramo   j m j m j m j m   gramo 1 d gramo + m ( j m )   gramo 1 d gramo ] = 2 Tr [ gramo 1 d gramo   m ( j m ) ] .

Este lenguaje bien podría salvar la cordura de uno con la introducción de, por ejemplo, un término WZW incrustado en 7D.

Gracias por la pista sobre la consecuencia atroz. gramo gramo 1 = . . .