Related papers: On Tor-vanishing of local rings
Let $(R,\mathfrak{m})$ be a commutative Noetherian local ring which contains a regular sequence $ \underline{x} = x_1,\ldots,x_d \in \mathfrak{m} \smallsetminus \mathfrak{m}^2 $ such that $ \mathfrak{m}^3 \subseteq (\underline{x}) $. Let $…
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)$…
Given finitely generated modules $M$ and $N$ over a local ring $R$, the tensor product $M\otimes_RN$ typically has nonzero torsion. Indeed, the assumption that the tensor product is torsion-free influences the structure and vanishing of the…
A Cohen-Macaulay local ring $R$ satisfies trivial vanishing if $\operatorname{Tor}_i^R(M,N)=0$ for all large $i$ implies $M$ or $N$ has finite projective dimension. If $R$ satisfies trivial vanishing then we also have that…
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…
We say an excellent local domain $(S,n)$ satisfies the vanishing conditions for maps of Tor, if for every $A\to R\to S$ with $A$ regular and $A\to R$ module-finite torsion-free extension, and every $A$-module $M$, the map $Tor^A_i(M, R)\to…
A commutative Noetherian ring $R$ is said to be Tor-persistent if, for any finitely generated $R$-module $M$, the vanishing of $\operatorname{Tor}_i^R(M,M)$ for $i\gg 0$ implies $M$ has finite projective dimension. An open question of…
Let $ R $ be a $ d $-dimensional Cohen-Macaulay (CM) local ring of minimal multiplicity. Set $ S := R/({\bf f}) $, where $ {\bf f} := f_1,\ldots,f_c $ is an $ R $-regular sequence. Suppose $ M $ and $ N $ are maximal CM $ S $-modules. It is…
For finitely generated modules $M$ and $N$ over a Gorenstein local ring $R$, one has $depth M + depth N= depth(M\otimes N) +depth R$, i.e., the depth formula holds, if $M$ and $N$ are Tor-independent and Tate homology…
Let $R$ be a local complete intersection ring and let $M$ and $N$ be nonzero finitely generated $R$-modules. We employ Auslander's transpose in the study of the vanishing of Tor and obtain useful bounds for the depth of the tensor product…
In this article, we show test properties, in the sense of finitely many vanishing of Ext or Tor, of CM (Cohen-Macaulay) modules whose multiplicity and number of generators (resp., type) are related by certain inequalities. We apply these…
Huneke and Wiegand conjectured that, if $M$ is a finitely generated, non-free, torsion-free module with rank over a one-dimensional Cohen-Macaulay local ring $R$, then the tensor product of $M$ with its algebraic dual has torsion. This…
The long-standing Auslander and Reiten Conjecture states that a finitely generated module over a finite-dimensional algebra is projective if certain Ext-groups vanish. Several authors, including Avramov, Buchweitz, Iyengar, Jorgensen,…
In this paper we are concerned with the vanishing of $\textnormal{Tor}$ over complete intersection rings. Building on results of C. Huneke, D. Jorgensen and R. Wiegand, and, more recently, H. Dao, we obtain new results showing that good…
It is proved that if one of the finite modules M and N, over a local ring R, has reducible complexity and has finite Gorenstein dimension then the depth formula holds, provided TorR_i(M,N) = 0 for i>>0. We also study the vanishing of…
Auslander's depth formula for pairs of Tor-independent modules over a regular local ring, depth(M \otimes N) = depth(M) + depth(N) - depth(R), has been generalized in several directions over a span of four decades. In this paper we…
The aim of this article is to consider the spectral sequences induced by tensor-hom adjunction, and provide a number of new results. Let $R$ be a commutative Noetherian local ring of dimension $d$. In the 1st part, it is proved that $R$ is…
We prove that if M, N are finite modules over a Gorenstein local ring R of codimension at most 4, then the vanishing of Ext^n_R(M,N) for n\gg 0 is equivalent to the vanishing of Ext^n_R(N,M) for n\gg 0. Furthermore, if the completion of $R$…
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…
We show that a ring $R$ is regular if $Tor_{i}^{R}(R^{+},k) = 0$ for some $i\geq 1$ assuming further that $R$ is a $\mathbb{N}$-graded ring of dimension $2$ finitely generated over an equi-characteristic zero field $k$. This answers a…