Acyclicity over local rings with radical cube zero (Q938823)

Let \(R\) be a commutative noetherian local ring with maximal ideal \(\mathfrak{m}\), residue field \(k=R/\mathfrak{m}\), embedding dimension \(e=\text{rank}_k\mathfrak{m}/\mathfrak{m}^2\), and socle dimension \(r=\text{rank}_k(0:\mathfrak{m})\). In the following it is assumed that \(\mathfrak{m}^3 = 0 \neq \mathfrak{m}^2\), that \(R\) is not Gorenstein, and that there exists a non-zero minimal acyclic complex \({\mathbf A}\) of finitely generated free \(R\)-modules. The authors prove a number of results on the structure of the ring \(R\). They show for example that \((0:\mathfrak{m})=\mathfrak{m}^2\) and \(e=r+1\), and they give an explicit formula for the Poincaré series of \(k\). If, in addition, the complex \({\mathbf A}^*=\text{Hom}_R({\mathbf A},R)\) is exact in some degree, then a formula for the Bass series of \(R\) is established. Also the structure of the complex \(\mathbf A\) is studied. More precisely, the authors describe the behaviour of the sequences \(\{\text{rank}_RA_i\}_{i \geq 0}\) and \(\{\text{rank}_RA_i\}_{i \leq 0}\), and the structure of the set \(\mathcal{H}\) of integers \(i\) such that \(\text{H}^i(\mathbf A^{*})=0\). We mention here an easily stated consequence of one of their results: If two out of every three consecutive integers belong to \(\mathcal{H}\) then \(\mathcal{H}=\mathbb{Z}\), that is, \(\mathbf A\) is totally acyclic.