相关论文: Necessary conditions for the depth formula over Co…

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 prove that the depth formula holds for $\Tor$-independent modules in certain cases over a Cohen-Macaulay local ring, provided one of the modules has reducible complexity.

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…

Let $R$ be a commutative Noetherian ring, $I$ an ideal of $R$ and $M$ a finitely generated $R$-module with $\dim_R(M)=d$. Denote by $\depth_R(I,M)$ the depth of $M$ in $I$. In \cite{HT}, C. Huneke and V. Trivedi proved that if $R$ is a…

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…

We show that if Auslander`s depth formula holds for non-zero Tor-independent modules over Cohen-Macaulay local rings of dimension 1, then it holds for such modules over any Cohen-Macaulay local ring. More generally, we show that the depth…

We prove that the depth formula holds for two finitely generated Tor-independent modules over Cohen-Macaulay local rings if one of the modules considered has finite reducing projective dimension (for example, if it has finite projective…

Let $(R,\fm)$ be a commutative Noetherian local ring. Suppose that $M$ and $N$ are finitely generated modules over $R$ such that $M$ has finite projective dimension and such that $\Tor^R_i(M,N)=0$ for all $i>0$. The main result of this note…

Inspired by classical work on the depth formula for tensor products of finitely generated $R$-modules, we introduce two conditions which we call $(\mathbf{ldep})$ and $(\mathbf{rdep})$ and their derived variations. We show for…

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,\mathfrak{m})$ be a Noetherian local ring and $M$ a finitely generated $R$-module. We say $M$ has maximal depth if there is an associated prime $\mathfrak{p}$ of $M$ such that depth $M=\dim R/\mathfrak{p}$. In this paper, we study…

We prove the depth formula, for homologically bounded complexes $X, Y$ provided that the complete intersection flat dimension of $X$ is finite and $\sup(X\utp_RY)<\infty$. In particular, let $M$ and $N$ are two $R$-modules and the complete…

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 depth of tensor product of modules over a Gorenstein local ring is studied. For finitely generated modules M and N over a Gorenstein local ring R, under some assumptions on the vanishing of finite number of Tate and relative homology…

Let R be a commutative noetherian ring, I an ideal of R, and M a finitely generated R-module. The asymptotic behavior of the quotient modules M/I^n M of M is an actively studied subject in commutative algebra. The main result of this paper…

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 $R$ be a commutative Noetherian local ring. We prove that the finiteness of the injective dimension of a finitely generated $R$-module $C$ is determined by the existence of a Cohen--Macaulay module $M$ that satisfies an inequality…

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 foundational result by C. Huneke and V. Trivedi provides a formula for the depth of an ideal in terms of height, computed over a finite set of prime ideals, for rings that are homomorphic images of regular rings. Building on a result by…

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…