Why are the casimirs independent of the representation

[Bobhawke]

Question in the title, ie why is Tr(T_{a_1}T_{a_2}...T_{a_n}) independent of which representation we choose, where the Ts are a matrix representation of the group generators.

 

[Hurkyl]

That's not true.

For example, if you pick a positive integer m, there is a representation where every group element has trace m: this representation sends every group element to the identity matrix acting on an m-dimensional space.

And given any matrix representation \rho of a group, one can construct a new representation \rho' by

<br /> \rho&#039;(g) = \left[ \begin{matrix}{\rho(g) &amp; 0 \\ 0 &amp; \rho(g)} \end{matrix} \right]<br />

and under this representation, Tr\, \rho&#039;(g) = 2 Tr \, \rho(g).



You're making some extra, relevant assumptions -- what are they?

 

[Bobhawke]

Ah I see. But couldn't we also have

<br /> \rhosingle-quote(g) = \left[ \begin{matrix}{\rho(g) &amp; 0 \\ 0 &amp; 0} \end{matrix} \right]<br />

as a higher dimensional rep with the same trace?

I think what I meant is that given a 2 different matrix reps of the same dimension, the casimirs are the same. But they can change when you change the dimension of the rep, thus they can be used to label reps. Thanks

 

[Hurkyl]

Different representations with the same dimension can still have that trace be different. For example, consider

\rho&#039;(g) = \rho(g)^2

and

\rho&#039;(g) = (\det g)^{-1}\rho(g)




Anyways, I went to look up Casimir on wikipedia; if that's what you're talking about, then I think you are misunderstanding things. The Casimir invariant is an element of the universal enveloping algebra of the Lie algebra, and its representation under \rho is a matrix.

Wikipedia states that by Schur's lemma, for any irreducible representation, \rho(\Omega) is proportional to the identity matrix. That constant of proportionality can be computed with a formula involving traces; maybe that's what you're thinking of?

 

[Bobhawke]

Yeah I think I am confusing things a little.

Casimirs can be constructed from the generators by:

<br /> d_{a_1 a_2...a_n} = Tr(T_{a_1}T_{a_2}...T_{a_n}) <br />

But is is their eigenvalues that label the reps. So I think what I really meant to ask is why can the eigenvalues of the casimirs can be used to label reps of different dimension.

Sorry for my confusion