Principally polarized abelian variety