Lemma 67.12.5. Let $S$ be a scheme. Dimension as defined in Properties of Spaces, Section 65.9 behaves well on decent algebraic spaces $X$ over $S$.

If $x \in |X|$, then $\dim _ x(|X|) = \dim _ x(X)$, and

$\dim (|X|) = \dim (X)$.

Lemma 67.12.5. Let $S$ be a scheme. Dimension as defined in Properties of Spaces, Section 65.9 behaves well on decent algebraic spaces $X$ over $S$.

If $x \in |X|$, then $\dim _ x(|X|) = \dim _ x(X)$, and

$\dim (|X|) = \dim (X)$.

**Proof.**
Proof of (1). Choose a scheme $U$ with a point $u \in U$ and an étale morphism $h : U \to X$ mapping $u$ to $x$. By definition the dimension of $X$ at $x$ is $\dim _ u(|U|)$. Thus we may pick $U$ such that $\dim _ x(X) = \dim (|U|)$. Let $d$ be an integer. If $\dim (U) \geq d$, then there exists a sequence of nontrivial specializations $u_ d \leadsto \ldots \leadsto u_0$ in $U$. Taking the image we find a corresponding sequence $h(u_ d) \leadsto \ldots \leadsto h(u_0)$ each of which is nontrivial by Lemma 67.12.1. Hence we see that the image of $|U|$ in $|X|$ has dimension at least $d$. Conversely, suppose that $x_ d \leadsto \ldots \leadsto x_0$ is a sequence of specializations in $|X|$ with $x_0$ in the image of $|U| \to |X|$. Then we can lift this to a sequence of specializations in $U$ by Lemma 67.12.2.

Part (2) is an immediate consequence of part (1), Topology, Lemma 5.10.2, and Properties of Spaces, Section 65.9. $\square$

Your email address will not be published. Required fields are marked.

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (2)

Comment #1429 by Matthew Emerton on

Comment #1443 by Johan on