Last time, we talked about twisted endomorphisms. Now, we’re moving on to the second paragraph of the paper: generalized theta divisors. In the meantime, we’re going to have to talk a bit about vector bundles and their moduli.

Let be a curve, and let be a vector bundle. We define the slope of to be . Now, we define a bundle to be (semi)stable if for every proper vector subbundle we have (). We require stability in order to make much sense of the notion of a moduli space: it turns out to be the right notion to rigidify things, and is connected to the notion of stable and semistable points discussed in *Geometric Invariant Theory*. We go to semistability in order to get compact moduli spaces. One nice thing about the notion of semistability over stability is that it is characterized by a theorem of Faltings:

**Thm**: A vector bundle is semistable iff there exists a vector bundle such that .

That’s it. It’s semistable if you can tensor with something to kill the cohomology groups. Even better, you don’t need to be over for this to work, or even an algebraically closed field, though I don’t know the sharpest version out there. Additionally, there are results that bound the rank of that you need to do this for semistable bundles.

You can use this theorem to prove that if is semistable, so is for any line bundle , and so is , though these results can also be shown directly. These two facts tell us some things about the moduli space of semistable vector bundles (hereby just referred to as the moduli of vector bundles). First up, it gives us an involution. We can take each bundle to its dual, and know that we still have a stable bundle. Second, we get an action by the Jacobian of the curve . The only reason we restrict to the Jacobian rather than the whole Picard group is to keep the degree constant, if we’re looking at the space of all vector bundles of rank , which would have countably many components, then we get an action of .

So now, we take the moduli space of rank and degree vector bundles on and call it . The there refers to a connection to the unitary group, which we might talk about in the future, but won’t for the moment. Now, for reasons that will be clear later, we want to have . To get there, we use the Grothendieck-Riemann-Roch theorem, which states that for a vector bundle , we have . So we get , and so we want to restrict to .

Once we’ve got this moduli space, we want to talk about families of vector bundles. Let be a variety and have it index a family of bundles on , given by on . Set to be the projection. We are going to look at . Now, higher pushforwards are nice with respect to pullbacks, which we need because we’re really shooting at defining a universal object in the end. For now, we’ll just look at the support of . This sheaf is the sheafification of the assignment , and so will be supported on . Now, we have , and so , which is hard to check, is equivalent to , which is better. So is supported on .

Now, if you’ve done anything with Jacobians of curves and their Theta Divisors, you’ll recognize this. There, you get a divisor consisting of those line bundles that have a nontrivial global section. Here, we need to do a bit more work, because isn’t generally a line bundle. So we look at , and define it to be the line bundle . This is a sort of relative version of a Theta Divisor. The real thing we’re looking for, though, is on . What we get there is a line bundle , defined by the property that given a family indexed by , we get a classifying map , and we require that . Such a divisor exists, and is called a Generalized Theta Divisor on the Moduli Space of Vector Bundles.

Hi. Your theta bundle comes equipped with a canonical section (the determinant of the differential of a perfect two term complex representing the pushforward, which makes sense beccause the Euler characteristic is 0). Is this section non-zero?

My next post will have a bit more about that. It turns out to not only be nonzero, but gives an isomorphism between certain projective spaces. I’ll post more once I’ve worked through the details.