On the vanishing of (co)homology over local rings

From MaRDI portal
Publication:2456400



Abstract: Considering modules of finite complete intersection dimension over commutative Noetherian local rings, we prove (co)homology vanishing results in which we assume the vanishing of nonconsecutive (co)homology groups. In fact, the (co)homology groups assumed to vanish may be arbitrarily far apart from each other.


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\).











This page was built for publication: On the vanishing of (co)homology over local rings

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