Lemma 97.12.6. Let $F : \mathcal{X} \to \mathcal{Y}$ and $G : \mathcal{X}' \to \mathcal{X}$ be $1$-morphisms of stacks in groupoids over $(\mathit{Sch}/S)_{fppf}$. If $G$ is representable by algebraic spaces, then the $1$-morphism
is representable by algebraic spaces.
Proof. Let $U$ be a scheme and let $\xi = (U, Z, y, x, \alpha )$ be an object of $\mathcal{H}_ d(\mathcal{X}/\mathcal{Y})$ over $U$. We have to prove that the $2$-fibre product
is representable by an algebraic space étale over $U$. An object of this over $a : U' \to U$ corresponds to an object $x'$ of $\mathcal{X}'$ over $U' \times _{a, U} Z$ such that $G(x') \cong x|_{U' \times _{a, U} Z}$. By assumption the $2$-fibre product
is representable by an algebraic space $X$ over $Z$. It follows that (97.12.6.1) is representable by $\text{Res}_{Z/U}(X)$, which is an algebraic space by Proposition 97.11.5. $\square$
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)