On the vanishing of (co)homology over local rings (Q2456400): Difference between revisions

Let \(A\) be a noetherian local ring. A finitely generated \(A\)-module \(M\) is said to be rigid if, for any finitely generated \(A\)-module \(N\), \(\text{Tor}_i(M, N) = 0\) implies \(\text{Tor}_j(M, N) = 0\) for all \(j \geq i\). It is known that any \(A\)-module is rigid if \(A\) is regular [\textit{S. Lichtenbaum}, Ill. J. Math. 10, 220--226 (1966; Zbl 0139.26601)]. However, there is a non-rigid module over a certain non-regular ring [\textit{R. C. Heitmann}, Bull. Am. Math. Soc., New Ser. 29, No. 1, 94--97 (1993; Zbl 0797.13009)]. In the present paper, the author considers a generalized notion of rigidity. The main theorem of this paper is as follows: Let \(M\) be a finitely generated \(A\)-module of finite complete intersection dimension and of finite complexity \(c\) and let \(N\) be a finitely generated \(A\)-module. If there are an integer \(n > \operatorname {depth} A - \operatorname {depth} M\) and an odd number \(q \geq 1\) such that \(\text{Tor}^A_i(M, N) = 0\) (respectively \(\text{Ext}_A^i(M, N) = 0\)) for \(i = n\), \(n+q\), \dots, \(n+cq\), then \(\text{Tor}^A_i(M, N) = 0\) (respectively \(\text{Ext}_A^i(M, N) = 0\)) for all \(i > \operatorname {depth} A - \operatorname {depth} M\).