It will be useful to have past posts as reference: one-parameter subgroups, exponential map, exponential properties, and lie algebra actions.

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.

I still RSS your blog even though I haven’t understood a damn thing you’ve written in a loooong time

What’s your source for the material on complex abelian varieties?

There is the large reference by Birkenhanke (“Complex Abelian Varieties”) which proves the basic facts about Lie groups (in particular, tori), if I remember correctly, almost immediately. (In fact the structure theory of Lie groups is treated beautifully in the book of Brocker and tom Dieck.) An elementary treatment can be found in the book by Murty. In a similar vein, Swinnerton-Dyer has his short survey (which I have admittedly not at all perused). Cornell and Silverman also has an introduction, though James Milne now has a large set of notes on the subject.

Finally, Shimura has his advanced treatise.

You should be more careful with the citations. The book “by Birkenhanke” has two authors, Birkenhake and Lange.

You should be more careful with the citations. The book “by Birkenhanke” has two authors, Birkenhake and Lange. They also wrote, together, a book on Complex Tori more generally.

Sorry — you’re absolutely correct. The second author is Herbert Lange.

I’m working through Mumford’s Abelian Varieites. The stuff in this post is essentially assumed on the first page, so it might take another post or two before I really get into it.

The only book in the library that I found on complex Lie groups to help with this background material was Dong Hoon Lee’s The Structure of Complex Lie Groups. So that is where just standard complex Lie group stuff is coming from. The abelian proof is the first theorem in Mumford.

Maybe I’ll check out some of the books in pmoduli’s comments.