## Tag `07WI`

Chapter 88: Criteria for Representability > Section 88.5: Limit preserving on objects

Lemma 88.5.6. Let $S$ be a scheme. Let $f : \mathcal{X} \to \mathcal{Y}$ be a $1$-morphism of categories fibred in groupoids over $(\mathit{Sch}/S)_{fppf}$. Let $\mathcal{P}$ be a property of morphisms of algebraic spaces as in Algebraic Stacks, Definition 85.10.1. If

- $f$ is representable by algebraic spaces,
- $\mathcal{Y} \to (\mathit{Sch}/S)_{fppf}$ is limit preserving on objects,
- for an affine scheme $V$ locally of finite presentation over $S$ and $y \in \mathcal{Y}_V$ the resulting morphism of algebraic spaces $f_y : F_y \to V$, see Algebraic Stacks, Equation (85.9.1.1), has property $\mathcal{P}$.
Then $f$ has property $\mathcal{P}$.

Proof.Let $V$ be a scheme over $S$ and $y \in \mathcal{Y}_V$. We have to show that $F_y \to V$ has property $\mathcal{P}$. Since $\mathcal{P}$ is fppf local on the base we may assume that $V$ is an affine scheme which maps into an affine open $\mathop{\mathrm{Spec}}(\Lambda) \subset S$. Thus we can write $V = \mathop{\mathrm{lim}}\nolimits V_i$ with each $V_i$ affine and of finite presentation over $\mathop{\mathrm{Spec}}(\Lambda)$, see Algebra, Lemma 10.126.2. Then $y$ comes from an object $y_i$ over $V_i$ for some $i$ by assumption (2). By assumption (3) the morphism $F_{y_i} \to V_i$ has property $\mathcal{P}$. As $\mathcal{P}$ is stable under arbitrary base change and since $F_y = F_{y_i} \times_{V_i} V$ we conclude that $F_y \to V$ has property $\mathcal{P}$ as desired. $\square$

The code snippet corresponding to this tag is a part of the file `criteria.tex` and is located in lines 615–632 (see updates for more information).

```
\begin{lemma}
\label{lemma-check-property-limit-preserving}
Let $S$ be a scheme. Let $f : \mathcal{X} \to \mathcal{Y}$ be a $1$-morphism
of categories fibred in groupoids over $(\Sch/S)_{fppf}$. Let $\mathcal{P}$
be a property of morphisms of algebraic spaces as in
Algebraic Stacks, Definition
\ref{algebraic-definition-relative-representable-property}. If
\begin{enumerate}
\item $f$ is representable by algebraic spaces,
\item $\mathcal{Y} \to (\Sch/S)_{fppf}$ is limit preserving on objects,
\item for an affine scheme $V$ locally of finite presentation over $S$ and
$y \in \mathcal{Y}_V$ the resulting morphism of algebraic spaces
$f_y : F_y \to V$, see Algebraic Stacks, Equation
(\ref{algebraic-equation-representable-by-algebraic-spaces}),
has property $\mathcal{P}$.
\end{enumerate}
Then $f$ has property $\mathcal{P}$.
\end{lemma}
\begin{proof}
Let $V$ be a scheme over $S$ and $y \in \mathcal{Y}_V$. We have to show
that $F_y \to V$ has property $\mathcal{P}$. Since $\mathcal{P}$ is
fppf local on the base we may assume that $V$ is an affine scheme which
maps into an affine open $\Spec(\Lambda) \subset S$. Thus we can write
$V = \lim V_i$ with each $V_i$ affine and of finite presentation over
$\Spec(\Lambda)$, see Algebra, Lemma \ref{algebra-lemma-ring-colimit-fp}.
Then $y$ comes from an object $y_i$ over $V_i$ for some $i$ by assumption (2).
By assumption (3) the morphism $F_{y_i} \to V_i$ has property $\mathcal{P}$.
As $\mathcal{P}$ is stable under arbitrary base change and since
$F_y = F_{y_i} \times_{V_i} V$ we conclude that $F_y \to V$ has property
$\mathcal{P}$ as desired.
\end{proof}
```

## Comments (0)

## Add a comment on tag `07WI`

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 lower-right corner).

All contributions are licensed under the GNU Free Documentation License.

There are no comments yet for this tag.