Lie algrebra question

Given a Lie algebra of elements Gi satisfying [Gi,Gj] = -ifijkGk, it can be shown that

trace(GiGj) = -fiklfjlk

where by "trace" we mean the trace in a particular matrix representation.

The text in which I encountered this does not have a proof and I'm having trouble convincing myself of it. Anyone have a reference or hint that could help?

that is just the definition of matrix multiplication, in the adjoint representation. this is the definition of the killing form, and i don t know if it s true in general, i think only in the adjoint representation.

do you know what representation you re working with?

I don't know. I'll have to look up "adjoint representation," which I suspect will alone be of big help. I'll come back if I need more after that. Thanks for your help, lethe!

jeff
Originally posted by pellman
Given a Lie algebra of elements Gi satisfying [Gi,Gj] = -ifijkGk, it can be shown that

trace(GiGj) = -fiklfjlk

where by "trace" we mean the trace in a particular matrix representation.

The text in which I encountered this does not have a proof and I'm having trouble convincing myself of it. Anyone have a reference or hint that could help?

The number n of lie algebra generators is representation independent, with the adjoint rep being the one that consists of nxn matrices. Developing what lethe said, the structure constants form the adjoint rep, i.e. fi has matrix elements (fi)jl so the formula may be rewritten Tr(GiGj) = Tr(fifj). Hint: This just expresses the fact that Tr(GiGj) is representation independent.

the adjoint representation is the mapping that takes elements of the lie algebra to the linear operator on the lie algebra (hence why it is a representation) which is given by taking the commutator with the element in question.

for example, we would map X to TX, where X is an element of the lie algebra, and TX is a linear transformation on the algebra given by TX(Y)=[X,Y].

thus, since the commutators are completely specified by the structure constants (which depend on what basis you choose for your lie algebra), a matrix in the adjoint representation will be filled up with the structure constants for that element.

thus you can see, in the adjoint representation, the formula you have written is just the definition of matrix multiplication, and the definition of trace.

Originally posted by jeff
Hint: This just expresses the fact that Tr(GiGj) is representation independent.

ahh... so that is representation independent? i wasn t sure about that. it s not true for representations of groups in general, for example, the trace of the identity gives you the dimension of the representation, which certainly is not independent.

but we re not talking about groups in general, we re talking about lie algebras.

is there an easy way to see that this expression is representation independent?

Thanks for the further info. It's clear now. And the text I was looking at was indeed referring to the adjoint rep. But now I'm with lethe in not seeing that tr(GiGj) is representation independent.

in fact, i now think it is not true. for example, consider su(2) spanned by the pauli matrices: &sigma;x
Code:
i/2[0  1]
[1  0]
square this matrix, take the trace, you get -1/2. now, the adjoint matrix is:

Code:
[0  0   0]
[0  0  -1]
[0  1   0]

square this, take the trace, you get -2.

jeff
Using the invariance of the trace under cyclic permutation of it's arguments, it's easy to see that Tr(GiGj) is invariant under a map r to another representation: Tr(rGir-1rGjr-1) = Tr(GiGj).

Originally posted by jeff
Using the invariance of the trace under cyclic permutation of it's arguments, it's easy to see that Tr(GiGj) is invariant under a map r to another representation: Tr(rGir-1rGjr-1) = Tr(GiGj).

such a representation is called an equivalent representation. in particular, the trace of every element remains invariant under such a similarity transformation, by the argument you just made, so the killing metric trivially remains invariant.

this amounts to a freedom in the choice of coordinate systems.

in particular, no such r can be found if your 2 representations have different dimension. in that case r^-1 is not defined in general.

see my counterexample above.

jeff
Originally posted by lethe
such a representation is called an equivalent representation. in particular, the trace of every element remains invariant under such a similarity transformation, by the argument you just made, so the killing metric trivially remains invariant.

this amounts to a freedom in the choice of coordinate systems.

in particular, no such r can be found if your 2 representations have different dimension. in that case r^-1 is not defined in general.

see my counterexample above.