Modulgarbe (affines Schema)
Es sei
das
affine Schema
eines
kommutativen Ringes
und sei ein
-Modul.
Unter dem zu gehörenden
-Modul
auf versteht man die Zuordnung, die jeder offenen Menge
die kommutative Gruppe
-
zusammen mit der Skalarmultiplikation
-
zuordnet, und wobei jeder Inklusion
die natürliche Projektion zugeordnet wird.