Vanishing of Ext and Tor over some Cohen-Macaulay local rings (Q1425780): Difference between revisions

The work consists of six parts. In the first one the Betti numbers of some modules over commutative Noetherian local rings are studied. In the second part the commutative Artinian local rings \((R,\mathfrak m)\), where \(\mathfrak m\) is the maximal ideal of \(R\), are investigated. Among other results it is shown that under the assumption \(\mathfrak m^3=0\) the ring \(R\) is Gorenstein if and only if either \(\text{Tor}^R_1(\omega,\omega)=0\), or \(\text{Tor}^R_2(\omega,\omega)=\text{Tor}^R_3(\omega,\omega)=0\), or \(\text{Tor}^R_j(\omega,\omega)= \text{Tor}^R_{j+1}(\omega,\omega)= \text{Tor}^R_{j+2}(\omega,\omega)=0\) for some \(j\geq 0\), \(\omega\) being a canonical module of \(R\) (theorem 2.11). In the following two paragraphs some sufficient conditions for the freeness of some modules are proved. Let \((R,\mathfrak m)\) be a commutative Artinian local ring with \(\mathfrak m^3=0\) and \(M\) a finitely generated \(R\)-module. If either \(\text{Ext}^i_R(M, M\oplus R)=0\) for four consecutive values of \(i\) with \(i\geq 2\), or \(R\) is Gorenstein and \(\text{Ext}^i_R(M,M)=0\) for some \(i\geq 2\), then \(M\) is free (theorem 4.1). Similarly, if \(M\) is a finitely generated \(R\)-module with \(\mathfrak m^2M=0\) and \(\text{Ext}_R^i(M, M\oplus R)=0\) for all \(i\) with \(0 < i \leq\text{max}\{3, \nu (M), \nu (\mathfrak m M)\}\) where \(\nu (M)\) denotes the minimal number of generators of \(M\), then \(M\) is free (theorem 4.2). A sufficient condition for \(\mathfrak m^3 = 0\) is proved in section 5. Let \((R,\mathfrak m)\) be a standard graded local ring, and let \(M,N\) be non-zero finitely generated \(R\)-modules satisfying \(\mathfrak m^2M=\mathfrak m^2N=0\). If \(\text{Tor}_i^R(M,N)=0\) for all \(i >0\), then \(\mathfrak m^3=0\) (theorem 5.4). The final item presents some sufficient conditions for a Cohen-Macaulay ring to be Gorenstein. Let \(R\) be a Cohen-Macaulay local ring with a canonical module \(\omega\) and such that \(\text{type}\,(R)\leq 2\). If either \(\text{Tor}^R_2(\omega,\omega)=0\), or \(\text{Ext}_R^i(\omega,R)=0\) for \(i=1,2\), then \(R\) is Gorenstein (theorem 6.1).