Lemma 70.18.1. Let S = U \cup W be an open covering of a scheme. Then the functor
given by base change is an equivalence where FP_ T is the category of algebraic spaces of finite presentation over the scheme T.
Lemma 70.18.1. Let S = U \cup W be an open covering of a scheme. Then the functor
given by base change is an equivalence where FP_ T is the category of algebraic spaces of finite presentation over the scheme T.
Proof. First, since S = U \cup W is a Zariski covering, we see that the category of sheaves on (\mathit{Sch}/S)_{fppf} is equivalent to the category of triples (\mathcal{F}_ U, \mathcal{F}_ W, \varphi ) where \mathcal{F}_ U is a sheaf on (\mathit{Sch}/U)_{fppf}, \mathcal{F}_ W is a sheaf on (\mathit{Sch}/W)_{fppf}, and
is an isomorphism. See Sites, Lemma 7.26.5 (note that no other gluing data are necessary because U \times _ S U = U, W \times _ S W = W and that the cocycle condition is automatic for the same reason). Now, if the sheaf \mathcal{F} on (\mathit{Sch}/S)_{fppf} maps to (\mathcal{F}_ U, \mathcal{F}_ W, \varphi ) via this equivalence, then \mathcal{F} is an algebraic space if and only if \mathcal{F}_ U and \mathcal{F}_ W are algebraic spaces. This follows immediately from Algebraic Spaces, Lemma 65.8.5 as \mathcal{F}_ U \to \mathcal{F} and \mathcal{F}_ W \to \mathcal{F} are representable by open immersions and cover \mathcal{F}. Finally, in this case the algebraic space \mathcal{F} is of finite presentation over S if and only if \mathcal{F}_ U is of finite presentation over U and \mathcal{F}_ W is of finite presentation over W by Morphisms of Spaces, Lemmas 67.8.8, 67.4.12, and 67.28.4. \square
Comments (0)