Is $M$ an $A$-module with finite presentation?

83 Views Asked by At

Given an $A$-module $M$, then we have an $\mathcal O_{\operatorname{Spec}A}$-modules $M^\sim$. If $M^\sim$ is locally of finite presentation, is $M$ an $A$-module with finite presentation?

1

There are 1 best solutions below

6
On BEST ANSWER

I assume your question is the following:

Given an quasi-coherent $\mathscr{O}_{\text{Spec } A}$-module $\widetilde{M}$, associated to an $A$-module $M$. If $\widetilde{M}$ is of finite presentation then $M$ is of finite presentation.

Well then the answer is yes. Your question corresponds to (3) of https://stacks.math.columbia.edu/tag/00EO.

Further explanation: We can find finitely many $f_i\in A$, such that $\cup D(f_i) = \text{Spec } A$. And since $\widetilde{M}$ is quasi coherent we have that $\widetilde{M}_{|D(f_i)} = \widetilde{M_{f_i}}$. Thus if $\widetilde{M}$ is of finite presentation we have that $M_{f_i}$ is a finitely presented $A_{f_i}$ module for all $i$ (note that the $D(f_i)$ form a basis of the topology). Thus with the Lemma above we can conclude that $M$ is of finite presentation.