Lemma 35.7.10 (05B4)—The Stacks project

Loading web-font TeX/Math/Italic

Table of contents
Part 2: Schemes
Chapter 35: Descent
Section 35.7: Descent of finiteness properties of modules
Lemma 35.7.10 (cite)

previous lemma

numberstags

Lemma 35.7.10. Let $f : X \to Y$ be a morphism of schemes. Let $\mathcal{F}$ be a quasi-coherent $\mathcal{O}_ X$ -module. Assume $f$ is finite and of finite presentation. Then $\mathcal{F}$ is an $\mathcal{O}_ X$ -module of finite presentation if and only if $f_*\mathcal{F}$ is an $\mathcal{O}_ Y$ -module of finite presentation.

Proof. As $f$ is finite it is affine. This reduces us to the case where $f$ is the morphism $\mathop{\mathrm{Spec}}(B) \to \mathop{\mathrm{Spec}}(A)$ given by a finite and finitely presented ring map $A \to B$ . Moreover, then $\mathcal{F} = \widetilde{M}$ is the sheaf of modules associated to the $B$ -module $M$ . Note that $M$ is finitely presented as a $B$ -module if and only if $M$ is finitely presented as an $A$ -module, see Algebra, Lemma 10.36.23. Combined with Properties, Lemma 28.16.2 this proves the lemma. $\square$

Comments (0)

There are also:

2 comment(s) on Section 35.7: Descent of finiteness properties of modules

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).

Comments (0)

Post a comment