quasi-separated morphism

Let $f : X \to Y$ be a morphism of schemes. Let $\Delta_f: X \to X \times_Y X$ be the diagonal map. We say that $f$ is **quasi-separated** if $\Delta_f$ is a quasicompact morphism.

A scheme $X$ is quasi-separated if the morphism $X\o Spec\, \mathbf{Z}$ is quasi-separated, i.e. $\Delta:X\to X\times X$ is quasicompact. Every quasi-separated scheme is semiseparated.

Every separated morphism of schemes is quasi-separated; every monomorphism of schemes is separated hence also quasi-separated.

- MathOverflow why-does-finitely-presented-imply-quasi-separated
- Daniel Murfet,
*Concentrated schemes*, pdf, an expositional digest from EGA

category: algebraic geometry

Revised on November 25, 2013 01:30:56
by Urs Schreiber
(89.204.137.196)