El cargo U(1)U(1)U(1) de una representación

Mi pregunta es sobre la reducción de una representación de un grupo. S tu ( 5 ) a irreps del subgrupo S tu ( 3 ) × S tu ( 2 ) × tu ( 1 ) .

Por ejemplo, los pesos de la representación de 10 dimensiones de SU(5) son

ingrese la descripción de la imagen aquí

Uno puede identificar los irreps del subgrupo reagrupando las etiquetas de dynkin en ( ( a 3 a 4 ) , ( a 1 ) , a 2 ) tal que (que denota 1 por 1 ¯ ):

( 1 , 1 ) Y { ( 0 0 , 0 , 1 )

( 3 ¯ , 1 ) Y { ( 0 1 , ( 0 ) , 1 ¯ ) ( 1 1 ¯ , ( 0 ) , 1 ¯ ) ( 1 ¯ 0 , ( 0 ) , 0 )

( 3 , 2 ) Y { ( 1 0 , 1 , 1 ¯ ) ( 1 ¯ 1 , 1 ¯ , 1 ) ( 0 1 ¯ , 1 ¯ , 1 ) ( 1 0 , 1 ¯ , 0 ) ( 1 ¯ 1 , 1 , 0 ) ( 0 1 ¯ , 1 , 0 )

Mi problema es: ¿cómo puedo obtener el Y cargo de la tu ( 1 ) factor para cada uno de estos de las etiquetas de Dynkin?


Editar

El tensor métrico para SU(5) es así

GRAMO = 1 5 ( 4 3 2 1 3 6 4 2 2 4 6 3 1 2 3 4 ) .

Sin embargo en la referencia, Slansky, en la página 84 se hace el mismo ejercicio pero los ejes tienen valores negativos...

Y ~ W = 1 3 [ 2 1 1 2 ] .

¿Cómo es que no están de acuerdo?

Solo una recomendación de recursos: consulte el apéndice de Weinberg en Soluciones clásicas en la teoría cuántica de campos.

Respuestas (3)

En esta respuesta, seguiré la revisión de Slansky : "Teoría de grupos para la construcción de modelos unificados" y usaré los datos de la revisión y las mismas notaciones.

Los factores "U (1)" en el grupo ininterrumpido corresponden a "cargos centrales" que deben conmutar con los factores no abelianos. No es muy difícil probar que sus valores propios en los pesos fundamentales están dados por el componente correspondiente del peso en la raíz. Estos componentes están dados por:

λ ¯ i = GRAMO i j a j

Dónde a j son los componentes en la base de Dynkin como se indica en la pregunta. GRAMO i j es el tensor métrico definido en términos de la matriz de Cartan en la ecuación (4.11) en Slansky. Los valores de esta métrica para toda la clasificación de Cartan se dan en la tabla 7, página 82.

En el ejemplo dado en la pregunta cuando identificamos el S tu ( 3 ) Etiquetas de Dynkin con las dos primeras etiquetas de la S tu ( 5 ) peso y el S tu ( 2 ) etiqueta con el último, entonces la carga (central) U(1) es el tercer componente del peso en la base de la raíz.

Así viene dado por el producto escalar de la tercera fila del tensor métrico, que podemos leer como: 1 5 [ 2 , 4 , 6 , 3 ] con el peso

El resultado del producto escalar es 4 5 con el primero 3 pesas, 1 5 con el siguiente 6 pesos y 6 5 con el último peso.

Ahora bien, la ramificación no impone ningún requisito de normalización al cargo central. (Hay condiciones externas que pueden usarse para eso, pero esto estará fuera del alcance de la pregunta). Se impone la normalización para que la subrepresentación identificada con los quarks tenga la carga requerida a saber 1 3 . Esto significa que debemos elegir un factor de normalización tal que la carga 1 5 el subespacio se convierte 1 3 . Por tanto, el factor de normalización es 5 3 , por lo que los cargos correspondientes deben ser 4 3 Por el primero 1 3 para la próxima 6 pesos y 2 para el singlete.

Por supuesto, cada componente irreducible en la descomposición se caracteriza por una sola carga, como debería ser.

Muchas gracias por esta respuesta. Sin embargo, tengo un poco de problema con la referencia que diste: aunque hacen exactamente el mismo ejercicio, tienen un eje diferente: mira arriba, he ampliado la pregunta.
@usuario41746 S tu ( 5 ) es A 4 , por lo que el tensor métrico debe ser 4 × 4 matriz, consulte la primera matriz en la tabla 7, página 82. Su tercera fila para n=4 es solo el vector dado. No puedo ver este ejercicio en la página 84 (Esta página pertenece al apéndice y contiene las tablas 10 y 11a. Sin embargo, en la ecuación (3.3) de la página 16, Slansky obtuvo las mismas hipercargas que en la pregunta.
De hecho, había copiado la matriz incorrecta (se ha corregido anteriormente). Creo que no nos estamos refiriendo al mismo documento... Me refiero al ejemplo en Slanksy que está en el Capítulo 6 ecuación (6.9) en cds.cern.ch/record/134739/files/… , en este documento p 16 es sobre la irrep de los fermiones zurdos...
@ user41746, Lo siento, noté que usé a 1 , a 2 Para el S tu ( 3 ) etiquetas y a 4 Para el S tu ( 2 ) y en tu ejemplo usaste a 3 , a 4 por S tu ( 3 ) etiquetas y a 1 para SU(2). Por lo tanto, debe usar la segunda fila en GRAMO por tu ejemplo Obtendrá el mismo resultado con el factor de normalización. 1 3 .
@user41746, cont. Ahora, Slansky insiste en identificar el peso más alto del S tu ( 5 ) representación con mayor peso de la representación del quark después de la ruptura de simetría. Para eso necesita actuar sobre los pesos con una “matriz de proyección” dada en la ecuación 6.7. Después de la acción de la matriz de proyección se pierde la cuarta componente de los pesos, pero sin embargo, el vector dual U(1) se puede obtener insistiendo en que tiene un producto escalar constante con cada peso de subrepresentación. Como puede ver, todos los ejercicios conducen al mismo resultado para las hipercargas.
@DavidBarMoshe Su procedimiento tiene mucho sentido, pero todavía no estoy seguro de por qué Slansky obtiene un eje Hypercharge diferente. ¿Hay alguna ventaja en su procedimiento bastante complicado con matrices de proyección, etc.? ¿Y conoce algún recurso donde se expliquen cosas similares a lo que hizo aquí (y no lo que está haciendo Slansky)? me ayudaria mucho!
@DavidBarMoshe Lo que me molesta un poco sobre el procedimiento que describe aquí es que no usamos la base de Dynkin, sino que primero debemos multiplicar los pesos con el tensor métrico. Sin embargo, elegimos, por ejemplo, solo el tercer coeficiente si eliminamos el tercer nodo del diagrama de Dynkin. ¿Sabes cómo se puede justificar esto? El nodo en el diagrama de Dynkin corresponde a raíces simples y por lo tanto los coeficientes en la base de raíz simple. ¿Por qué necesitamos volver a transformar/cambiar nuestra base para obtener el correcto tu ( 1 ) cargos?
@JakobH El generador de la carga U(1) Y γ necesita, por definición, conmutar con todos los generadores raíz mi γ de los nodos no eliminados. El generador de Cartan-Weyl H i correspondiente al nodo eliminado no posee esta propiedad, pero su dual (llamado copeso) sí. La transformación de dualidad se puede lograr en el espacio de peso por medio del tensor métrico.
@DavidBarMoshe Eso tiene sentido, pero ¿por qué el nodo eliminado corresponde a un generador de Cartan-Weyl? Siempre pensé que cada nodo corresponde a una raíz simple. En la base de Dynkin tenemos los pesos en términos de la base de la raíz simple. Si los multiplicamos por el tensor métrico obtenemos los coeficientes en términos de los generadores de Cartan...

Es muy simple usar los cuadros jóvenes. De hecho, el S tu ( METRO + norte ) se descompone en S tu ( METRO ) × S tu ( norte ) × tu ( 1 ) donde la hipercarga se identifica (hasta una normalización general) con la matriz diagonal de bloque (sin rastro) d i a gramo ( norte , , norte , METRO , , METRO ) donde los dos bloques son múltiplos de la identidad con dimensiones METRO y norte respectivamente. Por lo tanto, una representación irreductible de S tu ( METRO ) × S tu ( norte ) a cargo de dos cuadros jóvenes con metro y norte las cajas tendrán hipercarga y = metro norte norte METRO .

Ejemplo en S tu ( 3 ) × S tu ( 2 ) × tu ( 1 ) S tu ( 5 ) : el adjunto 24 contiene ( 3 , 2 ) y = 5 S tu ( 3 ) × S tu ( 2 ) × tu ( 1 ) porque el 3 S tu ( 3 ) viene de norte = 4 cajas mientras que el 2 S tu ( 2 ) de norte = 1 cajas, y por lo tanto y = 4 2 1 3 = 5 .

En general, el tu ( 1 ) Los cargos no se fijan únicamente desde la representación. Aún así, puede encontrar una combinación lineal de etiquetas Dynkin que le da al tu ( 1 ) carga una vez que fijas la carga de un solo estado . En la imagen geométrica, el tu ( 1 ) los cargos corresponden a ejes que fijas en el espacio de peso. Esto es único si conoce los números cuánticos de un estado (p. ej. ( 1 , 1 ) Y debe ser el positrón, del que conoces la hipercarga, etc.).

Slansky trata esto en detalle en su revisión clásica "Teoría de grupos para la construcción de modelos unificados", cap. 6, alrededor de la ec. (6.9).