Serre's condition for tensor products and \(n\)-Tor-rigidity of modules (Q6170621)
From MaRDI portal
scientific article; zbMATH DE number 7725174
Language | Label | Description | Also known as |
---|---|---|---|
English | Serre's condition for tensor products and \(n\)-Tor-rigidity of modules |
scientific article; zbMATH DE number 7725174 |
Statements
Serre's condition for tensor products and \(n\)-Tor-rigidity of modules (English)
0 references
10 August 2023
0 references
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\).
0 references
complete intersection
0 references
Serre's condition
0 references
\(n\)-Tor-rigid
0 references
Tor module
0 references
0 references