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)