6
$\begingroup$

Ravi Vakil 9.2.B is "Suppose that $S \rightarrow R$ is a surjection of graded rings. Show that the induced morphism $\text{Proj }R \rightarrow \text{Proj }S$ is a closed embedding."

I don't even see how to prove that the morphism is affine. The only ways I can think of to do this are to either classify the affine subspaces of Proj S, or to prove that when closed morphisms are glued, one gets a closed morphism.

Are either of those possible, and how can this problem be done?

2 Answers 2

2

I think a good strategy could be to verify the statement locally, and then verify that the glueing is successful, as you said. Let us call $\phi:S\to R$ your surjective graded morphism, and $\phi^\ast:\textrm{Proj}\,\,R\to \textrm{Proj}\,\,S$ the corresponding morphism. Note that $\textrm{Proj}\,\,R=\bigcup_{t\in S_1}D_+(\phi(t))$ because $S_+$ (the irrelevant ideal of $S$) is generated by $S_1$ (as an ideal), so $\phi(S_+)R$ is generated by $\phi(S_1)$. For any $t\in S_1$ you have a surjective morphism $S_{(t)}\to R_{\phi(t)}$ (sending $x/t^n\mapsto \phi(x)/\phi(t)^n$, for any $x\in S$), which corresponds to the canonical closed immersion of affine schemes $\phi^\ast_t:D_+(\phi(t))\hookrightarrow D_+(t)$. It remains to glue the $\phi^\ast_t$'s.

  • 0
    Note that for every $t,s\in S_1$, the morphisms of rings $\phi_t$ and $\phi_s$ coincide on $S_{(ts)}$, the localization corresponding to $D_+(t)\cap D_+(s)$. So the condition in the assumption is satisfied.2012-04-21