Free resolutions over short Gorenstein local rings (Q2430652)

The paper investigates minimal free resolutions of a finitely generated \(R\)-module \(M\), where \(R\) is any noetherian local ring with maximal ideal \(m\) and residue field \(k\). The main results state what follows: a) Let \((R,m.k)\) be a local ring such that the Hilbert series \(H_R(t) = \sum_0 ^\infty \mathrm{rank}_k(\frac{m^n}{m^{n+1}})t^n\) equals \(1+et+et^2+t^3\) (where \(\mu (m)\) denotes the minimal number of generators of \(m\)). Set \(s = \mathrm{rank}_k(0:_Rm)\): Assume that there is a non-zero exact zero divisor \(a \in m\) (i.e. \(a\) satisfies: \(R \neq (0:_Ra) \cong \frac{R}{aR} \neq 0)\). Then the following are equivalent: (1) \(R\) is Koszul (2) \(e \geq s+2\). When they hold every finite \(R\)-module \(M\) has a syzygy module that is Koszul (i.e. \( \mathrm{Tor}_i^{R^g}(M^g,k)_j = 0\), \(i\neq j\), \((\;)^g\) denoting the associated graded module); (b) Let \((R,m,k)\) be a Gorenstein ring such that \(m^4 = 0\) and \(\mu(m) = e \geq 3\). If there is a non-zero element \(a \in m\) such that the ideal \((0:_R a)\) is principal, then the following hold: (1) the Hilbert series \(H_R(t) = \sum_0 ^\infty \mathrm{rank}_k(\frac{m^n}{m^{n+1}})t^n = 1+et+et^2+t^3\); (2) \(H_R(-t)P_k^R(t) = 1\); (3) \(H_R(-t)P_M^R(t)\) is in \(\mathbb{Z}[t]\), for every finite \(R\)-module \(M\), where \(P_M^R(t)\) is the Poincaré series \(\sum_0^ \infty \mathrm{rank} _k \mathrm{Tor}_n^R(M,k)t^n)\).