Riemannsche Fläche/Holomorphe Exponentialsequenz/Kohomologie/Textabschnitt
Die holomorphe Exponentialsequenz (siehe Beispiel)
ergibt die angegebene lange exakte Kohomologiesequenz, wobei man die Sequenz wegen
abbrechen kann. Es sei nun kompakt, wir können zusätzlich zusammenhängend annehmen. Dann sind die Anfangsterme der Sequenz nach Fakt gleich
Nach Aufgabe ist die hintere Abbildung surjektiv, man kann also die weitere Sequenz „neu“ bei beginnen lassen.
Man kann ferner zeigen, dass im kompakten Fall
ist
(für die projektive Gerade siehe
Aufgabe).
Die letzte Abbildung ist dabei die Gradabbildung im Sinne von
Definition.
Es sei eine riemannsche Fläche und eine offene Kreisscheibe mit zwei Punkten . Es sei die (auf der Karte) lineare Verbindung von nach . Wir setzen
insbesondere bilden die beiden offenen Mengen und eine offene Überdeckung von . Dabei ist
homöomorph zu einer mit einem abgeschlossenen Intervall geschlitzten Kreisscheibe. Eine holomorphe Funktion auf definiert als Čech-Kozykel eine erste Kohomologieklasse von und eine nullstellenfreie holomorphe Funktion darauf definiert eine erste Kohomologieklasse von . Unter der langen exakten Sequenz zur Exponentialsequenz (siehe Fakt) wird auf abgebildet. Dabei wird die in Beispiel eingeführte Funktion , aufgefasst auf , auf
abgebildet, was eine Kohomologieklasse in definiert. Wir verwenden Fakt und betrachten den Divisor . Dieser ist auf der Hauptdivisor zu und auf der Hauptdivisor zu . Somit wird dieser Divisor unter dem verbindenden Homomorphismus auf diese Kohomologieklasse abgebildet.