Martin's Blog

Dual varieties over general fields

Posted by Martin Orr on Friday, 24 June 2011 at 17:26

Today we will construct dual abelian varieties over number fields. We use the universal property from two posts ago to define dual abelian varieties, then we give a simple construction inspired by the complex case. Proving that this construction satisfies the universal property is harder; in the case of number fields, we will use Galois descent to deduce it from the complex case which we already know analytically.

Definition of the dual abelian variety

We define the dual abelian variety to be an abelian variety over such that there exists a line bundle on satisfying the following universal property:

Let be a normal -variety and a line bundle on such that

1. for all ;
2. is trivial.

Then there is a unique morphism of -schemes such that .

In fact, this property is satisfied for any -scheme . This tells us exactly what the morphisms , and so an equivalent statement would be:

The dual abelian variety is the -scheme whose functor of points is

Construction of dual abelian variety as a quotient

Last time we defined a homomorphism for each line bundle on . Over the complex numbers, we know that if is ample then is an isogeny . Hence is isomorphic to the quotient .

We will copy this construction over an arbitrary field : Choose an ample line bundle on . Let , where is the subgroup scheme of defined last time whose -points are . Then we "just" have to specify a Poincaré bundle on and prove that it satisfies the universal property.

Before doing that, we need to specify what we mean by the quotient of group schemes . The theory of quotients of schemes by group actions is tricky, but fortunately we need only a very simple case, because we saw last time that is finite. (Note that is a finite group scheme, not just a finite group, but this does not really cause trouble.) The key result is the following:

Theorem. Let be a -variety and a finite group -scheme acting on by regular morphisms. Suppose that every -orbit is contained in an open affine subset of . Then there exists a variety and a finite regular morphism such that any -invariant regular morphism factorises uniquely as

Sketch proof. The condition on orbits implies that it suffices to prove the theorem for affine varieties and glue. So suppose that . Let and . Then proving that has the required properties is a matter of commutative algebra.

The action of on (by translations) satisfies the conditions of this theorem, so the quotient variety exists. It inherits a group structure from that of . To say more about , we need the following result on sheaves on quotient varieties.

Theorem. In the situation of the previous theorem, suppose also that the action of on is free. Then is an equivalence of categories Here a sheaf with -action means a sheaf on together with isomorphisms for every and every -algebra satisfying the obvious cocycle and functoriality conditions.

By the definition of , the line bundle itself has a -action, so it corresponds to a line bundle on , which can be proved to be ample. So is an abelian variety.

Similarly, in order to construct the Poincaré bundle on , we need to find the bundle on , then take its quotient by the action of on the second .

This bundle should have the property The following bundle has this property: where is the group law. Furthermore, this bundle has a canonical action of compatible with the action on the second factor of , so it descends to a line bundle on as required.

Proof of universal property

The proof that the pair satisfies the universal property is too hard to include here. It can be found in Mumford's book (at least for algebraically closed fields). It is similar in outline to the proof we gave over the complex numbers, but involves hard cohomological arguments.

However, I am really interested in number fields. In this case, we can deduce the universal property for from the fact that we already know it holds over .

So suppose we are given a -variety and a line bundle on satisfying conditions 1 and 2 above. Extending scalars to , we know that there is a unique morphism such that . We just have to show that is defined over .

But if , then , since both and are defined over . So by the uniqueness of we have .

Polarisations

We can show that the group homomorphisms (for any line bundle ) are actually morphisms of abelian varieties using the universal property: is the morphism associated with the line bundle .

A polarisation of is defined to be an isogeny such that, after extending scalars to , for some ample line bundle on . According to Milne, this is not quite the same as being of the form for some ample line bundle on itself.

Tags abelian-varieties, alg-geom, hodge, maths

1. Weil pairings: definition From Martin's Blog

Recall that for an abelian variety over the complex numbers, is dual to (this is built in to the analytic definition of ). Since , this tells us that is dual to (as -modules). We would like to show that this is true over other fields as well, whic...

2. Rosati involutions From Martin's Blog

I intend to return to the basic theory of abelian varieties and write write a few posts on their endomorphism algebras and associated moduli spaces. To begin with, I will discuss the Rosati involution which is an involution of the endomorphism alg...

3. Period relations on abelian varieties From Martin's Blog

The Legendre period relation is a classical equation relating the periods and quasi-periods of an elliptic curve, as defined last time. I will discuss this relation, and then more generally discuss how the existence of polarisations implies ...

1. Barinder said on Sunday, 07 August 2011 at 12:15 :

In the non-principally polarised case, over a number field, how different can be the arithmetic between A and its dual? I think the torsion and ranks have to be the same, for example.

Where do we "see" the dual abelian variety in number theory? Am I right in saying that it only matters when our abelian variety is not principally polarised? If so, what are some interesting arithmetic questions regarding non-principally polarised abelian varieties? Where do they arise in your work on André-Oort?

By the way, I will come on the evening of the 8th, and my train leaves on the 10th at 17:13. Perhaps we can visit Versailles on the Saturday?

2. Martin Orr said on Sunday, 14 August 2011 at 20:21 :

The arithmetic is going to be pretty similar because the cohomology of the dual abelian variety is the dual of the cohomology of . For example this applies to the Tate modules which implies that the torsion groups are isomorphic.

The important thing about the dual abelian variety is that you need it to define the Weil pairing which I intend to discuss in my last post in the series. I am not really aware of anything interesting about non-principally polarised AVs - one often begins by reducing questions about them to something about ppAVs. For example we might use the following theorems:

Theorem. If has a polarisation whose degree is not divisible by the characteristic of the base field, then is isogenous to a ppAV.

Zarhin's Trick. If is any abelian variety, then is principally polarisable.