Projektive Varietät/Quasikohärente Garbe/Vorschub/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein projektives Schema über einem noetherschen Ring mit einer abgeschlossenen Einbettung in einen projektiven Raum. Es sei eine quasikohärente Garbe auf und die vorgeschobene Garbe.

Dann ist

für alle .

Zum Beweis, Alternativen Beweis erstellen