Garbenkohomologie/Rechtsabgeleiteter Funktor/Einführung/Textabschnitt


Definition  

Zu einer Garbe von kommutativen Gruppen auf einem topologischen Raum nennt man den rechtsabgeleiteten Funktor zum globalen Auswertungsfunktor die -te Garbenkohomologie von auf . Sie wird mit

bezeichnet.



Korollar  

Es sei ein topologischer Raum. Dann erfüllt die Garbenkohomologie folgende Eigenschaften.

  1. Die sind (für jedes ) additive Funktoren von der Kategorie der Garben von kommutativen Gruppen auf in die Kategorie der abelschen Gruppen.
  2. Es liegt ein natürlicher Isomorphismus vor.
  3. Zu einer kurzen exakten Garbensequenz

    gibt es eine lange exakte Kohomologiesequenz

Beweis  

Dies ist ein Spezialfall von Fakt.


Es ist im Allgemeinen schwierig, Kohomologiegruppen zu berechnen. Wir listen einige grundsätzliche Berechnungsmöglichkeiten auf.

  1. Verschwindungssätze: Man zeigt, dass für gewisse Räume, gewisse Garben und gewisse Indizes die Kohomologiegruppen sind. Wenn in der langen exakten Kohomologiesequenz an gewissen Stellen eine steht, so bedeutet dies, dass zuvor eine surjektive Abbildung und danach eine injektive Abbildung steht.
  2. Statt mit injektiven Garben kann man mit anderen azyklischen (beispielsweise welken) Garben arbeiten.
  3. Interpretation von als klassifizierende Gruppe für gewisse geometrische Objekte (Picardgruppe).
  4. Wenn die Garben Moduln auf einem beringten Raum sind, so besitzen auch die Kohomologiegruppen die Struktur von Moduln über dem globalen Schnittring (siehe Fakt). Wenn dieser ein Körper ist (was insbesondere für zusammenhängende projektive Varietäten der Fall ist), so sind die Kohomologiegruppen sogar Vektorräume. Im endlichdimensionalen Fall sind die Dimensionen wichtige Invarianten.
  5. Vergleich der Kohomologie auf mit der Kohomologie auf einer offenen Teilmenge.
  6. Vergleich mit anderen Kohomologietheorien: Čech-Kohomologie, singuläre Kohomologie, simpliziale Kohomologie.