Lemma 33.17.2. Let $f : X \to Y$ be a proper morphism. Let $y \in Y$ be a point such that $\mathcal{O}_{Y, y}$ is Noetherian of dimension $\leq 1$. Assume in addition one of the following conditions is satisfied

for every generic point $\eta $ of an irreducible component of $X$ the field extension $\kappa (\eta )/\kappa (f(\eta ))$ is finite (or algebraic),

for every generic point $\eta $ of an irreducible component of $X$ such that $f(\eta ) \leadsto y$ the field extension $\kappa (\eta )/\kappa (f(\eta ))$ is finite (or algebraic),

$f$ is quasi-finite at every generic point of $X$,

$Y$ is locally Noetherian and $f$ is quasi-finite at a dense set of points of $X$,

add more here.

Then there exists an open neighbourhood $V \subset Y$ of $y$ such that $f^{-1}(V) \to V$ is finite.

## Comments (0)