Lemma 98.5.10. In Situation 98.5.1 assume that $S$ is a locally Noetherian scheme and that $f : X \to B$ is separated. Let $\mathcal{X} = \mathcal{C}\! \mathit{oh}_{X/B}$. Then the functor Artin's Axioms, Equation (97.9.3.1) is an equivalence.

**Proof.**
Let $A$ be an $S$-algebra which is a complete local Noetherian ring with maximal ideal $\mathfrak m$ whose residue field $k$ is of finite type over $S$. We have to show that the category of objects over $A$ is equivalent to the category of formal objects over $A$. Since we know this holds for the category $\mathcal{S}_ B$ fibred in sets associated to $B$ by Artin's Axioms, Lemma 97.9.5, it suffices to prove this for those objects lying over a given morphism $\mathop{\mathrm{Spec}}(A) \to B$.

Set $X_ A = \mathop{\mathrm{Spec}}(A) \times _ B X$ and $X_ n = \mathop{\mathrm{Spec}}(A/\mathfrak m^ n) \times _ B X$. By Grothendieck's existence theorem (More on Morphisms of Spaces, Theorem 75.42.11) we see that the category of coherent modules $\mathcal{F}$ on $X_ A$ with support proper over $\mathop{\mathrm{Spec}}(A)$ is equivalent to the category of systems $(\mathcal{F}_ n)$ of coherent modules $\mathcal{F}_ n$ on $X_ n$ with support proper over $\mathop{\mathrm{Spec}}(A/\mathfrak m^ n)$. The equivalence sends $\mathcal{F}$ to the system $(\mathcal{F} \otimes _ A A/\mathfrak m^ n)$. See discussion in More on Morphisms of Spaces, Remark 75.42.12. To finish the proof of the lemma, it suffices to show that $\mathcal{F}$ is flat over $A$ if and only if all $\mathcal{F} \otimes _ A A/\mathfrak m^ n$ are flat over $A/\mathfrak m^ n$. This follows from More on Morphisms of Spaces, Lemma 75.24.3. $\square$

## Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like `$\pi$`

). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (0)