# Good Basis for Lie Group Representations?

In $SU(2)$, all of the weight multiplicities of irreps are zero or one, so I can define a basis where each vector (defined modulo rescaling) is labeled uniquely by its weight. However, in $SU(3)$ this already doesn't work, as the zero weight in the adjoint representation has multiplicity 2. In this case, how can you distinguish them?

One thought I had that might work for finite dimensional Lie groups is to choose a highest weight vector and then use the lowering operators to produce from this vector a basis for the whole representation. Looking at the Kostant formula for the weight multiplicity, however, this is likely to produce an overcomplete basis. Is there a way perhaps to order the lowering operators that this doesn't happen?

I would also like to ask this question for finite group representations, but maybe this is enough for now.

• The dimensions of weight spaces of a given weight is given for finite dimensional irreducible representations of simple Lie groups by the Weyl Character Formula. Feb 21, 2018 at 18:17
• There are ways to produce bases —google for 'crystal bases'— but it is a considerably complicated endeavor! Feb 21, 2018 at 18:19
• Thank you Mariano! That's the search term I was looking for. Crystal basis is a strange name for this object though :).
– wzzx
Feb 21, 2018 at 18:24
• That redundancy is explained in every textbook which constructs the finite dimensional modules of a semisimple Lie algebra. I suggest you browse one! Feb 21, 2018 at 22:16
• For finite groups in general, I don't think there is much hope of doing anything nearly as nice as you want here. But for Coxeter groups there are some things one can do, by considering the Hecke algebra with the Kazhdan-Lusztig basis and using the cell structure of this. For type $A$ (i.e. $S_n$), this gives pretty much exactly what you want for the irreducibles, but for other types, it only gives it for some larger representations (and I have not thought too much about whether it is possible to describe nicely how to split off the irreducibles using this). Feb 22, 2018 at 7:06

The general context is this: you have a vector space $V$ and a commuting set of diagonalizable operators acting on $V$. If the common eigenspaces are one-dimensional, then any choice of eigenvectors gives you a basis, and different choices differ only by a diagonal change of basis matrix. But if some of the common eigenspaces have larger dimension, how should you find "natural" basis elements?
In the most well-studied situations, the pattern for producing large commutative families of operators goes as follows: you have a tower of (non-commutative) algebras $$A_1 \subseteq A_2 \subseteq A_3 \subseteq \cdots$$ and you attempt to study the restriction/induction rules for this tower. You realize that there are some obvious elements in the centralizer of $A_{n-1}$ inside $A_{n}$, which therefore produce endomorphisms of the restriction/induction functors. Collecting together all these "obvious" elements (for all $m \leq n$) in the various centralizers gives you a commutative subalgebra, of $A_n$, which is sometimes large enough to have one-dimensional eigenspaces. This happens in the Gelfand-Tsetlin and Jucys-Murphy-Young examples mentioned above.