4
$\begingroup$

The question is, does the fact $ \left(\begin{array}{ccc} 0 & 0 & 0\\ 0 & 0& 0\\ 0 & 1 &0 \end{array}\right)^{2}=0, \left(\begin{array}{ccc} 0 & 0 & 0\\ 0 & 0& 0\\ 1 & 0 &0 \end{array}\right)^{2}=0$ influence $SU(3)$'s irreducible representation?

Background: To simplify I am working over the case of $SU(3)$. For all $sl_{n}\mathbb{C}$ any irreducible representation is generated by repeated applying negative weight elements to the highest weight vector $v$ (standard reference, Serre). But when I try to draw the weight diagram starting from any given highest weight vector $v$ for $H$, say (10, 20), then repeating applying the negative weight element like this one $ \left(\begin{array}{ccc} 0 & 0 & 0\\ 0 & 0& 0\\ 0 & 1 &0 \end{array}\right)$ always give me zero because $ \left(\begin{array}{ccc} 0 & 0 & 0\\ 0 & 0& 0\\ 0 & 1 &0 \end{array}\right)^{2}=0$. Now elementary analysis showed that $v$'s image under the action of $ \left(\begin{array}{ccc} 0 & 0 & 0\\ 0 & 0& 0\\ 0 & 1 &0 \end{array}\right)$ and $ \left(\begin{array}{ccc} 0 & 0 & 0\\ 1 & 0& 0\\ 0 & 0 &0 \end{array}\right)$ actually generates $V$. So $V$'s weight diagram must be very small, which is counter-intuitive for me. I am hoping I may claim there exists irreducible subrepresentation of $sl_{2}\mathbb{C}$ by similar arguments using either of the matrices repeatedly until the image vanishes. I think I must be confused with something very basic, like the embedding of $sl_{3}\mathbb{C}$ in $gl_{n}\mathbb{C}$ or something.

  • 0
    @MarcvanLeeuwen: Thank you. Obviously the things I worked out are well-known to other people. I have corrected my mistake.2012-01-19

2 Answers 2

7

The short answer to your confusion is that what you think should hold, $\rho(xy)=\rho(x)\rho(y)$, does indeed hold for the representation of the Lie group, but not for the representation of the Lie algebra (indeed the product $xy$ makes no sense in a general Lie algebra). What holds for the Lie algebra is obtained by differentiation from what holds for the Lie group, and this gives the commutator relation of Jyrki's comment. Also note that for $G=SU(3)$, the Lie algebra $sl_{3}\mathbb{C}$ is the complexified Lie algebra; the nilpotent matrices you wrote do not live in the real Lie algebra of the compact real group $SU(3)$. The fact that everything (I mean Lie group and algebra, not the universal enveloping algebra) embeds in the same matrix ring is really a red herring I think.

6

For a representation $\pi$ of a Lie algebra $\mathfrak g$, it is natural to want $\pi(x)\pi(y)=\pi(x\cdot y)$, for some notion of "product", but there are issues. Of course, the product $\pi(x)\pi(y)$ in the endomorphism algebra of the representation space is the usual product of that _associative_algebra_. Then, the product in $\mathfrak g$ cannot be the Lie bracket $[x,y]$, because $\pi$ respects it, and, instead $\pi([x,y])=[\pi(x),\pi(y)]=\pi(x)\pi(y)-\pi(y)\pi(x)$.

But we want a product "on $\mathfrak g$" that maps to the composition of endomorphisms on a repn space. Indeed, there is a unique associative algebra $U\mathfrak g$ into which $\mathfrak g$ imbeds linearly, such that every Lie algebra homomorphism $f:\mathfrak g \rightarrow A$ to an associative algebra $A$ with Lie bracket $[a,b]=ab-ba$ factors through $U\mathfrak g$ by an associative algebra map $F:U\mathfrak g\rightarrow A$. This is the "universal enveloping algebra" of $\mathfrak g$. (It is characterized by this mapping property, and usually constructed via the "tensor algebra" of $\mathfrak g$.)

Then the conceptual trap is to think that "surely" for Lie algebras $\mathfrak g$ that are matrices, the multiplication in $U\mathfrak g$ is matrix multiplication. "What else could it be?" But it isn't matrix multiplication (as examples in the comments illustrate). The universal enveloping algebra's multiplication is not much related to matrix multiplication. It can't be, because $U\mathfrak g$ needs to be able to map to many large associative algebras. The Poincare-Birkhoff-Witt theorem proves decisively that the enveloping algebra is infinite-dimensional...

(I remember driving myself crazy over this sort of issue...)