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 ![[u, J(v)]=J([u,v])](http://s0.wp.com/latex.php?latex=%5Bu%2C+J%28v%29%5D%3DJ%28%5Bu%2Cv%5D%29&bg=ffffff&fg=777777&s=0 "[u, J(v)]=J([u,v])")
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 ![[\frac{\partial}{\partial z_i}, \frac{\partial}{\partial z_j}]=0](http://s0.wp.com/latex.php?latex=%5B%5Cfrac%7B%5Cpartial%7D%7B%5Cpartial+z_i%7D%2C+%5Cfrac%7B%5Cpartial%7D%7B%5Cpartial+z_j%7D%5D%3D0&bg=ffffff&fg=777777&s=0 "[\frac{\partial}{\partial z_i}, \frac{\partial}{\partial z_j}]=0")
, 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.
Like this:
Like Loading...
I am a mathematics graduate student fascinated in how all my interests fit together.
Pingback: Mirror Symmetry A-branes « A Mind for Madness