Lemma 29.14.5 (01SV)—The Stacks project

Processing math: 100%

Table of contents
Part 2: Schemes
Chapter 29: Morphisms of Schemes
Section 29.14: Types of morphisms defined by properties of ring maps
Lemma 29.14.5 (cite)

numberstags

Lemma 29.14.5. Let $P$ be a property of ring maps. Assume $P$ is local and stable under composition. The composition of morphisms locally of type $P$ is locally of type $P$ .

Proof. Let $f : X \to Y$ and $g : Y \to Z$ be morphisms locally of type $P$ . Let $x \in X$ . Choose an affine open neighbourhood $W \subset Z$ of $g(f(x))$ . Choose an affine open neighbourhood $V \subset g^{-1}(W)$ of $f(x)$ . Choose an affine open neighbourhood $U \subset f^{-1}(V)$ of $x$ . By Lemma 29.14.4 the ring maps $\mathcal{O}_ Z(W) \to \mathcal{O}_ Y(V)$ and $\mathcal{O}_ Y(V) \to \mathcal{O}_ X(U)$ satisfy $P$ . Hence $\mathcal{O}_ Z(W) \to \mathcal{O}_ X(U)$ satisfies $P$ as $P$ is assumed stable under composition. $\square$

Comments (0)

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).

Comments (0)

Post a comment