The Stacks project

68.12 Points on decent spaces

In this section we prove some properties of points on decent algebraic spaces. The following lemma shows that specialization of points behaves well on decent algebraic spaces. Spaces, Example 65.14.9 shows that this is not true in general.

Lemma 68.12.1. Let $S$ be a scheme. Let $X$ be a decent algebraic space over $S$. Let $U \to X$ be an étale morphism from a scheme to $X$. If $u, u' \in |U|$ map to the same point of $|X|$, and $u' \leadsto u$, then $u = u'$.

Lemma 68.12.2. Let $S$ be a scheme. Let $X$ be a decent algebraic space over $S$. Let $x, x' \in |X|$ and assume $x' \leadsto x$, i.e., $x$ is a specialization of $x'$. Then for every étale morphism $\varphi : U \to X$ from a scheme $U$ and any $u \in U$ with $\varphi (u) = x$, exists a point $u'\in U$, $u' \leadsto u$ with $\varphi (u') = x'$.

Lemma 68.12.3. Let $S$ be a scheme. Let $X$ be a decent algebraic space over $S$. Then $|X|$ is Kolmogorov (see Topology, Definition 5.8.6).

Proof. Let $x_1, x_2 \in |X|$ with $x_1 \leadsto x_2$ and $x_2 \leadsto x_1$. We have to show that $x_1 = x_2$. Pick a scheme $U$ and an étale morphism $U \to X$ such that $x_1, x_2$ are both in the image of $|U| \to |X|$. By Lemma 68.12.2 we can find a specialization $u_1 \leadsto u_2$ in $U$ mapping to $x_1 \leadsto x_2$. By Lemma 68.12.2 we can find $u_2' \leadsto u_1$ mapping to $x_2 \leadsto x_1$. This means that $u_2' \leadsto u_2$ is a specialization between points of $U$ mapping to the same point of $X$, namely $x_2$. This is not possible, unless $u_2' = u_2$, see Lemma 68.12.1. Hence also $u_1 = u_2$ as desired. $\square$

Proposition 68.12.4. Let $S$ be a scheme. Let $X$ be a decent algebraic space over $S$. Then the topological space $|X|$ is sober (see Topology, Definition 5.8.6).

Proof. We have seen in Lemma 68.12.3 that $|X|$ is Kolmogorov. Hence it remains to show that every irreducible closed subset $T \subset |X|$ has a generic point. By Properties of Spaces, Lemma 66.12.3 there exists a closed subspace $Z \subset X$ with $|Z| = |T|$. By definition this means that $Z \to X$ is a representable morphism of algebraic spaces. Hence $Z$ is a decent algebraic space by Lemma 68.5.3. By Theorem 68.10.2 we see that there exists an open dense subspace $Z' \subset Z$ which is a scheme. This means that $|Z'| \subset T$ is open dense. Hence the topological space $|Z'|$ is irreducible, which means that $Z'$ is an irreducible scheme. By Schemes, Lemma 26.11.1 we conclude that $|Z'|$ is the closure of a single point $\eta \in T$ and hence also $T = \overline{\{ \eta \} }$, and we win. $\square$

For decent algebraic spaces dimension works as expected.

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

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

  2. $\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 68.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 68.12.2.

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

Lemma 68.12.6. Let $S$ be a scheme. Let $X \to Y$ be a locally quasi-finite morphism of algebraic spaces over $S$. Let $x \in |X|$ with image $y \in |Y|$. Then the dimension of the local ring of $Y$ at $y$ is $\geq $ to the dimension of the local ring of $X$ at $x$.

Proof. The definition of the dimension of the local ring of a point on an algebraic space is given in Properties of Spaces, Definition 66.10.2. Choose an étale morphism $(V, v) \to (Y, y)$ where $V$ is a scheme. Choose an étale morphism $U \to V \times _ Y X$ and a point $u \in U$ mapping to $x \in |X|$ and $v \in V$. Then $U \to V$ is locally quasi-finite and we have to prove that

\[ \dim (\mathcal{O}_{V, v}) \geq \dim (\mathcal{O}_{U, u}) \]

This is Algebra, Lemma 10.125.4. $\square$

Lemma 68.12.7. Let $S$ be a scheme. Let $X \to Y$ be a locally quasi-finite morphism of algebraic spaces over $S$. Then $\dim (X) \leq \dim (Y)$.

Proof. This follows from Lemma 68.12.6 and Properties of Spaces, Lemma 66.10.3. $\square$

The following lemma is a tiny bit stronger than Properties of Spaces, Lemma 66.15.3. We will improve this lemma in Lemma 68.14.2.

Lemma 68.12.8. Let $S$ be a scheme. Let $k$ be a field. Let $X$ be an algebraic space over $S$ and assume that there exists a surjective étale morphism $\mathop{\mathrm{Spec}}(k) \to X$. If $X$ is decent, then $X \cong \mathop{\mathrm{Spec}}(k')$ where $k/k'$ is a finite separable extension.

Proof. The assumption implies that $|X| = \{ x\} $ is a singleton. Since $X$ is decent we can find a quasi-compact monomorphism $\mathop{\mathrm{Spec}}(k') \to X$ whose image is $x$. Then the projection $U = \mathop{\mathrm{Spec}}(k') \times _ X \mathop{\mathrm{Spec}}(k) \to \mathop{\mathrm{Spec}}(k)$ is a monomorphism, whence $U = \mathop{\mathrm{Spec}}(k)$, see Schemes, Lemma 26.23.11. Hence the projection $\mathop{\mathrm{Spec}}(k) = U \to \mathop{\mathrm{Spec}}(k')$ is étale and we win. $\square$


Comments (0)


Post a comment

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.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 03IG. Beware of the difference between the letter 'O' and the digit '0'.