The Stacks project

26.4 Closed immersions of locally ringed spaces

We follow our conventions introduced in Modules, Definition 17.13.1.

Definition 26.4.1. Let $i : Z \to X$ be a morphism of locally ringed spaces. We say that $i$ is a closed immersion if:

  1. The map $i$ is a homeomorphism of $Z$ onto a closed subset of $X$.

  2. The map $\mathcal{O}_ X \to i_*\mathcal{O}_ Z$ is surjective; let $\mathcal{I}$ denote the kernel.

  3. The $\mathcal{O}_ X$-module $\mathcal{I}$ is locally generated by sections.

Lemma 26.4.2. Let $f : Z \to X$ be a morphism of locally ringed spaces. In order for $f$ to be a closed immersion it suffices that there exists an open covering $X = \bigcup U_ i$ such that each $f : f^{-1}U_ i \to U_ i$ is a closed immersion.

Proof. Omitted. $\square$

Example 26.4.3. Let $X$ be a locally ringed space. Let $\mathcal{I} \subset \mathcal{O}_ X$ be a sheaf of ideals which is locally generated by sections as a sheaf of $\mathcal{O}_ X$-modules. Let $Z$ be the support of the sheaf of rings $\mathcal{O}_ X/\mathcal{I}$. This is a closed subset of $X$, by Modules, Lemma 17.5.3. Denote $i : Z \to X$ the inclusion map. By Modules, Lemma 17.6.1 there is a unique sheaf of rings $\mathcal{O}_ Z$ on $Z$ with $i_*\mathcal{O}_ Z = \mathcal{O}_ X/\mathcal{I}$. For any $z \in Z$ the stalk $\mathcal{O}_{Z, z}$ is equal to a quotient $\mathcal{O}_{X, i(z)}/\mathcal{I}_{i(z)}$ of a local ring and nonzero, hence a local ring. Thus $i : (Z, \mathcal{O}_ Z) \to (X, \mathcal{O}_ X)$ is a closed immersion of locally ringed spaces.

Definition 26.4.4. Let $X$ be a locally ringed space. Let $\mathcal{I}$ be a sheaf of ideals on $X$ which is locally generated by sections. The locally ringed space $(Z, \mathcal{O}_ Z)$ of Example 26.4.3 above is the closed subspace of $X$ associated to the sheaf of ideals $\mathcal{I}$.

Lemma 26.4.5. Let $f : X \to Y$ be a closed immersion of locally ringed spaces. Let $\mathcal{I}$ be the kernel of the map $\mathcal{O}_ Y \to f_*\mathcal{O}_ X$. Let $i : Z \to Y$ be the closed subspace of $Y$ associated to $\mathcal{I}$. There is a unique isomorphism $f' : X \cong Z$ of locally ringed spaces such that $f = i \circ f'$.

Proof. Omitted. $\square$

Lemma 26.4.6. Let $X$, $Y$ be locally ringed spaces. Let $\mathcal{I} \subset \mathcal{O}_ X$ be a sheaf of ideals locally generated by sections. Let $i : Z \to X$ be the associated closed subspace. A morphism $f : Y \to X$ factors through $Z$ if and only if the map $f^*\mathcal{I} \to f^*\mathcal{O}_ X = \mathcal{O}_ Y$ is zero. If this is the case the morphism $g : Y \to Z$ such that $f = i \circ g$ is unique.

Proof. Clearly if $f$ factors as $Y \to Z \to X$ then the map $f^*\mathcal{I} \to \mathcal{O}_ Y$ is zero. Conversely suppose that $f^*\mathcal{I} \to \mathcal{O}_ Y$ is zero. Pick any $y \in Y$, and consider the ring map $f^\sharp _ y : \mathcal{O}_{X, f(y)} \to \mathcal{O}_{Y, y}$. Since the composition $\mathcal{I}_{f(y)} \to \mathcal{O}_{X, f(y)} \to \mathcal{O}_{Y, y}$ is zero by assumption and since $f^\sharp _ y(1) = 1$ we see that $1 \not\in \mathcal{I}_{f(y)}$, i.e., $\mathcal{I}_{f(y)} \not= \mathcal{O}_{X, f(y)}$. We conclude that $f(Y) \subset Z = \text{Supp}(\mathcal{O}_ X/\mathcal{I})$. Hence $f = i \circ g$ where $g : Y \to Z$ is continuous. Consider the map $f^\sharp : \mathcal{O}_ X \to f_*\mathcal{O}_ Y$. The assumption $f^*\mathcal{I} \to \mathcal{O}_ Y$ is zero implies that the composition $\mathcal{I} \to \mathcal{O}_ X \to f_*\mathcal{O}_ Y$ is zero by adjointness of $f_*$ and $f^*$. In other words, we obtain a morphism of sheaves of rings $\overline{f^\sharp } : \mathcal{O}_ X/\mathcal{I} \to f_*\mathcal{O}_ Y$. Note that $f_*\mathcal{O}_ Y = i_*g_*\mathcal{O}_ Y$ and that $\mathcal{O}_ X/\mathcal{I} = i_*\mathcal{O}_ Z$. By Sheaves, Lemma 6.32.4 we obtain a unique morphism of sheaves of rings $g^\sharp : \mathcal{O}_ Z \to g_*\mathcal{O}_ Y$ whose pushforward under $i$ is $\overline{f^\sharp }$. We omit the verification that $(g, g^\sharp )$ defines a morphism of locally ringed spaces and that $f = i \circ g$ as a morphism of locally ringed spaces. The uniqueness of $(g, g^\sharp )$ was pointed out above. $\square$

Lemma 26.4.7. Let $f : X \to Y$ be a morphism of locally ringed spaces. Let $\mathcal{I} \subset \mathcal{O}_ Y$ be a sheaf of ideals which is locally generated by sections. Let $i : Z \to Y$ be the closed subspace associated to the sheaf of ideals $\mathcal{I}$. Let $\mathcal{J}$ be the image of the map $f^*\mathcal{I} \to f^*\mathcal{O}_ Y = \mathcal{O}_ X$. Then this ideal is locally generated by sections. Moreover, let $i' : Z' \to X$ be the associated closed subspace of $X$. There exists a unique morphism of locally ringed spaces $f' : Z' \to Z$ such that the following diagram is a commutative square of locally ringed spaces

\[ \xymatrix{ Z' \ar[d]_{f'} \ar[r]_{i'} & X \ar[d]^ f \\ Z \ar[r]^{i} & Y } \]

Moreover, this diagram is a fibre square in the category of locally ringed spaces.

Proof. The ideal $\mathcal{J}$ is locally generated by sections by Modules, Lemma 17.8.2. The rest of the lemma follows from the characterization, in Lemma 26.4.6 above, of what it means for a morphism to factor through a closed subspace. $\square$


Comments (19)

Comment #404 by Keenan on

In the proof of 01HP, should be in a three places.

Comment #434 by Leeroy on

In example 25.4.3 it should be (or ) and not .

I was wondering, are you interested in people writing down those omitted simple proofs or do you not write them down just to make the thing more readable ? Obviously you would wish for people to contribute more meaningful stuff but since I'm learning I can't contribute anything interesting.

Comment #436 by on

Thanks for typo! Fixed here.

Yes, the goal is to fill in all the omitted proofs and any contribution like that is welcomed. If it becomes unreadable because of this (but I personally have never found this to be a problem), then we can use a technological solution to hide proofs (behind a link or something). Most of the omitted proofs should be easier or equivalent to things that are being proved in the same section or chapter. If you find that this is not the case, then please leave a comment saying so.

Comment #2582 by Dario Weißmann on

Typo in Lemma 25.4.6: Let be locally ringed spaces.

Comment #3779 by qiao on

Typo in Lemma 01HP (Lemma 25.4.6) perhaps not "=" here

Comment #3780 by qiao on

Typo in Lemma 01HP (Lemma 25.4.6) perhaps not "=" here

Comment #3909 by on

@#3779 and #3780: I am not going to change that for now. If more people complain then I will.

Comment #5037 by Erica on

In lemma 25.4.6, maybe the map should be ? This typo is not so important

Comment #5172 by Andrés on

Why do we ask for the ideal sheaf to be locally generated by sections? If you omit this from the definition, then you'd still have a correspondance between ideal sheafs and closed immersions. In the case of schemes, then one gets a correspondance between coherent ideal sheafs and closed immersions of schemes.

Comment #5564 by minsom on

I think in the proot Lemma 26.4.6 (Lemma 01HP) " ~ since we see that ~ " is not true because if then, it can be . How can we fix this?

Comment #5565 by minsom on

Sorry, I see know the stalk ring is a local ring and the local ring cannot be zero ring.

Comment #7079 by Tim on

In the lemma 26.4.6, by adjointness, why don't we use the condition is zero instead which seems to be easier to work.

Comment #7164 by Hussein on

Typo in Lemmas 01HP & 01HQ we have ? I believe it should be

Comment #7256 by on

@#7079: of course since it is equivalent you may do so, but I think the lemma is used in the form it is stated so I do not want to change the statement. @#7164: for any map of ringed spaces we have . Note that in Lemma 26.4.7 the roles of and are swapped.

Comment #8456 by on

I think the following folklore (that #5172 hints at) could be an interesting remark to add to this section: Given a locally ringed space , there is a one-to-one correspondence between ideal sheaves over locally generated by sections and closed immersions of l.r.s. into , modulo isomorphism over . The map to the right sends to the closed subspace of associated to this sheaf of ideals (Definition 26.4.4), whereas the map to the left sends a closed immersion to . The composite "first to the right, then to the left" is the identity by 26.4.3, whereas the composite "first to the left, then to the right" is the identity by 26.4.5. Moreover, this one-to-one correspondence promotes to a contravariant isomorphism of posets when the ideal sheaves are ordered by inclusion and the order in the closed subspaces of is given by the existence of a map over (by monicity of closed immersions, there is at most one such map). On the one hand, if we have ideal sheaves , then we get a map over by 26.4.6, where and are the closed subspaces associated to and , respectively. On the other hand, if we have closed subspaces and and a map over , then equals the kernel of , i.e., of . But this contains .

Also, at the beginning of the section, maybe one could inform the reader that the condition (3) of Definition 26.4.1 will not be ever used throughout the section? Everything stated in this section is still true if we were to drop (3) from this definition, and the proofs don't change (condition (3) is never invoked). I am aware of the discussion in Modules, Section 17.13, and I don't disagree with it. I just think it would be informative to have some note in this section regarding this issue.

Comment #9071 by on

Yes, we could do this. Then we should also move sections 26.2, 26.3, 26.4 to the chapter on ringed spaces and move any other lemmas etc on locally ringed spaces there as well... On the to-do list.


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 01HJ. Beware of the difference between the letter 'O' and the digit '0'.