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 \to 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

Last revised on December 29, 2023 at 17:42:24. See the history of this page for a list of all contributions to it.