Related papers: On the vanishing of Ext and Tor

Let f:E-->B be a fibration of fiber F. Eilenberg and Moore have proved that there is a natural isomorphism of vector spaces between H^*(F;F_p) and Tor^{C^*(B)}(C^*(E),F_p). Generalizing the rational case proved by Sullivan, Anick [Hopf…

Let $M$ be a non-zero finitely generated module over a finite dimensional commutative Noetherian local ring $(R,\mathfrak{m})$ with dim$_R(M)=t$. Let $I$ be an ideal of $R$ with grade$(I,M)=c$. In this article we will investigate several…

Consider a non-trivial fiber product $R=S\times_kT$ of local rings $S$, $T$ with common residue field $k$. Given two finitely generate $R$-modules $M$ and $N$, we show that if $\operatorname{Tor}^R_i(M,N)=0=\operatorname{Tor}^R_{i+1}(M,N)$…

Let $R$ be a noetherian algebra over a Cohen--Macaulay ring admitting a canonical module, and assume that $R$ is maximal Cohen--Macaulay over the base ring. We provide a characterization of when $R$ is left weakly Gorenstein. We further…

Let R be a commutative local noetherian ring, and let L and L' be R-modules. We investigate the properties of the functors Tor_i^R(L,-) and Ext^i_R(L,-). For instance, we show the following: (a) if L is artinian and L' is noetherian, then…

Let $S$ be a regular local ring with residue field $k$ and let $M$ be a finitely generated $S$-module. Suppose that $f_1,\dots ,f_c\in S$ is a regular sequence that annihilates $M$, and let $E$ be an exterior algebra over $k$ generated by…

Let $\fa$ be an ideal of a Noetherian local ring $R$ and let $C$ be a semidualizing $R$-module. For an $R$-module $X$, we denote any of the quantities $\fd_R X$, $\Gfd_R X$ and $\GCfd_RX$ by $\T(X)$. Let $M$ be an $R$-module such that…

Motivated by their impact on homological algebra, the change of rings results have been the subject of several interesting works in Gorenstein homological algebra over Noetherian rings. In this paper, we investigate the change of rings…

We reformulate the question of the absence of global anomalies of heterotic string theory mathematically in terms of a certain natural transformation $\mathrm{TMF}^\bullet\to (I_{\mathbb{Z}}\Omega^\text{string})^{\bullet-20}$, from…

We make use of the concepts of Tor-rigid and rigid-test modules, among others, to investigate the interplay between cohomology vanishing and the finiteness of several homological dimensions such as projective, injective and Gorenstein…

In this paper, we prove that Gorenstein projective conjecture is left and right symmetric and the co-homology vanishing condition can not be reduced in general. Moreover, the Gorenstein projective conjecture is proved to be true for…

Let R be a Noetherian local ring with the maximal ideal m and dim R=1. In this paper, we shall prove that the module Ext^1_R(R/Q,R) does not vanish for every parameter ideal Q in R, if the embedding dimension v(R) of R is at most 4 and the…

Let $R$ be a commutative Noetherian ring, $M$ a finitely generated $R$-module and $n$ be a non-negative integer. In this article, it is shown that there is a finitely generated submodule $N_i$ of $H_{\frak a}^i(M)$ such that $\dim{\rm Supp…

We study H. Dao's invariant $\eta_c^R$ of pairs of modules defined over a complete intersection ring $R$ of codimension $c$ having an isolated singularity. Our main result is that $\eta_c^R$ vanishes for all pairs of modules when $R$ is a…

Let $R\to A$ be a homomorphism of associative rings, and let $(\mathcal F,\mathcal C)$ be a hereditary complete cotorsion pair in $R\mathsf{-Mod}$. Let $(\mathcal F_A,\mathcal C_A)$ be the cotorsion pair in $A\mathsf{-Mod}$ in which…

Given a two-sided noetherian ring $A$ with a dualizing complex, we show that the big finitistic dimension of $A$ is finite if and only if every bounded below Gorenstein-projective-acyclic cochain complex of Gorenstein-projective $A$-modules…

Let $(S,\mathfrak{m},k)$ and $(T,\mathfrak{n},k)$ be local rings, and let $R$ denote their fiber product over their common residue field $k$. Inspired by work of Naseh and Sather-Wagstaff, we explore consequences of vanishing of ${\rm…

It is proved that, for a left hereditary ring, an arbitrary left module has a representation in the form of the direct sum of a stable left module and indecomposable projective left modules (if and only if an arbitrary left module has a…

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$ and $\mathcal{D}(R)$ denote the derived category of $R$-modules. We investigate the theory of local homology in conjunction with Gorenstein flat modules. Let $X$ be a…

Let \fa be an ideal of a commutative Noetherian ring R and M and N two finitely generated R-modules. Let \cd_{\fa}(M,N) denote the supremum of the i's such that H^i_{\fa}(M,N)\neq 0. First, by using the theory of Gorenstein homological…