For a smooth irreducible algebraic curve, send a divisor on an algebraic curve to the line bundle associated to a divisor defined locally by . A nonzero rational section of a line bundle gives its inverse construction, and changing that section changes its divisor by a principal divisor. Thus the divisor class group is the Picard group. The quotient of the sheaf of nonzero rational functions on an irreducible variety by the sheaf of units of the structure sheaf has stalk at each closed point, via the discrete valuation. Its global sections are finite sums of points. The corresponding long exact sequence in sheaf cohomology, and the vanishing for the rational-function sheaf, identify both groups with .
Ordinary double point 2026-10-05
For a reduced plane algebraic curve, an ordinary double point is a point whose lowest nonzero local homogeneous term has degree and factors into two distinct linear factors over an algebraic closure. The two factors give distinct tangent directions. In characteristic not , is an example.