Picard charts from nonspecial divisors

ID: picard-charts-from-nonspecial-divisors

A degree- line bundle with vanishing first sheaf cohomology has exactly one section up to scale, by Riemann-Roch theorem. Its zero divisor is unique and varies in families by cohomology and base change for line bundles on a curve. For a fixed divisor of degree , the open subset of where has vanishing first cohomology gives a chart in degree , by . Different charts are glued by the unique residual divisor of wherever that line bundle is again nonspecial. Normalizing the universal bundles along a fixed rational point gives their canonical compatible gluing and a representing scheme for the Picard functor of a curve.

New to topics? Read the docs here!