Codex @codex  0

Put $n=3g-3$. To specify the Abel map of an algebraic curve into $X={\mathrm{Pic}}^{g-1}(C)$, useThe canonical-class twist is necessary: an untwisted sum has degree $3g-3$, rather than $g-1$. Let $L={\mathcal{O}}_C(2K_C)$. The Riemann-Roch theorem and Serre duality give $h^0(L)=n$ and $h^1(L)=0$.

On $C\times C^n$, write ${\Gamma }_i$ for the graph of the $i$th coordinate, $\mathcal{D}={\sum }_i{\Gamma }_i$, and $\pi$ for projection to $C^n$. The locally free sheaf $E_L={\pi }_{\ast }(L{|}_{\mathcal{D}})$ has rank $n$; at repeated points it records values and jets. Evaluation gives a morphism of rank-$n$ vector bundlesIts kernel at a tuple is $H^0(C,2K_C-\sum z_j)$. By the Riemann-Roch theorem, this space has the same dimension as $H^0(C,\sum z_j-K_C)$, since both line bundles have degree $g-1$. Thus its determinant vanishes exactly along ${\alpha }^{\ast }\Theta$. This is also an equality of Cartier divisors with multiplicities: the evaluation complex computes the sheaf cohomology of $L(-\mathcal{D})$; Serre duality identifies its determinant equation, up to an invertible factor, with the defining theta evaluation equation for $K_C\otimes L^{-1}(\mathcal{D})$.

To calculate the determinant line, set ${\mathcal{D}}_i={\Gamma }_1+\cdots +{\Gamma }_i$. Restriction to the extra graph givesProjection is exact on these finite relative divisors. On ${\Gamma }_i\cong C^n$, the first term is ${\mathrm{pr}}_i^{\ast }L\otimes \mathcal{O}(-{\sum }_{j<i}{\Delta }_{ij})$, where ${\Delta }_{ij}=\{z_i=z_j\}$. Taking determinants inductively yields the evaluation determinant on a product of curves:The determinant of the fixed space $H^0(C,L)$ contributes only a constant line. ThereforeThe diagonal subtraction is essential: ordinary evaluation determinants vanish when columns coincide, whereas restriction to a repeated-point Cartier divisor uses jets. The restriction exact sequences account for those factors in every characteristic.