The Stacks project

Situation 38.28.1. Here we have an inverse system of rings $(A_ n)$ with surjective transition maps whose kernels are locally nilpotent. Set $A = \mathop{\mathrm{lim}}\nolimits A_ n$. We have a scheme $X$ separated and of finite presentation over $A$. We set $X_ n = X \times _{\mathop{\mathrm{Spec}}(A)} \mathop{\mathrm{Spec}}(A_ n)$ and we view it as a closed subscheme of $X$. We assume further given a system $(\mathcal{F}_ n, \varphi _ n)$ where $\mathcal{F}_ n$ is a finitely presented $\mathcal{O}_{X_ n}$-module, flat over $A_ n$, with support proper over $A_ n$, and

is an isomorphism (notation using the equivalence of Morphisms, Lemma 29.4.1).