The Stacks project

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 (3)

Comment #422 by Keenan Kidwell on

In the proof of 01HQ, the last word should be subspace instead of subscheme, since this lemma and the lemmas cited in the proof are about general locally ringed spaces.

Comment #582 by Anfang on

There is a typo in the second sentence. "Functions" should be changed to "sections".

There are also:

  • 17 comment(s) on Section 26.4: Closed immersions of locally ringed spaces

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