Definition 27.4.5. Let $S$ be a scheme. Let $\mathcal{A}$ be a quasi-coherent sheaf of $\mathcal{O}_ S$-algebras. The relative spectrum of $\mathcal{A}$ over $S$, or simply the spectrum of $\mathcal{A}$ over $S$ is the scheme constructed in Lemma 27.3.4 which represents the functor $F$ (27.4.0.1), see Lemma 27.4.4. We denote it $\pi : \underline{\mathop{\mathrm{Spec}}}_ S(\mathcal{A}) \to S$. The “universal family” is a morphism of $\mathcal{O}_ S$-algebras
\[ \mathcal{A} \longrightarrow \pi _*\mathcal{O}_{\underline{\mathop{\mathrm{Spec}}}_ S(\mathcal{A})} \]
Comments (0)
There are also: