Skip to main content
3 of 3
deleted 289 characters in body
Hailong Dao
  • 30.6k
  • 5
  • 102
  • 188

Interesting question! Here is a generalization which includes the Dedekind domain case:

Proposition: Let $R$ be a Noetherian regular domain with $n=\dim R$ and $I\subset R$ an ideal such that $R/I$ is artinian and Gorenstein. Then for a finitely generated $R$-module $M$, we have $Ext^n(R/I,M)\cong M/IM$.

(when $R$ is Dedekind $R/I$ is locally a quotient of a DVR, so it is locally a hypersurface, thus Gorenstein).

Proof. It is enough to prove for $M=R$ because of the following

Claim: if $N$ is an artinian $R$-module then the natural map $Ext^n_R(N,R)\otimes M \to Ext^n_R(N,M)$ is an isomorphism.

Here's why: We have $pd_RN = n$. Let $P_{\bullet}: 0\to P_n \to \cdots \to P_0$ be a projective resolution of $N$. Then one compute the LHS by taking the cohomology at the end of $Hom(P_{\bullet},R)$ and tensor with $M$, and the RHS by taking cohomology at the end of $Hom(P_{\bullet},M)$. But tensor product is right-exact, proving that we get the same answer.

Assuming we can prove for $M=R$, then apply the claim with $N=R/I$ completes the proof.

Now we prove it for $M=R$. Since $R/I$ is artinian, we only need to prove it after localizing at each maximal ideal containing $I$. Thus we can assume $(R,m)$ is local. But by Local Duality $Ext^n(R/I,R)$ is isomorphic to the Matlis dual of $H^0_m(R/I) =R/I$. But since $R/I$ is Gorenstein this dual is actually isomorphic to $R/I$. QED

Hailong Dao
  • 30.6k
  • 5
  • 102
  • 188