Abel theorem for divisors
ID: abel-theorem-for-divisors
A degree-zero complex analytic divisor on a compact Riemann surface is principal exactly when its Abel-Jacobi map of a compact Riemann surface is zero. Normalize a differential of the third kind with residues equal to the coefficients of . The Riemann bilinear relations for a compact surface express its -periods as times the Abel integrals. If those integrals are in the period lattice, subtract a suitable integral multiple of the normalized holomorphic differential forms; all periods then lie in , so exponentiation gives the required meromorphic function. Conversely, the logarithmic differential of a meromorphic function has integer residues and periods in , giving a zero Abel class by the same calculation.
New to topics? Read the docs here!