Projekt als Schema [ edit ]
Wir konstruieren auch eine Garbe auf Proj S die als "Strukturgarbe" bezeichnet wird macht es zu einem Schema. Wie bei der Spec-Konstruktion gibt es viele Vorgehensweisen: Die direkteste, die auch sehr stark auf die Konstruktion regulärer Funktionen auf einer projektiven Varietät in der klassischen algebraischen Geometrie hinweist, ist die folgende. Für jedes offene Set U von Proj S (das per Definition ein Satz homogener Primideale von S ist, das enthält. S + { displaystyle S _ {+}}
) wir definieren den Ring
um die Menge aller Funktionen zu sein

(wobei
bezeichnet den Teilring des Fraktionsrings
bestehend aus Bruchteilen homogener Elemente desselben Grades), so dass für jedes Primideal p von U :
- f (p) ist ein Element von
; - Es existiert eine offene Teilmenge V von U die p enthält und homogen ist Elemente s t von S im selben Maße, dass für jedes Primideal q von V :
- t ist nicht in q
- f (q) = s / t .
Es folgt unmittelbar danach Definition, dass die
bilden ein Bündel von Ringen
auf Proj S und es kann gezeigt werden, dass das Paar (Proj S
) ist in der Tat ein Schema (dies wird erreicht, indem gezeigt wird, dass jede der offenen Teilmengen D (f) ist tatsächlich ein affines Schema).
Das Bündel, das einem abgestuften Modul zugeordnet ist [ edit ]