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

there exist an affine open covering $S = \bigcup V_ j$ and for each $j$ an affine open covering $f^{-1}(V_ j) = \bigcup U_{ji}$ such that $\mathcal{O}_ S(V_ j) \to \mathcal{O}_ X(U_{ij})$ is a pseudo-coherent ring map,

for every pair of affine opens $U \subset X$, $V \subset S$ such that $f(U) \subset V$ the ring map $\mathcal{O}_ S(V) \to \mathcal{O}_ X(U)$ is pseudo-coherent, and

$f$ is locally of finite type and $\mathcal{O}_ X$ is pseudo-coherent relative to $S$.

## Comments (0)