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

Let $R$ be a Noetherian, commutative ring and $M,N$ be finitely generated $R$-modules.

Question: Do the sets of minimal primes of $\text{Ext}^i_R(M,N)$ (for a fixed pair of $M,N$) become periodic for $i\gg 0$?

Background/Motivation: In this part I will assume $R$ local (I don't think it's significant for the question, but some statements will be awkward in general). I was motivated to ask after this recent question.

It is known that the asymptotic behavior of these $\text{Ext}$ is governed by the singularity of $R$. For instance, if $R$ is regular, then $\text{Ext}^i_R(M,N)=0$ for $i>\dim R$ because $R$ has finite global dimension equals to $\dim R$.

If $R$ is a hypersurface, then it follows from Eisenbud's original paper on matrix factorization that the minimal resolution of $M$ becomes eventually periodic of period $2$ after $\dim R$ spots, so the answer in this case is also affirmative.

With a little bit more work, one can show that the supports of $\text{Ext}^i_R(M,N)$ (in fact, the annihilators) become eventually periodic of period $2$ when $R$ is a local complete intersection.

EDIT: As Karl's comment indicated, perhaps a more realistic question is:

Question 2: Is the union of all minimal primes of $\text{Ext}^i_R(M,N)$ for $i>0$ a finite set?

One situation when the answer is trivially yes is when $\text{Spec}R$ has an isolated singularity.

I think the answer is no (even for question 2) in general, but not sure how to construct an example.

share|improve this question
    
Long, can you say something about the "little bit more work" needed to show the c.i. case? Also, is the answer known if $R$ is c.i. (or hypersurface) on the punctured spectrum? –  Graham Leuschke Jul 17 '10 at 23:43
    
@Graham: It follows from a simple observation, see for example Cor 2.4 in math.ku.edu/~hdao/asymptotic.pdf and the fact that the total Ext module is Noetherian over the ring of (co)homology operators, defined in Eisenbud's paper. –  Hailong Dao Jul 18 '10 at 3:00
    
Long, is it clear that the union of the set of supports of these Ext modules is a finite set? –  Karl Schwede Jul 18 '10 at 4:11
    
@Karl: no, not to me. –  Hailong Dao Jul 18 '10 at 4:35
    
Is minimal of $\cup \mathrm{Ass} \mathrm{Ext}^i_R(M, N)$ finite? –  Pham Hung Quy Aug 12 '12 at 17:15

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.