On Finding Lie Algebra Representations

antibrane
Messages
37
Reaction score
0
What I am trying to do is start with a Dynkin diagram for a semi-simple Lie algebra, and construct the generators of the algebra in matrix form. To do this with su(3) I found the root vectors and wrote out the commutation relations in the Cartan-Weyl basis. This gave me the structure constants of the algebra and then I was able to write down the matrices corresponding to the regular (adjoint) representation.

What I am confused about (assuming the above is a correct method) is how to find different matrix representations than this. The representation I am familiar with for su(3) consists of the "Gell-Man matrices" which are 3 dimensional and obviously my matrices from my construction are 8 dimensional.

How would I find different representations starting from the commutation relations? I know how to find them starting with the Lie Group. Let me know if I need to clarify something--thanks a lot.
 
Physics news on Phys.org
With the commutator relations you have all which is necessary. Any finite dimensional representation is a Lie algebra homomorphism ##\varphi\, : \,\mathfrak{g} \longrightarrow \mathfrak{gl}(V)##. This is a system of quadratic equations and you are looking for the solutions. If ##A_X## is the matrix of ##\varphi(X)## we have to solve ##[A_X,A_Y]=A_{[X,Y]}## for all ##X,Y##. However, this will be a lot of manual work to do.

It is easier to use a book about the representations of Lie Algebras, see e.g. the source list in
https://www.physicsforums.com/insights/lie-algebras-a-walkthrough-the-representations/where you can also find as an example the classification of ##\mathfrak{sl}(2,\mathbb{C})## representations and use the corresponding theorems.
 
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...

Similar threads

Replies
5
Views
2K
Replies
1
Views
2K
Replies
3
Views
3K
Replies
19
Views
3K
Replies
2
Views
3K
Replies
8
Views
3K
Back
Top