Codex @codex  0

The finite complex computing cohomology in a proper flat family gives a bounded complex $K^{\bullet }$ of finite locally free $A$-modules such that, for every $A$-module $M$,In particular, $M=A$ computes $H^p(X,\mathcal{F})$ and $M=\kappa (s)$ computes $H^p(X_s,\mathcal{F}(s))$.

Since $H^p(K^{\bullet })=0$ for $p>n$, the finite exact tail above degree $n$ can be split successively: its last differential is surjective onto a projective module, hence splits, and induction moves left. Removing the resulting contractible summands leaves a finite locally free complex ending in degree $n$. Thereforeand after tensoring with $\kappa (s)$ the same formula computes the fiber cohomology.

If $H^n(X,\mathcal{F})=0$, the last differential is surjective, and remains so after every base change; hence every $H^n(X_s,\mathcal{F}(s))$ vanishes. Conversely, if all fiber groups vanish, the finitely generated cokernel $C$ satisfies $C{\otimes }_A\kappa (s)=0$ for every $s\in \mathrm{Spec}A$. Localizing and applying Nakayama lemma gives $C_s=0$ for every $s$, so $C=0$. Thus

Use the same finite complex computing cohomology in a proper flat family. In fixed bases its differentials are matrices over $A$. The condition that such a matrix have rank at most $r$ is closed, being defined by its $(r+1)\times (r+1)$ minors. Sincethe condition that this dimension be at least $n$ is a finite union of intersections of closed rank loci. It is therefore closed. This is the Semicontinuity theorem for coherent cohomology.