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.