Lie algebra homomorphism: is my understanding correct?

508 Views Asked by At

Using answer to my previous question I made some progress towards understanding Lie algebra homomorphisms. But of course I am unsure whether my thoughts are really correct so again I'd like to request the community to check my thoughts.

Is the following correct?

It is my goal to find a Lie algebra isomorphism from the Lie algebra of $SL_2(\mathbb C)$ to the Lie algebra of $O(3, \mathbb C)$.

The group $G = SL_2(\mathbb C)$ is both connected and simply connected. The following is a theorem (it can be found e.g. here):

For Lie groups $G, H$ with $G$ connected and simply connected, a linear map $\varphi : \mathfrak g \to \mathfrak h$ is the derivative of a homomorphism $\phi : G \to H$ if and only if φ is a Lie algebra homomorphism.

Hence if $\phi: SL_2 \to O(3,\mathbb C)$ is a Lie group homomorphism, its derivative will yield a Lie group homomorphism.

(If $\phi: SL_2 \to O(3,\mathbb C)$ is a Lie group isomorphism is its derivative a Lie algebra isomorphism?)

Therefore, to find the desired Lie algerba isomorphism I pick a basis generators for $SL_2$ and a basis generators for $O(3, \mathbb C)$, define a map on the generators and then take its derivative.

But the derivative of a linear map is the linear map itself here. This leads me to believe that I made a mistake somewhere. Or did I not?

Edit

In response to Ben's comment: Let's replace "basis" with "generators" instead.

1

There are 1 best solutions below

8
On

You are confusing Lie groups with Lie algebras. The Lie group $\mathrm{SL}_2(\mathbb C)$ is $$\mathrm{SL}_2(\mathbb C) = \left\{\begin{bmatrix} a & b \\ c & d \end{bmatrix} \ \middle| \ a, b, c, d \in \mathbb C \ \text{and} \ ad - bc = 1\right\}$$ and it's Lie algebra is $$\mathfrak{sl}_2(\mathbb C) = \left\{\begin{bmatrix} a & b \\ c & -a \end{bmatrix} \ \middle| \ a, b, c \in \mathbb C\right\}$$ Lie algebras are vector spaces and therefore have bases. Lie groups are in general not vector spaces (in particular $\mathrm{SL}_2(\mathbb C)$ is not naturally a vector space) so it does not make sense to talk about a basis of $\mathrm{SL}_2(\mathbb C)$.

As to whether you can specify an isomorphism $\mathrm{SL}_2(\mathbb C) \to \mathrm O_2(\mathbb C)$, you can't. Those groups are not isomorphic Lie groups. For example, $\mathrm{SL}_2(\mathbb C)$ is connected and $\mathrm O_2(\mathbb C)$ is not.