Local Cohomology and Maximal-Cohen-Macaulay modules - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T21:53:44Z http://mathoverflow.net/feeds/question/73533 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/73533/local-cohomology-and-maximal-cohen-macaulay-modules Local Cohomology and Maximal-Cohen-Macaulay modules Pablo Zadunaisky 2011-08-24T00:15:46Z 2013-04-21T15:39:49Z <p>Checking a recent article [<a href="http://arxiv.org/abs/1108.1552" rel="nofollow">this one</a>, specifically section 3.1] I found the following claim (I'm paraphrasing, of course): </p> <blockquote> <p>Let $A$ be a graded connected noetherian algebra (not necessarily commutative), and suppose it is AS-Cohen-Macaulay of depth $d$. If $M$ is a finitely generated graded module over $A$, and it is Maximal Cohen Macaulay (MCM, ie, its only non-zero local cohomology module is precisely the $d$-th), then its first syzygy is also MCM.</p> </blockquote> <p>I have a proof for this in the commutative ungraded case, but it deppends on the fact that $\lbrace i|H^i_{\mathfrak m}(M) \neq 0 \rbrace$ is non-empty and contained in the interval $[0,d]$ (consider the short exact sequence involving $M$ and its first syzygy and look at the long exact sequence of local cohomology). I found results regarding the non-vanishing of this groups in the non-commutative case, but they demand much more strict conditions than in the paper (finite GK-dimension, enough normal elements, etc.). Any idea on how to prove this in this more general context?</p> http://mathoverflow.net/questions/73533/local-cohomology-and-maximal-cohen-macaulay-modules/73612#73612 Answer by Pablo Zadunaisky for Local Cohomology and Maximal-Cohen-Macaulay modules Pablo Zadunaisky 2011-08-24T21:54:12Z 2011-08-24T22:01:27Z <p>Well, I don't know if I'm supposed to, but since I found a solution, I'll write the general idea here.</p> <p>[This is from an unpublished manuscript by P. Smith, the first author of the paper]: If $A$ is CM, let $\omega_A = H^d_\mathfrak m(A)^*$ be its dualizing module. Then there is a spectral sequence $$E^{pq}_2 = \underline{Ext}^p_A(\underline{Ext}^q(M, \omega_A),\omega_A) \Rightarrow \begin{cases}M&amp;\mbox{ if p = q} \\ 0 &amp;\mbox{ otherwise}\end{cases}$$</p> <p>Since $H_\mathfrak{m}^i(M)^* \cong \underline{Ext}_A^i(M,\omega_A)$, the convergence of this SS to a non-zero result guarantees that there must be a non-zero local cohomology module (and in fact, that there is a non-zero one with $i \leq d$)</p>