2
$\begingroup$

Fact: If $ X $ and $ Y $ are varieties and we have $ \mathcal{O}_{X,q} \cong \mathcal{O}_{Y,q} $ then there are neighborhoods $U$ of $p$ and $V$ of $q$ which are isomorphic.

I understand the intuition behind this result: Since the open sets are so big, the scheme $$ \varprojlim_{p \in U\subseteq X \; \text{open}} U $$ captures a lot of infomation about $X$ at the point $p$.

I can imagine a proof which goes like this: We can assume without loss of generality that the varieties in question are affine. Therefore we are reduced to proving that an isomorphism $ R_{\mathfrak{p}} \to S_{\mathfrak{q}}$ of rings induces an isomorphism $ R_f \to S_g$ for suitable elements $f \notin \mathfrak{p} $ and $ g \notin \mathfrak{q} $.

This approach is a bit disappointing in my opinion because the result is so geometric and we reduce it to a formal proof about localization.

Question: Can anyone explain a geometric proof of this result to me?

$\endgroup$
7
  • 3
    $\begingroup$ If you're looking for a better intuition, I think what you want is not a different proof, but to recognize that the proof you've given (via localizations) <b>is</b> geometric. $\endgroup$ Oct 24, 2012 at 16:07
  • 3
    $\begingroup$ there's a reason why it's not "geometric geometry" ;) $\endgroup$ Oct 24, 2012 at 16:12
  • 2
    $\begingroup$ The intuition and the approach for a proof are quite vague. After all, the result fails for general schemes. We need some finiteness condition, for example being of finite presentation over a given base. The proof then proceeds by looking at the denominators of the images of chosen generators. If you state this in geometric terms, it just becomes more complicated. $\endgroup$ Oct 24, 2012 at 17:50
  • $\begingroup$ @Martin: Ahhh the fact that the result fails for general schemes is good! Is there a standard counterexample? $\endgroup$ Oct 24, 2012 at 18:58
  • 4
    $\begingroup$ @Daniel: Take for $X$ the affine line over $\mathbb C$ and $Y$ the spectrum of $\mathbb C(x)$. $\endgroup$
    – Qing Liu
    Oct 24, 2012 at 20:26

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.