Bounds on depth of tensor products of modules

DOI10.1016/J.JPAA.2014.07.005MaRDI QIDQ2254326zbMATH OpenOpenAlexFDO

Authors Olgur Celikbas, Arash Sadeghi, Ryo Takahashi

Publication date 4 February 2015

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

complete intersectiondepth formulaTor-independent

Mathematics Subject Classification ID

Cohen-Macaulay modules (13C14) Dimension theory, depth, related commutative rings (catenary, etc.) (13C15) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07)

Abstract: 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 $Motime{s}_{R}N$. An application of our main argument shows that, if $M$ is locally free on the the punctured spectrum of $R$, then either $depth(Motime{s}_{R}N)geqdepth(M)+depth(N)-depth(R)$, or $depth(Motime{s}_{R}N)leqcod(R)$. Along the way we generalize an important theorem of D. A. Jorgensen and determine the number of consecutive vanishing of $To{r}_i^R(M,N)$ required to ensure the vanishing of all higher $To{r}_i^R(M,N)$.

Review text

Let \(R\) be a regular local ring, \(M\) and \(N\) be two finitely generated \(R\)-modules such that \(\mathrm{Tor}^R_i(M,N)=0\) for all \(i>0\). Call this vanishing property by ``Tor-independent. By a famous result of \textit{M. Auslander} [Ill. J. Math. 5, 631--647 (1961; Zbl 0104.26202)] there is a formula called ``depth formula: \(\mathrm{depth}(M\otimes N)=\mathrm{depth}((M)+\mathrm{depth}((N)-\mathrm{depth}((R)\). The depth formula extends to local complete intersection rings by the work of \textit{C. Huneke} and \textit{R. Wiegand} [Math. Ann. 299, No. 3, 449--476 (1994; Zbl 0803.13008)]. The paper deals with the following question: Let \(R\) be a local complete intersection ring of codimension \(c\). Assume \(M\otimes N\) is a \((c + 1)\)-syzygy of some finitely generated \(R\)-module. Under what conditions is \(M\) and \( N\) Tor-independent. There are several related results to this question. Let us recall a corollary of the paper under review: Corollary. Let \(R\) be a hypersurface ring with an isolated singularity and let \(M\) and \(N\) be nonfree maximal Cohen-Macaulay \(R\)-modules. Then \(\mathrm{depth}(M \otimes_R N)\leq 1\). Also, the authors present a generalization of [\textit{D. A. Jorgensen}, J. Algebra 211, No. 2, 578--598 (1999; Zbl 0926.13007)]. This determines a number of consecutive vanishing of \(\mathrm{Tor}^R_i (M, N)\) that guaranties the higher vanishing of \(\mathrm{Tor}^R_i(M, N)\).

Recommendations

• Vanishing theorems for complete intersections
• Vanishing of relative homology and depth of tensor products
• Syzygies and tensor product of modules
• Tor and torsion on a complete intersection
• Criteria for vanishing of \(\mathrm{Tor}\) over complete intersections

Cites work

• A generalization of the Auslander-Buchsbaum formula
• Asymptotic behavior of Ext functors for modules of finite complete intersection dimension
• Cohomology over complete intersections via exterior algebras
• Complete intersection dimension
• Complete intersection dimensions for complexes
• Complexity and Tor on a complete intersection
• Decent intersection and or-rigidity for modules over local hypersurfaces
• Depth for complexes, and intersection theorems
• Gorenstein dimension of modules over homomorphisms
• Gorenstein dimensions
• Homological Algebra on a Complete Intersection, with an Application to Group Representations
• Homological Dimension in Local Rings
• scientific article; zbMATH DE number 3908555 (Why is no real title available?)
• scientific article; zbMATH DE number 3683732 (Why is no real title available?)
• Modules of finite virtual projective dimension
• Modules over regular local rings
• Modules over unramified regular local rings
• Necessary conditions for the depth formula over Cohen-Macaulay local rings
• ON A DEPTH FORMULA FOR MODULES OVER LOCAL RINGS
• On growth in minimal totally acyclic complexes
• On the vanishing of homology for modules of finite complete intersection dimension
• On the vanishing of Tor in regular local rings
• Remarks on a depth formula, a grade inequality and a conjecture of Auslander
• Stable module theory
• Support varieties and cohomology over complete intersections
• Symmetry in the vanishing of Ext over Gorenstein rings
• Syzygies and tensor product of modules
• Tensor products of modules and the rigidity of Tor
• Tensor products of modules, rigidity and local cohomology.
• The depth formula for modules with reducible complexity
• The vanishing of a higher codimension analogue of Hochster's theta invariant
• VANISHING OF (CO)HOMOLOGY OVER COMMUTATIVE RINGS
• Vanishing of cohomology over Gorenstein rings of small codimension
• Vanishing of Tor over complete intersections
• Vanishing of Tor, and why we care about it
• Vanishing theorems for complete intersections

Cited in

(20)

• Tensor products of modules and the rigidity of Tor
• Associated primes and syzygies of linked modules
• Maximal depth property of bigraded modules
• Linkage of modules by reflexive morphisms
• An extension of a depth inequality of Auslander
• On the depth and reflexivity of tensor products
• On the vanishing of the theta invariant and a conjecture of Huneke and Wiegand
• Criteria for vanishing of \(\mathrm{Tor}\) over complete intersections
• Syzygies and tensor product of modules
• Maximal Cohen-Macaulay tensor products
• Decent intersection and or-rigidity for modules over local hypersurfaces
• Necessary conditions for the depth formula over Cohen-Macaulay local rings
• Tensor products of modules, rigidity and local cohomology.
• On an example concerning the second rigidity theorem
• On the second rigidity theorem of Huneke and Wiegand
• On a lower bound of de Rham depth of affine cone of a projective space in characteristic zero
• Depth and Width for Unbounded DG-Modules
• Vanishing theorems for complete intersections
• Depth of C ( X )-modules
• Quasilifting of hulls and depth of tensor product of modules

This page was built for publication: Bounds on depth of tensor products of modules

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