7
$\begingroup$

In books about group theory written for physicists, there's a strange procedure used to find the roots of a Lie algebra. The steps are:

  1. Write down the fundamental representation. This is the 'physicist's' fundamental representation, i.e. the one that just takes the matrix representatives for a matrix Lie algebra.
  2. Extract the Cartan generators in this representation and hence the weights of the fundamental.
  3. Take all possible differences of pairs of these weights to find candidate roots.
  4. Sometimes this gives too many roots. In this case, we throw out roots we know can't work, such as the ones that are integer multiples of other roots. If there are still too many, which happens rarely, we toss out more roots until we get the right number, while keeping the root diagram symmetrical.

This procedure is done in Georgi's Lie Algebras in Particle Physics and Zee's Group Theory in a Nutshell for Physicists. In both cases, the physicist can arrive at the roots for every semi-simple Lie algebra with almost no effort.

But why should this procedure work at all? Why must the roots be a subset of the differences of weights of the fundamental, and what's the rigorous way to 'throw out' unneeded roots? Is there a reason that this works when it does?


As requested in the comments, here's an example with $\mathfrak{so}(5)$. The fundamental representation contains Hermitian $5 \times 5$ matrices. Thus a Cartan sublagebra is spanned by $$H^1 = \begin{pmatrix} & -i & & & \\ i & & & & \\ & & & & \\ & & & & \\ & & & & \end{pmatrix}, \quad H^2 = \begin{pmatrix} & & & & \\ & & & & \\ & & & -i & \\ & & i & & \\ & & & & \end{pmatrix}$$ which may be diagonalized to $$H^1 = \text{diag}(-1, 1, 0, 0, 0), \quad H^2 = \text{diag}(0, 0, -1, 1, 0).$$ We thus read off the five weights $$w^1 = (-1, 0), \quad w^2 = (1, 0), \quad w^3 = (0, -1), \quad w^4 = (0, 1), \quad w^5 = (0, 0).$$ There are ten distinct nonzero differences of weights. We throw out the candidate roots $(2, 0)$ and $(0, 2)$ since they are twice $(1, 0)$ and $(0, 1)$, giving the eight roots of $\mathfrak{so}(5)$.

$\endgroup$
3
  • $\begingroup$ Would you kindly apply points 1,2,3,4 on an example? Preferably not $\mathfrak{sl}_{n+1}$ maybe $\mathfrak{so}_5$? $\endgroup$ Apr 3, 2018 at 9:55
  • 1
    $\begingroup$ @ClémentGuérin Sure, I did $\mathfrak{so}(5)$ above. $\endgroup$
    – knzhou
    Apr 3, 2018 at 10:02
  • 4
    $\begingroup$ I need to think about this a bit more, but the general idea should be that the adjoint representation is realized inside $V\otimes V^*$ where $V$ is the fundamental representation. The non-zero weights there are precisely the roots, and they will be differences of weights of $V$. The extraneous weights then come fro the fact that $V\otimes V^*$ is larger than the adjoint representation. $\endgroup$ Apr 3, 2018 at 10:24

1 Answer 1

1
$\begingroup$

I think the reasoning behind this procedure is as follows: We know that the differences between weights in any representation are linear combinations of roots (though not all these combinations need be roots). In fact, we can prove that the set of these differences contain all the roots of the simple lie algebra. Because if any root were not included in this set, then this would imply that the creation or annihilation operator corresponding to that root acts as a null matrix on the representation space, and the lie algebra would not be simple. Therefore, for simple lie algebras, all the roots must be part of this set of differences.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .