I know I said I wasn’t going to do this, but it isn’t that hard, and for completeness I should actually explain how the posts on real Lie groups/algebras relate to the complex case.
Let be a finite-dim real vector space. Then we call a complex structure of if and . Given such a pair , we can turn into a complex vector space by defining scalar multiplication by . Likewise, we get a complex Lie algebra out of a real one if the complex structure also satisfies for all . This is the associated complex Lie algebra to denoted .
We can of course go the other direction much more easily. Given a complex Lie algebra , then restricting the -action to gives us a real Lie algebra . Note that under the complex structure by .
Suppose that and are complex Lie groups. Then if we have a morphism in the category of complex Lie groups, i.e. a holomorphic map that is also a group homomorphism, then we can regard as a morphism of complex Lie algebras. Then can be regarded as a map of real Lie groups whose differential commutes with the complex structure on Lie algebras. The other way works as well. Given a real Lie group map whose differential is -linear, we have that is actually a map of complex Lie groups.
So far this is a fast overview. I don’t want to spend more than one post on this, but if you want to see more about any of these things, just comment.
The main purpose of bringing this up is that if we have a complex lie group , then we’ll denote the underlying real Lie group as . By the posts I’ve already done, we can explicitly construct . Note this is only a real holomorphic map. By the above statements, if is -linear, then it is actually complex holomorphic.
Just as in the exponential map post, we define the -linear map by where . Since is simply connected, there is a unique lift of this map to all of which we call such that . Which means that . i.e. .
Thus is complex holomorphic giving the 1-parameter subgroup in satisfying and exponential map . We have essentially proved the theorem that which means the previous posts on the subject still apply.
As motivation for later, we’ll now do the example. Let be the (only) simply connected complex Lie group of dimension . We have global coordinates since this is a vector space. Thus forms a basis for .
We have that , so the Lie algebra is abelian. i.e. we can identify with . The exponential map is just the identity.
The other example is to take a real basis of and let and quotient . This is a real torus and will be incredibly important in when we return to compact complex Lie groups.