What Is the Non-Compact Form of the SU(2) Algebra in String Theory?

  • Thread starter Thread starter llorgos
  • Start date Start date
  • Tags Tags
    Algebra Form
llorgos
Messages
18
Reaction score
0
I read that in string theory the Virasoro algebra contains an ##SL(2,R)## subalgebra that is generated by ##L_{-1}, L_{0}, L_{1}##. I read that this is the non-compact form of the ##SU(2)## algebra. Also, that as ##SU(2)## and ##SO(3)## have the same Lie algebra, so do ##SL(2,R)## and ##SO(2,1)##.

Can someone explain all the above statementes? I understand what a compact group is and I have seen that ##SU(2)## and ##SO(3)## have the same Lie algebra. But, what do the other statements mean?

Can you also give a more intuitive explanation?

Thank you very much.
 
Physics news on Phys.org
What's intuitive to one person might not be to another.

To obtain a "non-compact form" of a Lie algebra, you multiply some of the generators by ##i##. So if ##X_1, X_2, X_3## have the ##SU(2)## algebra

[X_1, X_2] = X_3, \qquad [X_2, X_3] = X_1, \qquad [X_3, X_1] = X_2,
then the new set of generators given by

\tilde X_1 \equiv i X_1, \qquad \tilde X_2 \equiv i X_2, \qquad \tilde X_3 \equiv X_3
will have the algebra

[\tilde X_1, \tilde X_2] = -\tilde X_3, \qquad [\tilde X_2, \tilde X_3] = \tilde X_1, \qquad [\tilde X_3, \tilde X_1] = \tilde X_2,

which is the algebra of ##SL(2,\mathbb{R})##.

A Lie group is "compact" or "non-compact" depending on the eigenvalues of its Cartan-Killing form. If all the eigenvalues are negative, then the group is compact. If some of the eigenvalues are positive, then the group is non-compact. The Killing form of ##SL(2, \mathbb{R})## has signature ##(+, +, -)##, and it has the topology ##R^2 \times S^1##, so you see there are two noncompact directions, and one compact, matching the signs in the Killing form.

Both ##SU(2)## and ##SL(2,\mathbb{R})## algebras are subalgebras of ##SL(2, \mathbb{C})##, which is simply

[X_i, X_j] = \varepsilon_{ijk} X_k,
except that we allow complex linear combinations of the generators.
 
would it be possible to talk a bit more about the second part, the compactness or non-compactness of a Lie group?

In any case thank you very much.
 
Ben nicely touched the compactness of a Lie group from the compactness of its Lie algebra. But a group is a topological space on its own, so its compactness is defined in terms of open sets, open covers and subcovers.
 
##\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...
Back
Top