Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question
add comment

1 Answer

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|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
add comment

Your Answer

 
discard

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.