The image of a quasi-compact algebraic space under a surjective morphism is quasi-compact.

Lemma 66.8.6. Let $S$ be a scheme.

1. If $X \to Y$ is a surjective morphism of algebraic spaces over $S$, and $X$ is quasi-compact then $Y$ is quasi-compact.

2. If

$\xymatrix{ X \ar[rr]_ f \ar[rd]_ p & & Y \ar[dl]^ q \\ & Z }$

is a commutative diagram of morphisms of algebraic spaces over $S$ and $f$ is surjective and $p$ is quasi-compact, then $q$ is quasi-compact.

Proof. Assume $X$ is quasi-compact and $X \to Y$ is surjective. By Definition 66.5.2 the map $|X| \to |Y|$ is surjective, hence we see $Y$ is quasi-compact by Properties of Spaces, Lemma 65.5.2 and the topological fact that the image of a quasi-compact space under a continuous map is quasi-compact, see Topology, Lemma 5.12.7. Let $f, p, q$ be as in (2). Let $T \to Z$ be a morphism whose source is a quasi-compact algebraic space. By assumption $T \times _ Z X$ is quasi-compact. By Lemma 66.5.5 the morphism $T \times _ Z X \to T \times _ Z Y$ is surjective. Hence by part (1) we see $T \times _ Z Y$ is quasi-compact too. Thus $q$ is quasi-compact. $\square$

Comment #1370 by Herman Rohrbach on

Suggested slogan: Surjective morphisms of algebraic spaces preserve quasi-compactness over the base.

Comment #5024 by Leo on

Should be "commutative diagram of spaces over Z" and "let Z be a scheme."

Comment #5260 by on

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