Lemma 27.4.2. In Situation 27.3.1. Let $F$ be the functor associated to $(S, \mathcal{A})$ above. If $S$ is affine, then $F$ is representable by the affine scheme $\mathop{\mathrm{Spec}}(\Gamma (S, \mathcal{A}))$.

**Proof.**
Write $S = \mathop{\mathrm{Spec}}(R)$ and $A = \Gamma (S, \mathcal{A})$. Then $A$ is an $R$-algebra and $\mathcal{A} = \widetilde A$. The ring map $R \to A$ gives rise to a canonical map

We have $f_{univ}^*\mathcal{A} = \widetilde{A \otimes _ R A}$ by Schemes, Lemma 26.7.3. Hence there is a canonical map

coming from the $A$-module map $A \otimes _ R A \to A$, $a \otimes a' \mapsto aa'$. We claim that the pair $(f_{univ}, \varphi _{univ})$ represents $F$ in this case. In other words we claim that for any scheme $T$ the map

is bijective.

Let us construct the inverse map. For any pair $(f : T \to S, \varphi )$ we get the induced ring map

This induces a morphism of schemes $T \to \mathop{\mathrm{Spec}}(A)$ by Schemes, Lemma 26.6.4.

The verification that this map is inverse to the map displayed above is omitted. $\square$

## Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like `$\pi$`

). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (6)

Comment #7016 by Dorian Berger on

Comment #7121 by Elías Guisado on

Comment #7122 by Elías Guisado on

Comment #7236 by Johan on

Comment #8436 by Elías Guisado on

Comment #9061 by Stacks project on

There are also: