Computer Algebra
《Computer Algebra》 · 第 37 页 · Section 8「The Dual Abelian Variety」，定义段
We call $A^\vee$ the dual abelian variety of $A$, and $\mathcal P$ the Poincaré sheaf, if the pair $(A^\vee,\mathcal P)$ has the following universal property: for any pair $(T,\mathcal L)$ consisting of a variety $T$ over $k$ and an invertible sheaf $\mathcal L$ such that (a′) $\mathcal L|_{A\times\{t\}}\in\operatorname{Pic}^0(A_t)$ for all $t\in T$, and (b′) $\mathcal L|_{\{0\}\times T}$ is trivial, there is a unique regular map $\alpha:T\to A^\vee$ such that $(1\times\alpha)^*\mathcal P\simeq\mathcal L$.