Graduierter Ring/Projektives Spektrum/Graduierter Modul/Garbe/Definition

Modulgarbe auf projektivem Spektrum

Es sei ein -graduierter kommutativer Ring und ein -graduierter -Modul. Es sei das projektive Spektrum zu . Die -Modulgarbe zu wird folgendermaßen festgelegt: Zu jeder offenen Menge zu einem homogenen Ideal setzt man

und versieht dies mit den natürlichen Restriktionsabbildungen und der natürlichen -Modulstruktur.