The Stacks project

Lemma 26.13.1. Let $X$ be a scheme. Let $R$ be a local ring. The construction above gives a bijective correspondence between morphisms $\mathop{\mathrm{Spec}}(R) \to X$ and pairs $(x, \varphi )$ consisting of a point $x \in X$ and a local homomorphism of local rings $\varphi : \mathcal{O}_{X, x} \to R$.

Proof. Let $A$ be a ring. For any ring homomorphism $\psi : A \to R$ there exists a unique prime ideal $\mathfrak p \subset A$ and a factorization $A \to A_{\mathfrak p} \to R$ where the last map is a local homomorphism of local rings. Namely, $\mathfrak p = \psi ^{-1}(\mathfrak m)$. Via Lemma 26.6.4 this proves that the lemma holds if $X$ is an affine scheme.

Let $X$ be a general scheme. Any $x \in X$ is contained in an open affine $U \subset X$. By the affine case we conclude that every pair $(x, \varphi )$ occurs as the end product of the construction above the lemma.

To finish the proof it suffices to show that any morphism $f : \mathop{\mathrm{Spec}}(R) \to X$ has image contained in any affine open containing the image $x$ of the closed point of $\mathop{\mathrm{Spec}}(R)$. In fact, let $x \in V \subset X$ be any open neighbourhood containing $x$. Then $f^{-1}(V) \subset \mathop{\mathrm{Spec}}(R)$ is an open containing the unique closed point and hence equal to $\mathop{\mathrm{Spec}}(R)$. $\square$

Comments (5)

Comment #5879 by Zhenhua Wu on

I don't see how bijection is proved in the general scheme case. It's not that the proof is wrong, but morelike it's not enough. The rest of the proof still needs some non-trivial logic. Define as above. We first show it's surjective. Given any , there exists an open affine containing , and a map , by composing with , we have . It's easy to see . Next we show it's injective. Given any two maps , s.t. . We know . Pick an open affine containing we know both and factor through using the orginal argument. So we have . It suffices to show . Clearly is functorial w.r.t. the open immersion , and the canonical map is an identity map. We have shown is a bijection (defined as with replacing ). So implies that , which in turn implies .

Comment #5880 by Zhenhua Wu on

The typo above is an example of this issue \ref{}. Note that adding underscore after right curly bracket instantly turned into italc form (you can see the italic button on the tool row becomes highlighted). I added backslash sign before underscore sign to make it looks right in preview. But now in real output it screws up. Let me test again. One backslash: . Correct in preview, probably wrong in real output. No backslash: . Wrong in preview, probably correct in real output.

Comment #5882 by on

@#5879: In stead of giving your own proof, could you comment on what sentence(s) of the current proof should be clarified? I'm a bit surprised you are complaining about the deduction of the general case from the affine case, as that seems to me is explained quite well.

@#5880. Yes. I'm sorry about the mismatch between the editor and what readers get to see. As you say, this has been a problem for a while. We don't quite know how to fix this.

Comment #5888 by Zhenhua Wu on

@#5882, denote the functor as , for me the problem of confusion is that the relation between restricted to open affine and on is not clear. For example, before we prove that is a monomorphism in the category of schemes in tag 01L7 (so for this tag not proved yet), we cannot use the fact injects into . So in this case I prefer we emphasis the difference between the set and the set . Actually I would drow a square for it if I know how to draw it in this editor.

And we don't really need the injection in this proof. For the shortest suggestion on the proof, I would add something like:

We proved every element of can be lifted to an element in for some open affine . Providing is functorial. Then the injectivity of on reduces to the injectivity of on , which is already proved.

Comment #6089 by on

@#5882: OK, I think you are really saying the following fact is being used silently.

Fact: If is an open subspace of a locally ringed space, then the inclusion morphism is a monomorphism in the category of locally ringed spaces.

I agree it is being used. The Fact follows immediately from Lemma 26.3.5 whose proof is omitted. If more people complain, then I will consider changing the proof. Or maybe somebody could edit the latex file and write a better proof of this lemma (maybe using the aforementioned lemma) and submit it to stacks.project at Thanks!

There are also:

  • 2 comment(s) on Section 26.13: Points of schemes

Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 01J6. Beware of the difference between the letter 'O' and the digit '0'.