I will sketch a proof of the existence of a quotient of an
abelian variety under a finite group of automorphisms. The automorphism
group G of a polarised abelian variety (A,C) is finite. The quotient A/G
under the latter automorphism group is called the Kummer variety of A.
|