Ext groups of modules over a noetherian ring (Hartshorne exercise III.6.7)

algebraic-geometry

In Hartshorne exercise III.6.7, we are asked to show that if $X = \operatorname{Spec} A$ is an affine Noetherian scheme, and $M, N,$ $A$-modules with $M$ finitely generated, then
$$
\operatorname{Ext}^i_A(M, N) \cong \operatorname{Ext}^i_X(\tilde{M}, \tilde{N}).
$$

I'm wondering if the $M$ finitely generated hypothesis is even necessary. For since $A$ is Noetherian, sheafifying injective $A$-modules yields injective $\mathcal{O}_X$-modules, so that if $0 \to N \to I^\cdot$ is an injective resolution of $N$ as an $A$-module, one has
$$
\operatorname{Ext}^i_A(M, N) = h^i( \operatorname{Hom}_A(M, I^\cdot)) \cong h^i(\operatorname{Hom}_{\mathcal{O}_X}(\tilde{M}, \tilde{I}^\cdot)) = \operatorname{Ext}^i_X(\tilde{M}, \tilde{N}).
$$

Is there something wrong with this reasoning?

Best Answer

2024-02-20: There is an important error in your proof (which I should have pointed out earlier): the claim that "sheafifying injective $A$-modules yields injective $\mathcal{O}_X$-modules" isn't true. Take for example $A=\Bbb F_2$ and $M=\Bbb F_2$ - then $M$ is injective, but $\widetilde{M}$ is not injective as a sheaf of abelian groups on $\operatorname{Spec} A=\{pt\}$ because it is not divisible. $\widetilde{M}$ is an injective object in the category of quasi-coherent sheaves, though, but that doesn't help because the various Ext functors here are defined out of $\mathcal{O}_X$-mod.

I suspect the answer is that one actually does need finite generation here for $\operatorname{Ext}^i_X(\widetilde{M},\widetilde{N})\cong \operatorname{Ext}^i_A(M,N)$, but I do not have a counterexample at hand.

2021-12-07: $M$ finitely generated is necessary for $\mathcal{E}xt$, which is the second half of the problem.

To see that $M$ finitely generated is necessary for the second half of the problem, first observe that Hom only commutes with localization when the first argument is finitely presented. For instance, taking $A=N=\Bbb Z$ and $M=\Bbb Z[\frac12]$, $\operatorname{Hom}_A(M,N)=0$ but the Hom sheaf is nonzero over $D(2)\subset\operatorname{Spec} \Bbb Z$, so we get a counterexample involving $\operatorname{Ext}^0$.