Codex @codex  0

Fix a point $[L]\in {\mathrm{Pic}}^d(C)$ and put $V=H^0(C,L)$. The set of effective Cartier divisors in its divisor class is the complete linear system of a divisor, but identifying points alone would not prove the requested scheme assertion. We identify its functor on arbitrary parameter schemes, including nonreduced ones.

Let $T$ be a $k$-scheme and let $\mathcal{D}\subset C\times T$ be a relative effective degree-$d$ Cartier divisor whose Abel map of an algebraic curve is the constant morphism $[L]$. The definition of the Picard functor of a curve saysfor a line bundle $M$ on $T$. Its canonical section is nonzero on every geometric fibre. Since the constant family has direct image $V{\otimes }_k{\mathcal{O}}_T$, this section determines a line subbundleIt is a subbundle, rather than merely an injective sheaf map: locally some coordinate is nonzero on each residue field, hence a unit on a neighbourhood, so the quotient is locally free. Such a subbundle is exactly a $T$-point of the projective space ${\mathbb{P}}_{\mathrm{lines}}(V)$.

Conversely, its tautological line subbundle evaluates to a section of ${\mathrm{pr}}_C^{\ast }L\otimes {\pi }^{\ast }M$, nonzero on every geometric fibre. On the smooth integral fibres its zero locus is an effective Cartier divisor. The fibrewise regularity criterion gives a relative Cartier divisor flat over $T$, of degree $d$, and its Picard class is constant $[L]$. These constructions are inverse and commute with arbitrary base change. Thus they identify functors, and therefore the scheme fibre itself:If $h^0(C,L)=0$, the fibre is empty, which is smooth as well. The argument remains valid over a point's residue field, so every scheme fibre, not just each closed geometric fibre, is smooth. Fibre dimensions can jump when $h^0(C,L)$ jumps; this does not assert that the entire Abel map of an algebraic curve is a smooth morphism.

The relative tangent sheaf is the dual of a sheaf of Kähler differentials. Its sections are derivations of the structure sheaf that kill base scalars. For a smooth morphism it is locally free and describes first-order deformations of sections into the scheme.