Lemma 29.51.6. Let $X$, $Y$ be schemes. Let $f : X \to Y$ be a birational morphism between schemes which have finitely many irreducible components. Assume

either $f$ is quasi-compact or $f$ is separated, and

either $f$ is locally of finite type and $Y$ is reduced or $f$ is locally of finite presentation.

Then there exists a dense open $V \subset Y$ such that $f^{-1}(V) \to V$ is an isomorphism.

**Proof.**
By Lemma 29.51.5 we may assume that $f$ is finite. Since $Y$ has finitely many irreducible components, we can find a dense open which is a disjoint union of its irreducible components. Thus we may assume $Y$ is irreducible. By Lemma 29.50.5 we find a nonempty open $U \subset X$ such that $f|_ U : U \to Y$ is an open immersion. After removing the closed (as $f$ finite) subset $f(X \setminus U)$ from $Y$ we see that $f$ is an isomorphism.
$\square$

## Comments (0)

There are also: