Serre's condition for tensor products and n-Tor-rigidity of modules

DOI10.1216/JCA.2023.15.55MaRDI QIDQ6170621zbMATH OpenFDO

Authors

Publication date 10 August 2023

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

Full work available at URL https://arxiv.org/abs/2002.11951, https://www.projecteuclid.org/journals/journal-of-commutative-algebra/volume-15/issue-1/SERRES-CONDITION-FOR-TENSOR-PRODUCTS-AND-N-TOR-RIGIDITY-OF/10.1216/jca.2023.15.55.full

zbMATH Keywords

\(n\)-Tor-rigidcomplete intersectionSerre's conditionTor module

Mathematics Subject Classification ID

Torsion modules and ideals in commutative rings (13C12) Homological dimension and commutative rings (13D05) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Abstract: 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 local ring $R$, either of which is $(n+1)$-Tor-rigid. If the tensor product $Motime{s}_{R}N$ satisfies $(S_{n+1})$, then under some assumptions $mathrm{Tor}_i^R(M,N)=0$ for all $ige1$. The key role is played by $(n+1)$-Tor-rigidity of modules. As applications, we will show that the result recovers several known results.

Review text

Let \(R\) be a commutative noetherian local ring with maximal ideal \(\mathfrak{m}\). A finitely generated \(R\)-module \(M\) is said to satisfy \textit{Serre's condition} \((S_n)\) if the inequality \(\textrm{depth}_{R_{\mathfrak{p}}}(M_{\mathfrak{p}})\geqslant\min\{n,\textrm{ht}~\mathfrak{p}\}\) holds for all prime ideals \(\mathfrak{p}\) of \(R\). \textit{C. Huneke} et al. [J. Algebra 238, No. 2, 684--702 (2001; Zbl 1082.13504)] rised the following question. {Question 1}. Let \(R\) be a complete intersection local ring of codimension \(c\) and \(M,N\) finitely generated \(R\)-modules. If \(M\bigotimes_R N\) satisfies \((S_{c+1})\), then does \(\textrm{Tor}^R_i(M,N)=0\) hold for all \(i\geqslant 1\)? In this paper, the author consider the following question. {Question 2}. Let \(R\) be a noetherian local ring and \(M,N\) finitely generated \(R\)-modules. If \(M\bigotimes_R N\) satisfies \((S_{n+1})\) and either \(M\) or \(N\) is \((n+1)\)-Tor-rigid, then does \(\textrm{Tor}^R_i(M,N)=0\) hold for all \(i\geqslant 1\)? The aim of this paper is to give an affirmative answer to Question 2 under some additional assumptions. More precisely, the author proves the following. {Theorem}. Let \(n\) be a nonnegative integer and let \(R\) be a noehterian local ring satisfying \((S_n)\) when \(n\geqslant 1\) and \((S_1)\) when \(n=0\). Let \(M\) and \(N\) be finitely generated \(R\)-modules. Assume that the following conditions hold: (1) \(N\) satisfies \((S_n)\) and \(N_{\mathfrak{p}}\) is free for all prime ideals of \(R\) with \(\mathrm{ht}~\mathfrak{p}\leqslant n\). (2) \(M\) is stablely isomorphic to the \(n\)-th syzygy of an \((n+1)\)-Tor-rigid module. If \(M\bigotimes_R N\) satisfies \((S_{n+1})\), then \(\textrm{Tor}^R_i(M,N)=0\) for all \(i\geqslant 1\).

Recommendations

• Tensor products of modules, rigidity and local cohomology.
• Cohen-Macaulayness of tensor products
• Tensor products of modules and the rigidity of Tor
• Syzygies and tensor product of modules
• Vanishing of tor and torsion in tensor products

Cites work

• Asymptotic behavior of Ext functors for modules of finite complete intersection dimension
• Burch ideals and Burch rings
• Complete intersection dimension
• Complexity and Tor on a complete intersection
• Correction to ``Tensor products of modules and the rigidity of Tor [Math. Ann. 299, No. 3, 449--476 (1994; Zbl 0803.13008)]
• Gorenstein dimensions
• Homological dimensions and Macaulay rings
• scientific article; zbMATH DE number 1305007 (Why is no real title available?)
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• scientific article; zbMATH DE number 3274799 (Why is no real title available?)
• Linkage of modules and the Serre conditions
• Modules over regular local rings
• Modules over unramified regular local rings
• On the deviations of a local ring.
• On the vanishing of Tor in regular local rings
• POWERS OF THE MAXIMAL IDEAL AND VANISHING OF (CO)HOMOLOGY
• Support varieties and cohomology over complete intersections
• Tor and torsion on a complete intersection
• Vanishing of tor and torsion in tensor products
• Vanishing of Tor over complete intersections
• Vanishing theorems for complete intersections

Cited in

(4)

• An extension of a depth inequality of Auslander
• Criteria for vanishing of \(\mathrm{Tor}\) over complete intersections
• Decent intersection and or-rigidity for modules over local hypersurfaces
• VANISHING OF COHOMOLOGY OVER COMPLETE INTERSECTION RINGS

This page was built for publication: Serre's condition for tensor products and \(n\)-Tor-rigidity of modules

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