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

Hello, I would appreciate an exact reference / proof of the following fact, which I am almost able to prove, but not really:

Let $A$ be a regular Noetherian comm. ring, of finite Krull dimension. Let $M$ be a f.g. $A$-module. Then $Ext^i (M,A)=0$ for $i < codim(supp(M))$ (codimension of support).

The basic local input should be: for local $A$ as above, $Ext^i(k,A) = 0$ for $i < dim(A)$. But to use it, I localize the above situation to a component of $M$, and get that appropriate $Ext$'s have support "strictly less" than that of $A$ (contained in that of $A$, and does not contain any component of that of $A$). But it does not imply that they are zero.

Also, I tried to do some induction, using "cuts" by local parameters. The problem is that if the support of $M$ is not regular, I can not cut exactly to get it.

Thanks, Sasha

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

For $A$ local, your statement follows from a result of Ischebeck. What you want holds even if $A$ is just Cohen-Macaulay. More generally $\mathrm{Ext}^i_A(M,N)=0$ for $i<\mathrm{depth}\ N-\dim M$. Put $N=A$ and assume $A$ is Cohen-Macaulay, then you get $\mathrm{Ext}^i_A(M,A)=0$ for $i<\dim A-\dim M$.

You can find a proof of Ischebeck Theorem in Matsumura's Commutative Ring Theorey on page 133.

share|cite|improve this answer
Thank you! Now I appreciate more associated primes... – Sasha Jan 17 '12 at 14:09
In fact $\mathrm{dim}(A)-\mathrm{dim}(M)=\mathrm{grade}_A(M)$ if $A$ is local and Cohen-Macaulay! – David Hansen Jan 17 '12 at 22:17

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.