Skip to main content
replaced http://front.math.ucdavis.edu/ with https://arxiv.org/abs/
Source Link

The strict answer to your question is no in general. Take a very special case, $R=k[x,y]$, $M=m$ some maximal ideal of $R$, $N=R$. Then $Ass(M) = Ass(N) = \{(0)\}$, but it is not hard to see $Ext^1(M,N) \cong R/m$, so $Ass(Ext^1(M,N)) = \{m\}$.

However, the general question of understanding the associated primes of Ext is harder and I happen to think about it recently. When the ring is regular, one can get a complete (but complicated) description of the support of $Ext^i(M,N)$ based only on the depth of the modules $M,N$ locally at the primes in $Spec(R)$. This was announced by Auslander at the end of his ICM 1962 speech. Sadly enough, the paper he referred to seems to be mysteriously lost.

Shameless plug: Together with Ryo Takahashi, we accidentallly managed to recoverrecover Auslander's Theorem 3 from the speech cited above (which is about support of Tor). I am optimistic that his final paragraph can be deciphered in the near future.

The strict answer to your question is no in general. Take a very special case, $R=k[x,y]$, $M=m$ some maximal ideal of $R$, $N=R$. Then $Ass(M) = Ass(N) = \{(0)\}$, but it is not hard to see $Ext^1(M,N) \cong R/m$, so $Ass(Ext^1(M,N)) = \{m\}$.

However, the general question of understanding the associated primes of Ext is harder and I happen to think about it recently. When the ring is regular, one can get a complete (but complicated) description of the support of $Ext^i(M,N)$ based only on the depth of the modules $M,N$ locally at the primes in $Spec(R)$. This was announced by Auslander at the end of his ICM 1962 speech. Sadly enough, the paper he referred to seems to be mysteriously lost.

Shameless plug: Together with Ryo Takahashi, we accidentallly managed to recover Auslander's Theorem 3 from the speech cited above (which is about support of Tor). I am optimistic that his final paragraph can be deciphered in the near future.

The strict answer to your question is no in general. Take a very special case, $R=k[x,y]$, $M=m$ some maximal ideal of $R$, $N=R$. Then $Ass(M) = Ass(N) = \{(0)\}$, but it is not hard to see $Ext^1(M,N) \cong R/m$, so $Ass(Ext^1(M,N)) = \{m\}$.

However, the general question of understanding the associated primes of Ext is harder and I happen to think about it recently. When the ring is regular, one can get a complete (but complicated) description of the support of $Ext^i(M,N)$ based only on the depth of the modules $M,N$ locally at the primes in $Spec(R)$. This was announced by Auslander at the end of his ICM 1962 speech. Sadly enough, the paper he referred to seems to be mysteriously lost.

Shameless plug: Together with Ryo Takahashi, we accidentallly managed to recover Auslander's Theorem 3 from the speech cited above (which is about support of Tor). I am optimistic that his final paragraph can be deciphered in the near future.

replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

The strict answer to your question is no in general. Take a very special case, $R=k[x,y]$, $M=m$ some maximal ideal of $R$, $N=R$. Then $Ass(M) = Ass(N) = \{(0)\}$, but it is not hard to see $Ext^1(M,N) \cong R/m$, so $Ass(Ext^1(M,N)) = \{m\}$.

However, the general question of understanding the associated primes of Ext is harder and I happen to think about it recently. When the ring is regular, one can get a complete (but complicated) description of the support of $Ext^i(M,N)$ based only on the depth of the modules $M,N$ locally at the primes in $Spec(R)$. This was announced by Auslander at the end of his ICM 1962 speech. Sadly enough, the paper he referred to seems to be mysteriously lostthe paper he referred to seems to be mysteriously lost.

Shameless plug: Together with Ryo Takahashi, we accidentallly managed to recover Auslander's Theorem 3 from the speech cited above (which is about support of Tor). I am optimistic that his final paragraph can be deciphered in the near future.

The strict answer to your question is no in general. Take a very special case, $R=k[x,y]$, $M=m$ some maximal ideal of $R$, $N=R$. Then $Ass(M) = Ass(N) = \{(0)\}$, but it is not hard to see $Ext^1(M,N) \cong R/m$, so $Ass(Ext^1(M,N)) = \{m\}$.

However, the general question of understanding the associated primes of Ext is harder and I happen to think about it recently. When the ring is regular, one can get a complete (but complicated) description of the support of $Ext^i(M,N)$ based only on the depth of the modules $M,N$ locally at the primes in $Spec(R)$. This was announced by Auslander at the end of his ICM 1962 speech. Sadly enough, the paper he referred to seems to be mysteriously lost.

Shameless plug: Together with Ryo Takahashi, we accidentallly managed to recover Auslander's Theorem 3 from the speech cited above (which is about support of Tor). I am optimistic that his final paragraph can be deciphered in the near future.

The strict answer to your question is no in general. Take a very special case, $R=k[x,y]$, $M=m$ some maximal ideal of $R$, $N=R$. Then $Ass(M) = Ass(N) = \{(0)\}$, but it is not hard to see $Ext^1(M,N) \cong R/m$, so $Ass(Ext^1(M,N)) = \{m\}$.

However, the general question of understanding the associated primes of Ext is harder and I happen to think about it recently. When the ring is regular, one can get a complete (but complicated) description of the support of $Ext^i(M,N)$ based only on the depth of the modules $M,N$ locally at the primes in $Spec(R)$. This was announced by Auslander at the end of his ICM 1962 speech. Sadly enough, the paper he referred to seems to be mysteriously lost.

Shameless plug: Together with Ryo Takahashi, we accidentallly managed to recover Auslander's Theorem 3 from the speech cited above (which is about support of Tor). I am optimistic that his final paragraph can be deciphered in the near future.

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

The strict answer to your question is no in general. Take a very special case, $R=k[x,y]$, $M=m$ some maximal ideal of $R$, $N=R$. Then $Ass(M) = Ass(N) = \{(0)\}$, but it is not hard to see $Ext^1(M,N) \cong R/m$, so $Ass(Ext^1(M,N)) = \{m\}$.

However, the general question of understanding the associated primes of Ext is harder and I happen to think about it recently. When the ring is regular, one can get a complete (but complicated) description of the support of $Ext^i(M,N)$ based only on the depth of the modules $M,N$ locally at the primes in $Spec(R)$. This was announced by Auslander at the end of his ICM 1962 speech. Sadly enough, the paper he referred to seems to be mysteriously lost.

Shameless plug: Together with Ryo Takahashi, we accidentallly managed to recover Auslander's Theorem 3 from the speech cited above (which is about support of Tor). I am optimistic that his final paragraph can be deciphered in the near future.