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

Given a variety abelian $ A $ defined over an algebraically closed field of characteristic $ 0 $, Mumford define $ Pic^0(A)$= $L \in Pic (A) | T^*_x{L}L = L \ for \ all \ x \ in A$ , where $T_x$ is translation by x.

I wonder if this coincides with the usual definition: $ Pic ^ 0 ( A )$ is the connected component of identity in $ Pic (A) $?

share|improve this question

2 Answers 2

If I'm not mistaken, you've copied down Mumford's definition incorrectly: it should be the set of all line bundles $L$ such that $T_x^* L \cong L$ for all $x \in A$.

Once you make this correction: yes, this turns out to be the connected component of the identity in $\operatorname{Pic}(A)$. If you read further on in the book, you'll probably find this out. If not, try for instance Milne's notes on abelian varieties.

share|improve this answer
    
Yes, you're right, it was just way to write –  Flávio Apr 13 '11 at 18:38
    
You mean the connected component of identity in $ Pic (A) $, no? –  Flávio Apr 13 '11 at 18:47
    
@Flavio: yes.... –  Pete L. Clark Apr 13 '11 at 21:09

Although probably a bit late, I'd like to point out that you can find a beautiful exposition of the theory of the Picard scheme in the survey article by S. L. Kleiman with the same title, which is part 5 of the volume "Fundamental Algebraic Geometry" edited by Fantechi et al. and pubished by the AMS.

In particular, your question is answered in detail in $\S 9.5$ ("The connected component of the identity").

share|improve this answer

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.