# How to construct an isomorphism between the Complexified Special Linear Lie Group and the Special Unitary Group?

This may be an unenlightening question, but I'm just not sure about the result and hoping someone can help me varify it.

$\\$

This question is related to these three questions.

$\\$

I want to construct the isomorphism relationship between the Lie Groups $SL(2,\mathbb{C})$ and $SU(2)$. I have the feeling that there should be some such isomorphism of groups.

$\\$

To begin, we know that as Lie Algebras

$$\mathfrak{sl}(2,\mathbb{C}) \simeq \mathfrak{so}(1,3)$$

and

$$\mathfrak{su}(2) \oplus \mathfrak{su}(2) \simeq \mathfrak{o}(4)$$

But we also know that

$$\mathfrak{so}(n) \simeq \mathfrak{o}(n)$$

so I believe that this allows us to write

$$\mathfrak{su}(2) \oplus \mathfrak{su}(2) \simeq \mathfrak{sl}(2,\mathbb{C})$$

This makes sense anyway, since we know that the real algebra of the complexification of $\mathfrak{su}(2)$ is $\mathfrak{sl}(2,\mathbb{C})$, and in taking the real algebra of the complexified Lie algebra we get two commuting copies.

So, the part that I am not yet convinced about is how to get from this relationship between algebras to a relationship between groups.

I was told by someone in the department that

Theorem The Fundamental Theorem of lie Groups: Let $G_1$, $G_2$ be Lie groups. Then $G_1$ and $G_2$ have isomorphic Lie algebras if and only if they are locally isomorphic.

So this is a local statement only.

Moreover, he said that there is an extension of this theorem to a global statement which says that the Lie groups are globally isomorphic if they are simply connected.

Now, for our two groups, $SL(2,\mathbb{C})$ and $SU(2)$, we know that they are indeed simply connected. We could prove this, or instead, recall that they are the Universal Covering Groups of $SO(1,3)\uparrow$ and $SO(3)$ respectively, and so by the definition they must be simply connected.

This would solve our problem, and we could write down

$$SU(2) \times SU(2) \simeq SL(2,\mathbb{C})$$

and be done.

$\\$

However I want to try to verify that statement, as opposed to taking it in blind faith (not that I have any reason to doubt it, but rather that I'd like to 'learn it' as opposed 'to be aware of it', if that makes sense).

$\\$

I tried looking it up, and the obvious source didn't have anything on a Fundamental Theorem of Lie Groups, only a short bit on The Third Theorem of Lie.

Some searching brought up these lecture notes (in .pdf format) from UCLA. It appears to be getting at what I want, but unfortunately is written in category theoretic language, which I know nothing about.

$\\$

Could anyone verify for me if this is correct, and perhaps point me to a book/ website/ lecture notes etc. where I could reference. (Our library is huge, so a book being online need not be a constraint).

$\\$

-
Comment to the question (v1): The two Lie groups $G_1=SL(2,\mathbb{C})$ and $G_2=SU(2)\times SU(2)$ are not isomorphic. For starters, $G_1$ is non-compact and $G_2$ is compact. –  Qmechanic May 21 '14 at 14:25
Ah, ok, so then we certainly won't be able to find an isomorphism of groups between them! Is what I have written correct, if pointless, all the same? Namely, am I indeed correct in thinking that as Lie algebras $$\mathfrak{su}(2) \oplus \mathfrak{su}(2) \simeq \mathfrak{sl}(2,\mathbb{C})$$ ? Finally, does this mean that the best we can do is have a local isomorphism, as per that theorem of Lie? Thank you! –  Flint72 May 21 '14 at 14:31
The two real Lie algebras ${\rm Lie}(G_1)=sl(2,\mathbb{C})\cong so(1,3;\mathbb{R})$ and ${\rm Lie}(G_2)=su(2) \oplus su(2)\cong so(4;\mathbb{R})$ are not isomorphic. –  Qmechanic May 21 '14 at 15:02
Yes, the complexification is $sl(2,\mathbb{C})\oplus sl(2,\mathbb{C})$ for both Lie algebras. –  Qmechanic May 21 '14 at 15:23
SL(2, C) and SU(2) are not isomorphic, but there can be some homomorphism between the 2 –  Nikos M. May 22 '14 at 23:28