A meromorphic function on a compact Riemann surface has finitely many poles, say of orders . For each , choose a projective line through it that does not contain . Its hyperplane divisor contains with multiplicity at least one. Include copies of this divisor. The sum then dominates the pole divisor of .
Add further arbitrary hyperplane divisors until their number satisfies and . Adding effective divisors cannot destroy the pole bound, so for we have
For a constant function, including zero, no initial poles need to be covered; simply add sufficiently many lines.

Articles by others on the same topic (0)

There are currently no matching articles.