Lemma 76.39.2 (0B4K)—The Stacks project

Processing math: 100%

Table of contents
Part 4: Algebraic Spaces
Chapter 76: More on Morphisms of Spaces
Section 76.39: Applications
Lemma 76.39.2 (cite)

numberstags

Lemma 76.39.2. Let $S$ be a scheme. Let $f : X \to B$ be a morphism of algebraic spaces over $S$ . Let $U \subset B$ be an open subspace. Assume

$B$ is quasi-compact and quasi-separated,
$U$ is quasi-compact,
$f : X \to B$ is proper, and
$f^{-1}(U) \to U$ is finite locally free.

Then there exists a $U$ -admissible blowup $B' \to B$ such that the strict transform $X'$ of $X$ is finite locally free over $B'$ .

Proof. By Lemma 76.39.1 we may assume that $X \to B$ is flat and of finite presentation. After replacing $B$ by a $U$ -admissible blowup if necessary, we may assume that $U \subset B$ is scheme theoretically dense. Then $f$ is finite by Lemma 76.37.4. Hence $f$ is finite locally free by Morphisms of Spaces, Lemma 67.46.6. $\square$

Comments (0)

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

Comments (0)

Post a comment