The Stacks project

Proposition 99.3.10. In Situation 99.3.1 assume that

  1. $f$ is of finite presentation, and

  2. $\mathcal{G}$ is a finitely presented $\mathcal{O}_ X$-module, flat over $B$, with support proper over $B$.

Then the functor $\mathit{Hom}(\mathcal{F}, \mathcal{G})$ is an algebraic space affine over $B$. If $\mathcal{F}$ is of finite presentation, then $\mathit{Hom}(\mathcal{F}, \mathcal{G})$ is of finite presentation over $B$.

Proof. By Lemma 99.3.2 the functor $\mathit{Hom}(\mathcal{F}, \mathcal{G})$ satisfies the sheaf property for fppf coverings. This mean we may1 apply Bootstrap, Lemma 80.11.1 to check the representability ├ętale locally on $B$. Moreover, we may check whether the end result is affine or of finite presentation ├ętale locally on $B$, see Morphisms of Spaces, Lemmas 67.20.3 and 67.28.4. Hence we may assume that $B$ is an affine scheme.

Assume $B$ is an affine scheme. As $f$ is of finite presentation, it follows $X$ is quasi-compact and quasi-separated. Thus we can write $\mathcal{F} = \mathop{\mathrm{colim}}\nolimits \mathcal{F}_ i$ as a filtered colimit of $\mathcal{O}_ X$-modules of finite presentation (Limits of Spaces, Lemma 70.9.1). It is clear that

\[ \mathit{Hom}(\mathcal{F}, \mathcal{G}) = \mathop{\mathrm{lim}}\nolimits \mathit{Hom}(\mathcal{F}_ i, \mathcal{G}) \]

Hence if we can show that each $\mathit{Hom}(\mathcal{F}_ i, \mathcal{G})$ is representable by an affine scheme, then we see that the same thing holds for $\mathit{Hom}(\mathcal{F}, \mathcal{G})$. Use the material in Limits, Section 32.2 and Limits of Spaces, Section 70.4. Thus we may assume that $\mathcal{F}$ is of finite presentation.

Say $B = \mathop{\mathrm{Spec}}(R)$. Write $R = \mathop{\mathrm{colim}}\nolimits R_ i$ with each $R_ i$ a finite type $\mathbf{Z}$-algebra. Set $B_ i = \mathop{\mathrm{Spec}}(R_ i)$. By the results of Limits of Spaces, Lemmas 70.7.1 and 70.7.2 we can find an $i$, a morphism of algebraic spaces $X_ i \to B_ i$, and finitely presented $\mathcal{O}_{X_ i}$-modules $\mathcal{F}_ i$ and $\mathcal{G}_ i$ such that the base change of $(X_ i, \mathcal{F}_ i, \mathcal{G}_ i)$ to $B$ recovers $(X, \mathcal{F}, \mathcal{G})$. By Limits of Spaces, Lemma 70.6.12 we may, after increasing $i$, assume that $\mathcal{G}_ i$ is flat over $B_ i$. By Limits of Spaces, Lemma 70.12.3 we may similarly assume the scheme theoretic support of $\mathcal{G}_ i$ is proper over $B_ i$. At this point we can apply Lemma 99.3.9 to see that $H_ i = \mathit{Hom}(\mathcal{F}_ i, \mathcal{G}_ i)$ is an algebraic space affine of finite presentation over $B_ i$. Pulling back to $B$ (using Remark 99.3.4) we see that $H_ i \times _{B_ i} B = \mathit{Hom}(\mathcal{F}, \mathcal{G})$ and we win. $\square$

[1] We omit the verification of the set theoretical condition (3) of the referenced lemma.

Comments (0)

There are also:

  • 2 comment(s) on Section 99.3: The Hom functor

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.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 08K6. Beware of the difference between the letter 'O' and the digit '0'.