Lemma 71.19.3. Let $S$ be a scheme. Let $X$ be a quasi-compact and quasi-separated algebraic space. Let $U, V \subset X$ be quasi-compact open subspaces. Let $b : V' \to V$ be a $U \cap V$-admissible blowup. Then there exists a $U$-admissible blowup $X' \to X$ whose restriction to $V$ is $V'$.

Proof. Let $\mathcal{I} \subset \mathcal{O}_ V$ be the finite type quasi-coherent sheaf of ideals such that $V(\mathcal{I})$ is disjoint from $U \cap V$ and such that $V'$ is isomorphic to the blowup of $V$ in $\mathcal{I}$. Let $\mathcal{I}' \subset \mathcal{O}_{U \cup V}$ be the quasi-coherent sheaf of ideals whose restriction to $U$ is $\mathcal{O}_ U$ and whose restriction to $V$ is $\mathcal{I}$. By Limits of Spaces, Lemma 70.9.8 there exists a finite type quasi-coherent sheaf of ideals $\mathcal{J} \subset \mathcal{O}_ X$ whose restriction to $U \cup V$ is $\mathcal{I}'$. The lemma follows. $\square$

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