Divisor class group and Picard group of a smooth curve

ID: divisor-class-group-and-picard-group-of-a-smooth-curve

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 .

New to topics? Read the docs here!