As a summary and way to get notation going I’ll just list some important things that are proved there and that we’ll use. First off, everything in those posts used smooth manifolds, but we’ll be using complex manifolds. This just means transition maps must be holomorphic rather than smooth. We can still do all of those things with in place of just making sure that everything is actually holomorphic rather than only smooth.
Let be a connected complex manifold of dimension with a group structure such that inversion by and multiplication by is holomorphic. This is called a connected complex Lie group.
Let be the tangent space at the identity. This is a complex vector space of dimension . If , then we get an entire left-invariant vector field on by defining where is left multiplication by . Any left-invariant vector field turns out to automatically be holomorphic. The set of all left-invariant vector fields on is denoted and it called the Lie algebra associated to the Lie group .
Thus we get an integral curve of the flow of this vector field associated to . Since the vector field is complete, we get the one-parameter subgroup . See the post on this for more rigor. This map satisfies .
Note that we can always identify with by the isomorphism . Under this identification, we have . The map is holomorphic. Define by .
See the exponential map post to see why we get some nice properties such as . If we identify the tangent space to at 0 with itself, then we get that . Lastly, given any homomorphism of complex Lie groups we get that .
I should probably be explaining the subtleties going on between considering the tangent space as complex versus real. Basically, if you write down all the maps and identifications carefully, all of these things actually respect the -structure. But we won’t really worry about that unless it comes up later.
We’ll do one theorem: If is a compact connected complex Lie group, then is abelian.
Consider the conjugation map by . Then is an automorphism. We also have that a holomorphic map which is a subspace of . Since is compact and holomorphic, it must be constant. i.e. .
Since is a homomorphism of complex Lie groups , we get the exponential property mentioned above: . This tells us that is in the center of . But is the identity and in particular has full rank, so by the Implicit Function Theorem is a homeomorphism from a neighborhood of in to a neighborhood of the identity in .
But is connected, so any neighborhood of the identity generates all of . Thus generates the whole group , and hence the center of is all of meaning is abelian.