Choose a nonzero meromorphic differential on a Riemann surface and write . Multiplication defines a linear mapIt takes values in the holomorphic differential forms because . It is injective since . It is surjective because, for any holomorphic differential form , the ratio is a meromorphic function and has . Thus this map identifies with the canonical Riemann-Roch space.
Furthermore, : a meromorphic function with no poles is holomorphic on the compact Riemann surface , and hence constant by the maximum modulus principle. Applying the Riemann-Roch theorem with givesTherefore
Articles by others on the same topic
There are currently no matching articles.