The Stacks project

Lemma 27.4.6. Let $S$ be a scheme. Let $\mathcal{A}$ be a quasi-coherent sheaf of $\mathcal{O}_ S$-algebras. Let $\pi : \underline{\mathop{\mathrm{Spec}}}_ S(\mathcal{A}) \to S$ be the relative spectrum of $\mathcal{A}$ over $S$.

1. For every affine open $U \subset S$ the inverse image $\pi ^{-1}(U)$ is affine.

2. For every morphism $g : S' \to S$ we have $S' \times _ S \underline{\mathop{\mathrm{Spec}}}_ S(\mathcal{A}) = \underline{\mathop{\mathrm{Spec}}}_{S'}(g^*\mathcal{A})$.

3. The universal map

   \[ \mathcal{A} \longrightarrow \pi _*\mathcal{O}_{\underline{\mathop{\mathrm{Spec}}}_ S(\mathcal{A})} \]

   is an isomorphism of $\mathcal{O}_ S$-algebras.