Definition of $\operatorname{Pic}^0(V)$ for $V$ a singular variety

algebraic-geometrypicard-schemesingularity-theoryvector-bundles

How does one define the $\operatorname{Pic}^0(V)$ for $V$ being a singular, not necessarily normal variety?

Until now the approach I found by searching Google is to prove that the Picard functor is representable but this is not understandable for me at all.

I thought one might define $\operatorname{Pic}^0(V)$ as the degree zero line bundles on $V$. But then 1) I am unsure whether I can just copy paste the usual definition of a line bundle in the case of a singular variety and 2) I am uncertain about the definition of the degree of such a bundle because to define the degree one takes the associated Weil divisor. Here, I don't know if the line-bundle-divisor-correspondence still holds and I was also reading that there are problems with defining both Weil and Cartier divisors on singular and in particular non-normal varieties.

Any comment will be appreciated. But please try to keep the arguments simple since I am still beginner on this subject.

Best Answer

$\mathrm{Pic}^0$ is meaningful only for complete varieties. If the variety is not normal, this is defined as an abelian group, but not as a scheme (see Variete du Picard, by CS Seshadri). To define as a group, one can do the following. Line bundles can be defined for any scheme the usual way, no mention of divisors necessary. For any non-singular projective curve $C$ and a morphism $f:C\to V$, one has the pull back map $\mathrm{Pic}\, V\to \mathrm{Pic}\, C$ and thus the inverse image of $\mathrm{Pic}^0C$ in $\mathrm{Pic}\, V$ (Notice that $\mathrm{Pic}^0C$ makes sense since $C$ is a non-singular projective curve). The intersection of all these subgroups as $C$ (and $f$) varies is called $\mathrm{Pic}^0 V$.

Related Question