Vanishing of relative homology and depth of tensor products

DOI10.1016/J.JALGEBRA.2017.01.043MaRDI QIDQ515616zbMATH OpenOpenAlexFDO

Authors Olgur Celikbas, Arash Sadeghi, Li Liang

Publication date 16 March 2017

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1608.07011

zbMATH Keywords

depthG-relative homologyTate homologytensor products of modules

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07)

Abstract: For finitely generated modules $M$ and $N$ over a Gorenstein local ring $R$, one has $depthM+depthN=depth(MotimesN)+depthR$, i.e., the depth formula holds, if $M$ and $N$ are Tor-independent and Tate homology $hat{Tor}_i^R(M,N)$ vanishes for all $iinmathbbZ$. We establish the same conclusion under weaker hypotheses: if $M$ and $N$ are $mathcalG$-relative Tor-independent, then the vanishing of $hat{Tor}_i^R(M,N)$ for all $ile0$ is enough for the depth formula to hold. We also analyze the depth of tensor products of modules and obtain a necessary condition for the depth formula in terms of $mathcalG$-relative homology.

Review text

Let \(R\) be a commutative Noetherian local ring and let \(M\) and \(N\) be finitely generated \(R\)-modules. Then it was shown in [\textit{C. Huneke} and \textit{R. Wiegand}, Math. Ann. 299, No. 3, 449--476 (1994; Zbl 0803.13008)] that, if \(R\) is a complete intersection and \(M\) and \(N\) are Tor-independent modules (i.e., \(\text{Tor}^R_i(M,N)=0\) for all \(i\geq 1\)), then the depth formula \[ \text{depth}_RM+\text{depth}_R N=\text{depth}_R R + \text{depth}_R(M\otimes_R N) \] holds. In 2015 \textit{L. W. Christensen} and \textit{D. A. Jorgensen} [J. Pure Appl. Algebra 219, No. 3, 464--481 (2015; Zbl 1311.13016)] proved that if \(R\) is a Gorenstein ring and if \(M\) and \(N\) are Tor-independent modules such that Tate homology \(\widehat{\text{Tor}}^R_i(M,N)\) vanishes for all \(i\), then the depth formula also holds. In this paper, the authors establish the same conclusion under a weaker hypothesis. More precisely, it is proven that if \(M\) and \(N\) are \(\mathcal{G}\)-relative Tor-independent such that \(\widehat{\text{Tor}}^R_i(M,N)\) vanishes for all \(i\), then the depth formula holds.

Recommendations

• Relative homotopical depth and a conjecture of Deligne
• Vanishing homology
• Relative cohomology of complexes II: vanishing of relative cohomology
• Homotopical depth and a conjecture of Grothendieck
• scientific article; zbMATH DE number 6719377
• Vanishing of tor and torsion in tensor products
• Notes on vanishing homology
• scientific article; zbMATH DE number 4196130
• Tensor products of representations up to homotopy
• scientific article; zbMATH DE number 554887

Cites work

• A generalization of the Auslander-Buchsbaum formula
• Absolute, Gorenstein, and Tate Torsion Modules
• ABSOLUTE, RELATIVE, AND TATE COHOMOLOGY OF MODULES OF FINITE GORENSTEIN DIMENSION
• Complete intersection dimension
• Correction to ``Tensor products of modules and the rigidity of Tor [Math. Ann. 299, No. 3, 449--476 (1994; Zbl 0803.13008)]
• Depth for complexes, and intersection theorems
• Gorenstein dimension of modules over homomorphisms
• Homological dimensions of unbounded complexes
• scientific article; zbMATH DE number 5017510 (Why is no real title available?)
• scientific article; zbMATH DE number 2046147 (Why is no real title available?)
• scientific article; zbMATH DE number 1390914 (Why is no real title available?)
• Modules over unramified regular local rings
• Necessary conditions for the depth formula over Cohen-Macaulay local rings
• On Gorenstein projective, injective and flat dimensions -- a functorial description with applications
• Remarks on a depth formula, a grade inequality and a conjecture of Auslander
• Some homological properties of modules over a complete intersection, with applications
• Stable module theory
• Support varieties and cohomology over complete intersections
• Tensor products of modules, rigidity and local cohomology.
• Vanishing of Tate homology and depth formulas over local rings

Cited in

(7)

• Bounds on depth of tensor products of modules
• Necessary conditions for the depth formula over Cohen-Macaulay local rings
• Vanishing of Tate homology and depth formulas over local rings
• Homology of Deleted Products in Dimension One
• Vanishing of Tate cohomology and Gorenstein injective dimension
• A study of Tate homology via the approximation theory with applications to the depth formula
• On Auslander's depth formula

This page was built for publication: Vanishing of relative homology and depth of tensor products

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q515616)