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.