Graduierter Ring/Modul/Prägarbe/Quasikohärenz/Aufgabe

Es sei ${}R$ ein ${}\mathbb {Z}$-graduierter Ring und ${}M$ ein graduierter Modul über ${}R$. Zeige, dass die Zuordnung

$U=D_{+}({\mathfrak {a}})\longmapsto \operatorname {colim} _{U\subseteq D_{+}(f)}\,(M_{f})_{0}$

eine Prägarbe von kommutativen Gruppen auf ${}\operatorname {Proj} {\left(R\right)}$ ist, deren Vergarbung mit ${}{\widehat {M}}$ übereinstimmt.

Eine Lösung erstellen