Let $\mathfrak{p}$ be a prime ideal in a commutative noetherian ring R and denote by $k(\mathfrak{p})$ the residue field of the local ring $R_\mathfrak{p}$. We prove that if an R-module M satisfies $\operatorname{Ext}_R^{n}(k(\mathfrak{p}),M)=0$ for some $n\geqslant\dim R$, then $\operatorname{Ext}_R^i(k(\mathfrak{p}),M)=0$ holds for all $i \geqslant 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.

Let 𝔭 be a prime ideal in a commutative noetherian ring R. It is proved that if an R-module M satisfies ${\rm Tor}_n^R $(k (𝔭), M) = 0 for some n ⩾ R𝔭, where k(𝔭) is the residue field at 𝔭, then ${\rm Tor}_i^R $(k (𝔭), M) = 0 holds for all i ⩾ n. Similar rigidity results concerning ${\rm Tor}_R^{\ast} $(k (𝔭), M) are proved, and applications to the theory of homological dimensions are explored.

Let $\left( R,\,m \right)$ be a non-zero commutative Noetherian local ring (with identity) and let $M$ be a non-zero finitely generated $R$-module. In this paper for any $\mathfrak{p}\,\in \,\text{Spec}\left( R \right)$ we show that

1

$$\text{injdi}{{\text{m}}_{{{R}_{\mathfrak{p}}}}}\,H_{\mathfrak{p}{{R}_{\mathfrak{p}}}}^{i-\dim\left( {R}/{\mathfrak{p}}\; \right)}\left( {{M}_{\mathfrak{p}}} \right)$$

1

$$\text{f}{{\text{d}}_{{{R}_{\mathfrak{p}}}}}H_{\mathfrak{p}}^{i-\dim\left( {R}/{\mathfrak{p}}\; \right)}\left( {{M}_{\mathfrak{p}}} \right)$$

are bounded from above by $\text{injdi}{{\text{m}}_{R}}\,H_{\text{m}}^{i}\left( M \right)$ and $\text{f}{{\text{d}}_{R}}\,H_{\text{m}}^{i}\left( M \right)$ respectively, for all integers $i\,\ge \,\dim\left( {R}/{\mathfrak{p}}\; \right)$.

Let $\Lambda $ be an Auslander 1-Gorenstein Artinian algebra with global dimension two. If $\Lambda $ admits a trivial maximal 1-orthogonal subcategory of $\text{mod } \Lambda $, then, for any indecomposable module $M\in \text{mod } \Lambda $, the projective dimension of $M$ is equal to one if and only if its injective dimension is also equal to one, and $M$ is injective if the projective dimension of $M$ is equal to two. In this case, we further get that $\Lambda $ is a tilted algebra.