Duality theory of abelian varieties