Lemma 66.37.10. Let $X$ and $Y$ be locally Noetherian algebraic spaces over a scheme $S$, and let $f : X \to Y$ be a smooth morphism. For every point $x \in |X|$ with image $y \in |Y|$,

$\dim _ x(X) = \dim _ y(Y) + \dim _ x(X_ y)$

where $\dim _ x(X_ y)$ is the relative dimension of $f$ at $x$ as in Definition 66.33.1.

Proof. By definition of the dimension of an algebraic space at a point (Properties of Spaces, Definition 65.9.1), this reduces to the corresponding statement for schemes (Morphisms, Lemma 29.34.21). $\square$

There are also:

• 2 comment(s) on Section 66.37: Smooth morphisms

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).