Lemma 87.19.6 (0AJI)—The Stacks project

Processing math: 100%

Table of contents
Part 5: Topics in Geometry
Chapter 87: Formal Algebraic Spaces
Section 87.19: Morphisms representable by algebraic spaces
Lemma 87.19.6 (cite)

previous lemma
next lemma

numberstags

history
statistics

Lemma 87.19.6. Let $S$ be a scheme. Let $Y$ be a formal algebraic space over $S$ . Let $f : X \to Y$ be a map of sheaves on $(\mathit{Sch}/S)_{fppf}$ which is representable by algebraic spaces. Then $X$ is a formal algebraic space.

Proof. Let $\{ Y_ i \to Y\}$ be as in Definition 87.11.1. Then $X \times _ Y Y_ i \to X$ is a family of morphisms representable by algebraic spaces, étale, and jointly surjective. Thus it suffices to show that $X \times _ Y Y_ i$ is a formal algebraic space, see Lemma 87.15.1. This follows from Lemma 87.19.5. $\square$

Comments (0)

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).

Comments (0)

Post a comment