Graduierter Ring/Modul/Vergarbung/Graduierung/Explizit/Aufgabe

Es sei ${}R$ ein ${}\mathbb {Z}$-graduierter Ring, ${}M$ ein graduierter Modul über ${}R$ und ${}{\widetilde {M}}$ die zugehörige Modulgarbe auf dem Spektrum ${}X=\operatorname {Spek} {\left(R\right)}$. Es sei ${}{\mathfrak {a}}\subseteq R$ ein homogenes Ideal. Zeige, dass durch

${}\Gamma {\left(D({\mathfrak {a}}),{\widetilde {M}}\right)}_{\ell }={\left\{s\in \Gamma {\left(D({\mathfrak {a}}),{\widetilde {M}}\right)}\mid {\text{ es gibt eine offene Überdeckung }}U=\bigcup _{i\in I}D(f_{i}){\text{ mit }}f_{i}{\text{ homogen derart, dass }}s\in M_{f_{i}}{\text{ den Grad }}\ell {\text{ besitzt}}\right\}}\,$

eine Graduierung auf ${}\Gamma {\left(D({\mathfrak {a}}),{\widetilde {M}}\right)}$ gegeben ist, für die die natürlichen Restriktionshomomorphismen homogen sind.

Eine Lösung erstellen