MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Given two smooth elliptic curves $C_1$ and $C_2$ over $\mathbb{C}$. Assume they are not isogenous. I'm interested in the structure of $Pic(A)$ and $Pic^{0}(A)$ for $A:=C_1 \times C_2$.

Reading Birkenhake/Lange - Complex Abelian Varieties, i think this has to do with correspondences of curves. Since an elliptic curve is its own Jacobian and the two curves are not isogenous, we have $Hom(C_1,C_2)=0$. So the space of correspondences $Corr(C_1,C_2)$ is trivial, i.e. every line bundle $L$ on $A$ is of the form $L=q^{\*}M\otimes p^{\*}N$, where q and p are the projections on the factors and $M$ and $N$ are line bundles on the factors. This implies $Pic(A)=Pic(C_1)\times Pic(C_2)$.

Does this impliy $Pic^{0}(A)=Pic^{0}(C_1)\times Pic^{0}(C_2)$? That is, is the Picard variety of $A$ isomorphic to $A$ in this case?

share|cite|improve this question
Yes, any product $A$ of elliptic cures is principally polarizable(e.g. by the product polarization), hence isomorphic to its Picard variety. – Pete L. Clark Oct 7 '10 at 18:01
up vote 2 down vote accepted

Yes: in fact $Pic^0(C_1\times C_2)=Pic^0(C_1)\times Pic^0(C_2)$ for any pair of curves. The fact that $C_1$ and $C_2$ are not isogenous in your case only affects the Neron-Severi group $Pic/Pic^0$ of $C_1\times C_2$, exactly for the reasons you describe.

share|cite|improve this answer
Interesting, can you give an explanation or a reference why this is true for all curves? I see that we have $Pic^{0}(C_1)\times Pic^{0}(C_2) \subset Pic^{0}(C_1\times C_2)$, via the pullbacks coming from the projections. But i don't see the other inclusion. – TonyS Oct 7 '10 at 17:33
It comes out of the theory of correspondences. See Weil's classic "Courbes algebriques et les varietes qui s'en deduisent", or p.153 of Zariski's book on algebraic surfaces (2nd ed.) – Tony Scholl Oct 7 '10 at 18:38
Thank you. I will try to get a look in that book and that article. – TonyS Oct 7 '10 at 20:24

Am I missing something? Doesn't this hold for arbitrary smooth pairs of varieties using the Kunneth decomposition?

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.