Picard scheme of a curve

ID: picard-scheme-of-a-curve

For a smooth projective algebraic curve of genus , this smooth proper -dimensional scheme represents degree- line bundles in families. Charts come from nonspecial degree- bundles: their first sheaf cohomology vanishes, so the Riemann-Roch theorem gives exactly one independent global section, whose zero Cartier divisor varies algebraically. Twisting by fixed line bundles gives charts covering every degree- class. For degree zero the tensor product gives the Jacobian variety; other components are its torsors.

New to topics? Read the docs here!