Für einen
kommutativen Ring
und Elemente
,
die das
Ideal
erzeugen, hat man eine offene Überdeckung
des
quasiaffinen Schemas
.
Zu einem
-Modul
kann man den
Čech-Komplex
zur
Modulgarbe
auf direkt hinschreiben, ohne dass man den Vergarbungsprozess beachten muss. Für die relevanten offenen Mengen ist ja
-
wegen
Fakt.
Der Čech-Komplex ist somit gleich
-
Die Berechnung der Homologien dieses Komplexes ist im Allgemeinen immer noch schwierig, aber allein ein Problem der kommutativen Algebra.