View source for Picard variety

''of a complete smooth algebraic variety $X$ over an algebraically
closed field''

The Abelian variety $\def\fP{{\frak{P}}} \fP(X)$ that parametrizes the quotient group ${\rm Div}^\alpha(X)/P(X)$ of
the group ${\rm Div}^\alpha(X)$ of divisors that are algebraically equivalent to zero by
the group of principal divisors $P(X)$, i.e. divisors of rational
functions. From the point of view of the theory of sheaves, the Picard
variety parametrizes the set of classes of isomorphic invertible
sheaves with zero Chern class, i.e. $\fP(X)$ coincides with the connected
component of the unit, ${\rm Pic}^0(X)$, of the
[[Picard group|Picard group]] ${\rm Pic}(X)$ of $X$. The structure of an Abelian
variety on the group $\fP(X) = {\rm Dic}^\alpha(X)/P(X)$ is uniquely characterized by the following
property: For any algebraic family of divisors $D$ on $X$ with base
$S$ there exists a regular mapping $\phi:S\to\fP(X)$ for which
$D(s)-D(s_0)\in\phi(s)$, where $s_0$ is a
certain fixed point from $S_0$
[[#References|[2]]]. The dimension $q=\dim\fP(X)$ is called the irregularity of
$X$.

The classic example of a Picard variety is the
[[Jacobi variety|Jacobi variety]] of a smooth projective
curve. Another example is provided by a dual Abelian variety
[[#References|[3]]].

If $X$ is a smooth projective complex variety, $\fP(X)$ can be identified
with the group of invertible analytic sheaves on $X$ with zero Chern
class
[[#References|[4]]]. Also, in that case the Picard variety $\fP(X)$ is
isomorphic to the quotient group of the space $\def\cO{{\mathcal{O}}} H^1(X,\cO_X)$ by the lattice
$H^1(X,\Z) \subset H^1(X,\cO_X)$. In particular, the irregularity $q$ of $X$ coincides with $\dim H^1(X,\cO_X) = \dim H^0(X,\Omega_X^1)$,
where $\Omega_X^1$ is the sheaf of regular $1$-forms. The latter result is true
also in the case of non-singular projective curves over any
algebraically closed field as well as in the case of complete smooth
varieties over an algebraically closed field of characteristic $0$. In
arbitrary characteristic one only has the Igusa inequality: $\dim H^1(X,\cO_X) \ge q$ (an
example is known of a smooth algebraic surface $F$ of irregularity 1
having $\dim H^1(X,\cO_X) = 2$
[[#References|[6]]]). This shows that a Picard variety is closely
related to the theory of one-dimensional differential forms. E. Picard
himself
[[#References|[1]]] started research on such forms on Riemann
surfaces; he showed that the space $\dim H^0(X,\Omega_X^1)$ of everywhere-regular forms is
finite dimensional.

The concept of a Picard variety can be extended to the case of a
complete normal variety $X$. Studies have also been made on a Picard
variety $\fP_c(X)$ corresponding to Cartier divisors and having good
functorial properties, in contrast to $\fP(X)$
[[#References|[9]]]. The variety $\fP_c(X)$ has been constructed for complete
normal varieties $X$
[[#References|[5]]], as well as for arbitrary projective varieties
[[#References|[8]]].

====References====
<table><TR><TD valign="top">[1]</TD> <TD
valign="top"> E. Picard, "Sur les intégrales de différentielles totales algébriques" ''C.R. Acad. Sci. Paris'' , '''99''' (1884)
pp. 961–963 {{MR|}} {{ZBL|34.0459.03}} {{ZBL|34.0458.03}} {{ZBL|32.0419.01}} {{ZBL|32.0418.01}} {{ZBL|28.0560.01}} {{ZBL|16.0296.01}} {{ZBL|16.0293.01}} {{ZBL|17.0373.03}} {{ZBL|17.0332.03}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">
I.R. Shafarevich, "Basic algebraic geometry" , Springer (1977) (Translated from Russian) {{MR|0447223}} {{ZBL|0362.14001}} </TD></TR><TR><TD valign="top">[3]</TD> <TD
valign="top"> D. Mumford, "Abelian varieties" , Oxford Univ. Press (1974) {{MR|2514037}} {{MR|1083353}} {{MR|0352106}} {{MR|0441983}} {{MR|0282985}} {{MR|0248146}} {{MR|0219542}} {{MR|0219541}} {{MR|0206003}} {{MR|0204427}} {{ZBL|0326.14012}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">
P.A. Griffiths, J.E. Harris, "Principles of algebraic geometry", Wiley (Interscience) (1978) {{MR|0507725}} {{ZBL|0408.14001}} </TD></TR><TR><TD valign="top">[5]</TD> <TD
valign="top"> C. Chevalley, "Sur la théorie de la variété de Picard", ''Amer. J. Math.'' , '''82''' (1960) pp. 435–490 {{MR|0118723}} {{ZBL|0127.37701}} </TD></TR><TR><TD
valign="top">[6]</TD> <TD valign="top"> J.-I. Igusa, "On some problems in abstract algebraic geometry" ''Proc. Nat. Acad. Sci. USA'' ,
'''41''' : 11 (1955) pp. 964–967 {{MR|0074085}} {{ZBL|0067.39102}} </TD></TR><TR><TD
valign="top">[7]</TD> <TD valign="top"> T. Matsusaka, "On the algebraic construction of the Picard variety I" ''Jap. J. Math.'' ,
'''21''' : 2 (1951) pp. 217–235 {{MR|0062470}} {{ZBL|}} </TD></TR><TR><TD valign="top">[8]</TD>
<TD valign="top"> C. Seshadri, "Variété de Picard d'une variété complète" ''Ann. Mat. Pura Appl.'' , '''57''' (1962)
pp. 117–142 {{MR|0138623}} {{ZBL|}} </TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">
C. Seshadri, "Universal property of the Picard variety of a complete variety" ''Math. Ann.'' , '''158''' : 3 (1965)
pp. 293–296 {{MR|0177988}} {{ZBL|0132.41501}} </TD></TR></table>

====Comments====
The Picard variety (over an algebraically closed
field) has been constructed for Weil divisors by T. Matsusaka
[[#References|[7]]], by S. Chow (see
[[#References|[a1]]]) and by A. Weil (see
[[#References|[a1]]]), and for Cartier divisors by C. Chevalley
([[#References|[5]]],
[[#References|[8]]] and
[[#References|[9]]]).

The Jacobian of a complete (possibly singular, possibly multiple)
algebraic curve was constructed by M. Rosenlicht
[[#References|[a2]]] and F. Oort
[[#References|[a3]]],
[[#References|[a5]]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD
valign="top"> S. Lang, "Abelian varieties", Springer (1983) {{MR|0713430}} {{ZBL|0516.14031}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">
M. Rosenlicht, "Generalized Jacobian varieties", ''Ann. of Math.'', '''59''' (1954) pp. 505–530 {{MR|0061422}} {{ZBL|0058.37002}} </TD></TR><TR><TD valign="top">[a3]</TD>
<TD valign="top"> F. Oort, "A construction of generalized Jacobian varieties by group extensions", ''Math. Ann.'', '''147''' (1962)
pp. 277–286 {{MR|0141667}} {{ZBL|0101.38502}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">
R. Hartshorne, "Algebraic geometry", Springer (1977) pp. 272 {{MR|0463157}} {{ZBL|0367.14001}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">
M. Flato, "Deformation view of physical theories", ''Czechoslovak J. Phys.'' , '''B32''' (1982) pp. 472–475</TD></TR></table>