The image of a quasi-compact algebraic space under a surjective morphism is quasi-compact.
Lemma 67.8.6. Let $S$ be a scheme.
If $X \to Y$ is a surjective morphism of algebraic spaces over $S$, and $X$ is quasi-compact then $Y$ is quasi-compact.
If
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.
\[ \xymatrix{ X \ar[rr]_ f \ar[rd]_ p & & Y \ar[dl]^ q \\ & Z } \]
Proof. Assume $X$ is quasi-compact and $X \to Y$ is surjective. By Definition 67.5.2 the map $|X| \to |Y|$ is surjective, hence we see $Y$ is quasi-compact by Properties of Spaces, Lemma 66.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 67.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$
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (3)
Comment #1370 by Herman Rohrbach on
Comment #5024 by Leo on
Comment #5260 by Johan on