Past exam of the mathematics course of the University of Cambridge / 2024 / iii / Paper 126 / 4 / ii

For a line bundle $L$ on $X$, define the homomorphism associated to a line bundle on an abelian varietyThe Theorem of the square givesso ${\varphi }_L$ is a homomorphism. Pullback distributes over the tensor product of sheaves, and thereforeIterating the homomorphism law in $x$ gives

Suppose $L^{\otimes n}\in {\mathrm{Pic}}^0(X)$. Then ${\varphi }_L(nx)$ is trivial for every $x$. The multiplication-by-n morphism on an abelian variety is surjective, so ${\varphi }_L$ is trivial and $L\in {\mathrm{Pic}}^0(X)$. Thus the Néron-Severi groupis torsion-free.

Finally, put $M={\varphi }_L(x)$. For every $y$,which is trivial by the Theorem of the square. Hence