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

$(A,\mathfrak{m})$ a Noetherian local ring, $M\neq 0$ a finitely generated $A$-module. As I understand, $\mbox{Ext }^{j}(A/\mathfrak{m}, M) = 0$ for $j<\mbox{depth }(M)$ and for $j>\mbox{inj. dim }(M)$, while $\mbox{Ext }^{j}(A/\mathfrak{m}, M) \neq 0$ for $j=\mbox{depth }(M)$ and $j=\mbox{inj. dim }(M)$. And I cannot help but wonder if $\mbox{Ext }^{j}(A/\mathfrak{m}, M) \neq 0$ for every $j$ between $\mbox{depth }(M)$ and $\mbox{inj. dim }(M)$ ?

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

Yes. See Fossum, Foxby, Griffith, and Reiten, "Minimal injective resolutions with applications to dualizing modules and Gorenstein modules" (Theorem 1.1) and also Roberts, "Two applications of dualizing complexes over local rings". An earlier paper by Foxby, "On the mu_i in a minimal injective resolution" settles several special cases, including when $A$ or $M$ is CM, $\mathrm{depth} M \geq \mathrm{depth} A$, or $M$ has finite injective dimension.

share|cite|improve this answer
Is there something wrong with this answer, kwan? – Graham Leuschke Sep 16 '10 at 17:32

This is not exactly the same but anyways it is related and very cute...

In your context, given a sequence $n_0<n_1<\cdots<n_k$ of non-negative integers, there exists a local ring and a module such that $\mathrm{depth}R=n_0$, $\dim R=n_k$ and the local cohomology groups $H^\bullet_{\mathfrak m}(R)$ is non-zero precisely in the degrees $n_i$; see [E. G. Evans Jr. and P. A. Griffith, Local cohomology modules for normal domains, J. London Math. Soc. (2) 19 (1979), 277–284.]

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.