Is it possible to show that so(4) is equal to su(2) direct sum su(2)?

[Anthony]

Hi guys - long time reader first time poster!
I'm currently getting to grips with the topic of Lie Algebras, and I've come across something that's baffled me somewhat. I've been asked to show:

so(4) = su(2) \oplus su(2)

Where the lower so(n) denotes the Lie Algebra of SO(n) etc. Now, in a previous question, I was asked to show:

u(2) = su(2) \oplus \mathbb{R}

Where \mathbb{R} denotes the set of constant (real) multiples of the matrices of the form i\mathbb{I}_2. This was easy enough; I showed that for each v\in u(2) there exists a x \in su(2) and a y \in \mathbb{R} such that v=x+y, and also that if A \in su(2) \cap \mathbb{R} then A=0.

However, in this new case, I assume the \oplus means the the matrix direct sum, but surely if this is the case, then it's false - since the matrices in so(4) take the form:

\left(\begin{array}{cccc}0&a&b&c\\-a&0&d&e\\-b&-d&0&f\\-c&-e&-f&0\end{array}\right)

Which is not of the form of a matrix direct sum. If anyone could give me any hints as to where my confusion lies, I'd be very greatful - although if you could keep the hints sufficiently vague, as to not to do all the work for me!

 

[Anthony]

Actually, I should add. My only (perhaps?) contructive thought was the existence of a certain isomorphism which takes su(2) to a subset of so(4). For a general v \in su(2) we have:

v = \left(\begin{array}{cc}ia&ic+b\\ic-b&-ia\end{array}\right) = \left(\begin{array}{cc}0&b\\-b&0\end{array}\right) + i\left(\begin{array}{cc}a&c\\c&-a\end{array}\right) = A + iB

Then there is an isomorphism G such that:

G(v) = \left(\begin{array}{cc}A&-B\\B&A\end{array}\right)

Since we have:

G(v_1 v_2) = \left(\begin{array}{cc}A_1 A_2 - B_1 B_2&-(A_1 B_2 + B_1 A_2 )\\A_1 B_2 + B_1 A_2&A_1 A_2 - B_1 B_2\end{array}\right) = \left(\begin{array}{cc}A_1&-B_1\\B_1&A_1\end{array}\right)\left(\begin{array}{cc}A_2&-B_2\\B_2&A_2\end{array}\right) = G(v_1)G(v_2)

And so:

G([v_1,v_2]) = [G(v_1),G(v_2)]

But this doesn't give me all of so(4).

 

[George Jones]

Are you working with real or complex Lie algebras?

It is true that for complex Lie algebras,

<br /> so_{4} \mathbb{C} \cong su_{2} \mathbb{C} \oplus su_{2} \mathbb{C},<br />

but I don't think that a similar relationship holds for the real Lie algebras so(4) and su(2).

The set of matrices

<br /> \left\{\left(\begin{array}{cc}i&amp;0\\0&amp;-i\end{array}\right), \left(\begin{array}{cc}0&amp;i\\i&amp;0\end{array}\right), \left(\begin{array}{cc}0&amp;1\\-1&amp;0\end{array}\right)\right\}<br />

is a basis for both the real Lie algebra su(2) and the complex Lie algebra su_{2} \mathbb{C}. In the former, all real linear combinations of basis elements are allowed; in the latter, all complex linear combinations of basis elements are allowed.

If you would like, I will give some broad hints in a future post.

Regards,
George

 

[matt grime]

However, in this new case, I assume the \oplus means the the matrix direct sum, but surely if this is the case, then it's false - since the matrices in so(4) take the form:
\left(\begin{array}{cccc}0&amp;a&amp;b&amp;c\\-a&amp;0&amp;d&amp;e\\-b&amp;-d&amp;0&amp;f\\-c&amp;-e&amp;-f&amp;0\end{array}\right)
Which is not of the form of a matrix direct sum. If anyone could give me any hints as to where my confusion lies, I'd be very greatful - although if you could keep the hints sufficiently vague, as to not to do all the work for me!

Have you considered that there might be more than one basis you can think of?

 

[matt grime]

the latex for setting lie algebras is \mathfrak{text}, though i don't know if we support it here:
\mathfrak{sl}_2

incidentally, sl_2 and so_3 are the same lie algebra, but if you pick the standard basis they dont' look it.

 

[Anthony]

Are you working with real or complex Lie algebras?

Apologies George - I should have said, the Lie Algebras are complex. Any hints (however vague) would be much appreciated. :)

Have you considered that there might be more than one basis you can think of?

Hmmm, ok - so at the moment I'm considering a basis of \mathfrak{so}(4) of the form:

\left{\left(\begin{array}{cccc}0&amp;1&amp;0&amp;0\\-1&amp;0&amp;0&amp;0\\0&amp;0&amp;0&amp;0\\0&amp;0&amp;0&amp;0\end{array}\right), \left(\begin{array}{cccc}0&amp;0&amp;1&amp;0\\0&amp;0&amp;0&amp;0\\-1&amp;0&amp;0&amp;0\\0&amp;0&amp;0&amp;0\end{array}\right), \quad \textrm{etc.}\right}

But perhaps if I think about suitable combinations of these, I'll get something more like the form I'm looking for?

The help is much appreciated guys. :)

 

[George Jones]

incidentally, sl_2 and so_3 are the same lie algebra

In more detail: the real Lie sl(2,C) has a complex structure. When this is taken into account, sl(2,C) with complex structure is isomorphic to the complexification of the real lie algebra so_3.

This is why angular momentum theory in physics quantum theory texts looks like the representation theory of sl_2 given in math texts.

Regards,
George

 

[Anthony]

Well, I thought I'd get back to you guys and let you know it's all sorted. Here's how I went about it:

1) Contruct a basis for \mathfrak{so}_4 with the following matrices:


\left\{ \left{\left(\begin{array}{cccc}<br /> 0&amp;1&amp;0&amp;0\\<br /> -1&amp;0&amp;0&amp;0\\<br /> 0&amp;0&amp;0&amp;1\\<br /> 0&amp;0&amp;-1&amp;0\end{array}\right), <br /> \left(\begin{array}{cccc}<br /> 0&amp;0&amp;0&amp;1\\<br /> 0&amp;0&amp;-1&amp;0\\<br /> 0&amp;1&amp;0&amp;0\\<br /> -1&amp;0&amp;0&amp;0\end{array}\right),<br /> \left{\left(\begin{array}{cccc}<br /> 0&amp;0&amp;1&amp;0\\<br /> 0&amp;0&amp;0&amp;-1\\<br /> -1&amp;0&amp;0&amp;0\\<br /> 0&amp;1&amp;0&amp;0\end{array}\right), <br /> \left(\begin{array}{cccc}<br /> 0&amp;0&amp;-1&amp;0\\<br /> 0&amp;0&amp;0&amp;-1\\<br /> 1&amp;0&amp;0&amp;0\\<br /> 0&amp;1&amp;0&amp;0\end{array}\right),<br /> \left{\left(\begin{array}{cccc}<br /> 0&amp;0&amp;0&amp;1\\<br /> 0&amp;0&amp;-1&amp;0\\<br /> 0&amp;1&amp;0&amp;0\\<br /> -1&amp;0&amp;0&amp;0\end{array}\right), <br /> \left(\begin{array}{cccc}<br /> 0&amp;-1&amp;0&amp;0\\<br /> 1&amp;0&amp;0&amp;0\\<br /> 0&amp;0&amp;0&amp;1\\<br /> 0&amp;0&amp;-1&amp;0\end{array}\right) \right\}

Which I'll refer to as \left\{ a_1, a_2, a_3, b_1, b_2, b_3 \right\}. Then upon computing the Lie brackets, we see:

[a_i, a_j] = \epsilon_{ijk} a_k \qquad [b_i, b_j] = \epsilon_{ijk} b_k

And so \left\{a_i\right\} \cong \mathfrak{su}_2 and also \left\{b_i\right\} \cong \mathfrak{su}_2. Since \mathfrak{so}_4={a_i} \oplus {b_i} we have:

\mathfrak{so}_4 \cong \mathfrak{su}_2 \oplus \mathfrak{su}_2

Which I think is ok.

 

[George Jones]

a_2 = b_2. Is this just a typo?

Regards,
George

 

[Anthony]

Sure is (too many matrix elements!). It (a_2) should be:

\left(\begin{array}{cccc}<br /> 0&amp;0&amp;0&amp;1\\<br /> 0&amp;0&amp;1&amp;0\\<br /> 0&amp;-1&amp;0&amp;0\\<br /> -1&amp;0&amp;0&amp;0\end{array}\right)