3
$\begingroup$

Let $S = \sum_{n\ge 0} S_n$ be a graded commutative ring. Let $f$ be a homogeneous element of $S$ of degree $> 0$. Let $D_+(f) = \{\mathfrak{p} \in\operatorname{Proj} S\mid f \notin \mathfrak{p}\}$. Let $S_{(f)}$ be the degree $0$ part of the graded ring $S_f$, where $S_f$ is the localization with respect to the multiplicative set $\{1, f, f^2,\dots\}$. The proposition states that

$D_+(f)$ is isomorphic to Spec $S_{(f)}$ as locally ringed spaces.

Part of his proof is as follows. For $\mathfrak{p} \in D_+(f)$, let $\psi(\mathfrak{p})=\mathfrak{p}S_f\cap S_{(f)}$. Then $\psi(\mathfrak{p}) \in$ Spec $S_{(f)}$. He wrote that the properties of localization show that $\psi\colon D_+(f) \rightarrow$ Spec $S_{(f)}$ is bijective. I wonder why $\psi$ is surjective.

  • 2
    Given $\mathfrak{p}_0\in\mathrm{Spec}(S_{(f)})$, the ideal $\mathfrak{p}_0S_f$ of $S_f$ is homogeneous, and its radical $\sqrt{\mathfrak{p}_0S_f}$ is homogeneous and prime, so of the form $\mathfrak{q}S_f$ for a homogeneous prime $\mathfrak{q}$ of $S$ with $f\notin\mathfrak{q}$. It can be verified that this $\mathfrak{q}$ maps to $\mathfrak{p}_0$ under $\psi$.2012-11-12

1 Answers 1

2

This is taken from Iitaka's "Algebraic Geometry", Lemma 3.1(3):

Let $d=\text{deg}(f)$. Given $\mathfrak{p}\in\text{Spec}\left(S_{(f)}\right)$, we define $I_m$ to be $\{b\in S_m|b^d/f^m\in \mathfrak{p}\}$. It can be checked that $I_m$ is an abelian group, that $I:=\oplus I_m$ is a homogeneous prime ideal of $S$ not containing $f$, and that $\psi(I)=\mathfrak{p}$.

  • 0
    Could you explain why $I_m$ is an abelian group and $I$ is a prime ideal of $S$?2012-12-22
  • 0
    If $b,c\in S_m$, then $(b+c)^{2d}/f^{2m}\in\mathfrak{p}$ (expand the power of the sum and use that $b,c\in S_m$). Since $\mathfrak{p}$ is prime, this means $(b+c)^d/f^m\in\mathfrak{p}$. With this you prove that $I_m$ is an abelian group. To see that $I$ is prime, you need only check that, for homogeneous elements $f$, $g$ of $S$ such that $fg\in I$, then either $f\in I$ or $g\in I$. But then you use again that $\mathfrak{p}$ is prime, and you're done.2013-01-04
  • 0
    Sorry, when I wrote $S_m$ both times in the comment, I meant $I_m$.2013-01-04
  • 0
    Please add the explanation in you answer.2013-01-04