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!