Welcome to MathOverflow

Question

1

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

flag	asked Apr 13 2011 at 18:28 Flávio 13●1

Pete L. Clark · Answer 1 · 2011-04-13 21:09:25Z UTC

8

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.

edited Apr 13 2011 at 21:09

answered Apr 13 2011 at 18:33

Pete L. Clark
39.5k●3●102●225

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

Stefano V. · Answer 2 · 2011-05-04 19:45:22Z UTC

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

The $Pic^0$ of an abelian variety

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.