Wir betrachten zu
die
kurze exakte Sequenz
-
wobei hinten die Standardvektoren auf die Idealerzeuger gehen und vorne die auf abgebildet wird. Dies führt nach
Fakt
zu einer exakten Garbensequenz
-
Es sei
.
Zeige die folgenden Aussagen.
- Es ist
.
- Es ist
.
- Die Auswertung der exakten Garbensequenz auf ist
-
wobei die hintere Abbildung nicht surjektiv ist.