The Stacks project

Proof. Clearly we may assume $Y$ and hence $X$ affine. Since $\pi $ is finite the fibre $\pi ^{-1}(\{ y\} )$ over $y$ is finite. Since $X$ is affine, we can pick $s \in \Gamma (X, \mathcal{L})$ not vanishing in any point of $\pi ^{-1}(\{ y\} )$. This follows from Properties, Lemma 28.29.7 but we also give a direct argument. Namely, we can pick a finite set $E \subset X$ of closed points such that every $x \in \pi ^{-1}(\{ y\} )$ specializes to some point of $E$. For $x \in E$ denote $i_ x : x \to X$ the closed immersion. Then $\mathcal{L} \to \bigoplus _{x \in E} i_{x, *}i_ x^*\mathcal{L}$ is a surjective map of quasi-coherent $\mathcal{O}_ X$-modules, and hence the map

is surjective (as taking global sections is an exact functor on the category of quasi-coherent $\mathcal{O}_ X$-modules, see Schemes, Lemma 26.7.5). Thus we can find an $s \in \Gamma (X, \mathcal{L})$ not vanishing at any point specializing to a point of $E$. Then $X_ s \subset X$ is an open neighbourhood of $\pi ^{-1}(\{ y\} )$. Since $\pi $ is finite, hence closed, we conclude that there is an open neighbourhood $V \subset Y$ of $y$ whose inverse image is contained in $X_ s$ as desired. $\square$