Construcción del invariante lagrangiano de interacción bajo transformaciones de isospín SU(2)SU(2)SU(2)

El problema que se plantea aquí es, como dice el título, construir un Lagrangiano que sea invariante con respecto a S tu ( 2 ) transformaciones. Presentaré primero el contexto y la razón de mi cuestionamiento y luego formaré la pregunta al final.

El problema físico es construir el Lagrangiano fenomenológico más simple del siglo pasado para la dispersión de NN a través de una interacción de piones con invariancia de isospín. Tratamos aquí solo con la invariancia de isospín y no nos importa la simetría de Lorentz.

Clasificamos los tres piones como un triplete de piones en S tu ( 2 ) representación adjunta, que es un espacio vectorial con tres dimensiones (a partir de ahora escribiremos las representaciones como Dalgo). También clasificamos el protón y el neutrón como un doblete de S tu ( 2 ) D 1 / 2 representación, que es un espacio 2d con pag y norte como vectores base.

En mi entendimiento (que puede estar equivocado y luego debe corregirse) la construcción del Lagrangiano invariante se deriva de la construcción dentro de los dos espacios de representación. D 1 y D 1 / 2 invariantes tanto del doblete como del triplete.

En la representación D1/2 tenemos como invariante el término ψ T ψ , dónde ψ representa el jubón y T para el símbolo de la daga.

Mi problema viene cuando tengo que mezclar este término con el triplete ϕ de los piones en la D1 repr. Si solo tomo el término ψ T ψ y ponlo como está en la repetición D1 y multiplícalo por ϕ Seguramente no tengo un invariante (¿considerando que la cantidad \psi ^T \psi permanece en la misma forma?).

Lo que he visto en la práctica es que uno debe tomar el término Φ = τ k ϕ k , y luego construye el invariante como L i norte t = ψ T Φ ψ = ψ T ϕ k τ k ψ . τ son las matrices de Pauli en forma de 2x2 como generadoras del grupo SU(2).

Pregunta :

Lo que no entiendo es cómo este término es invariante por construcción en ambos espacios de representación. Esto se debe a que el término Φ es un termino que como veo pertenece, no al espacio D1 sino al espacio de matrices 2x2 donde los generadores estan en forma 2x2 y funcionan como vectores base. Lo que creo que es preocupante (¿y probablemente por las razones equivocadas?) es que, de esta manera, mi invariante no parece pertenecer a los dos espacios de representación.

Entonces, ¿cómo se justifica esta prescripción? ¿Debe uno, para la construcción de invariantes en ambos espacios, trabajar en el espacio del producto directo de los dos o debe encontrar las representaciones irreductibles y luego construir invariantes allí de alguna manera? O si el trabajo de uno debe basarse en los papeles:

Documentos -

  1. S. Coleman, J. Wess y B. Zumino, Phys. Rev. 177, 2239 (1969).

  2. CG Callan, S. Coleman, J. Wess y B. Zumino, Phys. Rev. 177, 2247 (1969).

O al final, uno debería encontrar cómo representar los objetos de la representación D1/2 a la representación D1 y luego construir el invariante. Es obvio que en algún lugar del camino me perdí. Solo por favor, si esto es solo un problema de encontrar las representaciones irreducibles del producto directo de D1 y D1/2, aclare cómo se debe construir la interacción y trabajaré en el problema.

Nota: uno puede encontrar tales lagrangianos y una discusión más detallada en artículos como

  1. http://www.sciencedirect.com/science/article/pii/0370157374900088

  2. http://www.sciencedirect.com/science/article/pii/S0370157387800029

¿Alguien puede suponer por qué la publicación fue votada negativamente? Si hay algún punto que no está claro, con gusto haría comentarios o ediciones. Gracias.

Respuestas (1)

Consideremos el isospin a través de las dimensionalidades de los multipletes, que cuentan mejor los estados, por lo que el isoespinor fermión es un doblete, 2 , y el isovector escalar es un triplete, 3 , el adjunto.

Entonces, desde 2 2 3 = 5 3 3 1 , y solo te interesa el singlete del término de interacción de Lagrange, tienes que ver cómo es ivariante.

La isorotación genérica SU(2) en la definición (doblete, D 1 / 2 ) la representación es tu = Exp i θ τ , manifiestamente unitario, tu tu = 1 1 .

Bajo esta rotación genérica,

ψ tu ψ , ψ ψ tu , ϕ τ tu ϕ τ tu = ϕ ( tu τ tu ) = ( ϕ 2 θ × ϕ + . . . ) τ = = ϕ ( τ   porque ( 2 θ ) + θ ^ × τ   pecado ( 2 θ ) + θ ^   θ ^ τ   ( 1 porque ( 2 θ ) ) )   .
El último término entre paréntesis especifica cómo el triplete de τ s ( vector de Pauli ) se transforma entre sí a través de la transformación de similitud, es decir, cómo el triplete, D 1 , los índices adjuntos se transforman en la parte simétrica (triplete) de la 2 2 . (Esto no es más que la célebre [fórmula de rotación de Rodrigues] .) Este procedimiento de rotar un vector adjunto mediante una operación doble sobre los índices fundamentales del vector de Pauli saturándolo, en cambio , se generaliza a todos los grupos, por lo que, en SU(3) de QCD, por ejemplo, donde las matrices de 8x8 serían enormes y desordenadas, pero el "vector de Gell-Mann" de 3x3 es escaso y manejable.

Entonces, manifiestamente,

ψ tu tu ϕ τ tu tu ψ = ψ ϕ τ ψ   ,
un invariante, está bien. Realmente no es diferente a componer momentos angulares de dos espinores con un vector y extraer el singlete.

Gracias profesor, agradezco su respuesta y ayuda. Preguntas menores: escribes 2x2x3 y no 2x3 para el producto directo de representaciones; es porque tenemos dos iso-fermiones en la dispersión o porque estás usando ambos ψ y ψ ¿daga?
Además, ¿podemos decir que la transformación de ϕ t es una rotación de un vector mostrando que el valor absoluto de ϕ sigue siendo el mismo; pero ¿en qué espacio vectorial tiene lugar esta rotación? ¿Por qué esa rotación nos da la transformación del vector adjunto en la representación fundamental (o lo he entendido mal)? Y sólo para ser más precisos: cómo y qué son ahora el término en ambos espacios de representación que ahora son invariantes; o tenemos las invariantes ahora en otro espacio? Nuevamente, gracias y si hay alguna referencia de donde podría estudiar, infórmeme.
Dos isoespinores, cada uno en su propio espacio 2d, se combinan en un isovector 3d, ψ τ i ψ , que está punteado en un isovector de magnitud fija ϕ i para producir el isosinglet. Todas las isorotaciones están en el espacio interno de isospín, pero son formalmente idénticas a las rotaciones espaciales. Aprende sobre el grupo de rotación en los libros básicos de mecánica cuántica, donde debe hacer todos los ejercicios de momento angular para comprender la teoría básica de representación de grupos.
¿Puedo decir que la transformación de semejanza de τ k implica un cambio de base en el espacio del álgebra ya que el álgebra es isomorfa a la representación adjunta por definición de la última como un mapa del álgebra? Así que cambiamos la base del triplete de φ a la base de τ. Gracias.
Hasta cierto punto, podrías. Pero, este cambio de base es una rotación, la isorotación inversa de φ que viste funcionó.