Lemma 76.39.5. Let S be a scheme. Let f : X \to B be a morphism of algebraic spaces over S. Let U \subset B be an open subspace. Assume
B is quasi-compact and quasi-separated,
U is quasi-compact,
f : X \to B is proper,
f^{-1}(U) \to U us an isomorphism.
Then there exists a U-admissible blowup B' \to B which dominates X, i.e., such that there exists a factorization B' \to X \to B of the blowup morphism.
Comments (0)