Let \((R, {\mathfrak m})\) be a complete intersection ring, i.e. \(\widehat R=Q/(x)\) with a regular local ring \((Q, {\mathfrak n},k)\) and a \(Q\)-regular sequence \(x=(x_1, \dots, x_r)\), and let \(M,N\) be two finitely generated \(R\)-modules. The author studies the vanishing of \(\text{Tor}^R_i (M,N)\) for \(i\gg 0\) and its relation to the existence of torsion elements in \(M \otimes_RN\). His first result says that \(\text{Tor}^R_i (M,N)=0\) for \(i\gg 0\) implies the triviality of the intersection \({\mathcal V} (Q,x,M) \cap {\mathcal V} (Q,x,N)= \{0\}\). Here \({\mathcal V} (Q,x,M)\) is the cohomological variety \[ {\mathcal V} (\text{Ann}_{\mathcal R} (\text{Ext}^*_R(M,k)))\subseteq \mathbb{A}^r_k \] of the module \(M\) defined by \textit{L. L. Avramov} [cf. Invent. Math. 96, No. 1, 71-101 (1989; Zbl 0677.13004)]. As an application, the author shows that if \(M\) is a generically free maximal Cohen-Macaulay \(R\)-module of complexity \(c=\dim {\mathcal V} (Q,x,M)\), and if \(S_i\) is an \(i\)-th syzygy module of \(M\) for \(i=1, \dots, c\in \{1,r\}\), then the tensor product \((M \oplus S_1 \oplus \cdots \oplus S_c) \otimes_R M^*\) has torsion elements. Finally, the author also shows a sufficient condition for the vanishing of \(\text{Tor}^R_i (M,N)\) for \(i\gg 0\). More precisely, he proves that this is the case, if \(M\) lifts to \(Q/(x_1, \dots, x_i)\) and \(N\) to \(Q/(x_j, \dots, x_r)\) for \(1\leq i<j\leq r\geq 2\). He applies this condition to provide a source of maximal Cohen-Macaulay tensor products \(M\otimes_RN\) in case \(r\geq 2\), where neither \(M\) nor \(N\) need to be free.
- A Change of Ring Theorem with Applications to Poincaré Series and Intersection Multiplicity.
- Complexity and Tor on a complete intersection
- scientific article; zbMATH DE number 3687601 (Why is no real title available?)
- scientific article; zbMATH DE number 482758 (Why is no real title available?)
- scientific article; zbMATH DE number 704831 (Why is no real title available?)
- scientific article; zbMATH DE number 3322751 (Why is no real title available?)
- scientific article; zbMATH DE number 3392606 (Why is no real title available?)
- Modules of finite virtual projective dimension
- Modules over unramified regular local rings
- Tensor products of modules and the rigidity of Tor
- Tensor products of modules, rigidity and local cohomology.
- Affine torus embeddings which are complete intersections
- Complexity and Tor on a complete intersection
- Classifying thick subcategories of the stable category of Cohen-Macaulay modules
- Modules that detect finite homological dimensions
- Bounds on depth of tensor products of modules
- Syzygies and tensor product of modules
- Maximal Cohen-Macaulay tensor products
- Intersections of resolving subcategories and intersections of thick subcategories
- Decent intersection and or-rigidity for modules over local hypersurfaces
- Torsion in tensor powers of modules
- Vanishing of Tor over complete intersections
- On modules with self Tor vanishing
- ON THE CYCLOTOMIC TWISTED TORUS AND SOME TORSORS
- On test modules for flat dimension
- Vanishing theorems for complete intersections
- Serre's condition for tensor products and \(n\)-Tor-rigidity of modules
- Asymptotic behavior of Ext functors for modules of finite complete intersection dimension
- Cohomological support and the geometric join
- Minimal intersections and vanishing (co)homology
This page was built for publication: Tor and torsion on a complete intersection
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1372663)
