Theta divisors: the clean part

As often happens, after I do a large computation, a lot more theory makes sense. So, in this post, I’ll talk about the parts that I can explain without getting dirty with formulae. After that, I’ll think there willl be one more post on \Theta functions and divisors.

Suppose we have an abelian variety A of dimension g and we have a cohomology class \beta in H^2(A, \mathbb{Z}). Suppose that \beta is the Chern class of a line bundle. We will be interested in the question of to what extent we can canonically choose a line bundle with Chern class \beta. (Later, we will ask the same questions regarding whether there is a hypersurface with class Poincare dual to \beta.) The application to our original question is when A is the Jacobian of a Riemann surface X and \beta is the class of the \Theta disivor in Pic^{g-1}(X). (The ambiguity in identifying Pic^0(X) with Pic^{g-1}(X) is topologically trivial.)

By the way, when is \beta could be the Chern class of a line bundle? If and only if it is a Hodge class. This is the main case in which the Hodge conjecture has been proved. This is a fascinating subject, but I’ll be ignoring it.

We have a map Pic(A) \to H^2(A, \mathbb{Z}) which maps a holomorphic line bundle to its first Chern class. The kernel of this map is called Pic^0(A) and the image is called the Neron-Severi group, NS(A). So we have a short exact sequence:

0 \to Pic^0(A) \to Pic(A) \to NS(A) \to 0. \ (*)

The question we are asking is whether we can find a natural way of splitting this sequence. Let {[-1]} be the endomorphism of A which sends every point to its inverse. Then {[-1]} acts on all three terms of (*). The interesting thing is that {[-1]} acts by negation on the left term and acts trivially on the right. If we were dealing with a short exact sequence of real vector spaces, or more generally of \mathbb{Z}[1/2] modules, this would let us split the sequence immediately. We would simply split Pic(A) into its (-1) eigenspace, which would be Pic^0(A), and its 1 eigenspace, which would be NS(A).

We can still try to mimic this, but life will be trickier because we can’t divide by {2}. Choose an arbitrary lift \gamma of \beta to Pic(A). Then \gamma + [-1]^* \gamma is independent of the choice of \gamma. There are 2^{2g} bundles L such that 2 L =  \gamma + [-1]^* \gamma, each of which has class \beta. So, there isn’t one canonical choice of L, but we can get down to a discrete 2^{2g} choices, as opposed to the entire continuum of choices that we would naively see.

Now, this post has been about line bundles. What happens with divisors? If a line bundle L has Chern class \beta, then \beta is the class (Poincare dual to) the zero locus of any section of L. In general, L will have many sections. Precisely, assuming that L is ample, \beta induces a skew symmetric form on H_1(A, \mathbb{Z}), and the dimension of H^0(L) is the Pfaffian of that form. In particular, as will be the case in our intended application to \Theta-functions, if \beta induces a perfect pairing on H_1(A, \mathbb{Z}), then L has a unique nonzero section (up to scaling). So, in that case, we can use the methods above to find a canonical divisor D, modulo translation by {2}-torsion, whose cohomology class is \beta.

What is this divisor explicitly? It is determined by the condition that {[-1]}D=D. (Note that translating D by a {2}-torsion point preserves the truth of this condition.) It’s a good exercise to trace through the previous definitions and see that this works.

Now, all of this was in the context of a general abelian variety with a specified Hodge class that gives an ample line bundle and induces a perfect pairing on H^1(A, \mathbb{Z}). (The terminology for this is a principally polarized abelian variety.) In the particular case of the Jacobian, it is a nice exercise (using Riemman-Roch) to check that, if \kappa is any point of Pic^{g-1}(X) with 2 \kappa =K then \Theta - \kappa = - (\Theta - \kappa). Thus, the previously described construction does yield the translate of the \Theta divisor by some square root of the canonical bundle. (As several commenters told me.)

That is the end of what can be done nicely, and without reference to explicit \Theta functions (or indeed, any analysis). What \Theta functions let you do, given a choice of basis for H_1(A,\mathbb{Z}), is to make a choice of one of the 2^{2g} possible line bundles on A. More on this in the forthcoming (and final post) “Theta functions: the funky part”!

4 thoughts on “Theta divisors: the clean part

  1. Nice! That clears up some issues I hadn’t been understanding…
    I haven’t really worked out the details, but shouldn’t most of this story (all except paragraph -4) go through even if the variety is not principally polarized? The Prym isn’t principally polarized…
    Can you say something about the picture in the non-principally-polarized case? (although this has nothing to do with your original question).

  2. Yeah, I think that the only importance of principal polarization is that it gives you a unique section of the line bundle. In the general case, everything works the same way on the level of line bundles.

    We can then ask, if we are given an isomorphism {[-1]}^* L \cong L, how does {[-1]} act on H^0(L)? To find a divisor D of class \beta, we’d want to find a section in H^0(L) which is an eigenvalue for {[-1]}. That divisor will vanish to an even order at the identity (possibly zero) if it comes from a {1}-eigenvector and to odd order if it comes from a {(-1)}-eignevector. In the principally polarized case, H^0(L) is one dimensional and the zero locus of its section is called an even or odd \Theta divisor according to which of these cases holds.

    The above seems to depend on our choice of isomorphism {[-1]}^* L \cong L but we can remove the dependency. Any two such isomorphisms differ by a nonvanishing holomorphic function on A, which must be a constant. We can normalize that constant by requiring our isomorphism to act trivially on the fiber over the identity. So don’t worry about that.

    As you’ll see in the next post, we can write down a basis for H^0(L) using \Theta functions and that basis is an eigenbasis for H^0(L). So it would be easy to work out how many {1} and how many {-1} eigenvalues occur. But I haven’t found a nice way to formulate the result.

  3. Small typo: “When is beta could be…”

    I’ve been trying to learn this stuff myself, so I’ll reread this when I’m less jet-lagged and sleepy! Thanks for writing it.

Comments are closed.