Lemma 70.18.4. In the situation of Definition 70.18.1.

1. If $X$ is flat over $B$ at all points lying over $Z$, then the strict transform of $X$ is equal to the base change $X \times _ B B'$.

2. Let $\mathcal{F}$ be a quasi-coherent $\mathcal{O}_ X$-module. If $\mathcal{F}$ is flat over $B$ at all points lying over $Z$, then the strict transform $\mathcal{F}'$ of $\mathcal{F}$ is equal to the pullback $\text{pr}_ X^*\mathcal{F}$.

Proof. Omitted. Hint: Follows from the case of schemes (Divisors, Lemma 31.33.3) by étale localization (Lemma 70.18.2). $\square$

There are also:

• 2 comment(s) on Section 70.18: Strict transform

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