A note about the title. My last year in Berkeley, I lived just off of Telegraph Avenue, a few blocks from People’s Park. It was a neighborhood filled with street artists and musicians, great bookstores and interesting people — as well as a good supply of pot dealers, homeless folks and people in various altered states of reality. Whenever people asked me if I lived in a good neighborhood, I told them I lived in a funky neighborhood. I think the same thing can happen with math. Grothendieck and Serre taught us all how to work in a very austere and beautiful way, where every construction is completely natural. When we see math that doesn’t work that way, often we think that it is bad. At its best, though, all of those changes of basis and transition formulas can be, well, kind of funky.
Let’s review where we were. Let be an abelian variety and be the Chern class of an ample line bundle. As we discussed last time, the space of all line bundles with Chern class is a principal homogeneous space for . However, a little cleverness can pick out a subcollection of such line bundles which is a principal homogeneous space for . The use of functions is to give us a way to label individual line bundles in this element set, and write down sections of them.
We’ll write for . Recall also that naturally induces a skew symmetric, integer valued form on .
Here is my main claim: The special bundles of class correspond naturally to the functions from such that
A few notes before going on. The reader will notice that I have abandoned talking about curves altogether; as I discussed in the last post, I think that the only role of the curve is to define a class in the Jacobian. It would probably be more elegant to work with instead of , but I spent a lot of time getting the twos right in the previous posts so I don’t want to change conventions now. Finally, based on my comments, 50 percent of my readers want me not to restrict my attention to the principally polarized case. Oh vast readership, your wish is granted!
Let be the universal cover of , which has the structure of a -vector space and let be the obvious map. Any line bundle on pulls back to a line bundle on . All line bundles on are trivial. It turns out that we can choose a trivialization of this pullback such that sections of correspond to -functions on , for some . However, there is no natural choice of .
As we saw before, must be a linear map . Moreover, if is the Chern class of , then
Incidentally, this last relation seems to be hard to verify using any algebraic definition of Chern classes. I suspect that it is easier using connections but haven’t worked it out. If anyone finds a simple argument, leave a note below.
There are a lot of interesting things to say about the existence and nonuniqueness of . I don’t want to get sidetracked, so I’ll just say that may or may not exist for a general map — the condition that it does is equivalent to there being a line bundle with Chern class on . (The condition that this line bundle be ample turns out to be a certain positivity condition, which I won’t be getting into at all.) Also, given one , all other ‘s are of the form for some self-adjoint map .
Exercise (post solutions below): Choose coordinates so that and . (Here , and are matrices, which you may assume to be invertible.) Give a necessary and sufficient condition, written as an equality of matrices, for to exist. Harder: do this without assuming that has the given special form.
As we saw in the one variable case, are not uniquely determined by the line bundle , because of the possibility of multiplying by trivial functions. However, writing
we saw that the function from to , is well defined up to adding linear functions of . Furthermore, we have
Let’s look at some special cases. If , we deduce that . If , we deduce that . (Since is skew symmetric.)
Now, we want to restrict to the case that . In this case it is plausible, and in fact true, that we can choose our trivialization symmetrically, so that we are interested in functions with .
Using , we have . Since , this translates into the condition that . On the other hand, for any . So we see that if and only if is half-integer valued.
We have now proven the claim, up to believing everything I said about choosing trivializations. Given a half-integer valued , such that
the sections of the corresponding line bundle are the quotients of -functions with monodromy .
We’ve reached the main result. This would be a good time to stretch your legs and get a cup of coffee.
First, an exercise: We said before that we would consider a set of line bundles which would be a principal homogeneous space for . We also noticed that the difference of any two -functions is linear, so our -functions are a principal homogenous space for . Why are these two pictures consistent?
Next, how does this relate to the classical presentation? Classically, one begins by choosing a decomposition where and are two lattices of rank on which is zero. Then there is a unique map so that for and . In general, is given by
In the principally polarized case, is invertible (in ) and one generally chooses coordinates so that it is the identity. In general, my references like to diagonalize but I see no reason to do so.
One then makes the following choice of : is zero on and, for and , we have . Note that the requirement that
for and gives a nontrivial condition on : is it the same condition you got in the exercise above?
Finally, one sets for and .
Then -functions with monodromy are periodic so we can write them as Fourier series. Identify with , so can be thought of as a -linear function on which take integer values on .
It is required that, for ,
In particular, is determined by its values on a collection of coset representatives for . Ignoring convergence issues, this shows that the dimension of the space of functions with monodromy is revealed to be .
One last thought. I’m not going to work this out myself, but I’d gladly link to someone who did. Here is a possible way to avoid analysis altogether. Given a class on an abelian variety as before, let be one of the lifts of to . Then is a line bundle whose isomorphism class is independent of the choice of . So we can describe the various choices of by giving , which will determine , and giving descent data (link is to PostScript file) for the etale map . I suspect that this lets you do all of the above over any field of characteristic not , without ever mentioning an infinite sum.