Related papers: Exterior powers and Tor-persistence

Let $R$ be a commutative Noetherian ring, $\Phi$ a system of ideals of $R$ and $I\in \Phi$. Let $M$ be an $R$-module (not necessary $I$-torsion) such that $\dim M\leq 1$, then the $R$-module $\Ext^i_{R}(R/I, M)$ is weakly Laskerian, for all…

Let $R$ be a Gorenstein local ring with maximal ideal $\mathfrak{m}$ satisfying $\mathfrak{m}^3=0\ne\mathfrak{m}^2$. Set $k=R/\mathfrak{m}$ and $e=\text{rank}_{k}(\mathfrak{m}/\mathfrak{m}^2)$. If $e>2$ and $M$, $N$ are finitely generated…

Let $R$ be a commutative Noetherian local ring of prime characteristic $p$ and $f:R\to R$ the Frobenius ring homomorphism. For $e\ge 1$ let $R^{(e)}$ denote the ring $R$ viewed as an $R$-module via $f^e$. Results of Peskine, Szpiro, and…

We prove that each positive power of the maximal ideal of a commutative Noetherian local ring is Tor-rigid, and strongly-rigid. This gives new characterizations of regularity and, in particular, shows that such ideals satisfy the torsion…

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…

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…

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…

In this paper, we study Serre's condition $(S_n)$ for tensor products of modules over a commutative noetherian local ring. The paper aims to show the following. Let $M$ and $N$ be finitely generated module over a commutative noetherian…

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…

We introduce the notion of Burch submodules and weakly $\mathfrak m$-full submodules of modules over local rings and study their properties. One of our main results shows that Burch submodules satisfy 2-Tor rigid and test property. We also…

Let $(R,\mathfrak{m},k)$ be a commutative Noetherian local ring. It is well-known that if $M$ is a finitely generated $R$-module of finite quasi-injective dimension, then $\operatorname{qid}_RM = \operatorname{depth} R$. In this paper, we…

Let $R$ be a commutative Noetherian local ring and $M,N$ be finitely generated $R$-modules. We prove a number of results of the form: if $\mbox{Hom}_R(M,N)$ has some nice properties and $\mbox{Ext}^{1 \leq i \leq n}_R(M,N)=0$ for some $n$,…

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…

The Auslander-Reiten Conjecture for commutative Noetherian rings predicts that a finitely generated module is projective when certain Ext-modules vanish. But what if those Ext-modules do not vanish? We study the annihilators of these…

In this paper, sufficient conditions for finitely generated modules over a commutative noetherian ring to be projective are given in terms of vanishing of Ext modules. One of the main results of this paper asserts that the Auslander--Reiten…

Gerko proves that if an artinian local ring $(R,\mathfrak{m}_R)$ possesses a sequence of strongly Tor-independent modules of length $n$, then $\mathfrak{m}_R^n\neq 0$. This generalizes readily to Cohen-Macaulay rings. We present a version…

Let (A,m_A) -> (B,m_B) be a local morphism of local noetherian rings and M a finitely generated B-module. Then it follows from Tor^A_1(M,A/m_A) = 0 that M is a flat A-module. This is usually called the "local criterion of flatness". We give…

It is proved that a noetherian commutative local ring A containing a field is regular if there is a complex M of free A-modules with the following properties: M_i=0 for i not in [0,dim A]; the homology of M has finite length; H_0(M)…

Let $R$ denote a commutative Noetherian (not necessarily local) ring, $M$ an arbitrary $R$-module and $I$ an ideal of $R$ of dimension one. It is shown that the $R$-module $\Ext^i_R(R/I,M)$ is finitely generated (resp. weakly Laskerian) for…

We show that the conditions defining total reflexivity for modules are independent. In particular, we construct a commutative Noetherian local ring $R$ and a reflexive $R$-module $M$ such that $\Ext^i_R(M,R)=0$ for all $i>0$, but…