El problema que se plantea aquí es, como dice el título, construir un Lagrangiano que sea invariante con respecto a 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 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 representación, que es un espacio 2d con y 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. y invariantes tanto del doblete como del triplete.
En la representación D1/2 tenemos como invariante el término , 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 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 , y luego construye el invariante como 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 -
S. Coleman, J. Wess y B. Zumino, Phys. Rev. 177, 2239 (1969).
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
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 , 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, ) la representación es , manifiestamente unitario, .
Bajo esta rotación genérica,
Entonces, manifiestamente,
Constantino negro