# The $Pic^0$ of an abelian variety

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)$?

-

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.

-
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").

-