Minimal intersections and vanishing (co)homology (Q847973): Difference between revisions

Let \(R\) be a commutative local Noetherian ring, and let \(M\) and \(N\) be finitely generated \(R\)-modules. It is known that over hypersurfaces (which are codimension one complete intersections), Golod rings and Gorenstein rings of low codimension, the vanishing of all higher \(\mathrm{Tor}_i^R(M,N)\) or \(\mathrm{Ext}_R^i(M,N)\) implies that either \(M\) has finite projective dimension, or \(N\) has finite projective dimension (or finite injective dimension for \(\mathrm{Ext}\) vanishing if \(R\) is not Gorenstein). The most well-known class of local rings over which the vanishing of all higher \(\mathrm{Ext}\) and \(\mathrm{Tor}\) occurs non-trivially is that of complete intersections of codimension at least two [see \textit{D. A. Jorgensen}, J. Algebra 195, No. 2, 526--537 (1997; Zbl 0898.13008) and \textit{L. L. Avramov} and \textit{R.-O. Buchweitz}, Invent. Math. 142, No. 2, 285--318 (2000; Zbl 0999.13008)]. In the paper under review the author introduces the notion of minimal intersection ring. Let \(R=Q/I\) with \(Q\) a regular local ring and \(I\) an ideal in the square of the maximal ideal \(Q\). A ring \(R\) is called minimal intersection (with respect to \(Q\)) if \(I\) is the sum of two non-zero ideals \(I_1\) and \(I_2\) of \(Q\) such that \(I_1\cap I_2=I_1I_2\). Note that minimal intersections are a generalization of complete intersections of codimension two or greater. As the main result of this paper it is shown that, if \(R\) is a minimal intersection then there exist classes of finitely generated \(R\)-modules \(M\) and \(N\) of infinite projective dimension over \(R\), and (not necessarily finitely generated) \(R\)-modules \(L\) of infinite injective dimension over \(R\), such that \(\mathrm{Tor}_i^R(M,N)=0\) for all \(i>>0\), and \(\mathrm{Ext}_R^i(M,L)=0\) for all \(i>>0\).