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
Click For Summary
In string theory, the Virasoro algebra includes an SL(2,R) subalgebra generated by L_{-1}, L_{0}, and L_{1}, which represents the non-compact form of the SU(2) algebra. To derive a non-compact Lie algebra, one can multiply certain generators by i, resulting in the algebra of SL(2,R) from SU(2). The compactness of a Lie group is determined by the eigenvalues of its Cartan-Killing form; negative eigenvalues indicate compactness, while positive ones indicate non-compactness. SL(2,R) has a Killing form signature of (+, +, -), confirming its non-compact nature with two non-compact directions. Understanding the compactness of Lie groups involves both algebraic properties and topological considerations.
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.
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 22 ·
Replies
22
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 24 ·
Replies
24
Views
4K
Replies
2
Views
5K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 19 ·
Replies
19
Views
3K