Explained: Decomposing Lie Groups in Theoretical Physics

  • Thread starter Thread starter AlphaNumeric2
  • Start date Start date
  • Tags Tags
    Groups Lie groups
AlphaNumeric2
Messages
39
Reaction score
2
It's common in theoretical physics papers/books to talk about the decomposition of Lie groups, such as the adjoint rep of E_8 decomposing as

\mathbf{248} = (\mathbf{78},\mathbf{1}) + (\mathbf{1},\mathbf{8})+(\mathbf{27},3) + (\overline{\mathbf{27}},\overline{\mathbf{3}})

How is this computed? I'm familiar with working out things like \mathbf{3} \otimes \mathbf{3} using Young Tableaux or weight diagrams but I've suddenly realized I don't know how to do decompositions which aren't tensor products. I can use Dynkin diagrams to limited success but I don't think they apply here. I've tried various Google searches and flicking through a couple of group textbooks I have but they don't cover this method.

Can someone either point me to a book/website which covers this or if they are feeling particularly generous, explain it for me please. Thanks for any help you can provide.
 
Physics news on Phys.org
Work out the weight spaces.
 
Thanks Matt, I've had a read around and can see how that leads to the decomposition.

I've been reading through Georgi and it goes into some details about how to work out the SU(n)xSU(m) irreps in both the adjoints of SU(n+m) and SU(nxm) and I've worked out how to do such things, including work out the U(1) charge on any given irrep. I didn't realize that when you give an 'equation' like in my first post, you have to predefine what groups you're breaking your big group into. In the case of my first post, it's E_{8} \to SU(3) \times E_{6}.

I've only got a handle on how to do it for adjoints of SU(N) (give or take a U(1) here and there) but that's demystified a great deal of things! Thanks a lot :)
 
##\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
9
Views
4K
Replies
2
Views
3K
Replies
6
Views
8K
Replies
1
Views
4K
Replies
40
Views
15K
Back
Top