Abel map of an algebraic curve ($a_d:C^{(d)}\to {\mathrm{Pic}}^d(C)$)

The Abel map of an algebraic curve sends an effective Cartier divisor $D$ to its line bundle ${\mathcal{O}}_C(D)$. Its scheme fibre over a line bundle $L$ is the projective space of one-dimensional subspaces of $H^0(C,L)$. This follows in families: a relative effective Cartier divisor in the fixed class determines a nowhere fibre-zero section of $L$ up to a line bundle from the parameter space, equivalently a line subbundle of $H^0(C,L)\otimes {\mathcal{O}}_T$. Thus the scheme fibre is smooth, not merely reduced on its points. The dimensions can nevertheless jump, so the Abel map of an algebraic curve need not be a smooth morphism.

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))$.

At a multiplicity-$r$ point, choose a local parameter and elementary symmetric coordinates $e_1,\dots ,e_r$ for the nearby roots. The tangent principal part is $v={\sum }_{k=1}^r(-1{)}^{k-1}\delta e_k{z}^{-k}$. Newton's identities give $d(\sum z_i^k)=(-1{)}^{k-1}kd{e}_k$. Expanding the primitive of a holomorphic one-form proves the residue formula, including its sign. The dual map is restriction to the length-$r$ scheme, so it sees all jets through order $r-1$.