In GUTs one starts with some larger group, like $SU(5)$, which is then broken into smaller groups, for example

$$SU(5) ~\longrightarrow~ SU(3) \times SU(2) \times U(1)$$

This can be seen, for example, by looking at the Dynkin diagram for $SU(5)$: Removing one node leaves us with the Dynkin diagrams for $SU(3)$ and $SU(2)$.

My problem is understanding where $U(1)$ comes from. I've read several statements about that, but couldn't fit the puzzle pieces together. Dynkin diagrams are one the level of Lie algebras. Removing one node means we remove one generator. For example, in this 2010 handout from the the course Symmetries in Physics by Michael Flohr:

By removing a node, the rank of the subalgebra is reduced by one, and the simple roots are a subset of the original simple roots. On the level of the groups, we thus find, $$G=G_1\times G_2 \times U(1),$$ where the additional $U(1)$ factor comes from the left out Cartan generator. For example, $SU(n+m)$ can be reduced in this way into $$SU(n)\times SU(m)\times U(1).$$ This is the classical ansatz for a GUT: $SU(5)$ gets broken into $$SU(3)\times SU(2)\times U(1).$$

  • In this paper by John Baez it is claimed that $SU(3) \times SU(2) \times U(1)$ is no subgroup of $SU(5)$ and some homomorphism is used the justify why $U(1)$ appears.


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

"The Cartan generator that have been left out generate U(1) factors"

and my problem is understanding why this is the case.

Any ideas to clarify this would be awesome!

  • $\begingroup$ I'm not entirely sure if this question is best at home here. Perhaps it'd be a better fit for Mathematics? $\endgroup$ – Danu Apr 16 '15 at 20:28
  • 1
    $\begingroup$ @Danu I don't think mathematicians talk a lot about symmetry breaking. Nevertheless, the mathematical term for what is going on here would be a great help, too. $\endgroup$ – Tim Apr 16 '15 at 20:31
  1. Ref. 1 does not seem to mention a symmetry-breaking $U(1)$, which must belong to the part of $SU(5)$ which is not in the standard model. In this answer, we will assume that OP is really asking about the weak hypercharge $U(1)$ gauge factor of the standard model.

  2. At the Lie algebra level, recall that the Lie algebra $su(n)$ consists of Hermitian traceless $n\times n$ matrices and has rank $n-1$. In the inclusion $$\underbrace{su(n)}_{\text{rank } n-1} \oplus \underbrace{su(m)}_{\text{rank } m-1} \oplus u(1)~\subset~ \underbrace{su(n+m)}_{\text{rank } n+m-1},$$ the maximal Abelian subalgebra [of diagonal Hermitian traceless $(n+m)\times(n+m)$ matrices] is the same on both sides. The Lie algebra on the left-hand (right-hand) side is reductive (simple), respectively. A traceless Cartan generator for the above $u(1)$ is
    $$\begin{pmatrix} -m{\bf 1}_{n\times n} & 0 \cr 0 & n{\bf 1}_{m\times m} \end{pmatrix}~\in~su(n+m).$$

  3. Ref. 1 makes the point that the Lie group homomorphism $$G~:=~SU(3) \times SU(2) \times U(1)~\ni~ (g,h,\alpha)~~\stackrel{\Phi}{\mapsto}~~ \begin{pmatrix} \alpha^{-2}g & 0 \cr 0 & \alpha^3 h \end{pmatrix}~\in~ SU(5) $$ is not injective. Here the $U(1)$ factor is the weak hypercharge $U(1)$. In fact, the kernel $${\rm Ker}(\Phi) ~\cong~\mathbb{Z}_6,$$ is generated by the element $$\left(e^{i2\pi/3}{\bf 1}_{3\times 3},~-{\bf 1}_{2\times 2},~e^{i\pi/3}\right)~\in~G.$$ The Lie group $G$ is not a subgroup of $SU(5)$, but the quotient group $G/{\rm Ker}(\Phi)$ is a subgroup of $SU(5)$.


  1. J.C. Baez, Calabi-Yau Manifolds and the Standard Model, arXiv:hep-th/0511086.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.