# More Thoughts on Abel-Jacobi

This is an extension of another earlier post. I think Jacobians of curves is a good way to introduce Abelian varieties.

Preliminaries: So is a complex projective integral variety of dimension 1 (a curve). The sheafs of interest are the structure sheaf, the sheaf of units, the (constant) sheaf of rational functions, and the constant sheaf .

Set , where is the canonical divisor for . Note, throughout I’ll truncate the notation . Also, I’ll tacitly use the natural isomorphism of with singular cohomology of with coefficients in .

Two short exact sequences of sheaves are of interest

Another standard fact, that wont be flushed out here is that and the natural cohomology map gives the degree of the line bundle.

Degree zero line bundles. It is of interest to look at degree zero line bundles, one good reason is they naturally form a subgroup . Using the associated long exact sequence above, we see

The short story is that and , so is isomorphic to for a lattice .

Describing the isomorphism . Using some nontrivial, but standard, results in algebraic geometry the above isomorphism can be described somewhat more explicitly. Note what follows is more of an intuition and rough idea vs. something rigorous. The results to use is that for a Noetherian seperated scheme, Cech cohomology can be used to compute (since is quasicoherent). Another result is Serre Duality, which in particular gives a perfect pairing .

In order to describe , a slightly modified description of and is used. This is modified description comes from Rick Miranda and his book on complex algebraic curves. A global section is of course just a global meromorphic function. So in local coordinates around any point , we can expand as a Laurent polynomial, . Say we only keep track of where there are some negative exponents, that is we keep the finitely many points where has a pole and throwaway the rest. Now if is any other global meoromorphic function with same poles or the same order (i.e. same principle parts), then is a global holomophic function, so up to a constant we can recover from the Laurent Tail Divisor

I’ll ignore this business of a constant, I don’t think it matter much. In any case, applying the description to , it follows that global sections can be expressed as where are local meromorphic functions defined on , such that (the diff. is holomophic on the intersection).

Serre Duality. Recall elements of are collection of elements that agree on triple intersections. Also, elements of are holomorphic 1-forms. Also note, in the above description of global section of , setting gives an element of , and this is the map that appears in the long exact sequence in cohomology. Now starting with , lift it to by fixing an index , setting , and . Finally we can say

The upshot is that summing over the residues of a function is like integrating it around a certain closed contour, and it can be checked (see post mentioned above) that the integral only depends on the class of the contour in , so the pairing also looks like

So ultimately, if you fix a point to be the base point of , then you some of these maps become even more explicit (I guess) and the period lattice is determined by taking a basis for the differentials and a generating set for , then this is how you get the period matrix (or its transpose)

.

## About this entry

You’re currently reading “More Thoughts on Abel-Jacobi,” an entry on Math Meandering

- Published:
- November 15, 2009 / 2:19 pm

- Category:
- Teleman, wall scribble

## No comments yet

Jump to comment form | comment rss [?] | trackback uri [?]