Riemannsche Flächen/Kompakt/Holomorphe Abbildung/Differerentialformen/Exakte Sequenz/Fakt

Es sei eine nichtkonstante holomorphe Abbildung zwischen den kompakten zusammenhängenden riemannschen Flächen und . Dann gelten folgende Aussagen.

  1. Es liegt die Untergarbenbeziehung

    vor.

  2. Die Restklassengarbe besitzt endlichen Träger, und es gilt

    mit

  3. Zwischen den kanonischen Divisoren besteht die Beziehung