The Stacks project

Lemma 38.4.7. With assumption and notation as in Definition 38.4.6 we have:

  1. If $S' \subset S$ is a standard open neighbourhood of $s$, then setting $X' = X_{S'}$, $Z' = Z_{S'}$ and $Y' = Y_{S'}$ we obtain a standard shrinking.

  2. Let $W \subset Y$ be a standard open neighbourhood of $y$. Then there exists a standard shrinking with $Y' = W \times _ S S'$.

  3. Let $U \subset X$ be an open neighbourhood of $x$. Then there exists a standard shrinking with $X' \subset U$.

Proof. Part (1) is immediate from Lemma 38.4.5 and the fact that the inverse image of a standard open under a morphism of affine schemes is a standard open, see Algebra, Lemma 10.17.4.

Let $W \subset Y$ as in (2). Because $Y \to S$ is smooth it is open, see Morphisms, Lemma 29.34.10. Hence we can find a standard open neighbourhood $S'$ of $s$ contained in the image of $W$. Then the fibres of $W_{S'} \to S'$ are nonempty open subschemes of the fibres of $Y \to S$ over $S'$ and hence geometrically irreducible too. Setting $Y' = W_{S'}$ and $Z' = \pi ^{-1}(Y')$ we see that $Z' \subset Z$ is a standard open neighbourhood of $z$. Let $\overline{h} \in \Gamma (Z, \mathcal{O}_ Z)$ be a function such that $Z' = D(\overline{h})$. As $i : Z \to X$ is a closed immersion, we can find a function $h \in \Gamma (X, \mathcal{O}_ X)$ such that $i^\sharp (h) = \overline{h}$. Take $X' = D(h) \subset X$. In this way we obtain a standard shrinking as in (2).

Let $U \subset X$ be as in (3). We may after shrinking $U$ assume that $U$ is a standard open. By More on Morphisms, Lemma 37.47.4 there exists a standard open $W \subset Y$ neighbourhood of $y$ such that $\pi ^{-1}(W) \subset i^{-1}(U)$. Apply (2) to get a standard shrinking $X', S', Z', Y'$ with $Y' = W_{S'}$. Since $Z' \subset \pi ^{-1}(W) \subset i^{-1}(U)$ we may replace $X'$ by $X' \cap U$ (still a standard open as $U$ is also standard open) without violating any of the conditions defining a standard shrinking. Hence we win. $\square$

Comments (0)

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