In mathematics, the Picard group of a ringed space X, denoted by Pic(X), is the group of isomorphism classes of invertible sheaves (or line bundles) on X, with the group operation being tensor product. This construction is a global version of the construction of the divisor class group, or ideal class group, and is much used in algebraic geometry and the theory of complex manifolds.
Alternatively, the Picard group can be defined as the sheaf cohomology group
H1(X,
* | |
l{O} | |
X |
).
For integral schemes the Picard group is isomorphic to the class group of Cartier divisors. For complex manifolds the exponential sheaf sequence gives basic information on the Picard group.
The name is in honour of Émile Picard's theories, in particular of divisors on algebraic surfaces.
l{O}(m),
n
\operatorname{Pic}(Cn)=0
...\toH1(Cn,\underline{Z
and since
Hk(Cn,\underline{Z
H1(Cn,\underline{Z
Cn
H1(C
n,l{O} | |
Cn |
)\simeqH1(Cn,l{O}
\star | |
Cn |
)
H1(C
n,l{O} | |
Cn |
)\simeqH1(Cn,\Omega
0 | |
Cn |
)\simeq
0,1 | |
H | |
\bar{\partial |
The construction of a scheme structure on (representable functor version of) the Picard group, the Picard scheme, is an important step in algebraic geometry, in particular in the duality theory of abelian varieties. It was constructed by, and also described by and .
In the cases of most importance to classical algebraic geometry, for a non-singular complete variety V over a field of characteristic zero, the connected component of the identity in the Picard scheme is an abelian variety called the Picard variety and denoted Pic0(V). The dual of the Picard variety is the Albanese variety, and in the particular case where V is a curve, the Picard variety is naturally isomorphic to the Jacobian variety of V. For fields of positive characteristic however, Igusa constructed an example of a smooth projective surface S with Pic0(S) non-reduced, and hence not an abelian variety.
The quotient Pic(V)/Pic0(V) is a finitely-generated abelian group denoted NS(V), the Néron - Severi group of V. In other words, the Picard group fits into an exact sequence
1\toPic0(V)\toPic(V)\toNS(V)\to1.
The fact that the rank of NS(V) is finite is Francesco Severi's theorem of the base; the rank is the Picard number of V, often denoted ρ(V). Geometrically NS(V) describes the algebraic equivalence classes of divisors on V; that is, using a stronger, non-linear equivalence relation in place of linear equivalence of divisors, the classification becomes amenable to discrete invariants. Algebraic equivalence is closely related to numerical equivalence, an essentially topological classification by intersection numbers.
Let f: X →S be a morphism of schemes. The relative Picard functor (or relative Picard scheme if it is a scheme) is given by: for any S-scheme T,
\operatorname{Pic}X/S(T)=\operatorname{Pic}(XT)/f
*(\operatorname{Pic}(T)) | |
T |
fT:XT\toT
We say an L in
\operatorname{Pic}X/S(T)
s*L