The Stacks project

Lemma 76.34.1. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$ which is of finite type and separated. Let $Y'$ be the normalization of $Y$ in $X$. Picture:

\[ \xymatrix{ X \ar[rd]_ f \ar[rr]_{f'} & & Y' \ar[ld]^\nu \\ & Y & } \]

Then there exists an open subspace $U' \subset Y'$ such that

  1. $(f')^{-1}(U') \to U'$ is an isomorphism, and

  2. $(f')^{-1}(U') \subset X$ is the set of points at which $f$ is quasi-finite.

Proof. By Morphisms of Spaces, Lemma 67.34.7 there is an open subspace $U \subset X$ corresponding to the points of $|X|$ where $f$ is quasi-finite. We have to prove

  1. the image of $|U| \to |Y'|$ is $|U'|$ for some open subspace $U'$ of $Y'$,

  2. $U = f^{-1}(U')$, and

  3. $U \to U'$ is an isomorphism.

Since formation of $U$ commutes with arbitrary base change (Morphisms of Spaces, Lemma 67.34.7), since formation of the normalization $Y'$ commutes with smooth base change (Lemma 76.25.2), since étale morphisms are open, and since “being an isomorphism” is fpqc local on the base (Descent on Spaces, Lemma 74.11.15), it suffices to prove (a), (b), (c) étale locally on $Y$ (some details omitted). Thus we may assume $Y$ is an affine scheme. This implies that $Y'$ is an (affine) scheme as well.

Let $x \in |U|$. Claim: there exists an open neighbourhood $f'(x) \in V \subset Y'$ such that $(f')^{-1}V \to V$ is an isomorphism. We first prove the claim implies the lemma. Namely, then $(f')^{-1}V \cong V$ is a scheme (as an open of $Y'$), locally of finite type over $Y$ (as an open subspace of $X$), and for $v \in V$ the residue field extension $\kappa (v)/\kappa (\nu (v))$ is algebraic (as $V \subset Y'$ and $Y'$ is integral over $Y$). Hence the fibres of $V \to Y$ are discrete (Morphisms, Lemma 29.20.2) and $(f')^{-1}V \to Y$ is locally quasi-finite (Morphisms, Lemma 29.20.8). This implies $(f')^{-1}V \subset U$ and $V \subset U'$. Since $x$ was arbitrary we see that (a), (b), and (c) are true.

Let $y = f(x) \in |Y|$. Let $(T, t) \to (Y, y)$ be an étale morphism of pointed schemes. Denote by a subscript ${}_ T$ the base change to $T$. Let $z \in X_ T$ be a point in the fibre $X_ t$ lying over $x$. Note that $U_ T \subset X_ T$ is the set of points where $f_ T$ is quasi-finite, see Morphisms of Spaces, Lemma 67.34.7. Note that

\[ X_ T \xrightarrow {f'_ T} Y'_ T \xrightarrow {\nu _ T} T \]

is the normalization of $T$ in $X_ T$, see Lemma 76.25.2. Suppose that the claim holds for $z \in U_ T \subset X_ T \to Y'_ T \to T$, i.e., suppose that we can find an open neighbourhood $f'_ T(z) \in V' \subset Y'_ T$ such that $(f'_ T)^{-1}V' \to V'$ is an isomorphism. The morphism $Y'_ T \to Y'$ is étale hence the image $V \subset Y'$ of $V'$ is open. Observe that $f'(x) \in V$ as $f'_ T(z) \in V'$. Observe that

\[ \xymatrix{ (f'_ T)^{-1}V' \ar[r] \ar[d] & (f')^{-1}(V) \ar[d] \\ V' \ar[r] & V } \]

is a fibre square (as $Y'_ T \times _{Y'} X = X_ T$). Since the left vertical arrow is an isomorphism and $\{ V' \to V\} $ is a étale covering, we conclude that the right vertical arrow is an isomorphism by Descent on Spaces, Lemma 74.11.15. In other words, the claim holds for $x \in U \subset X \to Y' \to Y$.

By the result of the previous paragraph to prove the claim for $x \in |U|$, we may replace $Y$ by an étale neighbourhood $T$ of $y = f(x)$ and $x$ by any point lying over $x$ in $T \times _ Y X$. Thus we may assume there is a decomposition

\[ X = V \amalg W \]

into open and closed subspaces where $V \to Y$ is finite and $x \in V$, see Lemma 76.33.1. Since $X$ is a disjoint union of $V$ and $W$ over $Y$ and since $V \to Y$ is finite we see that the normalization of $Y$ in $X$ is the morphism

\[ X = V \amalg W \longrightarrow V \amalg W' \longrightarrow S \]

where $W'$ is the normalization of $Y$ in $W$, see Morphisms of Spaces, Lemmas 67.48.8, 67.45.6, and 67.48.10. The claim follows and we win. $\square$

Comments (0)

Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 082I. Beware of the difference between the letter 'O' and the digit '0'.