Graduierter Ring/Z/Kegelabbildung/Schema/Definition

Kegelabbildung

Es sei ${}R$ ein ${}\mathbb {Z}$-graduierter Ring. Dann versteht man unter der Kegelabbildung den Schemamorphismus

$D(R_{+})\longrightarrow \operatorname {Proj} {\left(R\right)},\,{\mathfrak {p}}\longmapsto {\mathfrak {p}}^{h},$

der auf den offenen Mengen zu homogenen Elementen ${}f\in R_{+}$ durch die Spektrumsabbildung zu ${}{\left(R_{f}\right)}_{0}\rightarrow R_{f}$ gegeben ist.