En las GUTs se comienza con algún grupo mayor, como $SU(5)$ que luego se divide en grupos más pequeños, por ejemplo
$$SU(5) ~\longrightarrow~ SU(3) \times SU(2) \times U(1)$$
Esto puede verse, por ejemplo, observando el diagrama de Dynkin para $SU(5)$ : Eliminando un nodo nos quedan los diagramas de Dynkin para $SU(3)$ y $SU(2)$ .
Mi problema es entender dónde $U(1)$ viene de. He leído varias afirmaciones al respecto, pero no he podido encajar las piezas del puzzle. 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 Simetrías en física por 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 pues, $$G=G_1\times G_2 \times U(1),$$ donde el adicional $U(1)$ proviene del generador de Cartan que queda fuera. Por ejemplo, $SU(n+m)$ puede reducirse de este modo a $$SU(n)\times SU(m)\times U(1).$$ Este es el ansatz clásico para una GUT: $SU(5)$ se rompe en $$SU(3)\times SU(2)\times U(1).$$
- En este documento de John Baez se afirma que $SU(3) \times SU(2) \times U(1)$ no es un subgrupo de $SU(5)$ y se utiliza algún homomorfismo para justificar por qué $U(1)$ aparece.
EDITAR:
En Lie Algebras In Particle Physics: from Isospin To Unified Theories Georgi escribe:
"El generador de Cartan que se ha dejado fuera genera factores U(1)"
y mi problema es entender por qué es así.
¡Cualquier idea para aclarar esto sería genial!