Situation 97.15.1. We define a category $\mathcal{C}\! \mathit{urves}$ as follows:

Objects are

*families of curves*. More precisely, an object is a morphism $f : X \to S$ where the base $S$ is a scheme, the*total space*$X$ is an algebraic space, and $f$ is flat, proper, of finite presentation, and has relative dimension $\leq 1$ (Morphisms of Spaces, Definition 65.33.2).A morphism $(X' \to S') \to (X \to S)$ between objects is given by a pair $(f, g)$ where $f : X' \to X$ is a morphism of algebraic spaces and $g : S' \to S$ is a morphism of schemes which fit into a commutative diagram

\[ \xymatrix{ X' \ar[d] \ar[r]_ f & X \ar[d] \\ S' \ar[r]^ g & S } \]inducing an isomorphism $X' \to S' \times _ S X$, in other words, the diagram is cartesian.

The forgetful functor

is how we view $\mathcal{C}\! \mathit{urves}$ as a category over $\mathit{Sch}_{fppf}$ (see Section 97.2 for notation).

## Comments (0)