The Stacks project

Proof. The proof of this lemma is the same as the proof of Lemma 59.75.5. Assume (2). Let $\overline{s}$ be a geometric point of $S$ lying over $s \in S$. In order to prove (1) we have to find an étale neighbourhood $(U, \overline{u})$ of $(S, \overline{s})$ such that $\mathcal{F}|_ U$ is constant. We may and do assume $S$ is affine.

Since $M = \mathcal{F}_{\overline{s}}$ is a finite $\Lambda $-module and $\Lambda $ is Noetherian, we can choose a presentation

for some matrix $A = (a_{ji})$ with coefficients in $\Lambda $. We can choose $(U, \overline{u})$ and elements $\sigma _1, \ldots , \sigma _ n \in \mathcal{F}(U)$ such that $\sum a_{ji}\sigma _ i = 0$ in $\mathcal{F}(U)$ and such that the images of $\sigma _ i$ in $\mathcal{F}_{\overline{s}} = M$ are the images of the standard basis element of $\Lambda ^ n$ in the presentation of $M$ given above. Consider the map

on $U_{\acute{e}tale}$ defined by $\sigma _1, \ldots , \sigma _ n$. This map is a bijection on stalks at $\overline{u}$ by construction. Let us consider the subset

Here $\overline{u}'$ is any geometric point of $U$ lying over $u'$ (the condition is independent of the choice by Remark 59.29.8). The image $u \in U$ of $\overline{u}$ is in $E$. By our assumption on the specialization maps for $\mathcal{F}$, by Remark 59.75.3, and by Lemma 59.75.4 we see that $E$ is closed under specializations and generalizations in the topological space $U$.

After shrinking $U$ we may assume $U$ is affine too. By Descent, Lemma 35.16.3 we see that $U$ has a finite number of irreducible components. After removing the irreducible components which do not pass through $u$, we may assume every irreducible component of $U$ passes through $u$. Since $U$ is a sober topological space it follows that $E = U$ and we conclude that $\varphi $ is an isomorphism by Theorem 59.29.10. Thus (1) follows.

We omit the proof that (1) implies (2). $\square$