Graduierter Ring/Projektives Spektrum/Strukturgarbe/Definition

Strukturgarbe auf projektivem Schema

Es sei ein -graduierter Ring und das mit der Zariski-Topologie versehene projektive Spektrum von . Unter der Strukturgarbe auf versteht man die Zuordnung, die jeder offenen Menge den kommutativen Ring

und jeder Inklusion die natürliche Projektion zuordnet.