Criteria for vanishing of \(\mathrm{Tor}\) over complete intersections (Q2352724): Difference between revisions

The motivation for this paper is the fact that, for \(M\) and \(N\) nonzero finitely generated \(R\)-modules over a local ring \(R\), where \(\mathrm{pd}(M) < \infty\), the depth formula holds if \(\mathrm{Tor}_{i}^{R}(M,N)=0\). \textit{M. Auslander} [Ill. J. Math. 5, 631--647 (1961; Zbl 0104.26202)]. The study of conditions on modules \(M\), \(N\) and \(M \otimes N\) that make \(\mathrm{Tor}_{i}^{R}(M,N)\) vanish, is therefore of interest and has been pursued by various authors; it is continued here. A finitely generated \(R\)-module \(M\) is said to satisfy Serre's condition \(S_{n}\) (\(n\) a nonnegative integer) if \(\mathrm{depth}_{R_{\mathfrak p}} (M_{\mathfrak p}) \geq \min \{ n, \mathrm{height}(\mathfrak p)\}\) for all \(\mathfrak {p} \in Supp(M)\). In [\textit{H. Dao}, ``Asymptotic behavior of \(\mathrm{Tor}\) over complete intersections and applications'', Preprint, \url{arXiv:0710.5818}] it was shown that for \(R\) a complete intersection in an unramified regular local ring of relative codimension \(c\), \(M\) and \(N\) finitely generated \(R\)-modules, \(\mathrm{Tor}_{i}^{R}(M,N)\) vanishes if (i) \(M\) and \(N\) satisfy \((S_{c})\), (ii) \(M \otimes_{R} N\) satisfies \((S_{c+1})\) and (iii) \(M_{\mathfrak{p}}\) is a free \(R_{\mathfrak{p}}\)-module for all prime ideals \(\mathfrak p\) of height at most \(c\). Making use of a reduction technique involving quasiliftings, the authors of the present paper are able to lift the condition that the ring needs to be unramified. Moreover, they prove that if the ring is indeed unramified, then condition (iii) may be removed and \(c\) may be replaced with \(c-1\) in both conditions (i) and (ii), provided the \(\eta\)-pairing \(\eta_{c}^{R} (M,N)\) (introduced by H. Dao in the reference mentioned earlier), is 0. Two appendices complement the paper. In the first of these, the work in this paper is used to generalize a result of \textit{O. Celikbas} [J. Commut. Algebra 3, No. 2, 169--206 (2011; Zbl 1237.13031)] on the vanishing of \(\mathrm{Tor}\), by again lifting the requirement that the ring must be unramified. In the second appendix, an alternative proof of one of the main results in [\textit{C. Huneke} and \textit{R. Wiegand}, Math. Ann. 299, No. 3, 449--476 (1994; Zbl 0803.13008)] is obtained and a correction is offered for a result in [\textit{C. Miller}, Proc. Am. Math. Soc. 126, No. 1, 53--60 (1998; Zbl 0886.13006)].