The Stacks project

Proof. By assumption the schemes $S$ and $Y$ are affine. Write $S = \mathop{\mathrm{Spec}}(A)$ and $Y = \mathop{\mathrm{Spec}}(B)$. As $\pi$ is finite the $\mathcal{O}_ Y$-module $\pi _*\mathcal{G}$ is a finite type quasi-coherent $\mathcal{O}_ Y$-module. Hence $\pi _*\mathcal{G} = \widetilde{N}$ for some finite $B$-module $N$. Let $\mathfrak p \subset B$ be the prime ideal corresponding to $\xi$. To obtain $\alpha$ set $r = \dim _{\kappa (\mathfrak p)} N \otimes _ B \kappa (\mathfrak p)$ and pick $x_1, \ldots , x_ r \in N$ which form a basis of $N \otimes _ B \kappa (\mathfrak p)$. Take $\alpha : B^{\oplus r} \to N$ to be the map given by the formula $\alpha (b_1, \ldots , b_ r) = \sum b_ ix_ i$. It is clear that $\alpha : \kappa (\mathfrak p)^{\oplus r} \to N \otimes _ B \kappa (\mathfrak p)$ is an isomorphism as desired. Finally, suppose $\alpha$ is any map with this property. Then $N' = \mathop{\mathrm{Coker}}(\alpha )$ is a finite $B$-module such that $N' \otimes \kappa (\mathfrak p) = 0$. By Nakayama's lemma (Algebra, Lemma 10.20.1) we see that $N'_{\mathfrak p} = 0$. Since the fibre $Y_ s$ is geometrically irreducible of dimension $n$ with generic point $\xi$ and since we have just seen that $\xi$ is not in the support of $\mathop{\mathrm{Coker}}(\alpha )$ the last assertion of the lemma holds. $\square$