Lemma 72.8.2. Let $f : X' \to X$ be a modification as in Definition 72.8.1. There exists a nonempty open $U \subset X$ such that $f^{-1}(U) \to U$ is an isomorphism.
Proof. By Lemma 72.5.1 there exists a nonempty $U \subset X$ such that $f^{-1}(U) \to U$ is finite. By generic flatness (Morphisms of Spaces, Proposition 67.32.1) we may assume $f^{-1}(U) \to U$ is flat and of finite presentation. So $f^{-1}(U) \to U$ is finite locally free (Morphisms of Spaces, Lemma 67.46.6). Since $f$ is birational, the degree of $X'$ over $X$ is $1$. Hence $f^{-1}(U) \to U$ is finite locally free of degree $1$, in other words it is an isomorphism. $\square$
Comments (0)