Lemma 70.18.2 (Étale localization and strict transform). In the situation of Definition 70.18.1. Let

$\xymatrix{ U \ar[r] \ar[d] & X \ar[d] \\ V \ar[r] & B }$

be a commutative diagram of morphisms with $U$ and $V$ schemes and étale horizontal arrows. Let $V' \to V$ be the blowup of $V$ in $Z \times _ B V$. Then

1. $V' = V \times _ B B'$ and the maps $V' \to B'$ and $U \times _ V V' \to X \times _ B B'$ are étale,

2. the strict transform $U'$ of $U$ relative to $V' \to V$ is equal to $X' \times _ X U$ where $X'$ is the strict transform of $X$ relative to $B' \to B$, and

3. for a quasi-coherent $\mathcal{O}_ X$-module $\mathcal{F}$ the restriction of the strict transform $\mathcal{F}'$ to $U \times _ V V'$ is the strict transform of $\mathcal{F}|_ U$ relative to $V' \to V$.

Proof. Part (1) follows from the fact that blowup commutes with flat base change (Lemma 70.17.3), the fact that étale morphisms are flat, and that the base change of an étale morphism is étale. Part (3) then follows from the fact that taking the sheaf of sections supported on a closed commutes with pullback by étale morphisms, see Limits of Spaces, Lemma 69.14.5. Part (2) follows from (3) applied to $\mathcal{F} = \mathcal{O}_ X$. $\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).