¿De dónde viene la ruptura de simetría GUT U(1)U(1)U(1)?

En GUT, uno comienza con un grupo más grande, como S tu ( 5 ) , que luego se divide en grupos más pequeños, por ejemplo

S tu ( 5 )     S tu ( 3 ) × S tu ( 2 ) × tu ( 1 )

Esto se puede ver, por ejemplo, mirando el diagrama de Dynkin para S tu ( 5 ) : La eliminación de un nodo nos deja con los diagramas de Dynkin para S tu ( 3 ) y S tu ( 2 ) .

Mi problema es entender dónde tu ( 1 ) viene de. He leído varias afirmaciones al respecto, pero no pude encajar las piezas del rompecabezas. Los diagramas de Dynkin están al nivel de las álgebras de Lie. Eliminar un nodo significa que eliminamos un generador. Por ejemplo, en este folleto de 2010 del curso Symmetries in Physics de Michael Flohr:

Al eliminar un nodo, el rango de la subálgebra se reduce en uno y las raíces simples son un subconjunto de las raíces simples originales. En el nivel de los grupos, encontramos así,

GRAMO = GRAMO 1 × GRAMO 2 × tu ( 1 ) ,
donde el adicional tu ( 1 ) el factor proviene del generador de Cartan dejado de lado. Por ejemplo, S tu ( norte + metro ) puede reducirse de esta manera a
S tu ( norte ) × S tu ( metro ) × tu ( 1 ) .
Este es el ansatz clásico para un GUT: S tu ( 5 ) se rompe en
S tu ( 3 ) × S tu ( 2 ) × tu ( 1 ) .

  • En este artículo de John Baez se afirma que S tu ( 3 ) × S tu ( 2 ) × tu ( 1 ) no es un subgrupo de S tu ( 5 ) y se usa algo de homomorfismo para justificar por qué tu ( 1 ) aparece

EDITAR:

En Lie Algebras In Particle Physics: from Isospin To Unified Theories Georgi escribe:

"Los generadores de Cartan que se han quedado fuera generan tu ( 1 ) factores"

y mi problema es entender por qué este es el caso.

¡Cualquier idea para aclarar esto sería genial!

Respuestas (1)

  1. Árbitro. 1 no parece mencionar una ruptura de simetría tu ( 1 ) que pertenece a la parte de S tu ( 5 ) que no está en el modelo estándar. En esta respuesta, supondremos que OP realmente está preguntando sobre la hipercarga débil tu ( 1 ) factor de calibre del modelo estándar.

  2. En el nivel de álgebra de Lie, recuerde que el álgebra de Lie s tu ( norte ) consiste en Hermitian traceless norte × norte matrices y tiene rango norte 1 . En la inclusión

    s tu ( norte ) rango  norte 1 s tu ( metro ) rango  metro 1 tu ( 1 )     s tu ( norte + metro ) rango  norte + metro 1 ,
    la subálgebra abeliana máxima [de hermítica diagonal sin rastro ( norte + metro ) × ( norte + metro ) matrices] es igual en ambos lados. El álgebra de Lie del lado izquierdo (derecho) es reductivo ( simple ), respectivamente. Un generador de Cartan sin rastro para lo anterior. tu ( 1 ) es
    ( metro 1 norte × norte 0 norte × metro 0 metro × norte norte 1 metro × metro )     s tu ( norte + metro ) .

  3. Ahora consideremos a nivel de grupo. Definir

    k   :=   gramo C d ( norte , metro ) , norte   :=   norte / k y metro   :=   metro / k ,
    para que los enteros norte y metro son coprimos. El homomorfismo del grupo de Lie
    GRAMO   :=   S tu ( norte ) × S tu ( metro ) × tu ( 1 )     ( gramo , h , α )   Φ   ( α metro gramo 0 norte × metro 0 metro × norte α norte h )     S tu ( norte + metro )
    no es inyectable . De hecho, el núcleo
    k mi r ( Φ )     Z norte metro / gramo C d ( norte , metro )
    es generado por los elementos
    ( mi i 2 π j / norte 1 norte × norte ,   mi i 2 π j / metro 1 metro × metro ,   mi i 2 π j k / norte metro )     GRAMO , j     { 1 , , k } .
    el grupo de la mentira GRAMO no es un subgrupo de S tu ( norte + metro ) , pero el grupo cociente
    GRAMO / k mi r ( Φ )     GRAMO / Z norte metro / gramo C d ( norte , metro )
    es un subgrupo de S tu ( norte + metro ) .

Referencias:

  1. JC Baez, Colectores de Calabi-Yau y el modelo estándar, arXiv:hep-th/0511086 .
Me pregunto si conoces esto physics.stackexchange.com/q/567129/42982 ?