# Abelian Varieties: an outline

An Abelian variety is a complete group variety over an algebraically closed field; in particular it comes with a multiplication and inverse map . Naturally we get translation maps which is probably better denoted and a multiplication by map with , the identity.

In what follows varieties ( = integral finite type and separated) are understood to be varieties over some algebraically closed field.

In what follows these are things I discussed in an earlier post on Abelian Varieties. These things are most relevant things regarding the Poincare line bundle and these things are fairly easy properties that can be proved along the way.

I think one of the most important aspects of Abelian varieties is the

Poicare Line Bundle ; in order to describe I need the notion of the

Dual Abelian variety and there is a natural construction of the dual via a certain group called

Pic Zero , over the complex numbers these are topologically trivial line bundles. The definition of is easy once I have the Theorem of the square which is itself an easy consequence of the

Theorem of the Cube. The proof of this theorem depends on an intuitive but nontrivial result that says on any variety of dimension at least 1, any two points can be connected by an irreducible curve. I’ll say a little more about this in coming posts.

This theorem gives some easy properties:

a)

b) is surjective.

With defined the following are readily proved

1) iff

For

2)

3)

4) for arbitrary .

5) implies .

To make the dual Abelian Variety of its necessary to show that a natural map is surjective. This uses

i) a computation of the cohomology of line bundles

ii) Leray Spectral Sequence

iii) Cohomology with base change

I wont discuss the proofs of ii), iii) I’ll only apply them. Nevertheless their utility here is a good demonstration of the power of concepts like derived functors and flatness.

With all of this in place I can define the Poincare bundle on and the functor that represents.

The next couple of posts will be about adding some of the details to this outline. But the above theory would implicitly be incomplete without the niffty fact that

The group law on an Abelian variety is always commutative. This is proved using the

Rigidity lemma: If is map between varieties with complete and if for some then factors as .

pf: Eventually I’ll use the result that a map from a complete variety to an affine variety has image a point.

pf: can be thought of as , i.e. has functions $X \to \mathbb{A}^1$. Now general theory say is a closed connected complete subvariety of ; the choice are the whole space of a point, and only a point is complete. qed

Now let be an open affine nbd of $z$. The set is closed. As is complete, the projection is closed, so is closed. As , I have . Therefor are open an nonempty.

Pick and arbitrary . Define by . Note that for $q \in U’$, I have hence is a point; i.e. . It follows that and agree on a dense open set hence are equal.

Note needed to be a variety so any open set is dense. To conclude I need reduced and separated. See ex II.4.2 for more.

Let denote the multiplication map for and the inverse. The Rigidity lemma implies that if fixes the identity element then it is a homomorphism

pf: apply the lemma to to the map . In more pleasant notation this is . It collapses and hence is constant.

Finally fixes the identity hence is homomorphism, i.e. , so the group law is commutative.

## About this entry

You’re currently reading “Abelian Varieties: an outline,” an entry on Math Meandering

- Published:
- February 5, 2010 / 12:44 am

- Category:
- alg. geo., wall scribble

## No comments yet

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