MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Checking a recent article [this one, specifically section 3.1] I found the following claim (I'm paraphrasing, of course):

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.

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?

share|cite|improve this question
up vote 2 down vote accepted

Well, I don't know if I'm supposed to, but since I found a solution, I'll write the general idea here.

[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&\mbox{ if p = q} \\\ 0 &\mbox{ otherwise}\end{cases}$$

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$)

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.