Rigidity of Ext and Tor via flat-cotorsion theory
Abstract
Let p be a prime ideal in a commutative noetherian ring R and denote by k(p) the residue field of the local ring R_p. We prove that if an R-module M satisfies Ext_R^n(k(p),M) = 0 for some n >= dim R, then Ext_R^i(k(p),M) = 0 holds for all i >= n. This improves a result of Christensen, Iyengar, and Marley by lowering the bound on n. We also improve existing results on Tor-rigidity. This progress is driven by the existence of minimal semi-flat-cotorsion replacements in the derived category as recently proved by Nakamura and Thompson.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2021
- DOI:
- 10.48550/arXiv.2112.00103
- arXiv:
- arXiv:2112.00103
- Bibcode:
- 2021arXiv211200103W
- Keywords:
-
- Mathematics - Commutative Algebra;
- 13D07;
- 13D05
- E-Print:
- Final version, to appear in Proc. Edinb. Math. Soc.