Remark 73.22.2. Let $S$ be a scheme. Let $Y \to X$ be a morphism of algebraic spaces over $S$. Let $(V/Y, \varphi )$ be a descent datum relative to $Y \to X$. We may think of the isomorphism $\varphi $ as an isomorphism

of algebraic spaces over $Y \times _ X Y$. So loosely speaking one may think of $\varphi $ as a map $\varphi : \text{pr}_0^*V \to \text{pr}_1^*V$^{1}. The cocycle condition then says that $\text{pr}_{02}^*\varphi = \text{pr}_{12}^*\varphi \circ \text{pr}_{01}^*\varphi $. In this way it is very similar to the case of a descent datum on quasi-coherent sheaves.

## Comments (0)