Situation 82.2.1. Here $S$ is a scheme and $B$ is an algebraic space over $S$. We assume $B$ is quasi-separated, locally Noetherian, and universally catenary (Decent Spaces, Definition 68.25.4). Moreover, we assume given a dimension function $\delta : |B| \longrightarrow \mathbf{Z}$. We say $X/B$ is good if $X$ is an algebraic space over $B$ whose structure morphism $f : X \to B$ is quasi-separated and locally of finite type. In this case we define
\[ \delta = \delta _{X/B} : |X| \longrightarrow \mathbf{Z} \]
as the map sending $x$ to $\delta (f(x))$ plus the transcendence degree of $x/f(x)$ (Morphisms of Spaces, Definition 67.33.1). This is a dimension function by More on Morphisms of Spaces, Lemma 76.32.2.
Comments (0)