Theta divisor

Classical results of Bernhard Riemann describe Θ in another way, in the case that A is the Jacobian variety J of an algebraic curve (compact Riemann surface) C. There is, for a choice of base point P on C, a standard mapping of C to J, by means of the interpretation of J as the linear equivalence classes of divisors on C of degree 0.

That is, Q on C maps to the class of Q − P. Then since J is an algebraic group, C may be added to itself k times on J, giving rise to subvarieties Wk.

He also described which points on Wg − 1 are non-singular: they correspond to the effective divisors D of degree g − 1 with no associated meromorphic functions other than constants.

Riemann further proved the Riemann singularity theorem, identifying the multiplicity of a point p = class(D) on Wg − 1 as the number of linearly independent meromorphic functions with pole divisor dominated by D, or equivalently as h0(O(D)), the number of linearly independent global sections of the holomorphic line bundle associated to D as Cartier divisor on C. The Riemann singularity theorem was extended by George Kempf in 1973,[1] building on work of David Mumford and Andreotti - Mayer, to a description of the singularities of points p = class(D) on Wk for 1 ≤ k ≤ g − 1.

In particular he computed their multiplicities also in terms of the number of independent meromorphic functions associated to D (Riemann-Kempf singularity theorem).