Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,082 questions , 2,232 unanswered
5,353 answers , 22,786 comments
1,470 users with positive rep
820 active unimported users
More ...

  Irreducible Representations from Cartan Matrix

+ 3 like - 0 dislike
654 views

I need some help understanding how you can construct the irreducible representations of an algebra from knowing its roots or its Cartan matrix, which I am being told you most certainly can. Unfortunately, despite my sincerest attempts, I have been unable to understand all the instructions for how to do this that I have hitherto come across or been sent. The closest I have come to something that I understand is chapter 9.2 of Howard Georgi's Lie Algebras in Particle Physics, but I am still stumbling in the dark here, and so an example of the procedure would be very, very nice.

Let's say we're looking at the algebra $SU(3)$ which has roots $$\pm (1,0) ,\quad \pm (\frac{1}{2}, \frac{\sqrt{3}}{2}) , \quad \pm (\frac{1}{2},- \frac{\sqrt{3}}{2})$$ and Cartan matrix

\begin{equation*} K_{ij} = \begin{pmatrix} 2 & -1 \\ -1 & 2 \end{pmatrix} \end{equation*}

How do I go about constructing the matrices for the generators of this algebra in the representation with Dynkin coefficients (1,1), that is, $\mathbf{8}$?

This post imported from StackExchange Physics at 2015-11-01 21:04 (UTC), posted by SE-user StormyTeacup
asked Nov 24, 2014 in Mathematics by StormyTeacup (15 points) [ no revision ]

1 Answer

+ 2 like - 0 dislike

This task is more complex than the task to solve a quadratic equation, for example, and one must master a significant portion of a textbook – such as Georgi's textbook – and perhaps something beyond it to have everything he needs.

For the 8-dimensional representation of $SU(3)$, things simplify because it's the "adjoint rep" of $SU(3)$ – the vector space that formally coincides with the Lie algebra itself. And the action of the generator $G_i$ on the basis vector $V_j=G_j$ of the adjoint representation is given by $$ G_i (V_j) = [G_i,V_j]= \sum_k f_{ij}{}^k G_k $$ This implies that the structure constants $f$ directly encode the matrix elements of the generator $G_i$ with respect to the adjoint representation – $j$ and $k$ label the row and the column, respectively.

The structure constants $f$ determining the commutators may be extracted from all the roots. The whole mathematical structure is beautiful but the decomposition of the generators under the Cartan subalgebra has several pieces, and therefore an even greater number of different types of "pairs of pieces" that appear as the commutators.

Some ($r$, rank) of the generators $G_i$ are identified with the Cartan generators $u_a$. The rest of the generators $G_j$ are uniquely associated with all the roots.

If you only have the Cartan matrix, you effectively have the inner products of the simple roots only. You first need to get all the roots, and those are connected with the $d-r$ (dimension minus rank) root vectors $r_j$.

The commutators of two Cartan generators vanish, $$[h_i,h_j]=0$$ The commutator of a Cartan generator with a non-Cartan generator is given by $$[h_i,G_{r(j)}] = r_i G_{r(j)}$$ because we organized the non-Cartan generators as simultaneous eigenstates under all the Cartan generators. Finally, the commutator $$[G_{r(i)},G_{r(j)}]$$ is zero if $r_i=r_j$. It is a natural linear combination of the $h_i$ generators if the root vectors obey $r_i=-r_j$. If $r_i+r_j$ is a vector that isn't a root vector, the commutator has to vanish. And if $r_i+r_j$ is a root vector but $r_i\neq \pm r_j$, then the commutator is proportional to $G_{r(i)+r(j)}$ corresponding to this "sum" root vector. The coefficient (mostly sign) in front of this commutator is subtle.

Once you have all these commutators, you have effectively restored all the structure constants $f$, and therefore all the matrix entries with respect to the adjoint representation.

To find matrix elements for a general representation is much more complex. You must first figure out what the representations are. Typically, you want to start with the fundamental (and/or antifundamental) rep, and all others may be obtained as terms composing a direct sum decomposition of tensor products of many copies of the fundamental (and/or antifundamental, if it is different) representation.

All the representations may be obtained from the weight lattice which is a subset of the root lattice and is similar. In fact, the weight lattice is the dual (in the "form" vector space sense) of the root lattice under the natural inner product.

In practice, physicists don't ever do the procedures in this order because that's not how Nature asks us to solve problems. We learn how to deal with the groups we need – which, at some moment, includes all the compact simple Lie groups as the "core" (special unitary, orthogonal, symplectic, and five exceptional), and we learn the reps of these Lie groups – the obvious fundamental ones, the adjoint, and the pattern how to get the more complicated ones.

I am afraid that it doesn't make any sense to fill in any "gaps" if you would need to elaborate upon something because in this way, one would gradually be forced to write another textbook on Lie groups and representation theory as this answer, and I don't think that such a work would be appropriately rewarded – even this work wasn't. ;-)

This post imported from StackExchange Physics at 2015-11-01 21:04 (UTC), posted by SE-user Luboš Motl
answered Nov 25, 2014 by Luboš Motl (10,278 points) [ no revision ]

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\hbar$ysic$\varnothing$Overflow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...