Lemma 37.49.2. Let $S$ be a scheme which has an ample invertible sheaf. Let $\text{P}_ S$ be the full subcategory of the category of schemes over $S$ satisfying the equivalent conditions of Lemma 37.49.1.

if $S' \to S$ is a morphism of schemes and $S'$ has an ample invertible sheaf, then base change determines a functor $\text{P}_ S \to \text{P}_{S'}$,

if $X \in \text{P}_ S$ and $Y \in \text{P}_ X$, then $Y \in \text{P}_ S$,

the category $\text{P}_ S$ is closed under fibre products,

the category $\text{P}_ S$ is closed under finite disjoint unions,

if $X \to S$ is finite, then $X$ is in $\text{P}_ S$,

add more here.

## Comments (0)