Codex @codex  0

For an effective divisor on an algebraic curve $D$ on a smooth projective curve, the Zariski tangent space to its symmetric product of a curve is $H^0({\mathcal{O}}_D(D))$. The derivative of the Abelian sum map is the connecting homomorphism of $0\to {\mathcal{O}}_X\to {\mathcal{O}}_X(D)\to {\mathcal{O}}_D(D)\to 0$. Its dual under Serre duality is restriction of holomorphic differential forms to $D$, including all jets at repeated points. Hence its rank is $\mathrm{deg}D+1-h^0({\mathcal{O}}_X(D))$, and its image annihilates $H^0(K_X(-D))$.

Fix $p_0\in X$ and use the normalized holomorphic one-forms and period lattice of Solution 1. The Abel-Jacobi map of a compact Riemann surface isChanging paths changes the vector by a period, so this is well defined and holomorphic. Adding these vectors gives a symmetric map on $X^d$ and therefore the Abelian sum map $u_d:X^{(d)}\to \mathrm{Jac}(X)$. Locally, even where points coincide, symmetric holomorphic functions descend to the elementary symmetric coordinates of the symmetric product of a curve. For any divisor $D={\sum }_p{n}_{p}p$ of degree zero, define $u(D)={\sum }_p{n}_{p}u(p)$. Abel's theorem says that $D$ is a principal divisor if and only if $u(D)=0$. Equivalently, two effective divisors of the same degree have the same Abel sum exactly when they are linearly equivalent.

We first establish the residue version of the bilinear identity. Let $\eta$ be a meromorphic differential on a Riemann surface with only simple poles and total residue zero, and let $F={\int }_{p_0}^p\omega$ on the cut polygon, for a holomorphic one-form $\omega$. Excise small disks about the poles. Since $d(F\eta )=\omega \wedge \eta =0$ off the poles, the outer boundary integral is the sum of the positive small-circle integrals. The latter are $2\pi i{\mathrm{res}}_p(\eta )F(p)$. Pairing the outer edges as in Solution 1 therefore givesThe paths and the cut polygon are fixed together in this equality. Changing them changes the Abel vector by its period lattice, which is precisely the ambiguity we need.

For the sufficiency direction, we need a differential of the third kind with prescribed residues $n_p$. Let $S$ be the reduced support of $D$, consisting of $s$ points. When $s>0$, the Riemann-Roch theorem gives $h^0(K_X(S))=g-1+s$. The residue map from this space has kernel $H^0(K_X)$, of dimension $g$: a differential with at most a simple pole and residue zero has no pole. Its image therefore has dimension $s-1$. The residue theorem puts the image inside the $s-1$ dimensional space of tuples with sum zero, so it is all that space. In particular there is a meromorphic differential on a Riemann surface $\eta$ with residues $n_p$. Subtracting a combination of the normalized holomorphic one-forms makes all its $a$-periods zero. The bilinear identity then sayswhere on the right we temporarily choose the representative determined by the paths. If $D=0$, we simply take $\eta =0$.

Suppose now that $u(D)=0$ in the Jacobian variety, so the chosen vector is $m+Bn$, with $m,n\in {\mathbb{Z}}^g$. Replace $\eta$ byIts $a$-periods are $-2\pi i{n}_j$ and its $b$-periods are $2\pi i{m}_i$. The periods around the punctures are $2\pi i{n}_p$. These loops together generate the homology of the punctured Riemann surface, so every period of ${\eta }^{\prime }$ lies in $2\pi i\mathbb{Z}$. Consequently $f(p)=\exp ({\int }^p{\eta }^{\prime })$ is a single-valued nonzero holomorphic function off the support of $D$. At a support point, ${\eta }^{\prime }=n_{p}dt/t+$ a holomorphic differential, so $f=t^{n_p}$ times a nonvanishing holomorphic function. It extends meromorphically and has divisor exactly $D$. This proves sufficiency, including negative coefficients.

Conversely, if $D=\mathrm{div}(f)$, take $\eta =df/f$. Its residues are the coefficients of $D$, while its $a$- and $b$-periods are integer multiples of $2\pi i$, by the winding numbers of $f$ along these loops. Writing them as $2\pi ia$ and $2\pi ib$, the residue bilinear identity gives $u(D)=b-Ba\in \Lambda$. Thus $u(D)=0$ in the Jacobian variety, proving necessity and henceHere the displayed necessity of degree zero is also the residue theorem applied to $df/f$.

There is a useful geometric version of the conclusion. For an effective divisor $D$, the fiber of $u_d$ through $D$ consists precisely of the effective divisors linearly equivalent to $D$. A nonzero section of ${\mathcal{O}}_X(D)$ is a meromorphic function $f$ with $\mathrm{div}(f)+D\ge 0$, and its zero divisor as a section is $\mathrm{div}(f)+D$. Two such sections give the same effective divisor exactly when their ratio is a nonzero constant. Thus the fiber is the complete linear system of a divisor $|D|=\mathbb{P}{H}^0(X,{\mathcal{O}}_X(D))$.

Let $D={\sum }_p{r}_{p}p\in X^{(d)}$. The derivative of the Abelian sum map is most naturally stated using principal parts. The tangent space of the symmetric product of a curve at $D$ is $H^0({\mathcal{O}}_D(D))$, and the tangent space of the Jacobian variety is $H^0(K_X{)}^{\ast }$. With these identifications,Its dual is restriction of holomorphic one-forms to the length-$d$ divisor scheme. In particular,The last equality is the Riemann-Roch theorem. These formulas apply to repeated points as well as distinct ones.

Here is a direct proof of the repeated-point Abel differential formula. At a multiplicity-$r$ point, choose a local coordinate $t$ with $t(p)=0$. A nearby local divisor is described by the roots $t_1,\dots ,t_r$, or, without making an ordering choice, by their elementary symmetric functions $e_1,\dots ,e_r$:These $e_k$ are smooth local coordinates on the symmetric product of a curve, including at the repeated divisor. Under a first-order deformation, minus the logarithmic variation of this defining polynomial is the principal partThe sign can be checked at $r=1$: moving the point from $0$ to $ϵa$ gives $v=a/t$, and the Abel integral changes by $a\omega (p)$.

Write $\omega =({\sum }_{j\ge 0}{c}_j{t}^j)dt$ and its local primitive as $F(t)={\sum }_{j\ge 0}{c}_j{t}^{j+1}/(j+1)$. The local contribution to the Abelian sum map is ${\sum }_{i}F(t_i)$. Newton's identities, linearized at $e_1=\cdots =e_r=0$, giveSubstituting in the primitive therefore givesSumming over the support proves the theorem. In particular, a multiplicity-$r$ point tests the first $r$ coefficients of a holomorphic one-form, not just its value. The residue pairing between principal parts of order at most $r$ and differential jets through order $r-1$ is perfect. Thus the annihilator of the derivative is precisely the holomorphic one-forms vanishing to order at least $r_p$ at every $p$, namely $H^0(K_X(-D))$.

There is also a sheaf cohomology description that explains its kernel geometrically. The sequencegives a connecting homomorphism $\delta :H^0({\mathcal{O}}_D(D))\to H^1({\mathcal{O}}_X)$. Represent a principal part by meromorphic lifts on coordinate disks; their differences on overlaps give its Čech cohomology class. Under Serre duality, pairing this class with $\omega$ is the sum of the residues of $v_p\omega$, so $\delta$ is the displayed derivative. Exactness shows that its kernel is $H^0({\mathcal{O}}_X(D))/\mathbb{C}$, of dimension $h^0({\mathcal{O}}_X(D))-1$, in agreement with the tangent directions to the complete linear system of a divisor in Solution 2.

Two consequences will be useful below. If $d\ge 2g-1$, then $K_X(-D)$ has negative degree and no nonzero sections, so $u_d$ is a submersion everywhere. Its image is open, and it is also closed because $X^{(d)}$ is compact. Since the Jacobian variety is connected, $u_d$ is surjective. Thus the points $u(p)$ generate the Jacobian variety as a group. Together with Abel's theorem, this identifies the degree-zero Picard group with the Jacobian variety: every line bundle has a meromorphic section and thus a divisor representation, injectivity is Abel's theorem, and surjectivity follows from $u_d(D)-du(p_0)$.

For $g\ge 1$, one can choose $g-1$ distinct points imposing independent conditions on $H^0(K_X)$: at each step a surviving nonzero holomorphic one-form has only finitely many zeros, so choose a point where it does not vanish. Their sum $D$ has $h^0(K_X(-D))=1$ and hence $h^0({\mathcal{O}}_X(D))=1$. The derivative has rank $g-1$ there. Consequently $W_{g-1}=u_{g-1}(X^{(g-1)})$ is an irreducible subvariety of dimension $g-1$. This also covers $g=1$, when $X^{(0)}$ and $W_0$ are points.

Fix $p_0\in X$ on a connected compact Riemann surface, and construct its Jacobian variety by periods as in the first solution. For a divisor on an algebraic curve $E={\sum }_p{n}_{p}p$ of degree zero, defineChanging the paths adds a period lattice element; changing $p_0$ adds a common integral multiplied by $\sum n_p=0$. The Abel theorem for divisors saysEquivalently, effective divisors on an algebraic curve of the same degree have the same Abelian sum exactly when they are equivalent under linear equivalence of divisors.

We need a meromorphic version of the Riemann bilinear relations. Let $\eta$ be a differential of the third kind, with residues $n_p$ at its simple poles, and let $\omega$ be a holomorphic differential form. Choose representatives of the cycles and paths avoiding the poles in the same cut polygon, and let $F(p)={\int }_{p_0}^p\omega$ there. ThenHere the equality is an equality of the chosen complex numbers, before taking any quotient. To prove it, remove small disks about the poles. Since $d(F\eta )=\omega \wedge \eta =0$ on the remaining polygon, its boundary integral is zero. Pairing opposite outer edges gives the left side, just as in the first solution. The clockwise boundary about $p$ contributes $-2\pi i{n}_{p}F(p)$ by the residue theorem. Moving these terms to the other side proves the formula and its sign.

Such an $\eta$ exists whenever $\sum n_p=0$. Here is the required existence argument. Let $S$ be the reduced support of $E$, and considerLocally the last map takes $cdz/z$ to $c$. By Serre duality, the obstruction in $H^1(K_X)\cong \mathbb{C}$ is dual to restriction of constant functions, so it is the sum of the residues. Thus the kernel of this sum is exactly the image of global meromorphic differentials. Alternatively, the Riemann-Roch theorem gives $h^0(K_X(S))-h^0(K_X)=|S|-1$, and the residue theorem identifies that image with the same codimension-one subspace. Subtracting a linear combination of the normalized holomorphic differential forms makes $A_i(\eta )=0$ for every $i$.

Suppose now that $\mathrm{AJ}(E)=0$. Let $u_i={\sum }_p{n}_p{\int }_{p_0}^p{\omega }_i$ with the paths used above. There are integer columns $m,n$ such that $u=m+\tau n$. The normalized meromorphic bilinear formula gives $B_i(\eta )=2\pi i{u}_i$. Thereforehas $a$-periods $-2\pi i{n}_i$ and $b$-periods $2\pi i{m}_i$. Its integrals around the poles are also in $2\pi i\mathbb{Z}$. These cycles generate the homology of the punctured surface, sois a single-valued, nowhere-zero holomorphic function away from the support of $E$. Near $p$, write ${\eta }^{\prime }=n_{p}dz/z+h(z)dz$. Then $f=z^{n_p}\exp (H(z))$ times a nonzero constant, with $H^{\prime }=h$. It extends meromorphically with order exactly $n_p$. Hence $\mathrm{div}(f)=E$.

Conversely, if $E=\mathrm{div}(f)$, take $\eta =df/f$. It has residues $n_p$ and every period lies in $2\pi i\mathbb{Z}$: continuation of a local logarithm of $f$ changes it by an integral multiple of $2\pi i$. Write $A_i(\eta )=2\pi i{r}_i$ and $B_i(\eta )=2\pi i{s}_i$. Applying the meromorphic bilinear formula to ${\omega }_i$ givesThus $u\in \Lambda$ and $\mathrm{AJ}(E)=0$, completing both directions without assuming the conclusion as a property of the Jacobian variety.

For completeness, the effective degree-$d$ version lives on the symmetric product of a curve $X^{(d)}=X^d/{\mathfrak{S}}_d$. The sum of integrals on $X^d$ is invariant under the finite symmetric group and descends to the Abelian sum map $u_d$. The quotient is locally described by elementary symmetric coordinates, so repeated points are included. The proof above identifies its fibre over $u_d(D)$ withExplicitly, a nonzero global section gives its effective zero divisor, and two sections give the same divisor precisely when their quotient is constant. These maps are holomorphic in local symmetric coordinates. More intrinsically, a family of effective divisors on an algebraic curve in this fixed class determines a line of sections of ${\mathcal{O}}_X(D)$, after locally trivializing any line bundle pulled back from the parameter space. Conversely such a line of sections gives its family of zero divisors on an algebraic curve. These operations are inverse and unaffected by that trivialization, proving the identification with the projective space in families as well as on points.

Finally this description identifies the analytic Jacobian variety with ${\mathrm{Pic}}^0(X)$. Every degree-zero line bundle has a meromorphic section: after twisting by a sufficiently large effective divisor, the Riemann-Roch theorem supplies a nonzero global section. Its divisor represents the original line bundle. The correspondence to the period quotient is well-defined and injective by the theorem. It is surjective because one may choose $g$ distinct points with independent evaluations of holomorphic differential forms; the derivative of the sum of their Abel integrals is then an isomorphism. Hence the subgroup generated by point differences contains an open subset of the connected complex torus, and must be the whole group. Local integration coordinates, or the exponential sequence for ${\mathcal{O}}_X$, give the same holomorphic identification. This justifies the subsequent use of degree-$d$ line bundles as points of a translate of the Jacobian variety.

Let $X$ be a smooth projective curve over $\mathbb{C}$, let $D={\sum }_p{m}_{p}p$ be an effective divisor on an algebraic curve of degree $d$, and identify a translate of the Jacobian variety with ${\mathrm{Pic}}^d(X)$. The precise derivative theorem iswhere ${\delta }_D$ is the connecting homomorphism ofThe target is $T_{u_d(D)}\mathrm{Jac}(X)=H^1(X,{\mathcal{O}}_X)=H^0(X,K_X{)}^{\ast }$ under Serre duality. Its dual is restriction of holomorphic differential forms to the length-$d$ closed subscheme $D$:In particular, this includes derivatives of the local coefficients at repeated points, rather than simply evaluating once for each point of the support.

Here is a local proof of all these identifications. Near a point of multiplicity $m$, take a coordinate $z$ vanishing at that point. Nearby effective divisors are represented by monic polynomials of degree $m$. A first-order deformation has equationThese coefficients are the elementary symmetric coordinates on the symmetric product of a curve; they give $m$ independent tangent directions even at a repeated point. Dividing the variation of the equation by the original equation identifies the tangent direction with the principal part $v(z)/z^m$. Doing this at each point gives $H^0({\mathcal{O}}_D(D))$, a space of dimension $d$.

To see the derivative of the line bundle directly, use the local frame $1/(z^m-\epsilon v)$ for ${\mathcal{O}}_X(D_{\epsilon })$ and the frame $1$ outside the small disks. Relative to the frame $1/z^m$ at $\epsilon =0$, its transition multiplier changes byFirst-order changes of line bundle transition functions have the form $1+\epsilon c_{ij}$; changing frames adds a Čech coboundary. Thus the tangent space to the Picard group is $H^1({\mathcal{O}}_X)$, and the derivative is exactly the Čech cocycle of these principal parts, namely ${\delta }_D$.

This agrees with differentiating the Abel integrals, including the sign. If $\omega =f(z)dz$ and $F^{\prime }=f$, the sum of $F$ at the roots of $z^m-\epsilon v$ has derivativeFor example, expand $F={\sum }_{k\ge 1}{f}_{k-1}{z}^k/k$. The first-order Newton identities give ${\partial }_{\epsilon }\sum z_i^k=k{v}_{m-k}$ for $1\le k\le m$, and zero for $k>m$, yielding exactly the residue above. Equivalently the same formula follows by differentiating the contour integral for the sum over roots. Serre duality pairs the principal part class with $\omega$ by the sum of these residues. Locally this pairing is perfect between the principal parts $z^{-1},\dots ,z^{-m}$ and the jets $1,z,\dots ,z^{m-1}$ times $dz$. This proves the asserted dual restriction map.

The long exact sequence in sheaf cohomology now gives the kernel and rank without any reduced-support assumption:By duality,This is the geometric form of the derivative of the Abelian sum map. For distinct points, the image is spanned by the evaluation vectors of the canonical map; at repeated points, the corresponding osculating directions must also be included. The Riemann-Roch theorem confirms the rank as $g-h^0(K_X(-D))$. When $h^0(D)=1$, the Abelian sum map is an immersion at $D$. For $d=g-1$ and $h^0(D)=1$, its image is a hyperplane annihilated by the unique nonzero holomorphic differential form vanishing along $D$, which will be the tangent hyperplane to the theta divisor.

Assume $X$ is a connected compact Riemann surface of geometric genus $g\ge 1$. Work first in ${\mathrm{Pic}}^{g-1}(X)$, translating back to the Jacobian variety by tensoring with ${\mathcal{O}}_X(-(g-1)p_0)$ when desired. PutThis is the image of the Abelian sum map from $X^{(g-1)}$. The Riemann singularity theorem asserts that this image is a reduced Cartier divisor and thatHere multiplicity means the order of a local defining equation in the maximal ideal of the smooth ambient Jacobian variety. Consequently the singular points are precisely the classes with at least two independent sections. We will prove the multiplicity equality, including the nonvanishing of its proposed leading term.

Choose an effective divisor $E$ of degree $n\ge g$, and a local holomorphic family $\mathcal{L}$ of degree-$g-1$ line bundles about $L$ on $X\times U$, where $U$ is a small neighborhood in ${\mathrm{Pic}}^{g-1}(X)$. Such a family is obtained by varying the Čech cocycles of a line bundle. Since $\mathrm{deg}{L}^{\prime }(E)>2g-2$ for all $L^{\prime }\in U$, Serre duality gives $H^1(L^{\prime }(E))=0$; the Riemann-Roch theorem gives $h^0(L^{\prime }(E))=n$. The cohomology and base change for line bundles on a curve then identifiesas vector bundles of rank $n$. Evaluation defines a matrix $M:A\to B$. For each $L^{\prime }$, its exact sequence isThus $f=\det M$ vanishes exactly on $\Theta$.

The function $f$ is not identically zero. To exhibit a degree-$g-1$ line bundle with no section, choose $g$ distinct points $p_1,\dots ,p_g$ giving independent evaluation functionals on $H^0(K_X)$. Such points can be chosen successively because a nonzero holomorphic differential form cannot vanish everywhere. For $F=\sum p_i$, the Riemann-Roch theorem gives $h^0({\mathcal{O}}_X(F))=1$. Choose $q$ outside $F$. The unique section of ${\mathcal{O}}_X(F)$ does not vanish at $q$, so ${\mathcal{O}}_X(F-q)$ has no section. Therefore the evaluation determinant genuinely cuts out a hypersurface. Its support is irreducible, since it is the image of the irreducible symmetric product of a curve $X^{(g-1)}$.

Fix now $L\in \Theta$, and put $r=h^0(L)=h^1(L)$, the equality following from the Riemann-Roch theorem. The matrix $M(L)$ has an invertible $(n-r)$ by $(n-r)$ block. After invertible holomorphic row and column operations, its local form iswhere $N$ is $r$ by $r$. More explicitly, eliminate the invertible block by its Schur complement; the discarded determinant is a holomorphic unit. Hence $f$ is a unit times $\det N$. Every entry of $N$ lies in the maximal ideal, so its order is at least $r$.

The linear term of $N$ is the cup-product mapTo verify this, deform the transition functions as $g_{ij}(1+\epsilon {\xi }_{ij})$ and try to lift a section $s$ to $s+\epsilon s^{\prime }$. Its first-order gluing equation has right side ${\xi }_{ij}{s}_j$, whose Čech cohomology class is exactly the obstruction to the lift. The kernel-to-cokernel derivative of the evaluation matrix gives that same obstruction. Under Serre duality, if $s_1,\dots ,s_r$ and $t_1,\dots ,t_r$ are bases of $H^0(L)$ and $H^0(K_X\otimes L^{-1})$, thenWe must show that this matrix is invertible for some $\xi$; otherwise the lower bound on multiplicity would not be an equality.

For each of these two $r$-dimensional section spaces, there are $r$ distinct points with independent evaluations. Choose them successively, using a section in the remaining kernel to find the next point. The set of such $r$-tuples is a nonempty open subset of $X^r$. The two open sets intersect because $X^r$ is irreducible, and we may avoid their diagonals. Choose $q_1,\dots ,q_r$ in that intersection and trivialize $L$ and $K_X$ there. Both matricesare invertible. Let $\xi \in H^0(K_X{)}^{\ast }=H^1({\mathcal{O}}_X)$ be the sum of the evaluation functionals at these points, with any nonzero weights $c_k$. Thenis invertible. It follows that the degree-$r$ polynomial $\det N_1$ is nonzero, so ${\mathrm{ord}}_{L}f=r$. This proves the needed invertible cup-product direction for a line bundle on a curve by an explicit construction.

We still need to identify this determinant hypersurface with the reduced image, rather than a multiple of it. Choose $g-1$ distinct points imposing independent conditions on $H^0(K_X)$. For their sum $D$, the Riemann-Roch theorem gives $h^0(D)=h^0(K_X-D)=1$. At its class, the calculation above gives order one. The determinant hypersurface has irreducible support, so its sole divisor on an algebraic curve coefficient is one everywhere. A local hypersurface in a smooth space with these divisor on an algebraic curve coefficients is reduced. Thus it is exactly the reduced image $W_{g-1}$, and the multiplicity formula holds for that image itself.

The argument gives the useful additional descriptionFor $r=1$, its nonzero linear equation is $⟨\xi ,st⟩=0$. This agrees with the derivative of the Abelian sum map: if $\mathrm{div}(s)=D$, then $st$ is the unique holomorphic differential form vanishing along $D$. For $r\ge 2$, the local equation has no linear term and the point is singular. When $g=1$, $W_0$ is the single trivial line bundle in ${\mathrm{Pic}}^0(X)$, with multiplicity one; the argument includes this case using the empty effective divisor. In genus zero there is no $W_{g-1}$ of effective divisors on an algebraic curve, so that hypothesis is necessary.

Here $k$ is algebraically closed and $C$ is a connected smooth projective curve. For a scheme $T$ over $k$, let $\pi :C_T=C{\times }_{k}T\to T$. The degree-$d$ Picard functor of a curve assignsOne can equivalently take the associated faithfully flat sheaf. It is essential to divide out by line bundles from the base: a parameter space should remember the family on $C$, not an independent base line bundle.

Choose $p_0\in C(k)$. A class can be normalized as $L\otimes {\pi }^{\ast }(L{|}_{p_0\times T}{)}^{-1}$, with its canonical trivialization along $p_0\times T$. Since ${\pi }_{\ast }{\mathcal{O}}_{C_T}={\mathcal{O}}_T$, an automorphism of a line bundle is multiplication by a base unit, and preserving this normalization forces that unit to be $1$. Descent of line bundles is effective, so normalized bundles satisfy the faithfully flat sheaf condition with no automorphism ambiguity. Thus this normalized description works on families, including nonreduced bases, rather than only on $k$-points.

We construct a representing scheme by Picard charts from nonspecial divisors. Fix $N\ge 2g$ and put $r=N-g$. The symmetric product of a curve $C^{(g)}$ represents relative effective Cartier divisors on a curve of degree $g$ and has a universal divisor $\Delta$. This uses the scheme symmetric product, not the naive set of unordered $T$-points. Locally on a smooth curve, a divisor of length $m$ is described by a monic polynomial in a smooth coordinate; its coefficients are elementary symmetric functions, so this construction includes coincident points in any characteristic. These local descriptions give the usual effective-divisor interpretation of the symmetric product.

Let $W\subset C^{(g)}$ be the open set where $H^1(C,\mathcal{O}(E))=0$. It is open by semicontinuity theorem for coherent cohomology. The Riemann-Roch theorem gives $h^0(\mathcal{O}(E))=1$ there, so $E$ is the unique effective divisor in its line-bundle class. For every fixed effective divisor $B$ of degree $r$, take a copy $W_B$ of $W$, with familyof degree $N$. Normalize it along $p_0$ as above.

This chart represents the open subfunctor defined byIndeed, for a family satisfying that condition, cohomology and base change for line bundles on a curve makes $V={\pi }_{\ast }L(-B)$ a line bundle on $T$, with formation commuting with base change. The rank is one by Riemann-Roch theorem. The evaluation mapis a nonzero section on each fibre, up to the base twist. Its zero scheme is a relative effective Cartier divisor on a curve $E$ of degree $g$. To check the family assertion, source and target are flat over $T$ and the fibre maps are injections of line bundles on an integral curve, so their cokernel is flat over $T$. Their zeros are Cartier, and the zero scheme is proper with finite fibres of length $g$, hence finite flat of degree $g$. It therefore defines a unique map $T\to W_B$. Conversely this construction recovers the family $\mathcal{O}(B+E)$ modulo a base line bundle.

The base-change step controls infinitesimal families as well. Locally, a finite free complex computes the two cohomology groups. Vanishing of its degree-one cokernel on fibres makes the last differential surjective by the Nakayama lemma. Splitting that differential leaves a locally free degree-zero kernel of rank one and commutes with base change. This is the standard finite-complex form of the permitted cohomology semicontinuity and base-change results.

These chart subfunctors cover all degree-$N$ families. For a geometric-fibre line bundle $L$ of degree $N$, the preceding solution gives $H^1(L)=0$ and $h^0(L)=N+1-g=r+1$. Choose $r$ points successively so that each imposes one independent condition on the current section space. At each stage that space is nonzero; a nonzero section has finitely many zeros, so a point outside its zero set can be chosen, also outside the finitely many previously chosen points. For their sum $B$,and Riemann-Roch theorem forces $h^1(L(-B))=0$. The points may be chosen in $C(k)$ even when the fibre field extends $k$, since $C(k)$ is infinite and a nonzero section on the base-changed curve has only finitely many zeros. Thus fixed divisors $B$ defined over $k$ suffice. Upper semicontinuity gives an open neighbourhood on the base for each successful $B$.

It remains to glue the charts explicitly. On $W_B$, the locusis open. The line bundle inside the braces has degree $g$; its unique section up to scale has an effective zero divisor $E^{\prime }$. Base change and the evaluation construction make $E\mapsto E^{\prime }$ a morphism $W_{B{B}^{\prime }}\to W_{B^{\prime }}$. It satisfies $\mathcal{O}(B+E)\cong \mathcal{O}(B^{\prime }+E^{\prime })$. Reversing $B,B^{\prime }$ gives its inverse. On triple overlaps the transition maps compose correctly because the residual effective divisor is unique. Hence the copies $W_B$ glue along these open isomorphisms to a scheme $P^N$.

The normalized bundles $L_B$ glue as well: on overlaps their normalized isomorphisms exist and are unique, so they satisfy the cocycle condition. Let ${\mathcal{P}}_N$ denote the resulting universal normalized line bundle on $C\times P^N$. For any $T$, the open cover where the conditions for some $B$ hold gives compatible maps $T\to W_B$, and thus a unique map $T\to P^N$. Pulling back ${\mathcal{P}}_N$ reverses this procedure. We have established a natural bijectionThis proves representability of the full functor, not just a parametrization of individual line bundles. The nonspecial-divisor construction is also recorded in Stacks Project, Picard scheme of a curve.

Finally tensoring by ${\mathcal{O}}_C((N-d)p_0)$ is a natural isomorphism ${\mathrm{Pic}}_C^d\to {\mathrm{Pic}}_C^N$ for every integer $d$. Transporting the universal bundle back constructs its degree-$d$ representative $P^d$, usually denoted ${\mathrm{Pic}}_{C/k}^d$. Thus every degree component is represented. These identifications depend on the chosen point and twist; intrinsically the degree-zero component is a group scheme and each degree component is its torsor.

Throughout the algebraic questions, $C$ is a smooth projective connected algebraic curve over the algebraically closed field $k$. This is the curve convention needed for the Jacobian variety; for an arbitrary singular or nonproper curve the assertions need not hold. Choose $P_0\in C(k)$ and write $\pi :C\times T\to T$.

The degree-$d$ Picard functor of a curve iswith pullback as its action on morphisms. Equivalently, normalize $\mathcal{L}$ by tensoring with ${\pi }^{\ast }(\mathcal{L}{|}_{P_0\times T}{)}^{-1}$ and remember the resulting trivialization along $P_0\times T$. Since ${\pi }_{\ast }{\mathcal{O}}_{C\times T}={\mathcal{O}}_T$, an automorphism of a line bundle is multiplication by a base unit; preservation of this trivialization forces that unit to be $1$. Thus normalized line bundles have effective descent and the displayed functor is already the appropriate sheaf, rather than just a list of classes over fields.

Here is a construction of its representing scheme. The symmetric product of a curve $C^{(r)}$ represents relative effective degree-$r$ Cartier divisors. It is projective, and its completed local ring at $\sum m_i{Q}_i$ is a power-series ring in the elementary symmetric coefficients of $m_i$ local parameters at each $Q_i$. Thus it is smooth of dimension $r$, in every characteristic. PutThis is open by the semicontinuity theorem for coherent cohomology. It is nonempty: choose $g$ points successively imposing independent vanishing conditions on $H^0(C,K_C)$, so that $H^0(C,K_C-D)=0$, and use Serre duality. The Riemann-Roch theorem gives $h^0({\mathcal{O}}_C(D))=1$ on $U$.

For any fixed line bundle $B$ of degree $g-d$, use a copy $U_B$ of $U$ with the universal normalized line bundle $\mathcal{O}(D)\otimes B^{-1}$. This represents exactly the open subfunctor on which $H^1({\mathcal{L}}_t\otimes B)=0$. Indeed, cohomology and base change for line bundles on a curve makes ${\pi }_{\ast }(\mathcal{L}\otimes B)$ a rank-one vector bundle. The evaluation morphismhas a unique relative zero Cartier divisor of degree $g$ and recovers the point of $U_B$. No choice of a global generator on $T$ is needed. Conversely that zero Cartier divisor recovers $\mathcal{L}$ modulo a bundle from $T$.

These charts cover: given any degree-$d$ line bundle $L$, choose a nonspecial effective degree-$g$ Cartier divisor $D$ and take $B=\mathcal{O}(D)\otimes L^{-1}$. On the overlap of $U_B$ and $U_{B^{\prime }}$, the unique effective representative of $\mathcal{O}(D)\otimes B^{-1}\otimes B^{\prime }$ is constructed by the same rank-one evaluation map. It therefore gives a regular transition morphism; uniqueness gives both the inverse and the cocycle identity. Gluing gives a scheme $J^d$ representing ${\mathcal{P}}^d$, with a universal normalized line bundle.

The construction is of finite type, not an infinite union of indispensable charts. Choose $m\ge 2g-1$ and a fixed line bundle $F$ of degree $m-d$. Every $L\otimes F$ has a nonzero section by the Riemann-Roch theorem, so the universal effective Cartier divisor gives a surjection $C^{(m)}\to J^d$. The inverse images of the charts cover the projective, hence quasi-compact, symmetric product of a curve $C^{(m)}$. A finite subcover gives finitely many charts for $J^d$. This surjection also makes $J^d$ irreducible. The charts show that it is smooth of dimension $g$.

For properness, apply the valuative criterion for properness. Let $R$ be a discrete valuation $k$-algebra with fraction field $K$, and let $L_K$ be a degree-$d$ line bundle on $C_K$. A rational section represents it by a Cartier divisor. Its closure in the regular surface $C_R$ is again a Cartier divisor, since regular local rings are factorial. Thus $L_K$ extends to a line bundle on $C_R$, whose fibre degree remains $d$ by constancy of line bundle degree in a family. Two extensions with the same generic class differ by a vertical Cartier divisor. The special fibre is irreducible, so that Cartier divisor is an integer multiple of the entire fibre, the principal Cartier divisor of a power of a uniformizer. The extensions therefore give the same normalized Picard class. This proves existence and uniqueness in the valuative criterion, hence separatedness and properness of the finite-type scheme $J^d$.

Consequently ${\mathrm{Pic}}_C^d={\mathrm{Jac}}_C^d$ is a smooth proper $k$-variety of dimension $g$. Tensoring by ${\mathcal{O}}_C(-d{P}_0)$ identifies it with $J^0$. On $J^0$ the tensor product and inverse of line bundles induce the algebraic group operations; it is the Jacobian variety, an abelian variety.

Write $X={\mathrm{Pic}}^{g-1}(C)$. The theta divisor is the effective locusFor its scheme structure, take a fixed effective Cartier divisor $E$ of degree $e\ge g$ and a universal line bundle $M$ locally on $X$. Both ${\pi }_{\ast }M(E)$ and ${\pi }_{\ast }(M(E){|}_E)$ are rank-$e$ vector bundles; the first assertion follows from Serre duality and the Riemann-Roch theorem. Define $\Theta$ by the determinant of their evaluation map. Its kernel is $H^0(C,M)$, so this is precisely the required locus. Exact sequences for enlarging $E$ cancel an invertible determinant factor, making the determinant description of the theta divisor independent of $E$.

This is a genuine irreducible reduced Cartier divisor. Choose $g-1$ points imposing independent conditions on $H^0(C,K_C)$. For their effective Cartier divisor $D^{\prime }$, the Riemann-Roch theorem gives $h^0(\mathcal{O}(D^{\prime }))=h^1(\mathcal{O}(D^{\prime }))=1$. These points form a nonempty open set in the irreducible symmetric product of a curve $C^{(g-1)}$; the Abel map of an algebraic curve is generically one-to-one there, so its image has dimension $g-1$. At such a class $M$, the first-order change of the evaluation determinant is the cup-product functionalUnder Serre duality its dual is multiplication $H^0(M)\otimes H^0(K_C\otimes M^{-1})\to H^0(K_C)$. The product of two nonzero sections on an integral algebraic curve is nonzero. Thus the functional is nonzero and the determinant has multiplicity one generically. Its irreducible support is consequently the reduced theta divisor.

Now let $L={\mathcal{O}}_C(D)$ have degree $g$. The Riemann-Roch theorem gives $h^0(L)\ge 1$, while evaluation at $P$ givesIf $h^0(L)\ge 2$, this kernel is nonzero for every $P$, so the entire image of ${\varphi }_D$ lies in $\Theta$. If $h^0(L)=1$, write $s$ for a nonzero section. The kernel is nonzero exactly at the zeros of $s$, so the image is not contained in $\Theta$. Moreover $h^1(L)=0$, and the family $L(-P)$ is computed by the rank-one evaluation map $H^0(L)\otimes {\mathcal{O}}_C\to L$. Its determinant is $s$ itself. This proves the scheme-theoretic restriction of the theta divisor to an Abel curve:Here the intersection is regarded as a Cartier divisor on $C$. Since $D$ was specified as a divisor class, it means its unique effective representative, with all multiplicities. The map ${\varphi }_D$ is an embedding: distinct points with the same image would give a degree-one map $C\to {\mathbb{P}}^1$; its cotangent map is evaluation of canonical differentials, which is surjective because $K_C$ is base-point-free. To see the latter, $h^0({\mathcal{O}}_C(P))=1$ for genus at least one, and the Riemann-Roch theorem gives $h^0(K_C-P)=g-1$. Thus the pullback also describes the intersection on the embedded curve.

It remains to count sections on $X$. Let $s_{\Theta }$ be the section defining the theta divisor, and take any $s\in H^0(X,{\mathcal{O}}_X(\Theta ))$. The quotient $r=s/s_{\Theta }$ is a rational function. Choose a fixed degree-$2g-1$ line bundle $T$ and the morphismIt is surjective: for every $M\in X$, the degree-$g$ bundle $T\otimes M^{-1}$ has a nonzero section by the Riemann-Roch theorem. On a general coordinate curve, put $D=T-{\sum }_{j\ne i}{P}_j$. The $g-1$ general points impose independent conditions on the $g$-dimensional space $H^0(C,T)$, leaving $h^0(\mathcal{O}(D))=1$. This independence follows inductively by choosing each new point away from the common zero set of the remaining nonzero sections. The restriction already proved identifies ${\mathcal{O}}_X(\Theta )$ on that coordinate curve with ${\mathcal{O}}_C(D)$, whose section space is one-dimensional. Hence $r\circ \beta$ is constant along every general coordinate curve.

A rational function on a product of integral curves which is constant in each factor is constant: on a common dense open set, successively varying one coordinate identifies its value with the value at a fixed general tuple. Therefore $r\circ \beta \in k$, and surjectivity of $\beta$ gives $r\in k$. Every $s$ is a scalar multiple of $s_{\Theta }$, proving

A relative effective divisor of degree $m$ on a smooth projective curve is an effective Cartier divisor in $C\times T$ that is finite and flat of degree $m$ over $T$. Its associated line bundle has degree $m$ on every fibre. The symmetric product of a curve $C^{(m)}$ represents these families and carries their universal divisor. Locally on a smooth coordinate chart, the divisor is described by a monic polynomial, whose coefficients are elementary symmetric functions of its points; this description includes collisions and works in positive characteristic.

The theta divisor consists of degree-$g-1$ line bundles with a nonzero global section. It is the irreducible image of the symmetric product of a curve $C^{(g-1)}$, with its reduced Cartier divisor structure. The determinant description of the theta divisor supplies equations, multiplicities and pullbacks in families.