characterization of affine open sets in an affine scheme

237 Views Asked by At

Let $R$ be a commutative ring with unity. Consider the affine scheme $\operatorname{Spec} R$. For an ideal $I$ of $R$ show that $D(I)$ is affine iff $I$ generates the unit ideal in $\Gamma (D(I), \widetilde R)$

EDIT:

My approach so far: So consider the cacnonical morphism from $(D(I), \widetilde R)$ to $(Spec$ $S, \widetilde S)$ corresponding to the ring homomorphism $ id: S\rightarrow S$ where $S=\Gamma(D(I), \widetilde R)$.

It is easy to see that $D(I) \rightarrow Spec$ $S$ is a homeomorphism because of the condition $I$ generates the unit ideal in $S$ with inverse given by $ Spec$ $S \rightarrow D(I)$ where $q \mapsto \phi ^{-1}(q)$ where $\phi : R \rightarrow S$ is the ring homomorphism $res_{Spec R,D(I)}$.

For $p\in Spec$ $S$ we have the commutative diagram $\require{AMScd}$ \begin{CD} S @>id>> S\\ @V V V @VV V\\ S_p @>>> {R_{\phi^{-1}(p)}} \end{CD}

Clearly the morphism $S\rightarrow R_{\phi^{-1}(p)}$ is surjective but I am stuck with injectivity. Any hints?

1

There are 1 best solutions below

0
On

I have one solution which I am posting here for checking in the lines of which random123 suggested.

So a scheme $(X, \mathscr O_X)$ is affine iff $\exists$ $ f_i$ $ i=1(1)n$ such that $X= \cup X_{f_i}$, $X_{f_i}$ is affine $\forall i$ and $f_i's$ generate $\Gamma(X,\mathscr O_{X})$. So we have by the condition $\exists f_1, f_2... f_n \in I$ such that $<f_i|_{D(I)} : i=1(i)n>=\Gamma(D(I),\widetilde R)$. Clearly we have $D(I)_{f_i|_{D(I)}}=D(I) $ $\cap$ $(Spec$ $R)_{f_i}=D(I)\cap D(f_i)=D(f_i)$ which is affine and we are done.

Remarks: The proof very tacitly uses the key lemma involved in proving the affine communication lemma. Any further insight/comments/corrections are most welcome.