## 29.43 Universal homeomorphisms

The following definition is really superfluous since a universal homeomorphism is really just an integral, universally injective and surjective morphism, see Lemma 29.43.5.

Definition 29.43.1. A morphisms $f : X \to Y$ of schemes is called a universal homeomorphism if the base change $f' : Y' \times _ Y X \to Y'$ is a homeomorphism for every morphism $Y' \to Y$.

First we state the obligatory lemmas.

Lemma 29.43.2. The base change of a universal homeomorphism of schemes by any morphism of schemes is a universal homeomorphism.

Proof. This is immediate from the definition. $\square$

Lemma 29.43.3. The composition of a pair of universal homeomorphisms of schemes is a universal homeomorphism.

Proof. Omitted. $\square$

The following simple lemma is the key to characterizing universal homeomorphisms.

Lemma 29.43.4. Let $f : X \to Y$ be a morphism of schemes. If $f$ is a homeomorphism onto a closed subset of $Y$ then $f$ is affine.

Proof. Let $y \in Y$ be a point. If $y \not\in f(X)$, then there exists an affine neighbourhood of $y$ which is disjoint from $f(X)$. If $y \in f(X)$, let $x \in X$ be the unique point of $X$ mapping to $y$. Let $y \in V$ be an affine open neighbourhood. Let $U \subset X$ be an affine open neighbourhood of $x$ which maps into $V$. Since $f(U) \subset V \cap f(X)$ is open in the induced topology by our assumption on $f$ we may choose a $h \in \Gamma (V, \mathcal{O}_ Y)$ such that $y \in D(h)$ and $D(h) \cap f(X) \subset f(U)$. Denote $h' \in \Gamma (U, \mathcal{O}_ X)$ the restriction of $f^\sharp (h)$ to $U$. Then we see that $D(h') \subset U$ is equal to $f^{-1}(D(h))$. In other words, every point of $Y$ has an open neighbourhood whose inverse image is affine. Thus $f$ is affine, see Lemma 29.11.3. $\square$

Lemma 29.43.5. Let $f : X \to Y$ be a morphism of schemes. The following are equivalent:

1. $f$ is a universal homeomorphism, and

2. $f$ is integral, universally injective and surjective.

Proof. Assume $f$ is a universal homeomorphism. By Lemma 29.43.4 we see that $f$ is affine. Since $f$ is clearly universally closed we see that $f$ is integral by Lemma 29.42.7. It is also clear that $f$ is universally injective and surjective.

Assume $f$ is integral, universally injective and surjective. By Lemma 29.42.7 $f$ is universally closed. Since it is also universally bijective (see Lemma 29.9.4) we see that it is a universal homeomorphism. $\square$

Lemma 29.43.6. Let $X$ be a scheme. The canonical closed immersion $X_{red} \to X$ (see Schemes, Definition 26.12.5) is a universal homeomorphism.

Proof. Omitted. $\square$

Lemma 29.43.7. Let $f : X \to S$ and $S' \to S$ be morphisms of schemes. Assume

1. $S' \to S$ is a closed immersion,

2. $S' \to S$ is bijective on points,

3. $X \times _ S S' \to S'$ is a closed immersion, and

4. $X \to S$ is of finite type or $S' \to S$ is of finite presentation.

Then $f : X \to S$ is a closed immersion.

Proof. Assumptions (1) and (2) imply that $S' \to S$ is a universal homeomorphism (for example because $S_{red} = S'_{red}$ and using Lemma 29.43.6). Hence (3) implies that $X \to S$ is homeomorphism onto a closed subset of $S$. Then $X \to S$ is affine by Lemma 29.43.4. Let $U \subset S$ be an affine open, say $U = \mathop{\mathrm{Spec}}(A)$. Then $S' = \mathop{\mathrm{Spec}}(A/I)$ by (1) for a locally nilpotent ideal $I$ by (2). As $f$ is affine we see that $f^{-1}(U) = \mathop{\mathrm{Spec}}(B)$. Assumption (4) tells us $B$ is a finite type $A$-algebra (Lemma 29.14.2) or that $I$ is finitely generated (Lemma 29.20.7). Assumption (3) is that $A/I \to B/IB$ is surjective. From Algebra, Lemma 10.125.8 if $A \to B$ is of finite type or Algebra, Lemma 10.19.1 if $I$ is finitely generated and hence nilpotent we deduce that $A \to B$ is surjective. This means that $f$ is a closed immersion, see Lemma 29.2.1. $\square$

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