Line Bundles on Complex Tori (Part 1)
Posted by John Baez
A complex abelian variety is a group in the category of smooth complex projective varieties. They’re called that because — wonderfully — they turn out to all be abelian! I’ve been studying holomorphic line bundles on complex abelian varieties, which is a really nice topic with fascinating connections to quantum physics, Jordan algebras and number theory. This is the book that’s helped me the most so far:
- Christina Birkenhake and Herbert Lange, Complex Abelian Varieties, Springer, Berlin, 2004.
But the subject is so rich that it can be hard to see the forest for the trees! So for my own benefit I’d like to describe the classification of holomorphic line bundles on an abelian variety — or more generally, any ‘complex torus’.
A complex torus is the same as the quotient of a finite-dimensional complex vector space by a lattice. Every abelian variety is a complex torus, but not every complex torus is an abelian variety: you can’t make them all into projective varieties.
I will avoid saying a lot of things people usually say about this subject, in order to keep things short.
Complex line bundles on a topological space are classified up to isomorphism by elements of .
This becomes particularly nice when is a real torus. Let’s equip with the structure of an abelian Lie group. Then the universal cover is a finite-dimensional real vector space, and the kernel of the projection
is a lattice
in the vector space — that is, a free abelian group of rank equal to the dimension of that vector space. This lets us write
In this situation is isomorphic to the group of alternating bilinear maps
There’s nothing magic about the number and the word ‘bilinear’ here — the same kind of description works for for any , using alternating multilinear maps.
So, complex line bundles on a real torus are classified up to isomorphism by alternating bilinear maps . And I should be clear: we could use isomorphism of topological line bundles, or of smooth line bundles: it makes no difference here.
But now suppose is equipped with the structure of a complex vector space. This makes into a complex manifold, and indeed a compact abelian complex Lie group. We call a complex torus. In fact, every compact connected complex Lie group is a complex torus.
Complex tori are a lot subtler than real tori. All real tori of a given dimension are isomorphic. This is not true for complex tori! For example, complex tori of complex dimension 1 — hence real dimension 2, so they look like doughnuts — are called elliptic curves. There’s an interesting space of different isomorphism classes of elliptic curves, called the moduli space of elliptic curves. The story gets even more complicated in higher dimensions.
Now for the real point of this article. If is a complex torus, it’s an interesting question to classify holomorphic complex line bundles on . How does it work?
This question breaks up nicely into two parts:
Question 1. Which alternating bilinear come from holomorphic complex line bundles?
Question 2. If comes from a holomorphic complex line bundle, how many different such bundles give this particular ?
A nice thing is that the answer to Question 2 turns out not to depend on the choice of , as long as there’s any holomorphic line bundle at all giving that .
Answer to Question 1. The answer to this question is simple, though it takes work to show it’s correct. Using the fact that every vector in is a real linear combination of vectors in the lattice , you can show any alternating bilinear map
extends uniquely to an alternating real-bilinear map
It then turns out that comes from a holomorphic complex line bundle if and only if
for all .
Answer to Question 2. This answer is also simple. Suppose comes from some holomorphic complex line bundle. Then the set of isomorphism classes of holomorphic complex line bundles giving this is , the ‘dual’ of torus .
What’s dual of a torus? In this game it’s another torus — not the usual Pontryagin dual of the torus. Remember, for any real torus we can write
The real vector space has a dual , defined in the usual way. Sitting inside this dual vector space we have the so-called dual lattice of the lattice , defined like this:
So, the quotient is a torus, called the dual torus of the torus and again denoted with a star:
Now if is a complex torus, the vector space is a complex vector space, and thus so is its dual . Beware: is still defined in the usual way: it’s the real dual of the underlying real vector space of . But it gets the structure of a complex vector space from that of — this is a bit tricky, and I’ll talk about it next time. So the dual torus is a complex torus if is.
People like to package up the answers to Question 1 and Question 2 into a single theorem, the Appell–Humbert theorem. And the usual statement of this theorem involves lots of extra jargon — which you have to learn if you want to study this subject:
The set of isomorphism classes of holomorphic complex line bundles on a complex torus is called its Picard group, . This is actually an abelian group, because you can tensor line bundles. In fact, it’s a complex Lie group.
The identity component of the Picard group is called the Jacobian of , or, as if there weren’t enough jargon already, the Picard variety of . This is a complex torus, and an abelian variety when is.
The quotient is called the Néron–Severi group of and denoted . This is a finitely generated free abelian group.
So we have a short exact sequence
You should think of it this way:
The Néron–Severi group describes the ‘discrete degrees of freedom’ required to choose a holomorphic complex line bundle over . That’s because it’s the group of connected components of . It’s a finitely generated free abelian group.
The Jacobian describes the ‘continuous degrees of freedom’ required to choose a holomorphic complex line bundle over . That’s because it’s the identity component of . It’s a complex torus.
But even better:
is naturally isomorphic to the subgroup of coming from holomorphic complex line bundles — which we described in our answer to Question 1.
is naturally isomorphic to the dual torus , which we described in our answer to Question 2.
Putting all these facts together, we get this:
Appell–Humbert Theorem. If is a complex torus, we have a short exact sequence
where
- is isomorphic to the abelian group whose elements are alternating bilinear forms whose real-linear extension obeys . (The set of these becomes an abelian group under addition.)
and
- is isomorphic to the dual torus .
The dimension of the complex torus depends only on the dimension of , since it’s just the dual torus. But the rank of the free abelian group depends on more than just the dimension of . Indeed, a generic complex torus has no holomorphic complex line bundles on them except those that are topologically trival. For such complex, has just one element! But in general is a subgroup of whose rank depends on the complex structure of , not just its dimension. It’s bigger for complex tori where the lattice gets along better with the complex structure on , and these are the ones worth focusing on.
There’s a lot more to say, and I’m proud of myself for having not said it. Maybe I’ll say more later. I’m having tons of fun looking at examples of the theorems I just stated.
Mozibur
I saw a paper of Witten’s recently, String Theory & Noncommutative Geometry on the Arxiv. And in the comments under the abstract, he said:
I think long papers ought not to be called papers, like a long short story is not called a short story but a novella …