Poincaré line bundle ($P_A\text{ on }A\times \hat{A}$)

The normalized universal line bundle restricts to the class $\xi$ on $A\times \{\xi \}$ and is trivialized on both zero sections. For a line bundle $L$ on an abelian variety, its homomorphism associated to a line bundle on an abelian variety satisfiesas Picard group classes. A choice of trivialization of $L_0$ normalizes the right side; uniqueness then follows from the Seesaw theorem.