Remark 99.15.5. Let $B$ be an algebraic space over $\mathop{\mathrm{Spec}}(\mathbf{Z})$. Let $B\text{-}\mathcal{C}\! \mathit{urves}$ be the category consisting of pairs $(X \to S, h : S \to B)$ where $X \to S$ is an object of $\mathcal{C}\! \mathit{urves}$ and $h : S \to B$ is a morphism. A morphism $(X' \to S', h') \to (X \to S, h)$ in $B\text{-}\mathcal{C}\! \mathit{urves}$ is a morphism $(f, g)$ in $\mathcal{C}\! \mathit{urves}$ such that $h \circ g = h'$. In this situation the diagram
\[ \xymatrix{ B\text{-}\mathcal{C}\! \mathit{urves}\ar[r] \ar[d] & \mathcal{C}\! \mathit{urves}\ar[d] \\ (\mathit{Sch}/B)_{fppf} \ar[r] & \mathit{Sch}_{fppf} } \]
is $2$-fibre product square. This trivial remark will occasionally be useful to deduce results from the absolute case $\mathcal{C}\! \mathit{urves}$ to the case of families of curves over a given base algebraic space.
Comments (0)