Lemma 71.17.4. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. Let $Z \subset X$ be a closed subspace. The blowing up $b : X' \to X$ of $Z$ in $X$ has the following properties:

$b|_{b^{-1}(X \setminus Z)} : b^{-1}(X \setminus Z) \to X \setminus Z$ is an isomorphism,

the exceptional divisor $E = b^{-1}(Z)$ is an effective Cartier divisor on $X'$,

there is a canonical isomorphism $\mathcal{O}_{X'}(-1) = \mathcal{O}_{X'}(E)$

## Comments (0)

There are also: