Lemma 27.8.10. Let $S$ be a graded ring. The scheme $\text{Proj}(S)$ has a canonical morphism towards the affine scheme $\mathop{\mathrm{Spec}}(S_0)$, agreeing with the map on topological spaces coming from Algebra, Definition 10.57.1.

Proof. We saw above that our construction of $\widetilde S$, resp. $\widetilde M$ gives a sheaf of $S_0$-algebras, resp. $S_0$-modules. Hence we get a morphism by Schemes, Lemma 26.6.4. This morphism, when restricted to $D_{+}(f)$ comes from the canonical ring map $S_0 \to S_{(f)}$. The maps $S \to S_ f$, $S_{(f)} \to S_ f$ are $S_0$-algebra maps, see Lemma 27.8.1. Hence if the homogeneous prime $\mathfrak p \subset S$ corresponds to the $\mathbf{Z}$-graded prime $\mathfrak p' \subset S_ f$ and the (usual) prime $\mathfrak p'' \subset S_{(f)}$, then each of these has the same inverse image in $S_0$. $\square$

There are also:

• 10 comment(s) on Section 27.8: Proj of a graded ring

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).