Skip to main content
added 571 characters in body
Source Link
Hailong Dao
  • 30.5k
  • 5
  • 102
  • 188

The short answer is no, as hinted at in the comments by Karl and Graham. I would argue that even the question of understanding the minimal primes of $\text{Ext}^i(M,N)$ (which is the minimal set of the associated primes, hence an easier question) is intractable. Let's assume that $R$ is Noetherian and $M,N$ are finitely generated.

Since $\text{Ext}$ localizes, one essentially needs to understand when $\text{Ext}^i(M,N)$ vanishes over a local ring $R$. There is no good answer in general. Even in the very nice case when $N$ is the canonical module (assuming it exists), these $\text{Ext}$ are Matlis dual to the local cohomology modules of $M$, and while there are good bounds on the indices when they vanish (below the depth and beyond the dimension), there are no general result which can tell you exactly when.

Here is one more way to see the complexity of the problem even when $i=1$. Take a free cover of $M$ to get an exact sequence $0 \to M_1 \to F \to M \to 0$. Applying $\text{Hom}(-,N)$ to get: $$0 \to \text{Hom}(M,N) \to \text{Hom}(F,N) \to \text{Hom}(M_1,N) \to \text{Ext}^1(M,N) \to 0$$

Assuming some mild condition on $M,N$ (reflexive for example), this shows that the set of associated prime of $\text{Ext}^1(M,N)$ is a subset of the set of primes $p$ such that $\text{depth}(\text{Hom}(M,N)_p) = 2$. Again, this set is not very well understood in general.

The short answer is no, as hinted at in the comments by Karl and Graham. I would argue that even the question of understanding the minimal primes of $\text{Ext}^i(M,N)$ (which is the minimal set of the associated primes, hence an easier question) is intractable. Let's assume that $R$ is Noetherian and $M,N$ are finitely generated.

Since $\text{Ext}$ localizes, one essentially needs to understand when $\text{Ext}^i(M,N)$ vanishes over a local ring $R$. There is no good answer in general. Even in the very nice case when $N$ is the canonical module (assuming it exists), these $\text{Ext}$ are Matlis dual to the local cohomology modules of $M$, and while there are good bounds on the indices when they vanish (below the depth and beyond the dimension), there are no general result which can tell you exactly when.

The short answer is no, as hinted at in the comments by Karl and Graham. I would argue that even the question of understanding the minimal primes of $\text{Ext}^i(M,N)$ (which is the minimal set of the associated primes, hence an easier question) is intractable. Let's assume that $R$ is Noetherian and $M,N$ are finitely generated.

Since $\text{Ext}$ localizes, one essentially needs to understand when $\text{Ext}^i(M,N)$ vanishes over a local ring $R$. There is no good answer in general. Even in the very nice case when $N$ is the canonical module (assuming it exists), these $\text{Ext}$ are Matlis dual to the local cohomology modules of $M$, and while there are good bounds on the indices when they vanish (below the depth and beyond the dimension), there are no general result which can tell you exactly when.

Here is one more way to see the complexity of the problem even when $i=1$. Take a free cover of $M$ to get an exact sequence $0 \to M_1 \to F \to M \to 0$. Applying $\text{Hom}(-,N)$ to get: $$0 \to \text{Hom}(M,N) \to \text{Hom}(F,N) \to \text{Hom}(M_1,N) \to \text{Ext}^1(M,N) \to 0$$

Assuming some mild condition on $M,N$ (reflexive for example), this shows that the set of associated prime of $\text{Ext}^1(M,N)$ is a subset of the set of primes $p$ such that $\text{depth}(\text{Hom}(M,N)_p) = 2$. Again, this set is not very well understood in general.

Source Link
Hailong Dao
  • 30.5k
  • 5
  • 102
  • 188

The short answer is no, as hinted at in the comments by Karl and Graham. I would argue that even the question of understanding the minimal primes of $\text{Ext}^i(M,N)$ (which is the minimal set of the associated primes, hence an easier question) is intractable. Let's assume that $R$ is Noetherian and $M,N$ are finitely generated.

Since $\text{Ext}$ localizes, one essentially needs to understand when $\text{Ext}^i(M,N)$ vanishes over a local ring $R$. There is no good answer in general. Even in the very nice case when $N$ is the canonical module (assuming it exists), these $\text{Ext}$ are Matlis dual to the local cohomology modules of $M$, and while there are good bounds on the indices when they vanish (below the depth and beyond the dimension), there are no general result which can tell you exactly when.