Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question
1  
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
add comment

2 Answers 2

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|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
1  
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
add comment

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

share|improve this answer
add comment

Your Answer

 
discard

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.