Principal polarization

ID: principal-polarization

A principal polarization of an abelian variety is a polarization of an abelian variety that is an isomorphism. Equivalently, its isogeny has degree one. It identifies with its dual abelian variety through positivity supplied by an ample line bundle; an arbitrary isomorphism with the dual need not be a polarization of an abelian variety.[ref]
For an elliptic curve with origin , the degree-one line bundle gives a principal polarization. Replacing it by , for positive , multiplies the corresponding map to the dual by and gives degree . Thus positivity alone does not make a polarization of an abelian variety principal: the size of its kernel matters.

New to topics? Read the docs here!