# Martin's Blog

## Line bundles and morphisms to the dual variety

Posted by Martin Orr on Saturday, 28 May 2011 at 15:25

Over the complex numbers, the dual of an abelian variety is defined to have a Hodge structure dual to that of . Hence morphisms can be interpreted as bilinear forms on the Hodge structure of . Of particular importance are the morphisms corresponding to Hodge symplectic forms.

Last time we saw that can also be interpreted as a group of line bundles on . Today we will use this interpretation to define morphisms which turn out to be the same as those corresponding to Hodge symplectic forms. Then we generalise the definition of to base fields other than , which we will use next time in constructing dual abelian varieties over number fields.

## Dual abelian varieties and line bundles

Posted by Martin Orr on Monday, 09 May 2011 at 14:30

The definition I gave last time of dual abelian varieties was very much dependent on complex analytic methods. In this post I will explain how dual varieties can be interpreted geometrically: the points of correspond to a certain group of line bundles on . We construct a single line bundle on the product , the Poincaré bundle, such that all line bundles on arise as restrictions of , and show that the pair satisfies a universal property.

## Dual abelian varieties over the complex numbers

Posted by Martin Orr on Tuesday, 26 April 2011 at 12:35

In this post I will define dual abelian varieties over the complex numbers. The motivation is that polarisations can be interpreted as isogenies from an abelian variety to its dual. For the moment, all this is tied to Hodge structures so only works over the complex numbers, but this is the view of polarisations which will we will generalise later to other fields.

## Polarisable complex tori are projective

Posted by Martin Orr on Saturday, 26 March 2011 at 16:07

Last time, we defined polarisations on Hodge structures and saw that if is a complex abelian variety, then has a polarisation. This time we will prove the converse: if is a complex torus such that has a polarisation, then is an abelian variety (in other words, can be embedded in projective space). The proof is based on studying invertible sheaves on .

This is long, even though I have left out all the messy calculations. For full details, see Mumford's Abelian Varieties or Birkenhake-Lange's Complex Abelian Varieties. For the next post, you will only need to know the two statements labelled as theorems.

This theorem is a special case of the Kodaira Embedding Theorem, which tells you that any compact complex manifold is projective if it has a polarisation, but that is somewhat more difficult.