Today we’ll do two more properties of compact complex Lie groups. The property we’ve already done is that they are always abelian groups. We go back to the notation from before and let be a compact complex Lie group and .

Property 1: is abelian.

Property 2: is a complex torus.

Proposition: , the exponential map, is a surjective homomorphism with kernel a lattice.

Proof: Fix . Note that the map by is holomorphic since it is the composition of multiplication (holomorphic by being a Lie group) and the fact that which was checked to be holomorphic two posts ago. This is a homomorphism since is abelian.

Note that . By the uniqueness property of flows and exp just being a flow, is the unique map with the property that the differential maps . Thus . Let and we get . i.e. is a homomorphism.

Just as before, since is connected and maps onto a neighborhood of the origin, the image is all of . Let . We also saw two posts ago that there is a neighborhood of zero on which is a diffeo and in particular is injective. Thus the is a discrete subgroup of . But the only discrete subgroups of a vector space are lattices. This proves the proposition.

Corollary: is a complex torus.

Proof: We can holomorphically pass to the quotient and hence get a holomorphic isomorphism of groups .

Property 3: As a group is divisible and the -torsion is isomorphic to (recall that ).

Proof: By property 2 we have that as a real Lie group . This proves both parts of property 3.

This is a good stopping point, since next time we’ll start thinking about the cohomology of .