Lemma 98.5.6. In Situation 98.5.1 assume that $B \to S$ is locally of finite presentation. Then $p : \mathcal{C}\! \mathit{oh}_{X/B} \to (\mathit{Sch}/S)_{fppf}$ is limit preserving (Artin's Axioms, Definition 97.11.1).

**Proof.**
Write $B(T)$ for the discrete category whose objects are the $S$-morphisms $T \to B$. Let $T = \mathop{\mathrm{lim}}\nolimits T_ i$ be a filtered limit of affine schemes over $S$. Assigning to an object $(T, h, \mathcal{F})$ of $\mathcal{C}\! \mathit{oh}_{X/B, T}$ the object $h$ of $B(T)$ gives us a commutative diagram of fibre categories

We have to show the top horizontal arrow is an equivalence. Since we have assumed that $B$ is locally of finite presentation over $S$ we see from Limits of Spaces, Remark 69.3.11 that the bottom horizontal arrow is an equivalence. This means that we may assume $T = \mathop{\mathrm{lim}}\nolimits T_ i$ be a filtered limit of affine schemes over $B$. Denote $g_ i : T_ i \to B$ and $g : T \to B$ the corresponding morphisms. Set $X_ i = T_ i \times _{g_ i, B} X$ and $X_ T = T \times _{g, B} X$. Observe that $X_ T = \mathop{\mathrm{colim}}\nolimits X_ i$ and that the algebraic spaces $X_ i$ and $X_ T$ are quasi-separated and quasi-compact (as they are of finite presentation over the affines $T_ i$ and $T$). By Limits of Spaces, Lemma 69.7.2 we see that

where $\textit{FP}(W)$ is short hand for the category of finitely presented $\mathcal{O}_ W$-modules. The results of Limits of Spaces, Lemmas 69.6.12 and 69.12.3 tell us the same thing is true if we replace $\textit{FP}(X_ i)$ and $\textit{FP}(X_ T)$ by the full subcategory of objects flat over $T_ i$ and $T$ with scheme theoretic support proper over $T_ i$ and $T$. This proves the lemma. $\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 (2)

Comment #2735 by Emanuel Reinecke on

Comment #2858 by Johan on