4
$\begingroup$

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.

$\endgroup$
11
  • 1
    $\begingroup$ 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. $\endgroup$
    – Jonathan
    Feb 21, 2018 at 18:17
  • 1
    $\begingroup$ There are ways to produce bases —google for 'crystal bases'— but it is a considerably complicated endeavor! $\endgroup$ Feb 21, 2018 at 18:19
  • $\begingroup$ Thank you Mariano! That's the search term I was looking for. Crystal basis is a strange name for this object though :). $\endgroup$
    – wzzx
    Feb 21, 2018 at 18:24
  • 1
    $\begingroup$ That redundancy is explained in every textbook which constructs the finite dimensional modules of a semisimple Lie algebra. I suggest you browse one! $\endgroup$ Feb 21, 2018 at 22:16
  • 2
    $\begingroup$ 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). $\endgroup$ Feb 22, 2018 at 7:06

1 Answer 1

2
$\begingroup$

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?

The general philosophy is that one should enlarge the set of commuting operators, in order to find a set of commuting operators large enough so that the eigenspaces are all one dimensional. In Lie theory, the two most well-known situations in which this occurs are Jucys-Murphy-Young bases of representations of the symmetric group, and Gelfand-Tsetlin bases of representations of general linear groups (or other type A groups). All of this is closely related to the philosophy in integrable systems; in fact, many very interesting integrable systems (e.g. those of Calogero-Moser type) can be studied via representation-theoretic tools. Jack and Macdonald polynomials arise this way.

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.

$\endgroup$
2
  • $\begingroup$ Thanks Stephen! Let me see if I understand what you mean in connection to integrable systems. My representation comes from quantizing some symplectic manifold, eg. a coadjoint orbit, and if I'm able to define a completely integrable system on this symplectic manifold, then the quantized action coordinates will give me my quantum numbers that define the basis. Where does the inductive tower appear? $\endgroup$
    – wzzx
    Feb 27, 2018 at 18:06
  • $\begingroup$ @wzzx There is no inductive tower in general! Rather, the integrable systems involving Jack and Macdonald polynomials just happen to arise in this way. I doubt very much that there is a general phenomenon. This is a type A "land of many coincidences" thing. $\endgroup$
    – Stephen
    Feb 27, 2018 at 18:23

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.