English

On the vanishing of Ext and Tor

Representation Theory 2025-07-09 v1

Abstract

This paper contains two theorems concerning the vanishing of natural transformations of (co)homology functors. Precisely, assume that RR is a right noetherian ring and f:M\rtNf: M\rt N is a morphism of finitely generated right RR-modules. The first theorem proves that the natural transformation \Ext1(f,)\Ext^1(f, -) vanishes over the category of finitely generated right RR-modules if and only if \Tor1(f,)\Tor_1(f, -) vanishes over the category of finitely generated left RR-modules. As a corollary of this result, we establish that \Ext1(f,)\Ext^1(f, -) is epic if and only if \Tor1(f,)\Tor_1(f, -) is monic. The second theorem shows that if RR is left and right noetherian and M,NM, N are Gorenstein projective, then the natural transformations \Tor1(f,)\Tor_1(f, -), \Ext1(,f)\Ext^1(-, f) and \Ext1(f,)\Ext^1(f, -) vanish over the category of finitely generated Gorenstein projective modules, simultaneously. This, in particular, yields that over Gorenstein projective modules, the notions of phantom morphisms and \Ext\Ext-phantom morphisms coincide. Also, it is proved that if RR is nn-Gorenstein, then for any integer i>ni>n, the natural transformations \Exti(f,)\Ext^{i}(f, -), \Exti(,f)\Ext^{i}(-, f) and \Tori(f,)\Tor_{i}(f, -) vanish over finitely generated modules, simultaneously. As an interesting consequence, we show that under the same assumptions, \Exti(,f)\Ext^i(-, f) is epic (resp. monic) if and only if \Exti(f,)\Ext^i(f, -) is monic (resp. epic) if and only if \Tori(f,)\Tor_i(f, -) is epic (resp. monic).

Keywords

Cite

@article{arxiv.2507.05825,
  title  = {On the vanishing of Ext and Tor},
  author = {Abdolnaser Bahlekeh and Shokrollah Salarian},
  journal= {arXiv preprint arXiv:2507.05825},
  year   = {2025}
}