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

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

2. 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$

There are also:

• 2 comment(s) on Section 29.51: Generically finite morphisms

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