Skip to main content
added 137 characters in body
Source Link
Jeremy Rickard
  • 35.2k
  • 2
  • 110
  • 151

If $M$ is a maximal Cohen-Macaulay module for a Noetherian Gorenstein ring $R$, then it follows easily by induction on the projective dimension of $N$ that $\operatorname{Ext}^i_R(M,N)=0$ for all $i>0$ if $N$ is finitely generated of finite projective dimension.

So if $R$ also has finite global dimension, then $\operatorname{Ext}^i(M,N)=0$ for $i>0$ for all finitely generated modules $N$, and so $M$ is projective.

So when $R$ has finite global dimension, all $MCM$ modules are projective, so the stable module category of $MCM$ modules is trivial.

If $M$ is a maximal Cohen-Macaulay module for a Noetherian Gorenstein ring $R$, then it follows easily by induction on the projective dimension of $N$ that $\operatorname{Ext}^i_R(M,N)=0$ for all $i>0$ if $N$ is finitely generated of finite projective dimension.

So if $R$ also has finite global dimension, then $\operatorname{Ext}^i(M,N)=0$ for $i>0$ for all finitely generated modules $N$, and so $M$ is projective.

If $M$ is a maximal Cohen-Macaulay module for a Noetherian Gorenstein ring $R$, then it follows easily by induction on the projective dimension of $N$ that $\operatorname{Ext}^i_R(M,N)=0$ for all $i>0$ if $N$ is finitely generated of finite projective dimension.

So if $R$ also has finite global dimension, then $\operatorname{Ext}^i(M,N)=0$ for $i>0$ for all finitely generated modules $N$, and so $M$ is projective.

So when $R$ has finite global dimension, all $MCM$ modules are projective, so the stable module category of $MCM$ modules is trivial.

Source Link
Jeremy Rickard
  • 35.2k
  • 2
  • 110
  • 151

If $M$ is a maximal Cohen-Macaulay module for a Noetherian Gorenstein ring $R$, then it follows easily by induction on the projective dimension of $N$ that $\operatorname{Ext}^i_R(M,N)=0$ for all $i>0$ if $N$ is finitely generated of finite projective dimension.

So if $R$ also has finite global dimension, then $\operatorname{Ext}^i(M,N)=0$ for $i>0$ for all finitely generated modules $N$, and so $M$ is projective.