Lemma 76.40.3. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. Assume $f$ separated, of finite type, and $Y$ Noetherian. Then there exists a dense open subspace $U \subset X$ and a commutative diagram

where the arrows with source $U$ are open immersions, $X' \to X$ is a $U$-admissible blowup, $X' \to Z'$ is an open immersion, $Z' \to Y$ is a proper and representable morphism of algebraic spaces. More precisely, $Z' \to Z$ is a $U$-admissible blowup and $Z \to \mathbf{P}^ n_ Y$ is a closed immersion.

## Comments (0)