Remark 76.42.12 (Unwinding Grothendieck's existence theorem). Let $A$ be a Noetherian ring complete with respect to an ideal $I$. Write $S = \mathop{\mathrm{Spec}}(A)$ and $S_ n = \mathop{\mathrm{Spec}}(A/I^ n)$. Let $X \to S$ be a morphism of algebraic spaces that is separated and of finite type. For $n \geq 1$ we set $X_ n = X \times _ S S_ n$. Picture:

In this situation we consider systems $(\mathcal{F}_ n, \varphi _ n)$ where

$\mathcal{F}_ n$ is a coherent $\mathcal{O}_{X_ n}$-module,

$\varphi _ n : i_ n^*\mathcal{F}_{n + 1} \to \mathcal{F}_ n$ is an isomorphism, and

$\text{Supp}(\mathcal{F}_1)$ is proper over $S_1$.

Theorem 76.42.11 says that the completion functor

is an equivalence of categories. In the special case that $X$ is proper over $A$ we can omit the conditions on the supports.

## Comments (0)