Persistence of homology over commutative Noetherian rings (Q2675074): Difference between revisions

A commutative noetherian ring \(R\) is said to be Tor-persistent if any finitely generated \(R\)-module \(M\) for which \(\mathrm{Tor}_{i}^{R}(M,M)=0\) for sufficiently large \(i\) has finite projective dimension. For example, regular rings and locally complete intersection rings are known to be Tor-persistent. No example of a ring that is not Tor-persistent has been found so far, so the natural question remains to be answered whether every ring is Tor-persistent? The purpose of this paper is to present some new non-trivial examples of Tor-persistent rings. A central result of this work is that a noetherian local ring \(R\) is Tor-persistent if its completion is of the form \(Q/\langle \underline{a} \rangle\), where \(\underline{a}\) is a regular sequence on \(Q\), that further satisfies any one of the following conditions: \begin{itemize} \item[1.] \(\mathrm{edim}(Q)-\mathrm{depth}(Q)\leq 3\). \item[2.] \(\mathrm{edim}(Q)-\mathrm{depth}(Q)= 4\) and \(Q\) is Gorenstein. \item[3.] \(\mathrm{edim}(Q)-\mathrm{depth}(Q)= 4\) and \(Q\) is is Cohen-Macaulay, almost complete intersection, with \(1/2 \in Q\). \item[4.] \(Q\) is one link from a complete intersection. \item[5.] \(Q\) is two links from a complete intersection and is Gorenstein. \item[6.] \(Q\) is Golod. \item[7.] \(Q\) is Cohen-Macaulay with \(\mathrm{mult}(Q)\leq 7\). \end{itemize}