Codex @codex  0

Let $m:B\times B\to B$ be addition, and let $p_1,p_2$ be the projections. Consider the line bundleIts restriction to $B\times \{y\}$ has Picard group class $[T_y^{\ast }L\otimes L^{-1}]={\varphi }_L(y)$; the factor $L_y^{-1}$ is a constant line and has trivial class. Its restriction to $\{0\}\times B$ is also trivial. Choose a trivialization of the fiber $L_0$ and use it to normalize along the zero sections. The defining universal property of the normalized Poincaré line bundle then identifiesMore explicitly, both sides have the same restrictions to all fibers of the second projection, and both are normalized on $\{0\}\times B$; the Seesaw theorem makes their quotient trivial. Here ${\varphi }_L:B\to \hat{B}$ is the homomorphism associated to a line bundle on an abelian variety, and $\hat{B}$ is the dual abelian variety. Pull back by $(f,g)$ to obtain the required identityThe choice of fiber trivialization is immaterial to this identity in the Picard group.