- #1

- 144

- 0

## Main Question or Discussion Point

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

- Thread starter Bobhawke
- Start date

- #1

- 144

- 0

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

- #2

Hurkyl

Staff Emeritus

Science Advisor

Gold Member

- 14,916

- 17

For example, if you pick a positive integer

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

[tex]

\rho'(g) = \left[ \begin{matrix}{\rho(g) & 0 \\ 0 & \rho(g)} \end{matrix} \right]

[/tex]

and under this representation, [itex]Tr\, \rho'(g) = 2 Tr \, \rho(g)[/itex].

You're making some extra,

- #3

- 144

- 0

[tex]

\rhosingle-quote(g) = \left[ \begin{matrix}{\rho(g) & 0 \\ 0 & 0} \end{matrix} \right]

[/tex]

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

- #4

Hurkyl

Staff Emeritus

Science Advisor

Gold Member

- 14,916

- 17

[tex]\rho'(g) = \rho(g)^2[/tex]

and

[tex]\rho'(g) = (\det g)^{-1}\rho(g)[/tex]

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 [itex]\rho[/itex] is a matrix.

Wikipedia states that by Schur's lemma, for any irreducible representation, [itex]\rho(\Omega)[/itex] 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?

- #5

- 144

- 0

Casimirs can be constructed from the generators by:

[tex]

d_{a_1 a_2...a_n} = Tr(T_{a_1}T_{a_2}...T_{a_n})

[/tex]

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

- Replies
- 16

- Views
- 3K

- Last Post

- Replies
- 9

- Views
- 3K

- Replies
- 1

- Views
- 1K

- Last Post

- Replies
- 4

- Views
- 3K

- Replies
- 8

- Views
- 11K

- Last Post

- Replies
- 1

- Views
- 2K

- Last Post

- Replies
- 29

- Views
- 9K

- Replies
- 1

- Views
- 741