0
$\begingroup$

in proofing Noetherian property as a local property,he proof as follow:enter image description here

but I did not find this isomorphism so easy digested:enter image description here

and whats more ,spec (Aj)fj shall be D(fj),and under different underlying topology spaces ,does the same character D make any sense?If not ,how should I understand D(f)=D(fj),plz give me a detail proof or explain about this isomorphism,since I am lack of exp in this course,thanks a lot,yours Yoshinobu~

  • 0
    I mistake it!It is Ueno's book!LoL~2011-08-06

1 Answers 1

1

$\DeclareMathOperator{\Spec}{Spec}$Let's go through this carefully. We have $X = \Spec R$, an open subset $U \subset X$, and a morphism of schemes $g\colon \Spec A_j \to X$ which induces an isomorphism $(\Spec A_j, \mathscr{O}_{\Spec A_j}) \to (U, \mathscr{O}_X|_U)$. We find an element $f \in R$ such that $D(f) \subset U$. Now, Hartshorne proves earlier that $g$ corresponds to a homomorphism $\varphi\colon R \to A_j$, so that $g(\mathfrak{p}) = \varphi^{-1}(\mathfrak{p})$. And you can check that $g^{-1}(D(f)) = D(\varphi(f)) = D(f_j)$. (This is one way of proving that $g$ so induced are continuous.)

So the isomorphism will restrict to an isomorphism $(D(f_j), \mathscr{O}_{\Spec A_j}|_{D(f_j)}) \to (D(f), \mathscr{O}_X|_{D(f)})$. Replacing the source and target of this by isomorphic schemes, we get an isomorphism $\Spec (A_j)_{f_j} \to \Spec R_f$. Perhaps using an equals sign is a bit cavalier, but you'll have to get used to it.

  • 0
    @Yoshinobu I wish I knew! There have been a few similar questions on [this site](http://www.google.com/search?q=learning+algebraic+geometry+site:math.stackexchange.com) and [MathOverflow](http://www.google.com/search?q=learning+algebraic+geometry+site:mathoverflow.net).2011-08-06