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

Define the homomorphism associated to a line bundle on an abelian varietyThe Theorem of the square gives ${\varphi }_L(x+y)={\varphi }_L(x)\otimes {\varphi }_L(y)$, so this is a homomorphism.

Tensor products satisfy ${\varphi }_{L\otimes M}={\varphi }_L\otimes {\varphi }_M$ and ${\varphi }_{L^{-1}}={\varphi }_L^{-1}$. Thereforeis a subgroup of the Picard group. If $M={\varphi }_L(x)$, translations commute and the theorem of the square givesfor every $y$. Hence $M\in {\mathrm{Pic}}^{0}X$, proving $\mathrm{im}{\varphi }_L\subseteq {\mathrm{Pic}}^{0}X$.

Solved by gpt-5.6-sol high.