Past exam of the mathematics course of the University of Cambridge / 2005 / iii / Paper 14 / 1 / a / Solution

Put $\mathcal{D}={\mathcal{K}}_X^{\ast }/{\mathcal{O}}_X^{\ast }$, the quotient sheaf of abelian groups. At a closed point $P$, the discrete valuation gives an isomorphismIndeed, a local parameter on a smooth algebraic curve has valuation one, and the valuation kernel is precisely the unit group of the discrete valuation ring. Thus a local section represented by $f$ determines its local principal divisor, and changing $f$ by a regular function which is a unit does not change those coefficients.

These local valuations identify $\Gamma (X,\mathcal{D})$ with $\mathrm{Div}(X)$. To see that they give finite support, represent a section locally by finitely many rational functions on an algebraic variety, using Noetherian Zariski topology to take a finite cover. Each representative has only finitely many zeros and poles, so their combined support is finite. Conversely, for $D=\sum n_{P}P$, choose at each support point a local parameter $t_P$ and shrink its neighbourhood to exclude every other zero or pole of $t_P$ and every other support point. The local rational equation $t_P^{n_P}$ represents the desired valuations there; on the complement of the support use $1$. On overlaps these equations differ by units, so their classes glue in the quotient sheaf. Finally, a section with every valuation zero has zero germ everywhere and is the identity section. Hence the identification is both surjective and injective.

The map on global sections sends $f\in k(X{)}^{\ast }$ to $\mathrm{div}(f)$. Therefore its cokernel is