an isomorphism of extension functors

87 Views Asked by At

Let $(R,m)$ be a Noetherian *local ring and suppose that $m$ is maximal in the ordinary sense. Then why is it true that $\operatorname{Ext}^i_R(R/m^j,M) \cong \operatorname{Ext}^i_{R_m}(R_m/m^jR_m,M_m)$ for every graded $R$-module $M$?

Reference: Bruns and Herzog, Cohen-Macaulay Rings, Remark 3.6.18

1

There are 1 best solutions below

0
On BEST ANSWER

$\newcommand{\Ext}{\text{Ext}}$As you know, $\Ext^i_{R_m}(R_{m}/m^{j}R_m, M_m) \cong \Ext^i_R(R/m^j, M) \otimes_R R_m$ (since $R$ is Noetherian, $R \to R_m$ is flat, and $R/m^j$ is a finite $R$-module). Thus, it suffices to see that every element of $R \setminus m$ acts as a unit on $\Ext^i_R(R/m^j, M)$. But since $m$ is maximal, any element $x \in R \setminus m$ acts as a unit on $R/m^j$ for any $j$, hence also on $\Ext^i_R(R/m^j, M)$ (e.g. by applying the functor $\Ext^i_R(\_, M)$ to the exact sequence $0 \to R/m^j \xrightarrow{x} R/m^j \to 0$)